starting JPF on class: javax.realtime.test.traffic.Main search started Running under JPF Choice mode is deterministic Resource type FIFO Car 0, priority 6, heading north going straight Car 1, priority 2, heading south going left Car 2, priority 8, heading east going left Simulation starts at time (0 ms, 0 ns) under mode deterministic (0 ms, 0 ns) Car 0, priority 6, heading north going straight approaches intersection (0 ms, 0 ns) Car 0, priority 6, heading north going straight starts seize of Southeast (0 ms, 0 ns) Car 0, priority 6, heading north going straight gets Southeast (0 ms, 0 ns) Car 0, priority 6, heading north going straight starts seize of Northeast (0 ms, 0 ns) Car 0, priority 6, heading north going straight gets Northeast (0 ms, 0 ns) Car 0, priority 6, heading north going straight proceeds (0 ms, 0 ns) Car 0, priority 6, heading north going straight begins hold of (16868 ms, 328766 ns) including (16666 ms, 666666 ns) hold time and (201 ms, 662100 ns) active phase time (0 ms, 0 ns) Car 1, priority 2, heading south going left approaches intersection (0 ms, 0 ns) Car 1, priority 2, heading south going left starts seize of Northwest (0 ms, 0 ns) Car 1, priority 2, heading south going left gets Northwest (0 ms, 0 ns) Car 1, priority 2, heading south going left releases Northwest (0 ms, 0 ns) no one waiting for Northwest (0 ms, 0 ns) Car 1, priority 2, heading south going left starts seize of Northeast (0 ms, 0 ns) RealtimeThread 0 (priority 0) begins hold of (5100 ms, 731300 ns) including (5000 ms, 0 ns) hold time and (100 ms, 731300 ns) active phase time (5100 ms, 731300 ns) RealtimeThread 0 (priority 0) returns from hold of (5100 ms, 731300 ns) (5100 ms, 731300 ns) *** RealtimeThread 0 terminates; 3027285 instructions executed total run time (0 ms, 265100 ns), (5100 ms, 731300 ns) duration (30 real milliseconds) (5100 ms, 731300 ns) Car 2, priority 8, heading east going left approaches intersection (5100 ms, 731300 ns) Car 2, priority 8, heading east going left starts seize of Southwest (5100 ms, 731300 ns) Car 2, priority 8, heading east going left gets Southwest (5100 ms, 731300 ns) Car 2, priority 8, heading east going left releases Southwest (5100 ms, 731300 ns) no one waiting for Southwest (5100 ms, 731300 ns) Car 2, priority 8, heading east going left starts seize of Southeast (16868 ms, 328766 ns) Car 0, priority 6, heading north going straight returns from hold of (16868 ms, 328766 ns) (16868 ms, 328766 ns) Car 0, priority 6, heading north going straight halfway through (16868 ms, 328766 ns) Car 0, priority 6, heading north going straight releases Southeast (16868 ms, 328766 ns) Southeast is given to Car 2, priority 8, heading east going left (16868 ms, 328766 ns) Car 0, priority 6, heading north going straight begins hold of (16968 ms, 59066 ns) including (16666 ms, 666666 ns) hold time and (301 ms, 392400 ns) active phase time (16868 ms, 328766 ns) Car 2, priority 8, heading east going left starts seize of Southwest (16868 ms, 328766 ns) Car 2, priority 8, heading east going left gets Southwest (16868 ms, 328766 ns) Car 2, priority 8, heading east going left proceeds (16868 ms, 328766 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 496300 ns) including (12500 ms, 0 ns) hold time and (100 ms, 496300 ns) active phase time (29468 ms, 825066 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 496300 ns) (29468 ms, 825066 ns) Car 2, priority 8, heading east going left one third through (29468 ms, 825066 ns) Car 2, priority 8, heading east going left releases Southwest (29468 ms, 825066 ns) no one waiting for Southwest (29468 ms, 825066 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 590400 ns) including (12500 ms, 0 ns) hold time and (100 ms, 590400 ns) active phase time (33836 ms, 387832 ns) Car 0, priority 6, heading north going straight returns from hold of (16968 ms, 59066 ns) (33836 ms, 387832 ns) Car 0, priority 6, heading north going straight exits (33836 ms, 387832 ns) Car 0, priority 6, heading north going straight releases Northeast (33836 ms, 387832 ns) Northeast is given to Car 1, priority 2, heading south going left (33836 ms, 387832 ns) *** Car 0 terminates; 8055942 instructions executed total run time (401 ms, 790800 ns), (33836 ms, 387832 ns) duration (24035 real milliseconds) (33836 ms, 387832 ns) Car 0 with cost limit (300 ms, 0 ns) had actual cost (401 ms, 790800 ns) (33836 ms, 387832 ns) *** car cost overrun handler invoked *** (33836 ms, 387832 ns) Car 1, priority 2, heading south going left starts seize of Northwest (33836 ms, 387832 ns) Car 1, priority 2, heading south going left gets Northwest (33836 ms, 387832 ns) Car 1, priority 2, heading south going left proceeds (33836 ms, 387832 ns) Car 1, priority 2, heading south going left begins hold of (50101 ms, 148400 ns) including (50000 ms, 0 ns) hold time and (101 ms, 148400 ns) active phase time (42069 ms, 415466 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 590400 ns) (42069 ms, 415466 ns) Car 2, priority 8, heading east going left two thirds through (42069 ms, 415466 ns) Car 2, priority 8, heading east going left starts seize of Southwest (42069 ms, 415466 ns) Car 2, priority 8, heading east going left gets Southwest (42069 ms, 415466 ns) Car 2, priority 8, heading east going left releases Southeast (42069 ms, 415466 ns) no one waiting for Southeast (42069 ms, 415466 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 741200 ns) including (12500 ms, 0 ns) hold time and (100 ms, 741200 ns) active phase time (54670 ms, 156666 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 741200 ns) (54670 ms, 156666 ns) Car 2, priority 8, heading east going left exits (54670 ms, 156666 ns) Car 2, priority 8, heading east going left releases Southwest (54670 ms, 156666 ns) no one waiting for Southwest (54670 ms, 156666 ns) *** Car 2 terminates; 11073765 instructions executed total run time (502 ms, 479000 ns), (49569 ms, 425366 ns) duration (43362 real milliseconds) (54670 ms, 156666 ns) Car 2 with cost limit (300 ms, 0 ns) had actual cost (502 ms, 479000 ns) (54670 ms, 156666 ns) *** car cost overrun handler invoked *** (83937 ms, 536232 ns) Car 1, priority 2, heading south going left returns from hold of (50101 ms, 148400 ns) (83937 ms, 536232 ns) Car 1, priority 2, heading south going left one third through (83937 ms, 536232 ns) Car 1, priority 2, heading south going left releases Northwest (83937 ms, 536232 ns) no one waiting for Northwest (83937 ms, 536232 ns) Car 1, priority 2, heading south going left begins hold of (50201 ms, 119200 ns) including (50000 ms, 0 ns) hold time and (201 ms, 119200 ns) active phase time (134138 ms, 655432 ns) Car 1, priority 2, heading south going left returns from hold of (50201 ms, 119200 ns) (134138 ms, 655432 ns) Car 1, priority 2, heading south going left two thirds through (134138 ms, 655432 ns) Car 1, priority 2, heading south going left starts seize of Southeast (134138 ms, 655432 ns) Car 1, priority 2, heading south going left gets Southeast (134138 ms, 655432 ns) Car 1, priority 2, heading south going left releases Northeast (134138 ms, 655432 ns) no one waiting for Northeast (134138 ms, 655432 ns) Car 1, priority 2, heading south going left begins hold of (50100 ms, 727300 ns) including (50000 ms, 0 ns) hold time and (100 ms, 727300 ns) active phase time (184239 ms, 382732 ns) Car 1, priority 2, heading south going left returns from hold of (50100 ms, 727300 ns) (184239 ms, 382732 ns) Car 1, priority 2, heading south going left exits (184239 ms, 382732 ns) Car 1, priority 2, heading south going left releases Southeast (184239 ms, 382732 ns) no one waiting for Southeast (184239 ms, 382732 ns) *** Car 1 terminates; 14092186 instructions executed total run time (502 ms, 455900 ns), (184239 ms, 382732 ns) duration (57132 real milliseconds) (184239 ms, 382732 ns) Car 1 with cost limit (300 ms, 0 ns) had actual cost (502 ms, 455900 ns) (184239 ms, 382732 ns) *** car cost overrun handler invoked *** (184239 ms, 382732 ns) Car 1 with deadline (75000 ms, 0 ns) had run time (184239 ms, 382732 ns) (184239 ms, 382732 ns) *** car deadline miss handler invoked *** (184239 ms, 382732 ns) Simulation ends ==================================================================== *** Resource utilization statistics: *** Northeast: busy 72% of elapsed time Northwest: busy 27% of elapsed time Southeast: busy 50% of elapsed time Southwest: busy 13% of elapsed time Thread life times Car 0, priority 6, heading north going straight: life time (33836 ms, 387832 ns), 0% wait time, average priority 6.0 Car 1, priority 2, heading south going left: life time (184239 ms, 382732 ns), 18% wait time, average priority 2.0 Car 2, priority 8, heading east going left: life time (49569 ms, 425366 ns), 21% wait time, average priority 8.0 RealtimeThread 0 (priority 0): life time (5100 ms, 731300 ns), 0% wait time, average priority 0.0 +++ Execution ends after 73996 true milliseconds +++ *** Path statistics *** 14105138 instructions executed with total cost (1410 ms, 513800 ns) 3064 objects created; 3026 released 38 objects in existence 40 threads started; 5 terminated 88 classes loaded ACONST_NULL 499 ICONST_0 3111 LCONST_0 363 DCONST_0 12 BIPUSH 1151 SIPUSH 11 LDC 860 LDC_W 157 LDC2_W 1400281 ILOAD 2062 LLOAD 182 DLOAD 97 ALOAD 1296 ILOAD_0 73 ILOAD_1 2801510 ILOAD_2 94 ILOAD_3 1412 LLOAD_0 10 LLOAD_1 480 LLOAD_2 9 LLOAD_3 681 ALOAD_0 1417270 ALOAD_1 5510 ALOAD_2 2598 ALOAD_3 1342 AALOAD 922 CALOAD 584 ISTORE 1347 LSTORE 346 DSTORE 20 ASTORE 840 DSTORE_1 57 DSTORE_2 1400008 DSTORE_3 20 ASTORE_0 2 ASTORE_1 219 ASTORE_2 1348 ASTORE_3 338 IASTORE 32 AASTORE 92 CASTORE 236 POP 353 DUP 3136 DUP_X1 124 IADD 557 LADD 96 DADD 57 LSUB 364 LSUB 64 DSUB 8 IMUL 18 LMUL 15 DMUL 73 LDIV 15 DDIV 1400024 ISHL 104 LSHR 48 IUSHR 104 IAND 52 LAND 1 IXOR 156 LXOR 1 IINC 1401448 I2L 1 I2D 1400016 L2D 98 D2I 12 D2L 8 I2S 12 LCMP 566 IFEQ 714 IFNE 790 IFLT 226 IFGE 202 IFGT 31 IFLE 1186 IF_ICMPEQ 375 IF_ICMPNE 83 IF_ICMPLT 1400121 IF_ICMPGE 106 IF_ICMPGT 48 IF_ICMPLE 60 IF_ACMPEQ 38 IF_ACMPNE 193 GOTO 1777 IRETURN 1460 LRETURN 883 DRETURN 61 ARETURN 3263 RETURN 5260 GETSTATIC 1055 PUTSTATIC 61 GETFIELD 1407377 PUTFIELD 5578 INVOKEVIRTUAL 7142 INVOKESPECIAL 4273 INVOKESTATIC 1129 INVOKEINTERFACE 566 NEW 1414 NEWARRAY 419 ANEWARRAY 22 ARRAYLENGTH 126 ATHROW 6 CHECKCAST 298 INSTANCEOF 397 MONITORENTER 472 MONITOREXIT 472 IFNULL 456 IFNONNULL 1985 *** Individual thread costs *** Car 0(1): (401 ms, 931500 ns) Car 1(2): (502 ms, 665800 ns) Car 2(3): (502 ms, 619700 ns) RealtimeThread 0(4): (0 ms, 330500 ns) *** Overall execution statistics *** 0 states processed 0 backtracks 212 GCs begun; 212 ended state backtracked; cost now (1410 ms, 514200 ns); instruction count now 14105142 state advanced; cost now (0 ms, 947100 ns); instruction count now 9471 state backtracked; cost now (0 ms, 948000 ns); instruction count now 9480 state advanced; cost now (0 ms, 947000 ns); instruction count now 9470 state backtracked; cost now (0 ms, 947700 ns); instruction count now 9477 state advanced; cost now (0 ms, 892200 ns); instruction count now 8922 state backtracked; cost now (0 ms, 893100 ns); instruction count now 8931 state advanced; cost now (0 ms, 892100 ns); instruction count now 8921 state backtracked; cost now (0 ms, 892800 ns); instruction count now 8928 state advanced; cost now (0 ms, 888200 ns); instruction count now 8882 state backtracked; cost now (0 ms, 889100 ns); instruction count now 8891 state advanced; cost now (0 ms, 888100 ns); instruction count now 8881 state backtracked; cost now (0 ms, 888800 ns); instruction count now 8888 state advanced; cost now (0 ms, 884200 ns); instruction count now 8842 state backtracked; cost now (0 ms, 885100 ns); instruction count now 8851 state advanced; cost now (0 ms, 884100 ns); instruction count now 8841 state backtracked; cost now (0 ms, 884800 ns); instruction count now 8848 search finished ------------------------------------ thread stacks Thread: main at javax.realtime.test.traffic.Main.(javax\realtime\test\traffic\Main.java:110) at javax.realtime.test.traffic.Main.main(javax\realtime\test\traffic\Main.java:21) ------------------------------------ end thread stacks +++ Execution ends after 76981 true milliseconds +++ *** Path statistics *** 8841 instructions executed with total cost (0 ms, 884100 ns) 731 objects created; 469 released 262 objects in existence 3 threads started; 1 terminated 69 classes loaded ACONST_NULL 192 ICONST_0 330 LCONST_0 39 DCONST_0 3 BIPUSH 187 SIPUSH 11 LDC 119 LDC2_W 18 ILOAD 284 LLOAD 4 DLOAD 1 ALOAD 232 ILOAD_0 23 ILOAD_1 353 ILOAD_2 30 ILOAD_3 68 LLOAD_0 1 LLOAD_1 22 LLOAD_3 16 ALOAD_0 1453 ALOAD_1 257 ALOAD_2 156 ALOAD_3 138 AALOAD 48 CALOAD 104 ISTORE 282 LSTORE 2 ASTORE 56 DSTORE_1 1 ASTORE_1 12 ASTORE_2 39 ASTORE_3 28 IASTORE 32 AASTORE 66 POP 43 DUP 327 DUP_X1 27 IADD 126 DADD 1 LSUB 70 IMUL 18 DMUL 1 ISHL 46 IUSHR 46 IAND 23 LAND 1 IXOR 69 LXOR 1 IINC 122 L2D 2 LCMP 21 IFEQ 90 IFNE 32 IFLT 10 IFGE 4 IFLE 11 IF_ICMPEQ 43 IF_ICMPNE 20 IF_ICMPLT 23 IF_ICMPGE 22 IF_ACMPNE 14 GOTO 63 IRETURN 119 LRETURN 12 DRETURN 1 ARETURN 100 RETURN 445 GETSTATIC 51 PUTSTATIC 48 GETFIELD 443 PUTFIELD 631 INVOKEVIRTUAL 261 INVOKESPECIAL 366 INVOKESTATIC 96 INVOKEINTERFACE 16 NEW 121 NEWARRAY 10 ANEWARRAY 21 ARRAYLENGTH 29 ATHROW 6 CHECKCAST 20 INSTANCEOF 17 MONITORENTER 18 MONITOREXIT 18 IFNULL 37 IFNONNULL 72 *** Individual thread costs *** *** Overall execution statistics *** 88 states processed 96 backtracks 229 GCs begun; 229 ended =================================== No Errors Found ===================================