starting JPF on class: javax.realtime.test.preemption.Main search started Running under JPF choice mode is pseudorandom Priority CPU Job 1 created, priority=6, cycles=10, pauseTime=(1 ms, 0 ns), computationTime=(99 ms, 456951 ns) Job 2 created, priority=5, cycles=10, pauseTime=(2 ms, 0 ns), computationTime=(99 ms, 456951 ns) Job 3 created, priority=4, cycles=10, pauseTime=(3 ms, 0 ns), computationTime=(99 ms, 456951 ns) Job 4 created, priority=3, cycles=10, pauseTime=(4 ms, 0 ns), computationTime=(99 ms, 456951 ns) Simulation starts at time (0 ms, 0 ns) under mode pseudorandom 4 choices available for next event: ((0 ms, 0 ns), 6, Job 1 (priority 6)) ((0 ms, 0 ns), 5, Job 2 (priority 5)) ((0 ms, 0 ns), 4, Job 3 (priority 4)) ((0 ms, 0 ns), 3, Job 4 (priority 3)) selecting ((0 ms, 0 ns), 5, Job 2 (priority 5)) (0 ms, 0 ns) Job 2 starts (0 ms, 0 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) 3 choices available for next event: ((0 ms, 0 ns), 6, Job 1 (priority 6)) ((0 ms, 0 ns), 4, Job 3 (priority 4)) ((0 ms, 0 ns), 3, Job 4 (priority 3)) selecting ((0 ms, 0 ns), 4, Job 3 (priority 4)) (0 ms, 0 ns) Job 3 starts (0 ms, 0 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) 2 choices available for next event: ((0 ms, 0 ns), 6, Job 1 (priority 6)) ((0 ms, 0 ns), 3, Job 4 (priority 3)) selecting ((0 ms, 0 ns), 3, Job 4 (priority 3)) (0 ms, 0 ns) Job 4 starts (0 ms, 0 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (0 ms, 0 ns) Job 1 starts (0 ms, 0 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (1 ms, 0 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (1 ms, 0 ns) Job 1 (priority 6) starts seize of Priority CPU (1 ms, 0 ns) Job 1 (priority 6) gets Priority CPU (1 ms, 0 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (2 ms, 0 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (2 ms, 0 ns) Job 2 (priority 5) starts seize of Priority CPU (3 ms, 0 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (3 ms, 0 ns) Job 3 (priority 4) starts seize of Priority CPU (4 ms, 0 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (4 ms, 0 ns) Job 4 (priority 3) starts seize of Priority CPU (100 ms, 456951 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (100 ms, 456951 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (100 ms, 456951 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (100 ms, 456951 ns) Job 1 (priority 6) releases Priority CPU (100 ms, 456951 ns) Priority CPU is given to Job 2 (priority 5) (100 ms, 456951 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 0) (100 ms, 456951 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (100 ms, 456951 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (101 ms, 456951 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (101 ms, 456951 ns) Job 1 (priority 6) starts seize of Priority CPU (199 ms, 913902 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (199 ms, 913902 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (199 ms, 913902 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (199 ms, 913902 ns) Job 2 (priority 5) releases Priority CPU (199 ms, 913902 ns) Priority CPU is given to Job 1 (priority 6) (199 ms, 913902 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 0) (199 ms, 913902 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (199 ms, 913902 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (201 ms, 913902 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (201 ms, 913902 ns) Job 2 (priority 5) starts seize of Priority CPU (299 ms, 370853 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (299 ms, 370853 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (299 ms, 370853 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (299 ms, 370853 ns) Job 1 (priority 6) releases Priority CPU (299 ms, 370853 ns) Priority CPU is given to Job 2 (priority 5) (299 ms, 370853 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 1) (299 ms, 370853 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (299 ms, 370853 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (300 ms, 370853 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (300 ms, 370853 ns) Job 1 (priority 6) starts seize of Priority CPU (398 ms, 827804 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (398 ms, 827804 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (398 ms, 827804 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (398 ms, 827804 ns) Job 2 (priority 5) releases Priority CPU (398 ms, 827804 ns) Priority CPU is given to Job 1 (priority 6) (398 ms, 827804 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 1) (398 ms, 827804 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (398 ms, 827804 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (400 ms, 827804 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (400 ms, 827804 ns) Job 2 (priority 5) starts seize of Priority CPU (498 ms, 284755 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (498 ms, 284755 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (498 ms, 284755 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (498 ms, 284755 ns) Job 1 (priority 6) releases Priority CPU (498 ms, 284755 ns) Priority CPU is given to Job 2 (priority 5) (498 ms, 284755 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 2) (498 ms, 284755 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (498 ms, 284755 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (499 ms, 284755 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (499 ms, 284755 ns) Job 1 (priority 6) starts seize of Priority CPU (597 ms, 741706 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (597 ms, 741706 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (597 ms, 741706 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (597 ms, 741706 ns) Job 2 (priority 5) releases Priority CPU (597 ms, 741706 ns) Priority CPU is given to Job 1 (priority 6) (597 ms, 741706 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 2) (597 ms, 741706 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (597 ms, 741706 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (599 ms, 741706 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (599 ms, 741706 ns) Job 2 (priority 5) starts seize of Priority CPU (697 ms, 198657 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (697 ms, 198657 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (697 ms, 198657 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (697 ms, 198657 ns) Job 1 (priority 6) releases Priority CPU (697 ms, 198657 ns) Priority CPU is given to Job 2 (priority 5) (697 ms, 198657 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 3) (697 ms, 198657 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (697 ms, 198657 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (698 ms, 198657 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (698 ms, 198657 ns) Job 1 (priority 6) starts seize of Priority CPU (796 ms, 655608 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (796 ms, 655608 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (796 ms, 655608 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (796 ms, 655608 ns) Job 2 (priority 5) releases Priority CPU (796 ms, 655608 ns) Priority CPU is given to Job 1 (priority 6) (796 ms, 655608 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 3) (796 ms, 655608 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (796 ms, 655608 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (798 ms, 655608 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (798 ms, 655608 ns) Job 2 (priority 5) starts seize of Priority CPU (896 ms, 112559 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (896 ms, 112559 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (896 ms, 112559 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (896 ms, 112559 ns) Job 1 (priority 6) releases Priority CPU (896 ms, 112559 ns) Priority CPU is given to Job 2 (priority 5) (896 ms, 112559 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 4) (896 ms, 112559 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (896 ms, 112559 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (897 ms, 112559 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (897 ms, 112559 ns) Job 1 (priority 6) starts seize of Priority CPU (995 ms, 569510 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (995 ms, 569510 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (995 ms, 569510 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (995 ms, 569510 ns) Job 2 (priority 5) releases Priority CPU (995 ms, 569510 ns) Priority CPU is given to Job 1 (priority 6) (995 ms, 569510 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 4) (995 ms, 569510 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (995 ms, 569510 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (997 ms, 569510 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (997 ms, 569510 ns) Job 2 (priority 5) starts seize of Priority CPU (1095 ms, 26461 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (1095 ms, 26461 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (1095 ms, 26461 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1095 ms, 26461 ns) Job 1 (priority 6) releases Priority CPU (1095 ms, 26461 ns) Priority CPU is given to Job 2 (priority 5) (1095 ms, 26461 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 5) (1095 ms, 26461 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (1095 ms, 26461 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (1096 ms, 26461 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (1096 ms, 26461 ns) Job 1 (priority 6) starts seize of Priority CPU (1194 ms, 483412 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (1194 ms, 483412 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (1194 ms, 483412 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1194 ms, 483412 ns) Job 2 (priority 5) releases Priority CPU (1194 ms, 483412 ns) Priority CPU is given to Job 1 (priority 6) (1194 ms, 483412 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 5) (1194 ms, 483412 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (1194 ms, 483412 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (1196 ms, 483412 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (1196 ms, 483412 ns) Job 2 (priority 5) starts seize of Priority CPU (1293 ms, 940363 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (1293 ms, 940363 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (1293 ms, 940363 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1293 ms, 940363 ns) Job 1 (priority 6) releases Priority CPU (1293 ms, 940363 ns) Priority CPU is given to Job 2 (priority 5) (1293 ms, 940363 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 6) (1293 ms, 940363 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (1293 ms, 940363 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (1294 ms, 940363 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (1294 ms, 940363 ns) Job 1 (priority 6) starts seize of Priority CPU (1393 ms, 397314 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (1393 ms, 397314 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (1393 ms, 397314 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1393 ms, 397314 ns) Job 2 (priority 5) releases Priority CPU (1393 ms, 397314 ns) Priority CPU is given to Job 1 (priority 6) (1393 ms, 397314 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 6) (1393 ms, 397314 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (1393 ms, 397314 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (1395 ms, 397314 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (1395 ms, 397314 ns) Job 2 (priority 5) starts seize of Priority CPU (1492 ms, 854265 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (1492 ms, 854265 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (1492 ms, 854265 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1492 ms, 854265 ns) Job 1 (priority 6) releases Priority CPU (1492 ms, 854265 ns) Priority CPU is given to Job 2 (priority 5) (1492 ms, 854265 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 7) (1492 ms, 854265 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (1492 ms, 854265 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (1493 ms, 854265 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (1493 ms, 854265 ns) Job 1 (priority 6) starts seize of Priority CPU (1592 ms, 311216 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (1592 ms, 311216 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (1592 ms, 311216 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1592 ms, 311216 ns) Job 2 (priority 5) releases Priority CPU (1592 ms, 311216 ns) Priority CPU is given to Job 1 (priority 6) (1592 ms, 311216 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 7) (1592 ms, 311216 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (1592 ms, 311216 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (1594 ms, 311216 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (1594 ms, 311216 ns) Job 2 (priority 5) starts seize of Priority CPU (1691 ms, 768167 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (1691 ms, 768167 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (1691 ms, 768167 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1691 ms, 768167 ns) Job 1 (priority 6) releases Priority CPU (1691 ms, 768167 ns) Priority CPU is given to Job 2 (priority 5) (1691 ms, 768167 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 8) (1691 ms, 768167 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (1691 ms, 768167 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (1692 ms, 768167 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (1692 ms, 768167 ns) Job 1 (priority 6) starts seize of Priority CPU (1791 ms, 225118 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (1791 ms, 225118 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (1791 ms, 225118 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1791 ms, 225118 ns) Job 2 (priority 5) releases Priority CPU (1791 ms, 225118 ns) Priority CPU is given to Job 1 (priority 6) (1791 ms, 225118 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 8) (1791 ms, 225118 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (1791 ms, 225118 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding Priority CPU (1793 ms, 225118 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (1793 ms, 225118 ns) Job 2 (priority 5) starts seize of Priority CPU (1890 ms, 682069 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (1890 ms, 682069 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (1890 ms, 682069 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1890 ms, 682069 ns) Job 1 (priority 6) releases Priority CPU (1890 ms, 682069 ns) Priority CPU is given to Job 2 (priority 5) (1890 ms, 682069 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 9) (1890 ms, 682069 ns) *** Job 1 terminates; 215450 instructions executed total run time (8 ms, 443500 ns), (1890 ms, 682069 ns) duration (1852 real milliseconds) (1890 ms, 682069 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding Priority CPU (1990 ms, 139020 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (1990 ms, 139020 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (1990 ms, 139020 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1990 ms, 139020 ns) Job 2 (priority 5) releases Priority CPU (1990 ms, 139020 ns) Priority CPU is given to Job 3 (priority 4) (1990 ms, 139020 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 9) (1990 ms, 139020 ns) *** Job 2 terminates; 223409 instructions executed total run time (8 ms, 384800 ns), (1990 ms, 139020 ns) duration (2023 real milliseconds) (1990 ms, 139020 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (2089 ms, 595971 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (2089 ms, 595971 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (2089 ms, 595971 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2089 ms, 595971 ns) Job 3 (priority 4) releases Priority CPU (2089 ms, 595971 ns) Priority CPU is given to Job 4 (priority 3) (2089 ms, 595971 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 0) (2089 ms, 595971 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (2089 ms, 595971 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (2092 ms, 595971 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (2092 ms, 595971 ns) Job 3 (priority 4) starts seize of Priority CPU (2189 ms, 52922 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (2189 ms, 52922 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (2189 ms, 52922 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2189 ms, 52922 ns) Job 4 (priority 3) releases Priority CPU (2189 ms, 52922 ns) Priority CPU is given to Job 3 (priority 4) (2189 ms, 52922 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 0) (2189 ms, 52922 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (2189 ms, 52922 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (2193 ms, 52922 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (2193 ms, 52922 ns) Job 4 (priority 3) starts seize of Priority CPU (2288 ms, 509873 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (2288 ms, 509873 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (2288 ms, 509873 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2288 ms, 509873 ns) Job 3 (priority 4) releases Priority CPU (2288 ms, 509873 ns) Priority CPU is given to Job 4 (priority 3) (2288 ms, 509873 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 1) (2288 ms, 509873 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (2288 ms, 509873 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (2291 ms, 509873 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (2291 ms, 509873 ns) Job 3 (priority 4) starts seize of Priority CPU (2387 ms, 966824 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (2387 ms, 966824 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (2387 ms, 966824 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2387 ms, 966824 ns) Job 4 (priority 3) releases Priority CPU (2387 ms, 966824 ns) Priority CPU is given to Job 3 (priority 4) (2387 ms, 966824 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 1) (2387 ms, 966824 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (2387 ms, 966824 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (2391 ms, 966824 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (2391 ms, 966824 ns) Job 4 (priority 3) starts seize of Priority CPU (2487 ms, 423775 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (2487 ms, 423775 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (2487 ms, 423775 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2487 ms, 423775 ns) Job 3 (priority 4) releases Priority CPU (2487 ms, 423775 ns) Priority CPU is given to Job 4 (priority 3) (2487 ms, 423775 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 2) (2487 ms, 423775 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (2487 ms, 423775 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (2490 ms, 423775 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (2490 ms, 423775 ns) Job 3 (priority 4) starts seize of Priority CPU (2586 ms, 880726 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (2586 ms, 880726 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (2586 ms, 880726 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2586 ms, 880726 ns) Job 4 (priority 3) releases Priority CPU (2586 ms, 880726 ns) Priority CPU is given to Job 3 (priority 4) (2586 ms, 880726 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 2) (2586 ms, 880726 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (2586 ms, 880726 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (2590 ms, 880726 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (2590 ms, 880726 ns) Job 4 (priority 3) starts seize of Priority CPU (2686 ms, 337677 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (2686 ms, 337677 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (2686 ms, 337677 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2686 ms, 337677 ns) Job 3 (priority 4) releases Priority CPU (2686 ms, 337677 ns) Priority CPU is given to Job 4 (priority 3) (2686 ms, 337677 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 3) (2686 ms, 337677 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (2686 ms, 337677 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (2689 ms, 337677 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (2689 ms, 337677 ns) Job 3 (priority 4) starts seize of Priority CPU (2785 ms, 794628 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (2785 ms, 794628 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (2785 ms, 794628 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2785 ms, 794628 ns) Job 4 (priority 3) releases Priority CPU (2785 ms, 794628 ns) Priority CPU is given to Job 3 (priority 4) (2785 ms, 794628 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 3) (2785 ms, 794628 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (2785 ms, 794628 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (2789 ms, 794628 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (2789 ms, 794628 ns) Job 4 (priority 3) starts seize of Priority CPU (2885 ms, 251579 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (2885 ms, 251579 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (2885 ms, 251579 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2885 ms, 251579 ns) Job 3 (priority 4) releases Priority CPU (2885 ms, 251579 ns) Priority CPU is given to Job 4 (priority 3) (2885 ms, 251579 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 4) (2885 ms, 251579 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (2885 ms, 251579 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (2888 ms, 251579 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (2888 ms, 251579 ns) Job 3 (priority 4) starts seize of Priority CPU (2984 ms, 708530 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (2984 ms, 708530 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (2984 ms, 708530 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2984 ms, 708530 ns) Job 4 (priority 3) releases Priority CPU (2984 ms, 708530 ns) Priority CPU is given to Job 3 (priority 4) (2984 ms, 708530 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 4) (2984 ms, 708530 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (2984 ms, 708530 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (2988 ms, 708530 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (2988 ms, 708530 ns) Job 4 (priority 3) starts seize of Priority CPU (3084 ms, 165481 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (3084 ms, 165481 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (3084 ms, 165481 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3084 ms, 165481 ns) Job 3 (priority 4) releases Priority CPU (3084 ms, 165481 ns) Priority CPU is given to Job 4 (priority 3) (3084 ms, 165481 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 5) (3084 ms, 165481 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (3084 ms, 165481 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (3087 ms, 165481 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (3087 ms, 165481 ns) Job 3 (priority 4) starts seize of Priority CPU (3183 ms, 622432 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (3183 ms, 622432 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (3183 ms, 622432 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3183 ms, 622432 ns) Job 4 (priority 3) releases Priority CPU (3183 ms, 622432 ns) Priority CPU is given to Job 3 (priority 4) (3183 ms, 622432 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 5) (3183 ms, 622432 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (3183 ms, 622432 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (3187 ms, 622432 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (3187 ms, 622432 ns) Job 4 (priority 3) starts seize of Priority CPU (3283 ms, 79383 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (3283 ms, 79383 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (3283 ms, 79383 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3283 ms, 79383 ns) Job 3 (priority 4) releases Priority CPU (3283 ms, 79383 ns) Priority CPU is given to Job 4 (priority 3) (3283 ms, 79383 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 6) (3283 ms, 79383 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (3283 ms, 79383 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (3286 ms, 79383 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (3286 ms, 79383 ns) Job 3 (priority 4) starts seize of Priority CPU (3382 ms, 536334 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (3382 ms, 536334 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (3382 ms, 536334 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3382 ms, 536334 ns) Job 4 (priority 3) releases Priority CPU (3382 ms, 536334 ns) Priority CPU is given to Job 3 (priority 4) (3382 ms, 536334 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 6) (3382 ms, 536334 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (3382 ms, 536334 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (3386 ms, 536334 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (3386 ms, 536334 ns) Job 4 (priority 3) starts seize of Priority CPU (3481 ms, 993285 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (3481 ms, 993285 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (3481 ms, 993285 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3481 ms, 993285 ns) Job 3 (priority 4) releases Priority CPU (3481 ms, 993285 ns) Priority CPU is given to Job 4 (priority 3) (3481 ms, 993285 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 7) (3481 ms, 993285 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (3481 ms, 993285 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (3484 ms, 993285 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (3484 ms, 993285 ns) Job 3 (priority 4) starts seize of Priority CPU (3581 ms, 450236 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (3581 ms, 450236 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (3581 ms, 450236 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3581 ms, 450236 ns) Job 4 (priority 3) releases Priority CPU (3581 ms, 450236 ns) Priority CPU is given to Job 3 (priority 4) (3581 ms, 450236 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 7) (3581 ms, 450236 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (3581 ms, 450236 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (3585 ms, 450236 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (3585 ms, 450236 ns) Job 4 (priority 3) starts seize of Priority CPU (3680 ms, 907187 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (3680 ms, 907187 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (3680 ms, 907187 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3680 ms, 907187 ns) Job 3 (priority 4) releases Priority CPU (3680 ms, 907187 ns) Priority CPU is given to Job 4 (priority 3) (3680 ms, 907187 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 8) (3680 ms, 907187 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (3680 ms, 907187 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (3683 ms, 907187 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (3683 ms, 907187 ns) Job 3 (priority 4) starts seize of Priority CPU (3780 ms, 364138 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (3780 ms, 364138 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (3780 ms, 364138 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3780 ms, 364138 ns) Job 4 (priority 3) releases Priority CPU (3780 ms, 364138 ns) Priority CPU is given to Job 3 (priority 4) (3780 ms, 364138 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 8) (3780 ms, 364138 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (3780 ms, 364138 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding Priority CPU (3784 ms, 364138 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (3784 ms, 364138 ns) Job 4 (priority 3) starts seize of Priority CPU (3879 ms, 821089 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (3879 ms, 821089 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (3879 ms, 821089 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3879 ms, 821089 ns) Job 3 (priority 4) releases Priority CPU (3879 ms, 821089 ns) Priority CPU is given to Job 4 (priority 3) (3879 ms, 821089 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 9) (3879 ms, 821089 ns) *** Job 3 terminates; 408650 instructions executed total run time (8 ms, 332500 ns), (3879 ms, 821089 ns) duration (3445 real milliseconds) (3879 ms, 821089 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding Priority CPU (3979 ms, 278040 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (3979 ms, 278040 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (3979 ms, 278040 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3979 ms, 278040 ns) Job 4 (priority 3) releases Priority CPU (3979 ms, 278040 ns) no one waiting for Priority CPU (3979 ms, 278040 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 9) (3979 ms, 278040 ns) *** Job 4 terminates; 415539 instructions executed total run time (8 ms, 219700 ns), (3979 ms, 278040 ns) duration (3445 real milliseconds) (3979 ms, 278040 ns) Simulation ends ==================================================================== *** Resource utilization statistics: *** Priority CPU: busy 99% of elapsed time Thread life times Job 1 (priority 6): life time (1890 ms, 682069 ns), 46% wait time, average priority 6.0 Job 2 (priority 5): life time (1990 ms, 139020 ns), 49% wait time, average priority 5.0 Job 3 (priority 4): life time (3879 ms, 821089 ns), 73% wait time, average priority 4.0 Job 4 (priority 3): life time (3979 ms, 278040 ns), 74% wait time, average priority 3.0 +++ Execution ends after 5538 true milliseconds +++ *** Path statistics *** 423221 instructions executed with total cost (42 ms, 322100 ns) 11368 objects created; 13785 released -2417 objects in existence 256 threads started; 5 terminated 74 classes loaded ACONST_NULL 742 ICONST_0 14438 LCONST_0 2186 DCONST_0 4 BIPUSH 2888 SIPUSH 11 LDC 3124 LDC_W 1297 LDC2_W 1290 ILOAD 1410 LLOAD 1445 DLOAD 52 ALOAD 2897 ILOAD_0 214 ILOAD_1 8422 ILOAD_2 754 ILOAD_3 2819 LLOAD_0 82 LLOAD_1 2711 LLOAD_2 80 LLOAD_3 4772 ALOAD_0 77760 ALOAD_1 24763 ALOAD_2 7802 ALOAD_3 3093 AALOAD 168 CALOAD 162 ISTORE 3238 LSTORE 2651 DSTORE 4 ASTORE 1402 DSTORE_1 25 DSTORE_3 12 ASTORE_0 2 ASTORE_1 430 ASTORE_2 5037 ASTORE_3 994 IASTORE 32 AASTORE 122 CASTORE 236 POP 1692 DUP 10587 DUP_X1 54 IADD 2123 LADD 520 DADD 28 LSUB 353 LSUB 460 DSUB 8 LMUL 52 DMUL 35 LDIV 52 DDIV 10 ISHL 170 LSHR 838 IUSHR 170 IAND 85 LAND 1 IXOR 255 LXOR 1 IINC 1430 I2L 3 I2D 8 L2D 41 D2I 11 I2S 9 LCMP 4663 IFEQ 1291 IFNE 3022 IFLT 2017 IFGE 1848 IFGT 326 IFLE 2386 IF_ICMPEQ 218 IF_ICMPNE 348 IF_ICMPLT 1182 IF_ICMPGE 1137 IF_ICMPGT 827 IF_ICMPLE 940 IF_ACMPEQ 165 IF_ACMPNE 551 GOTO 4383 IRETURN 6459 LRETURN 5383 DRETURN 26 ARETURN 14920 RETURN 24995 GETSTATIC 5475 PUTSTATIC 52 GETFIELD 35250 PUTFIELD 23584 INVOKEVIRTUAL 35475 INVOKESPECIAL 20287 INVOKESTATIC 4646 INVOKEINTERFACE 1985 NEW 6673 NEWARRAY 2089 ANEWARRAY 11 ARRAYLENGTH 96 CHECKCAST 1332 INSTANCEOF 141 MONITORENTER 2497 MONITOREXIT 2497 IFNULL 560 IFNONNULL 4917 *** Individual thread costs *** Job 1(1): (8 ms, 508900 ns) Job 2(2): (8 ms, 450200 ns) Job 3(3): (8 ms, 397900 ns) Job 4(4): (8 ms, 285100 ns) *** Overall execution statistics *** 0 states processed 0 backtracks 1480 GCs begun; 1480 ended state backtracked; cost now (42 ms, 322500 ns); instruction count now 423225 state advanced; cost now (0 ms, 602800 ns); instruction count now 6028 state backtracked; cost now (0 ms, 603700 ns); instruction count now 6037 state advanced; cost now (0 ms, 602700 ns); instruction count now 6027 state backtracked; cost now (0 ms, 603400 ns); instruction count now 6034 state advanced; cost now (0 ms, 548400 ns); instruction count now 5484 state backtracked; cost now (0 ms, 549300 ns); instruction count now 5493 state advanced; cost now (0 ms, 548300 ns); instruction count now 5483 state backtracked; cost now (0 ms, 549000 ns); instruction count now 5490 state advanced; cost now (0 ms, 502600 ns); instruction count now 5026 state backtracked; cost now (0 ms, 503500 ns); instruction count now 5035 state advanced; cost now (0 ms, 502500 ns); instruction count now 5025 state backtracked; cost now (0 ms, 503200 ns); instruction count now 5032 state advanced; cost now (0 ms, 465500 ns); instruction count now 4655 state backtracked; cost now (0 ms, 466400 ns); instruction count now 4664 state advanced; cost now (0 ms, 465400 ns); instruction count now 4654 state backtracked; cost now (0 ms, 466100 ns); instruction count now 4661 search finished ------------------------------------ thread stacks =================================== No Errors Found =================================== Thread: main at javax.realtime.test.preemption.Main.(javax\realtime\test\preemption\Main.java:147) at javax.realtime.test.preemption.Main.main(javax\realtime\test\preemption\Main.java:52) ------------------------------------ end thread stacks +++ Execution ends after 5648 true milliseconds +++ *** Path statistics *** 4654 instructions executed with total cost (0 ms, 465400 ns) 275 objects created; 106 released 169 objects in existence 3 threads started; 1 terminated 52 classes loaded ACONST_NULL 87 ICONST_0 186 LCONST_0 42 DCONST_0 4 BIPUSH 111 SIPUSH 11 LDC 102 LDC2_W 20 ILOAD 55 LLOAD 6 ALOAD 63 ILOAD_0 5 ILOAD_1 78 ILOAD_2 12 ILOAD_3 15 LLOAD_0 2 LLOAD_1 20 LLOAD_3 22 ALOAD_0 868 ALOAD_1 164 ALOAD_2 75 ALOAD_3 38 AALOAD 16 CALOAD 16 ISTORE 57 LSTORE 6 ASTORE 17 ASTORE_1 4 ASTORE_2 24 ASTORE_3 6 IASTORE 32 AASTORE 42 POP 26 DUP 204 DUP_X1 7 IADD 39 LSUB 14 DMUL 2 ISHL 10 IUSHR 10 IAND 5 LAND 1 IXOR 15 LXOR 1 IINC 16 I2L 2 L2D 1 D2I 2 LCMP 33 IFEQ 31 IFNE 9 IFLT 11 IFGE 9 IFLE 17 IF_ICMPEQ 8 IF_ICMPNE 9 IF_ICMPLT 5 IF_ICMPLE 5 IF_ACMPNE 5 GOTO 38 IRETURN 64 LRETURN 9 ARETURN 74 RETURN 299 GETSTATIC 40 PUTSTATIC 40 GETFIELD 225 PUTFIELD 373 INVOKEVIRTUAL 263 INVOKESPECIAL 239 INVOKESTATIC 45 INVOKEINTERFACE 5 NEW 83 NEWARRAY 15 ANEWARRAY 11 ARRAYLENGTH 14 CHECKCAST 9 INSTANCEOF 9 MONITORENTER 18 MONITOREXIT 18 IFNULL 11 IFNONNULL 49 *** Individual thread costs *** *** Overall execution statistics *** 520 states processed 528 backtracks 1497 GCs begun; 1497 ended