starting JPF on class: javax.realtime.test.preemption.Main search started Running under JPF choice mode is deterministic FIFO 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 deterministic (0 ms, 0 ns) Job 1 starts (0 ms, 0 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (0 ms, 0 ns) Job 2 starts (0 ms, 0 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (0 ms, 0 ns) Job 3 starts (0 ms, 0 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (0 ms, 0 ns) Job 4 starts (0 ms, 0 ns) Job 4 (priority 3) begins hold of (4 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 FIFO CPU (1 ms, 0 ns) Job 1 (priority 6) gets FIFO CPU (1 ms, 0 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO 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 FIFO 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 FIFO 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 FIFO CPU (100 ms, 456951 ns) FIFO 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 FIFO 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 FIFO 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 FIFO CPU (199 ms, 913902 ns) FIFO CPU is given to Job 3 (priority 4) (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 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (299 ms, 370853 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (299 ms, 370853 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (299 ms, 370853 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (299 ms, 370853 ns) Job 3 (priority 4) releases FIFO CPU (299 ms, 370853 ns) FIFO CPU is given to Job 4 (priority 3) (299 ms, 370853 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 0) (299 ms, 370853 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (299 ms, 370853 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding FIFO CPU (302 ms, 370853 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (302 ms, 370853 ns) Job 3 (priority 4) starts seize of FIFO CPU (398 ms, 827804 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (398 ms, 827804 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (398 ms, 827804 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (398 ms, 827804 ns) Job 4 (priority 3) releases FIFO CPU (398 ms, 827804 ns) FIFO CPU is given to Job 1 (priority 6) (398 ms, 827804 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 0) (398 ms, 827804 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (398 ms, 827804 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO CPU (402 ms, 827804 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (402 ms, 827804 ns) Job 4 (priority 3) starts seize of FIFO 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 FIFO CPU (498 ms, 284755 ns) FIFO CPU is given to Job 2 (priority 5) (498 ms, 284755 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 1) (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 FIFO 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 FIFO 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 FIFO CPU (597 ms, 741706 ns) FIFO CPU is given to Job 3 (priority 4) (597 ms, 741706 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 1) (597 ms, 741706 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (597 ms, 741706 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (697 ms, 198657 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (697 ms, 198657 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (697 ms, 198657 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (697 ms, 198657 ns) Job 3 (priority 4) releases FIFO CPU (697 ms, 198657 ns) FIFO CPU is given to Job 4 (priority 3) (697 ms, 198657 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 1) (697 ms, 198657 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (697 ms, 198657 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding FIFO CPU (700 ms, 198657 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (700 ms, 198657 ns) Job 3 (priority 4) starts seize of FIFO CPU (796 ms, 655608 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (796 ms, 655608 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (796 ms, 655608 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (796 ms, 655608 ns) Job 4 (priority 3) releases FIFO CPU (796 ms, 655608 ns) FIFO CPU is given to Job 1 (priority 6) (796 ms, 655608 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 1) (796 ms, 655608 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (796 ms, 655608 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO CPU (800 ms, 655608 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (800 ms, 655608 ns) Job 4 (priority 3) starts seize of FIFO 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 FIFO CPU (896 ms, 112559 ns) FIFO CPU is given to Job 2 (priority 5) (896 ms, 112559 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 2) (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 FIFO 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 FIFO 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 FIFO CPU (995 ms, 569510 ns) FIFO CPU is given to Job 3 (priority 4) (995 ms, 569510 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 2) (995 ms, 569510 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (995 ms, 569510 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (1095 ms, 26461 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (1095 ms, 26461 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (1095 ms, 26461 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1095 ms, 26461 ns) Job 3 (priority 4) releases FIFO CPU (1095 ms, 26461 ns) FIFO CPU is given to Job 4 (priority 3) (1095 ms, 26461 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 2) (1095 ms, 26461 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (1095 ms, 26461 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding FIFO CPU (1098 ms, 26461 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (1098 ms, 26461 ns) Job 3 (priority 4) starts seize of FIFO CPU (1194 ms, 483412 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (1194 ms, 483412 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (1194 ms, 483412 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1194 ms, 483412 ns) Job 4 (priority 3) releases FIFO CPU (1194 ms, 483412 ns) FIFO CPU is given to Job 1 (priority 6) (1194 ms, 483412 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 2) (1194 ms, 483412 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (1194 ms, 483412 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO CPU (1198 ms, 483412 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (1198 ms, 483412 ns) Job 4 (priority 3) starts seize of FIFO 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 FIFO CPU (1293 ms, 940363 ns) FIFO CPU is given to Job 2 (priority 5) (1293 ms, 940363 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 3) (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 FIFO 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 FIFO 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 FIFO CPU (1393 ms, 397314 ns) FIFO CPU is given to Job 3 (priority 4) (1393 ms, 397314 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 3) (1393 ms, 397314 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (1393 ms, 397314 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (1492 ms, 854265 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (1492 ms, 854265 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (1492 ms, 854265 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1492 ms, 854265 ns) Job 3 (priority 4) releases FIFO CPU (1492 ms, 854265 ns) FIFO CPU is given to Job 4 (priority 3) (1492 ms, 854265 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 3) (1492 ms, 854265 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (1492 ms, 854265 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding FIFO CPU (1495 ms, 854265 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (1495 ms, 854265 ns) Job 3 (priority 4) starts seize of FIFO CPU (1592 ms, 311216 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (1592 ms, 311216 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (1592 ms, 311216 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1592 ms, 311216 ns) Job 4 (priority 3) releases FIFO CPU (1592 ms, 311216 ns) FIFO CPU is given to Job 1 (priority 6) (1592 ms, 311216 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 3) (1592 ms, 311216 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (1592 ms, 311216 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO CPU (1596 ms, 311216 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (1596 ms, 311216 ns) Job 4 (priority 3) starts seize of FIFO 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 FIFO CPU (1691 ms, 768167 ns) FIFO CPU is given to Job 2 (priority 5) (1691 ms, 768167 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 4) (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 FIFO 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 FIFO 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 FIFO CPU (1791 ms, 225118 ns) FIFO CPU is given to Job 3 (priority 4) (1791 ms, 225118 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 4) (1791 ms, 225118 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (1791 ms, 225118 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (1890 ms, 682069 ns) Job 3 (priority 4) returns from hold of (99 ms, 456951 ns) (1890 ms, 682069 ns) Job 3 (priority 4) returns from hold having held (99 ms, 456951 ns) (1890 ms, 682069 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1890 ms, 682069 ns) Job 3 (priority 4) releases FIFO CPU (1890 ms, 682069 ns) FIFO CPU is given to Job 4 (priority 3) (1890 ms, 682069 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 4) (1890 ms, 682069 ns) Job 3 (priority 4) begins hold of (3 ms, 0 ns) (1890 ms, 682069 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding FIFO CPU (1893 ms, 682069 ns) Job 3 (priority 4) returns from hold of (3 ms, 0 ns) (1893 ms, 682069 ns) Job 3 (priority 4) starts seize of FIFO CPU (1990 ms, 139020 ns) Job 4 (priority 3) returns from hold of (99 ms, 456951 ns) (1990 ms, 139020 ns) Job 4 (priority 3) returns from hold having held (99 ms, 456951 ns) (1990 ms, 139020 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (1990 ms, 139020 ns) Job 4 (priority 3) releases FIFO CPU (1990 ms, 139020 ns) FIFO CPU is given to Job 1 (priority 6) (1990 ms, 139020 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 4) (1990 ms, 139020 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (1990 ms, 139020 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO CPU (1994 ms, 139020 ns) Job 4 (priority 3) returns from hold of (4 ms, 0 ns) (1994 ms, 139020 ns) Job 4 (priority 3) starts seize of FIFO CPU (2089 ms, 595971 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (2089 ms, 595971 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (2089 ms, 595971 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2089 ms, 595971 ns) Job 1 (priority 6) releases FIFO CPU (2089 ms, 595971 ns) FIFO CPU is given to Job 2 (priority 5) (2089 ms, 595971 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 5) (2089 ms, 595971 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (2089 ms, 595971 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding FIFO CPU (2090 ms, 595971 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (2090 ms, 595971 ns) Job 1 (priority 6) starts seize of FIFO CPU (2189 ms, 52922 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (2189 ms, 52922 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (2189 ms, 52922 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2189 ms, 52922 ns) Job 2 (priority 5) releases FIFO CPU (2189 ms, 52922 ns) FIFO CPU is given to Job 3 (priority 4) (2189 ms, 52922 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 5) (2189 ms, 52922 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (2189 ms, 52922 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO CPU (2191 ms, 52922 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (2191 ms, 52922 ns) Job 2 (priority 5) starts seize of FIFO 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 FIFO CPU (2288 ms, 509873 ns) FIFO CPU is given to Job 4 (priority 3) (2288 ms, 509873 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 5) (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 FIFO 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 FIFO 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 FIFO CPU (2387 ms, 966824 ns) FIFO CPU is given to Job 1 (priority 6) (2387 ms, 966824 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 5) (2387 ms, 966824 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (2387 ms, 966824 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (2487 ms, 423775 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (2487 ms, 423775 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (2487 ms, 423775 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2487 ms, 423775 ns) Job 1 (priority 6) releases FIFO CPU (2487 ms, 423775 ns) FIFO CPU is given to Job 2 (priority 5) (2487 ms, 423775 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 6) (2487 ms, 423775 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (2487 ms, 423775 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding FIFO CPU (2488 ms, 423775 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (2488 ms, 423775 ns) Job 1 (priority 6) starts seize of FIFO CPU (2586 ms, 880726 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (2586 ms, 880726 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (2586 ms, 880726 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2586 ms, 880726 ns) Job 2 (priority 5) releases FIFO CPU (2586 ms, 880726 ns) FIFO CPU is given to Job 3 (priority 4) (2586 ms, 880726 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 6) (2586 ms, 880726 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (2586 ms, 880726 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO CPU (2588 ms, 880726 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (2588 ms, 880726 ns) Job 2 (priority 5) starts seize of FIFO 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 FIFO CPU (2686 ms, 337677 ns) FIFO CPU is given to Job 4 (priority 3) (2686 ms, 337677 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 6) (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 FIFO 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 FIFO 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 FIFO CPU (2785 ms, 794628 ns) FIFO CPU is given to Job 1 (priority 6) (2785 ms, 794628 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 6) (2785 ms, 794628 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (2785 ms, 794628 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (2885 ms, 251579 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (2885 ms, 251579 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (2885 ms, 251579 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2885 ms, 251579 ns) Job 1 (priority 6) releases FIFO CPU (2885 ms, 251579 ns) FIFO CPU is given to Job 2 (priority 5) (2885 ms, 251579 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 7) (2885 ms, 251579 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (2885 ms, 251579 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding FIFO CPU (2886 ms, 251579 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (2886 ms, 251579 ns) Job 1 (priority 6) starts seize of FIFO CPU (2984 ms, 708530 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (2984 ms, 708530 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (2984 ms, 708530 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (2984 ms, 708530 ns) Job 2 (priority 5) releases FIFO CPU (2984 ms, 708530 ns) FIFO CPU is given to Job 3 (priority 4) (2984 ms, 708530 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 7) (2984 ms, 708530 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (2984 ms, 708530 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO CPU (2986 ms, 708530 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (2986 ms, 708530 ns) Job 2 (priority 5) starts seize of FIFO 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 FIFO CPU (3084 ms, 165481 ns) FIFO CPU is given to Job 4 (priority 3) (3084 ms, 165481 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 7) (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 FIFO 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 FIFO 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 FIFO CPU (3183 ms, 622432 ns) FIFO CPU is given to Job 1 (priority 6) (3183 ms, 622432 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 7) (3183 ms, 622432 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (3183 ms, 622432 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (3283 ms, 79383 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (3283 ms, 79383 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (3283 ms, 79383 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3283 ms, 79383 ns) Job 1 (priority 6) releases FIFO CPU (3283 ms, 79383 ns) FIFO CPU is given to Job 2 (priority 5) (3283 ms, 79383 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 8) (3283 ms, 79383 ns) Job 1 (priority 6) begins hold of (1 ms, 0 ns) (3283 ms, 79383 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding FIFO CPU (3284 ms, 79383 ns) Job 1 (priority 6) returns from hold of (1 ms, 0 ns) (3284 ms, 79383 ns) Job 1 (priority 6) starts seize of FIFO CPU (3382 ms, 536334 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (3382 ms, 536334 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (3382 ms, 536334 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3382 ms, 536334 ns) Job 2 (priority 5) releases FIFO CPU (3382 ms, 536334 ns) FIFO CPU is given to Job 3 (priority 4) (3382 ms, 536334 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 8) (3382 ms, 536334 ns) Job 2 (priority 5) begins hold of (2 ms, 0 ns) (3382 ms, 536334 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO CPU (3384 ms, 536334 ns) Job 2 (priority 5) returns from hold of (2 ms, 0 ns) (3384 ms, 536334 ns) Job 2 (priority 5) starts seize of FIFO 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 FIFO CPU (3481 ms, 993285 ns) FIFO CPU is given to Job 4 (priority 3) (3481 ms, 993285 ns) Job 3 (priority 4) completes hold of (99 ms, 456951 ns) (cycle 8) (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 FIFO 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 FIFO 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 FIFO CPU (3581 ms, 450236 ns) FIFO CPU is given to Job 1 (priority 6) (3581 ms, 450236 ns) Job 4 (priority 3) completes hold of (99 ms, 456951 ns) (cycle 8) (3581 ms, 450236 ns) Job 4 (priority 3) begins hold of (4 ms, 0 ns) (3581 ms, 450236 ns) Job 1 (priority 6) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (3680 ms, 907187 ns) Job 1 (priority 6) returns from hold of (99 ms, 456951 ns) (3680 ms, 907187 ns) Job 1 (priority 6) returns from hold having held (99 ms, 456951 ns) (3680 ms, 907187 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3680 ms, 907187 ns) Job 1 (priority 6) releases FIFO CPU (3680 ms, 907187 ns) FIFO CPU is given to Job 2 (priority 5) (3680 ms, 907187 ns) Job 1 (priority 6) completes hold of (99 ms, 456951 ns) (cycle 9) (3680 ms, 907187 ns) *** Job 1 terminates; 376754 instructions executed total run time (8 ms, 328500 ns), (3680 ms, 907187 ns) duration (3334 real milliseconds) (3680 ms, 907187 ns) Job 2 (priority 5) begins hold of (99 ms, 456951 ns) holding FIFO CPU (3780 ms, 364138 ns) Job 2 (priority 5) returns from hold of (99 ms, 456951 ns) (3780 ms, 364138 ns) Job 2 (priority 5) returns from hold having held (99 ms, 456951 ns) (3780 ms, 364138 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns); actual elapsed time (99 ms, 456951 ns) (3780 ms, 364138 ns) Job 2 (priority 5) releases FIFO CPU (3780 ms, 364138 ns) FIFO CPU is given to Job 3 (priority 4) (3780 ms, 364138 ns) Job 2 (priority 5) completes hold of (99 ms, 456951 ns) (cycle 9) (3780 ms, 364138 ns) *** Job 2 terminates; 384821 instructions executed total run time (8 ms, 258700 ns), (3780 ms, 364138 ns) duration (3355 real milliseconds) (3780 ms, 364138 ns) Job 3 (priority 4) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (3879 ms, 821089 ns) FIFO 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; 392762 instructions executed total run time (8 ms, 266100 ns), (3879 ms, 821089 ns) duration (3395 real milliseconds) (3879 ms, 821089 ns) Job 4 (priority 3) begins hold of (99 ms, 456951 ns) holding FIFO 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 FIFO CPU (3979 ms, 278040 ns) no one waiting for FIFO 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; 399742 instructions executed total run time (8 ms, 150000 ns), (3979 ms, 278040 ns) duration (3405 real milliseconds) (3979 ms, 278040 ns) Simulation ends ==================================================================== *** Resource utilization statistics: *** FIFO CPU: busy 99% of elapsed time Thread life times Job 1 (priority 6): life time (3680 ms, 907187 ns), 72% wait time, average priority 6.0 Job 2 (priority 5): life time (3780 ms, 364138 ns), 73% 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 5348 true milliseconds +++ *** Path statistics *** 408075 instructions executed with total cost (40 ms, 807500 ns) 11158 objects created; 13510 released -2352 objects in existence 256 threads started; 5 terminated 76 classes loaded ACONST_NULL 778 ICONST_0 14416 LCONST_0 2183 DCONST_0 4 BIPUSH 2844 SIPUSH 11 LDC 3027 LDC_W 1272 LDC2_W 1281 ILOAD 4425 LLOAD 1187 DLOAD 52 ALOAD 5718 ILOAD_0 211 ILOAD_1 5590 ILOAD_2 561 ILOAD_3 2760 LLOAD_0 82 LLOAD_1 2705 LLOAD_2 80 LLOAD_3 4196 ALOAD_0 71940 ALOAD_1 23545 ALOAD_2 6761 ALOAD_3 2822 AALOAD 206 CALOAD 3272 ISTORE 4234 LSTORE 2231 DSTORE 4 ASTORE 1528 DSTORE_1 25 DSTORE_3 12 ASTORE_0 2 ASTORE_1 431 ASTORE_2 3947 ASTORE_3 932 IASTORE 32 AASTORE 200 CASTORE 236 POP 1650 DUP 12103 DUP_X1 131 IADD 2151 LADD 514 DADD 28 LSUB 2110 LSUB 454 DSUB 8 LMUL 49 DMUL 35 LDIV 49 DDIV 10 ISHL 170 LSHR 339 IUSHR 170 IAND 85 LAND 1 IXOR 255 LXOR 1 IINC 3758 I2L 3 I2D 8 L2D 41 D2I 11 I2S 9 LCMP 3832 IFEQ 2952 IFNE 2357 IFLT 1518 IFGE 1434 IFGT 247 IFLE 2010 IF_ICMPEQ 1650 IF_ICMPNE 299 IF_ICMPLT 683 IF_ICMPGE 360 IF_ICMPGT 334 IF_ICMPLE 433 IF_ACMPEQ 164 IF_ACMPNE 502 GOTO 3598 IRETURN 5287 LRETURN 4969 DRETURN 26 ARETURN 13701 RETURN 24651 GETSTATIC 5328 PUTSTATIC 52 GETFIELD 29676 PUTFIELD 22992 INVOKEVIRTUAL 33869 INVOKESPECIAL 19448 INVOKESTATIC 4610 INVOKEINTERFACE 1126 NEW 6549 NEWARRAY 2047 ANEWARRAY 12 ARRAYLENGTH 134 CHECKCAST 893 INSTANCEOF 133 MONITORENTER 2455 MONITOREXIT 2455 IFNULL 553 IFNONNULL 4850 *** Individual thread costs *** Job 1(1): (8 ms, 393900 ns) Job 2(2): (8 ms, 324100 ns) Job 3(3): (8 ms, 331500 ns) Job 4(4): (8 ms, 215400 ns) *** Overall execution statistics *** 0 states processed 0 backtracks 1400 GCs begun; 1400 ended state backtracked; cost now (40 ms, 807900 ns); instruction count now 408079 state advanced; cost now (0 ms, 590400 ns); instruction count now 5904 state backtracked; cost now (0 ms, 591300 ns); instruction count now 5913 state advanced; cost now (0 ms, 590300 ns); instruction count now 5903 state backtracked; cost now (0 ms, 591000 ns); instruction count now 5910 state advanced; cost now (0 ms, 536000 ns); instruction count now 5360 state backtracked; cost now (0 ms, 536900 ns); instruction count now 5369 state advanced; cost now (0 ms, 535900 ns); instruction count now 5359 state backtracked; cost now (0 ms, 536600 ns); instruction count now 5366 state advanced; cost now (0 ms, 490200 ns); instruction count now 4902 state backtracked; cost now (0 ms, 491100 ns); instruction count now 4911 state advanced; cost now (0 ms, 490100 ns); instruction count now 4901 state backtracked; cost now (0 ms, 490800 ns); instruction count now 4908 state advanced; cost now (0 ms, 453100 ns); instruction count now 4531 state backtracked; cost now (0 ms, 454000 ns); instruction count now 4540 state advanced; cost now (0 ms, 453000 ns); instruction count now 4530 state backtracked; cost now (0 ms, 453700 ns); instruction count now 4537 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 5448 true milliseconds +++ *** Path statistics *** 4530 instructions executed with total cost (0 ms, 453000 ns) 278 objects created; 104 released 174 objects in existence 3 threads started; 1 terminated 54 classes loaded ACONST_NULL 84 ICONST_0 178 LCONST_0 42 DCONST_0 4 BIPUSH 112 SIPUSH 11 LDC 101 LDC2_W 20 ILOAD 46 LLOAD 6 ALOAD 52 ILOAD_0 5 ILOAD_1 80 ILOAD_2 12 ILOAD_3 10 LLOAD_0 2 LLOAD_1 20 LLOAD_3 22 ALOAD_0 856 ALOAD_1 160 ALOAD_2 73 ALOAD_3 37 AALOAD 15 CALOAD 8 ISTORE 52 LSTORE 6 ASTORE 16 ASTORE_1 4 ASTORE_2 23 ASTORE_3 6 IASTORE 32 AASTORE 42 POP 26 DUP 199 DUP_X1 6 IADD 39 LSUB 10 DMUL 2 ISHL 10 IUSHR 10 IAND 5 LAND 1 IXOR 15 LXOR 1 IINC 8 I2L 2 L2D 1 D2I 2 LCMP 33 IFEQ 25 IFNE 9 IFLT 11 IFGE 10 IFLE 17 IF_ICMPEQ 4 IF_ICMPNE 7 IF_ICMPLT 5 IF_ICMPLE 4 IF_ACMPNE 4 GOTO 37 IRETURN 63 LRETURN 9 ARETURN 74 RETURN 297 GETSTATIC 40 PUTSTATIC 40 GETFIELD 218 PUTFIELD 367 INVOKEVIRTUAL 262 INVOKESPECIAL 237 INVOKESTATIC 45 INVOKEINTERFACE 5 NEW 82 NEWARRAY 15 ANEWARRAY 12 ARRAYLENGTH 13 CHECKCAST 8 INSTANCEOF 8 MONITORENTER 18 MONITOREXIT 18 IFNULL 10 IFNONNULL 49 *** Individual thread costs *** *** Overall execution statistics *** 520 states processed 528 backtracks 1417 GCs begun; 1417 ended