[ 0:00] compiling /home/xrockai/src/divine/nightly/test/weakmem/4.peterson_relaxed.cpp [ 0:00] relaxed memory: tso [ 0:07] loading bitcode … LART … RR … constants … done [ 0:27] booting … done [ 0:30] [ 0:30] searching: 1 states found in 0:00, averaging 100.0, queued: 0 [ 0:30] searching: 1 states found in 0:00, averaging 2.0, queued: 0 [ 0:31] searching: 4 states found in 0:01, averaging 4.0, queued: 0 [ 0:31] searching: 9 states found in 0:01, averaging 6.0, queued: 0 [ 0:32] searching: 15 states found in 0:02, averaging 7.5, queued: 0 [ 0:32] searching: 21 states found in 0:02, averaging 8.4, queued: 0 [ 0:33] searching: 29 states found in 0:03, averaging 9.6, queued: 0 [ 0:33] searching: 35 states found in 0:03, averaging 10.0, queued: 0 [ 0:34] searching: 43 states found in 0:04, averaging 10.7, queued: 0 [ 0:34] searching: 53 states found in 0:04, averaging 11.7, queued: 0 [ 0:35] searching: 61 states found in 0:05, averaging 12.2, queued: 0 [ 0:35] searching: 68 states found in 0:05, averaging 12.3, queued: 0 [ 0:36] searching: 77 states found in 0:06, averaging 12.8, queued: 0 [ 0:36] searching: 86 states found in 0:06, averaging 13.2, queued: 0 [ 0:37] searching: 96 states found in 0:07, averaging 13.7, queued: 0 [ 0:37] searching: 102 states found in 0:07, averaging 13.6, queued: 0 [ 0:38] searching: 112 states found in 0:08, averaging 14.0, queued: 0 [ 0:38] searching: 124 states found in 0:08, averaging 14.6, queued: 0 [ 0:39] searching: 133 states found in 0:09, averaging 14.8, queued: 0 [ 0:39] searching: 144 states found in 0:09, averaging 15.1, queued: 2 [ 0:40] searching: 154 states found in 0:10, averaging 15.4, queued: 2 [ 0:40] searching: 166 states found in 0:10, averaging 15.8, queued: 2 [ 0:41] searching: 177 states found in 0:11, averaging 16.1, queued: 0 [ 0:41] searching: 185 states found in 0:11, averaging 16.1, queued: 0 [ 0:42] searching: 193 states found in 0:12, averaging 16.1, queued: 0 [ 0:42] searching: 202 states found in 0:12, averaging 16.1, queued: 2 [ 0:43] searching: 216 states found in 0:13, averaging 16.6, queued: 2 [ 0:43] searching: 223 states found in 0:13, averaging 16.5, queued: 2 [ 0:44] searching: 234 states found in 0:14, averaging 16.7, queued: 2 [ 0:44] searching: 245 states found in 0:14, averaging 16.9, queued: 2 [ 0:45] searching: 259 states found in 0:15, averaging 17.2, queued: 2 [ 0:45] searching: 270 states found in 0:15, averaging 17.4, queued: 4 [ 0:46] searching: 284 states found in 0:16, averaging 17.7, queued: 4 [ 0:46] searching: 297 states found in 0:16, averaging 18.0, queued: 4 [ 0:47] searching: 309 states found in 0:17, averaging 18.2, queued: 4 [ 0:47] searching: 318 states found in 0:17, averaging 18.1, queued: 4 [ 0:48] searching: 332 states found in 0:18, averaging 18.4, queued: 4 [ 0:48] searching: 347 states found in 0:18, averaging 18.7, queued: 4 [ 0:49] searching: 357 states found in 0:19, averaging 18.8, queued: 4 [ 0:49] searching: 372 states found in 0:19, averaging 19.1, queued: 4 [ 0:50] searching: 390 states found in 0:20, averaging 19.5, queued: 6 [ 0:50] searching: 402 states found in 0:20, averaging 19.6, queued: 6 [ 0:51] searching: 420 states found in 0:21, averaging 20.0, queued: 6 [ 0:51] searching: 429 states found in 0:21, averaging 19.9, queued: 6 [ 0:52] searching: 443 states found in 0:22, averaging 20.1, queued: 6 [ 0:52] searching: 454 states found in 0:22, averaging 20.2, queued: 8 [ 0:53] searching: 466 states found in 0:23, averaging 20.2, queued: 8 [ 0:53] searching: 478 states found in 0:23, averaging 20.3, queued: 8 [ 0:54] searching: 492 states found in 0:24, averaging 20.5, queued: 8 [ 0:54] searching: 504 states found in 0:24, averaging 20.5, queued: 6 [ 0:55] searching: 516 states found in 0:25, averaging 20.6, queued: 6 [ 0:55] searching: 531 states found in 0:25, averaging 20.8, queued: 8 [ 0:56] searching: 542 states found in 0:26, averaging 20.8, queued: 8 [ 0:56] searching: 556 states found in 0:26, averaging 21.0, queued: 8 [ 0:57] searching: 569 states found in 0:27, averaging 21.0, queued: 8 [ 0:57] searching: 584 states found in 0:27, averaging 21.2, queued: 10 [ 0:58] searching: 595 states found in 0:28, averaging 21.2, queued: 10 [ 0:58] searching: 613 states found in 0:28, averaging 21.5, queued: 10 [ 0:59] searching: 629 states found in 0:29, averaging 21.7, queued: 10 [ 0:59] searching: 642 states found in 0:29, averaging 21.7, queued: 10 [ 1:00] searching: 655 states found in 0:30, averaging 21.8, queued: 12 [ 1:00] searching: 666 states found in 0:30, averaging 21.8, queued: 10 [ 1:01] searching: 681 states found in 0:31, averaging 21.9, queued: 10 [ 1:01] searching: 697 states found in 0:31, averaging 22.1, queued: 10 [ 1:02] searching: 711 states found in 0:32, averaging 22.2, queued: 12 [ 1:02] searching: 725 states found in 0:32, averaging 22.3, queued: 12 [ 1:03] searching: 740 states found in 0:33, averaging 22.4, queued: 12 [ 1:03] searching: 755 states found in 0:33, averaging 22.5, queued: 12 [ 1:04] searching: 765 states found in 0:34, averaging 22.5, queued: 12 [ 1:04] searching: 778 states found in 0:34, averaging 22.5, queued: 14 [ 1:05] searching: 796 states found in 0:35, averaging 22.7, queued: 14 [ 1:05] searching: 807 states found in 0:35, averaging 22.7, queued: 12 [ 1:06] searching: 822 states found in 0:36, averaging 22.8, queued: 12 [ 1:06] searching: 838 states found in 0:36, averaging 22.9, queued: 14 [ 1:07] searching: 851 states found in 0:37, averaging 23.0, queued: 14 [ 1:07] searching: 863 states found in 0:37, averaging 23.0, queued: 14 [ 1:08] searching: 874 states found in 0:38, averaging 23.0, queued: 14 [ 1:08] searching: 890 states found in 0:38, averaging 23.1, queued: 14 [ 1:09] searching: 906 states found in 0:39, averaging 23.2, queued: 16 [ 1:09] searching: 916 states found in 0:39, averaging 23.2, queued: 16 [ 1:10] searching: 929 states found in 0:40, averaging 23.2, queued: 16 [ 1:10] searching: 943 states found in 0:40, averaging 23.3, queued: 16 [ 1:11] searching: 961 states found in 0:41, averaging 23.4, queued: 14 [ 1:11] searching: 972 states found in 0:41, averaging 23.4, queued: 16 [ 1:12] searching: 984 states found in 0:42, averaging 23.4, queued: 16 [ 1:12] searching: 997 states found in 0:42, averaging 23.4, queued: 16 [ 1:13] searching: 1008 states found in 0:43, averaging 23.4, queued: 16 [ 1:13] searching: 1021 states found in 0:43, averaging 23.4, queued: 16 [ 1:14] searching: 1040 states found in 0:44, averaging 23.6, queued: 18 [ 1:14] searching: 1051 states found in 0:44, averaging 23.6, queued: 18 [ 1:15] searching: 1063 states found in 0:45, averaging 23.6, queued: 18 [ 1:15] searching: 1075 states found in 0:45, averaging 23.6, queued: 18 [ 1:16] searching: 1088 states found in 0:46, averaging 23.6, queued: 18 [ 1:16] searching: 1098 states found in 0:46, averaging 23.6, queued: 20 [ 1:17] searching: 1109 states found in 0:47, averaging 23.6, queued: 20 [ 1:17] searching: 1119 states found in 0:47, averaging 23.5, queued: 18 [ 1:18] searching: 1135 states found in 0:48, averaging 23.6, queued: 18 [ 1:18] searching: 1145 states found in 0:48, averaging 23.6, queued: 18 [ 1:19] searching: 1161 states found in 0:49, averaging 23.7, queued: 20 [ 1:19] searching: 1177 states found in 0:49, averaging 23.7, queued: 20 [ 1:20] searching: 1190 states found in 0:50, averaging 23.8, queued: 20 [ 1:20] searching: 1202 states found in 0:50, averaging 23.8, queued: 20 [ 1:21] searching: 1212 states found in 0:51, averaging 23.7, queued: 20 [ 1:21] searching: 1221 states found in 0:51, averaging 23.7, queued: 20 [ 1:22] searching: 1230 states found in 0:52, averaging 23.6, queued: 22 [ 1:22] searching: 1240 states found in 0:52, averaging 23.6, queued: 22 [ 1:23] searching: 1253 states found in 0:53, averaging 23.6, queued: 22 [ 1:23] searching: 1263 states found in 0:53, averaging 23.6, queued: 20 [ 1:24] searching: 1275 states found in 0:54, averaging 23.6, queued: 20 [ 1:24] searching: 1290 states found in 0:54, averaging 23.6, queued: 22 [ 1:25] searching: 1302 states found in 0:55, averaging 23.6, queued: 22 [ 1:25] searching: 1319 states found in 0:55, averaging 23.7, queued: 22 [ 1:26] searching: 1330 states found in 0:56, averaging 23.7, queued: 22 [ 1:26] searching: 1342 states found in 0:56, averaging 23.7, queued: 22 [ 1:27] searching: 1353 states found in 0:57, averaging 23.7, queued: 24 [ 1:27] searching: 1367 states found in 0:57, averaging 23.7, queued: 24 [ 1:28] searching: 1383 states found in 0:58, averaging 23.8, queued: 24 [ 1:28] searching: 1395 states found in 0:58, averaging 23.8, queued: 24 [ 1:29] searching: 1409 states found in 0:59, averaging 23.9, queued: 24 [ 1:29] searching: 1422 states found in 0:59, averaging 23.9, queued: 24 [ 1:30] searching: 1438 states found in 1:00, averaging 23.9, queued: 24 [ 1:30] searching: 1454 states found in 1:00, averaging 24.0, queued: 24 [ 1:31] searching: 1464 states found in 1:01, averaging 24.0, queued: 24 [ 1:31] searching: 1479 states found in 1:01, averaging 24.0, queued: 26 [ 1:32] searching: 1493 states found in 1:02, averaging 24.1, queued: 26 [ 1:32] searching: 1507 states found in 1:02, averaging 24.1, queued: 26 [ 1:33] searching: 1521 states found in 1:03, averaging 24.1, queued: 26 [ 1:33] searching: 1536 states found in 1:03, averaging 24.2, queued: 26 [ 1:34] searching: 1545 states found in 1:04, averaging 24.1, queued: 28 [ 1:34] searching: 1557 states found in 1:04, averaging 24.1, queued: 28 [ 1:35] searching: 1570 states found in 1:05, averaging 24.1, queued: 28 [ 1:35] searching: 1587 states found in 1:05, averaging 24.2, queued: 26 [ 1:36] searching: 1597 states found in 1:06, averaging 24.2, queued: 26 [ 1:36] searching: 1603 states found in 1:06, averaging 24.1, queued: 26 [ 1:37] searching: 1606 states found in 1:07, averaging 23.9, queued: 28 [ 1:37] searching: 1621 states found in 1:07, averaging 24.0, queued: 28 [ 1:38] searching: 1639 states found in 1:08, averaging 24.1, queued: 28 [ 1:38] searching: 1650 states found in 1:08, averaging 24.1, queued: 28 [ 1:39] searching: 1666 states found in 1:09, averaging 24.1, queued: 28 [ 1:39] searching: 1680 states found in 1:09, averaging 24.1, queued: 30 [ 1:40] searching: 1694 states found in 1:10, averaging 24.2, queued: 30 [ 1:40] searching: 1706 states found in 1:10, averaging 24.2, queued: 30 [ 1:41] searching: 1718 states found in 1:11, averaging 24.2, queued: 30 [ 1:41] searching: 1731 states found in 1:11, averaging 24.2, queued: 28 [ 1:42] searching: 1745 states found in 1:12, averaging 24.2, queued: 30 [ 1:42] searching: 1753 states found in 1:12, averaging 24.1, queued: 30 [ 1:43] searching: 1765 states found in 1:13, averaging 24.1, queued: 30 [ 1:43] searching: 1774 states found in 1:13, averaging 24.1, queued: 30 [ 1:44] searching: 1789 states found in 1:14, averaging 24.1, queued: 30 [ 1:44] searching: 1801 states found in 1:14, averaging 24.1, queued: 32 [ 1:45] searching: 1810 states found in 1:15, averaging 24.1, queued: 32 [ 1:45] searching: 1822 states found in 1:15, averaging 24.1, queued: 32 [ 1:46] searching: 1834 states found in 1:16, averaging 24.1, queued: 32 [ 1:46] searching: 1842 states found in 1:16, averaging 24.0, queued: 32 [ 1:47] searching: 1853 states found in 1:17, averaging 24.0, queued: 32 [ 1:47] searching: 1862 states found in 1:17, averaging 24.0, queued: 34 [ 1:48] searching: 1878 states found in 1:18, averaging 24.0, queued: 32 [ 1:48] searching: 1888 states found in 1:18, averaging 24.0, queued: 32 [ 1:49] searching: 1904 states found in 1:19, averaging 24.1, queued: 32 [ 1:49] searching: 1920 states found in 1:19, averaging 24.1, queued: 32 [ 1:50] searching: 1934 states found in 1:20, averaging 24.1, queued: 34 [ 1:50] searching: 1950 states found in 1:20, averaging 24.2, queued: 34 [ 1:51] searching: 1962 states found in 1:21, averaging 24.2, queued: 34 [ 1:51] searching: 1976 states found in 1:21, averaging 24.2, queued: 34 [ 1:52] searching: 1996 states found in 1:22, averaging 24.3, queued: 36 [ 1:52] searching: 2010 states found in 1:22, averaging 24.3, queued: 34 [ 1:53] searching: 2027 states found in 1:23, averaging 24.4, queued: 34 [ 1:53] searching: 2038 states found in 1:23, averaging 24.4, queued: 34 [ 1:54] searching: 2055 states found in 1:24, averaging 24.4, queued: 36 [ 1:54] searching: 2071 states found in 1:24, averaging 24.5, queued: 36 [ 1:55] searching: 2084 states found in 1:25, averaging 24.5, queued: 36 [ 1:55] searching: 2097 states found in 1:25, averaging 24.5, queued: 36 [ 1:56] searching: 2109 states found in 1:26, averaging 24.5, queued: 36 [ 1:56] searching: 2126 states found in 1:26, averaging 24.5, queued: 38 [ 1:57] searching: 2139 states found in 1:27, averaging 24.6, queued: 38 [ 1:57] searching: 2153 states found in 1:27, averaging 24.6, queued: 36 [ 1:58] searching: 2164 states found in 1:28, averaging 24.6, queued: 36 [ 1:59] searching: 2178 states found in 1:28, averaging 24.6, queued: 36 [ 1:59] searching: 2191 states found in 1:29, averaging 24.6, queued: 38 [ 2:00] searching: 2208 states found in 1:29, averaging 24.6, queued: 38 [ 2:00] searching: 2224 states found in 1:30, averaging 24.7, queued: 38 [ 2:01] searching: 2237 states found in 1:30, averaging 24.7, queued: 38 [ 2:01] searching: 2253 states found in 1:31, averaging 24.7, queued: 40 [ 2:02] searching: 2267 states found in 1:31, averaging 24.7, queued: 40 [ 2:02] searching: 2279 states found in 1:32, averaging 24.7, queued: 40 [ 2:03] searching: 2289 states found in 1:32, averaging 24.7, queued: 38 [ 2:03] searching: 2303 states found in 1:33, averaging 24.7, queued: 38 [ 2:04] searching: 2317 states found in 1:33, averaging 24.7, queued: 40 [ 2:04] searching: 2327 states found in 1:34, averaging 24.7, queued: 40 [ 2:05] searching: 2337 states found in 1:34, averaging 24.7, queued: 40 [ 2:05] searching: 2352 states found in 1:35, averaging 24.7, queued: 40 [ 2:06] searching: 2362 states found in 1:35, averaging 24.7, queued: 40 [ 2:06] searching: 2376 states found in 1:36, averaging 24.7, queued: 42 [ 2:07] searching: 2392 states found in 1:36, averaging 24.8, queued: 42 [ 2:07] searching: 2406 states found in 1:37, averaging 24.8, queued: 42 [ 2:08] searching: 2420 states found in 1:37, averaging 24.8, queued: 42 [ 2:08] searching: 2437 states found in 1:38, averaging 24.8, queued: 40 [ 2:09] searching: 2452 states found in 1:38, averaging 24.9, queued: 42 [ 2:09] searching: 2460 states found in 1:39, averaging 24.8, queued: 42 [ 2:10] searching: 2468 states found in 1:39, averaging 24.8, queued: 42 [ 2:10] searching: 2477 states found in 1:40, averaging 24.7, queued: 42 [ 2:11] searching: 2491 states found in 1:40, averaging 24.8, queued: 42 [ 2:11] searching: 2503 states found in 1:41, averaging 24.7, queued: 44 [ 2:12] searching: 2517 states found in 1:41, averaging 24.8, queued: 44 [ 2:12] searching: 2530 states found in 1:42, averaging 24.8, queued: 44 [ 2:13] searching: 2541 states found in 1:42, averaging 24.8, queued: 44 [ 2:13] searching: 2553 states found in 1:43, averaging 24.8, queued: 44 [ 2:14] searching: 2565 states found in 1:43, averaging 24.7, queued: 44 [ 2:14] searching: 2577 states found in 1:44, averaging 24.7, queued: 46 [ 2:15] searching: 2588 states found in 1:44, averaging 24.7, queued: 44 [ 2:15] searching: 2596 states found in 1:45, averaging 24.7, queued: 44 [ 2:16] searching: 2614 states found in 1:45, averaging 24.7, queued: 44 [ 2:16] searching: 2626 states found in 1:46, averaging 24.7, queued: 44 [ 2:17] searching: 2640 states found in 1:46, averaging 24.8, queued: 46 [ 2:17] searching: 2659 states found in 1:47, averaging 24.8, queued: 46 [ 2:18] searching: 2676 states found in 1:47, averaging 24.9, queued: 46 [ 2:18] searching: 2689 states found in 1:48, averaging 24.9, queued: 46 [ 2:19] searching: 2708 states found in 1:48, averaging 24.9, queued: 48 [ 2:19] searching: 2723 states found in 1:49, averaging 24.9, queued: 48 [ 2:20] searching: 2737 states found in 1:49, averaging 25.0, queued: 46 [ 2:20] searching: 2753 states found in 1:50, averaging 25.0, queued: 46 [ 2:21] searching: 2769 states found in 1:50, averaging 25.0, queued: 48 [ 2:21] searching: 2784 states found in 1:51, averaging 25.0, queued: 48 [ 2:22] searching: 2799 states found in 1:51, averaging 25.1, queued: 48 [ 2:22] searching: 2812 states found in 1:52, averaging 25.1, queued: 48 [ 2:23] searching: 2823 states found in 1:52, averaging 25.1, queued: 50 [ 2:23] searching: 2843 states found in 1:53, averaging 25.1, queued: 50 [ 2:24] searching: 2854 states found in 1:53, averaging 25.1, queued: 50 [ 2:24] searching: 2861 states found in 1:54, averaging 25.1, queued: 50 [ 2:25] searching: 2866 states found in 1:54, averaging 25.0, queued: 48 [ 2:25] searching: 2876 states found in 1:55, averaging 25.0, queued: 48 [ 2:26] searching: 2889 states found in 1:55, averaging 25.0, queued: 50 [ 2:26] searching: 2905 states found in 1:56, averaging 25.0, queued: 50 [ 2:27] searching: 2916 states found in 1:56, averaging 25.0, queued: 50 [ 2:27] searching: 2929 states found in 1:57, averaging 25.0, queued: 50 [ 2:28] searching: 2943 states found in 1:57, averaging 25.0, queued: 50 [ 2:28] searching: 2955 states found in 1:58, averaging 25.0, queued: 52 [ 2:29] searching: 2967 states found in 1:58, averaging 25.0, queued: 52 [ 2:29] searching: 2983 states found in 1:59, averaging 25.0, queued: 52 [ 2:30] searching: 2997 states found in 1:59, averaging 25.0, queued: 50 [ 2:30] searching: 3015 states found in 2:00, averaging 25.1, queued: 52 [ 2:31] searching: 3032 states found in 2:00, averaging 25.1, queued: 52 [ 2:31] searching: 3048 states found in 2:01, averaging 25.2, queued: 52 [ 2:32] searching: 3064 states found in 2:01, averaging 25.2, queued: 52 [ 2:32] searching: 3073 states found in 2:02, averaging 25.2, queued: 52 [ 2:33] searching: 3073 states found in 2:02, averaging 25.0, queued: 52 [ 2:33] searching: 3073 states found in 2:03, averaging 24.9, queued: 52 [ 2:34] searching: 3073 states found in 2:03, averaging 24.8, queued: 52 [ 2:34] searching: 3079 states found in 2:04, averaging 24.8, queued: 54 [ 2:35] searching: 3093 states found in 2:04, averaging 24.8, queued: 54 [ 2:35] searching: 3103 states found in 2:05, averaging 24.8, queued: 54 [ 2:36] searching: 3115 states found in 2:05, averaging 24.8, queued: 54 [ 2:36] searching: 3125 states found in 2:06, averaging 24.8, queued: 54 [ 2:37] searching: 3136 states found in 2:06, averaging 24.8, queued: 54 [ 2:37] searching: 3148 states found in 2:07, averaging 24.7, queued: 56 [ 2:38] searching: 3163 states found in 2:07, averaging 24.8, queued: 54 [ 2:38] searching: 3174 states found in 2:08, averaging 24.8, queued: 54 [ 2:39] searching: 3190 states found in 2:08, averaging 24.8, queued: 54 [ 2:39] searching: 3201 states found in 2:09, averaging 24.8, queued: 54 [ 2:40] searching: 3216 states found in 2:09, averaging 24.8, queued: 56 [ 2:40] searching: 3234 states found in 2:10, averaging 24.8, queued: 56 [ 2:41] searching: 3246 states found in 2:10, averaging 24.8, queued: 56 [ 2:41] searching: 3261 states found in 2:11, averaging 24.9, queued: 56 [ 2:42] searching: 3271 states found in 2:11, averaging 24.8, queued: 58 [ 2:42] searching: 3285 states found in 2:12, averaging 24.8, queued: 58 [ 2:43] searching: 3299 states found in 2:12, averaging 24.9, queued: 56 [ 2:43] searching: 3318 states found in 2:13, averaging 24.9, queued: 56 [ 2:44] searching: 3333 states found in 2:13, averaging 24.9, queued: 56 [ 2:44] searching: 3345 states found in 2:14, averaging 24.9, queued: 58 [ 2:45] searching: 3361 states found in 2:14, averaging 24.9, queued: 58 [ 2:45] searching: 3375 states found in 2:15, averaging 25.0, queued: 58 [ 2:46] searching: 3388 states found in 2:15, averaging 25.0, queued: 58 [ 2:46] searching: 3406 states found in 2:16, averaging 25.0, queued: 60 [ 2:47] searching: 3417 states found in 2:16, averaging 25.0, queued: 60 [ 2:47] searching: 3433 states found in 2:17, averaging 25.0, queued: 60 [ 2:48] searching: 3447 states found in 2:17, averaging 25.0, queued: 60 [ 2:48] searching: 3466 states found in 2:18, averaging 25.1, queued: 60 [ 2:49] searching: 3486 states found in 2:18, averaging 25.1, queued: 60 [ 2:49] searching: 3500 states found in 2:19, averaging 25.1, queued: 60 [ 2:50] searching: 3517 states found in 2:19, averaging 25.2, queued: 60 [ 2:50] searching: 3529 states found in 2:20, averaging 25.2, queued: 62 [ 2:51] searching: 3543 states found in 2:20, averaging 25.2, queued: 62 [ 2:51] searching: 3558 states found in 2:21, averaging 25.2, queued: 62 [ 2:52] searching: 3571 states found in 2:21, averaging 25.2, queued: 62 [ 2:52] searching: 3582 states found in 2:22, averaging 25.2, queued: 62 [ 2:53] searching: 3591 states found in 2:22, averaging 25.2, queued: 62 [ 2:53] searching: 3604 states found in 2:23, averaging 25.2, queued: 62 [ 2:54] searching: 3621 states found in 2:23, averaging 25.2, queued: 62 [ 2:54] searching: 3633 states found in 2:24, averaging 25.2, queued: 62 [ 2:55] searching: 3648 states found in 2:24, averaging 25.2, queued: 62 [ 2:55] searching: 3662 states found in 2:25, averaging 25.2, queued: 64 [ 2:56] searching: 3676 states found in 2:25, averaging 25.2, queued: 64 [ 2:56] searching: 3695 states found in 2:26, averaging 25.3, queued: 64 [ 2:57] searching: 3709 states found in 2:26, averaging 25.3, queued: 64 [ 2:57] searching: 3718 states found in 2:27, averaging 25.2, queued: 66 [ 2:58] searching: 3721 states found in 2:27, averaging 25.2, queued: 64 [ 2:58] searching: 3739 states found in 2:28, averaging 25.2, queued: 64 [ 2:59] searching: 3752 states found in 2:28, averaging 25.2, queued: 64 [ 2:59] searching: 3762 states found in 2:29, averaging 25.2, queued: 64 [ 3:00] searching: 3779 states found in 2:29, averaging 25.2, queued: 64 [ 3:00] searching: 3795 states found in 2:30, averaging 25.3, queued: 66 [ 3:01] searching: 3807 states found in 2:30, averaging 25.3, queued: 66 [ 3:01] searching: 3819 states found in 2:31, averaging 25.2, queued: 66 [ 3:02] searching: 3833 states found in 2:31, averaging 25.3, queued: 66 [ 3:02] searching: 3848 states found in 2:32, averaging 25.3, queued: 68 [ 3:03] searching: 3863 states found in 2:32, averaging 25.3, queued: 68 [ 3:03] searching: 3875 states found in 2:33, averaging 25.3, queued: 66 [ 3:04] searching: 3889 states found in 2:33, averaging 25.3, queued: 66 [ 3:04] searching: 3905 states found in 2:34, averaging 25.3, queued: 66 [ 3:05] searching: 3915 states found in 2:34, averaging 25.3, queued: 68 [ 3:05] searching: 3923 states found in 2:35, averaging 25.3, queued: 68 [ 3:06] searching: 3936 states found in 2:35, averaging 25.3, queued: 68 [ 3:06] searching: 3951 states found in 2:36, averaging 25.3, queued: 68 [ 3:07] searching: 3962 states found in 2:36, averaging 25.3, queued: 68 [ 3:07] searching: 3976 states found in 2:37, averaging 25.3, queued: 70 [ 3:08] searching: 3989 states found in 2:37, averaging 25.3, queued: 70 [ 3:08] searching: 4004 states found in 2:38, averaging 25.3, queued: 70 [ 3:09] searching: 4018 states found in 2:38, averaging 25.3, queued: 68 [ 3:09] searching: 4030 states found in 2:39, averaging 25.3, queued: 68 [ 3:10] searching: 4042 states found in 2:39, averaging 25.3, queued: 70 [ 3:10] searching: 4054 states found in 2:40, averaging 25.3, queued: 70 [ 3:11] searching: 4067 states found in 2:40, averaging 25.3, queued: 70 [ 3:11] searching: 4078 states found in 2:41, averaging 25.3, queued: 70 [ 3:12] searching: 4091 states found in 2:41, averaging 25.3, queued: 70 [ 3:12] searching: 4104 states found in 2:42, averaging 25.3, queued: 72 [ 3:13] searching: 4114 states found in 2:42, averaging 25.3, queued: 72 [ 3:13] searching: 4130 states found in 2:43, averaging 25.3, queued: 72 [ 3:14] searching: 4140 states found in 2:43, averaging 25.3, queued: 72 [ 3:14] searching: 4153 states found in 2:44, averaging 25.3, queued: 70 [ 3:15] searching: 4165 states found in 2:44, averaging 25.3, queued: 70 [ 3:15] searching: 4172 states found in 2:45, averaging 25.2, queued: 72 [ 3:16] searching: 4186 states found in 2:45, averaging 25.2, queued: 72 [ 3:16] searching: 4197 states found in 2:46, averaging 25.2, queued: 72 [ 3:17] searching: 4208 states found in 2:46, averaging 25.2, queued: 72 [ 3:17] searching: 4219 states found in 2:47, averaging 25.2, queued: 72 [ 3:18] searching: 4229 states found in 2:47, averaging 25.2, queued: 72 [ 3:18] searching: 4234 states found in 2:48, averaging 25.2, queued: 74 [ 3:19] searching: 4247 states found in 2:48, averaging 25.2, queued: 74 [ 3:19] searching: 4255 states found in 2:49, averaging 25.1, queued: 74 [ 3:20] searching: 4262 states found in 2:49, averaging 25.1, queued: 74 [ 3:20] searching: 4270 states found in 2:50, averaging 25.1, queued: 72 [ 3:21] searching: 4283 states found in 2:50, averaging 25.1, queued: 72 [ 3:21] searching: 4299 states found in 2:51, averaging 25.1, queued: 74 [ 3:22] searching: 4312 states found in 2:51, averaging 25.1, queued: 74 [ 3:22] searching: 4324 states found in 2:52, averaging 25.1, queued: 74 [ 3:23] searching: 4339 states found in 2:52, averaging 25.1, queued: 74 [ 3:23] searching: 4353 states found in 2:53, averaging 25.1, queued: 74 [ 3:24] searching: 4370 states found in 2:53, averaging 25.1, queued: 76 [ 3:24] searching: 4386 states found in 2:54, averaging 25.2, queued: 76 [ 3:25] searching: 4400 states found in 2:54, averaging 25.2, queued: 74 [ 3:25] searching: 4412 states found in 2:55, averaging 25.2, queued: 74 [ 3:26] searching: 4424 states found in 2:55, averaging 25.2, queued: 76 [ 3:26] searching: 4438 states found in 2:56, averaging 25.2, queued: 76 [ 3:27] searching: 4451 states found in 2:56, averaging 25.2, queued: 76 [ 3:27] searching: 4462 states found in 2:57, averaging 25.2, queued: 76 [ 3:28] searching: 4474 states found in 2:57, averaging 25.2, queued: 76 [ 3:28] searching: 4484 states found in 2:58, averaging 25.1, queued: 76 [ 3:29] searching: 4500 states found in 2:58, averaging 25.2, queued: 78 [ 3:29] searching: 4517 states found in 2:59, averaging 25.2, queued: 76 [ 3:30] searching: 4532 states found in 2:59, averaging 25.2, queued: 76 [ 3:30] searching: 4545 states found in 3:00, averaging 25.2, queued: 76 [ 3:31] searching: 4554 states found in 3:00, averaging 25.2, queued: 78 [ 3:31] searching: 4565 states found in 3:01, averaging 25.2, queued: 78 [ 3:32] searching: 4582 states found in 3:01, averaging 25.2, queued: 78 [ 3:32] searching: 4591 states found in 3:02, averaging 25.2, queued: 78 [ 3:33] searching: 4601 states found in 3:02, averaging 25.2, queued: 78 [ 3:33] searching: 4618 states found in 3:03, averaging 25.2, queued: 80 [ 3:34] searching: 4629 states found in 3:03, averaging 25.2, queued: 78 [ 3:34] searching: 4645 states found in 3:04, averaging 25.2, queued: 78 [ 3:35] searching: 4660 states found in 3:04, averaging 25.2, queued: 78 [ 3:35] searching: 4673 states found in 3:05, averaging 25.2, queued: 78 [ 3:36] searching: 4683 states found in 3:05, averaging 25.2, queued: 80 [ 3:36] searching: 4694 states found in 3:06, averaging 25.2, queued: 80 [ 3:37] searching: 4708 states found in 3:06, averaging 25.2, queued: 80 [ 3:37] searching: 4721 states found in 3:07, averaging 25.2, queued: 80 [ 3:38] searching: 4734 states found in 3:07, averaging 25.2, queued: 80 [ 3:38] searching: 4748 states found in 3:08, averaging 25.2, queued: 82 [ 3:39] searching: 4762 states found in 3:08, averaging 25.2, queued: 82 [ 3:39] searching: 4779 states found in 3:09, averaging 25.2, queued: 80 [ 3:40] searching: 4790 states found in 3:09, averaging 25.2, queued: 80 [ 3:40] searching: 4804 states found in 3:10, averaging 25.2, queued: 80 [ 3:41] searching: 4818 states found in 3:10, averaging 25.2, queued: 82 [ 3:41] searching: 4830 states found in 3:11, averaging 25.2, queued: 82 [ 3:42] searching: 4840 states found in 3:11, averaging 25.2, queued: 82 [ 3:42] searching: 4850 states found in 3:12, averaging 25.2, queued: 82 [ 3:43] searching: 4858 states found in 3:12, averaging 25.2, queued: 82 [ 3:43] searching: 4872 states found in 3:13, averaging 25.2, queued: 84 [ 3:44] searching: 4881 states found in 3:13, averaging 25.2, queued: 84 [ 3:44] searching: 4894 states found in 3:14, averaging 25.2, queued: 84 [ 3:45] searching: 4908 states found in 3:14, averaging 25.2, queued: 84 [ 3:45] searching: 4918 states found in 3:15, averaging 25.2, queued: 82 [ 3:46] searching: 4929 states found in 3:15, averaging 25.2, queued: 82 [ 3:46] searching: 4945 states found in 3:16, averaging 25.2, queued: 84 [ 3:47] searching: 4959 states found in 3:16, averaging 25.2, queued: 84 [ 3:47] searching: 4969 states found in 3:17, averaging 25.2, queued: 84 [ 3:48] searching: 4981 states found in 3:17, averaging 25.2, queued: 84 [ 3:48] searching: 4997 states found in 3:18, averaging 25.2, queued: 84 [ 3:49] searching: 5008 states found in 3:18, averaging 25.2, queued: 86 [ 3:49] searching: 5019 states found in 3:19, averaging 25.2, queued: 86 [ 3:50] searching: 5031 states found in 3:19, averaging 25.2, queued: 86 [ 3:50] searching: 5048 states found in 3:20, averaging 25.2, queued: 84 [ 3:51] searching: 5062 states found in 3:20, averaging 25.2, queued: 86 [ 3:51] searching: 5074 states found in 3:21, averaging 25.2, queued: 86 [ 3:52] searching: 5083 states found in 3:21, averaging 25.2, queued: 86 [ 3:52] searching: 5094 states found in 3:22, averaging 25.2, queued: 86 [ 3:53] searching: 5106 states found in 3:22, averaging 25.2, queued: 86 [ 3:53] searching: 5118 states found in 3:23, averaging 25.2, queued: 86 [ 3:54] searching: 5128 states found in 3:23, averaging 25.1, queued: 88 [ 3:54] searching: 5140 states found in 3:24, averaging 25.1, queued: 88 [ 3:55] searching: 5149 states found in 3:24, averaging 25.1, queued: 88 [ 3:55] searching: 5161 states found in 3:25, averaging 25.1, queued: 88 [ 3:56] searching: 5171 states found in 3:25, averaging 25.1, queued: 86 [ 3:56] searching: 5179 states found in 3:26, averaging 25.1, queued: 86 [ 3:57] searching: 5185 states found in 3:26, averaging 25.1, queued: 86 [ 3:57] searching: 5196 states found in 3:27, averaging 25.0, queued: 88 [ 3:58] searching: 5201 states found in 3:27, averaging 25.0, queued: 88 [ 3:58] searching: 5211 states found in 3:28, averaging 25.0, queued: 88 [ 3:59] searching: 5222 states found in 3:28, averaging 25.0, queued: 88 [ 3:59] searching: 5231 states found in 3:29, averaging 25.0, queued: 88 [ 4:00] searching: 5242 states found in 3:29, averaging 25.0, queued: 88 [ 4:00] searching: 5249 states found in 3:30, averaging 24.9, queued: 88 [ 4:01] searching: 5258 states found in 3:30, averaging 24.9, queued: 90 [ 4:01] searching: 5270 states found in 3:31, averaging 24.9, queued: 90 [ 4:02] searching: 5283 states found in 3:31, averaging 24.9, queued: 90 [ 4:02] searching: 5293 states found in 3:32, averaging 24.9, queued: 88 [ 4:03] searching: 5306 states found in 3:32, averaging 24.9, queued: 88 [ 4:03] searching: 5318 states found in 3:33, averaging 24.9, queued: 90 [ 4:04] searching: 5331 states found in 3:33, averaging 24.9, queued: 90 [ 4:04] searching: 5340 states found in 3:34, averaging 24.9, queued: 90 [ 4:05] searching: 5351 states found in 3:34, averaging 24.9, queued: 90 [ 4:05] searching: 5362 states found in 3:35, averaging 24.9, queued: 90 [ 4:06] searching: 5373 states found in 3:35, averaging 24.9, queued: 90 [ 4:06] searching: 5384 states found in 3:36, averaging 24.9, queued: 92 [ 4:07] searching: 5397 states found in 3:36, averaging 24.9, queued: 92 [ 4:07] searching: 5411 states found in 3:37, averaging 24.9, queued: 92 [ 4:08] searching: 5428 states found in 3:37, averaging 24.9, queued: 92 [ 4:08] searching: 5441 states found in 3:38, averaging 24.9, queued: 90 [ 4:09] searching: 5454 states found in 3:38, averaging 24.9, queued: 92 [ 4:09] searching: 5462 states found in 3:39, averaging 24.9, queued: 92 [ 4:10] searching: 5470 states found in 3:39, averaging 24.9, queued: 92 [ 4:10] searching: 5477 states found in 3:40, averaging 24.8, queued: 92 [ 4:11] searching: 5484 states found in 3:40, averaging 24.8, queued: 92 [ 4:11] searching: 5490 states found in 3:41, averaging 24.8, queued: 92 [ 4:12] searching: 5495 states found in 3:41, averaging 24.8, queued: 92 [ 4:12] searching: 5509 states found in 3:42, averaging 24.8, queued: 92 [ 4:13] searching: 5524 states found in 3:42, averaging 24.8, queued: 94 [ 4:13] searching: 5539 states found in 3:43, averaging 24.8, queued: 94 [ 4:14] searching: 5555 states found in 3:43, averaging 24.8, queued: 94 [ 4:14] searching: 5568 states found in 3:44, averaging 24.8, queued: 92 [ 4:15] searching: 5584 states found in 3:45, averaging 24.8, queued: 94 [ 4:15] searching: 5595 states found in 3:45, averaging 24.8, queued: 94 [ 4:16] searching: 5610 states found in 3:46, averaging 24.8, queued: 94 [ 4:16] searching: 5623 states found in 3:46, averaging 24.8, queued: 94 [ 4:17] searching: 5635 states found in 3:47, averaging 24.8, queued: 94 [ 4:17] searching: 5647 states found in 3:47, averaging 24.8, queued: 96 [ 4:18] searching: 5659 states found in 3:48, averaging 24.8, queued: 96 [ 4:18] searching: 5667 states found in 3:48, averaging 24.8, queued: 96 [ 4:19] searching: 5678 states found in 3:49, averaging 24.8, queued: 96 [ 4:19] searching: 5689 states found in 3:49, averaging 24.8, queued: 96 [ 4:20] searching: 5694 states found in 3:50, averaging 24.8, queued: 96 [ 4:20] searching: 5706 states found in 3:50, averaging 24.8, queued: 96 [ 4:21] searching: 5722 states found in 3:51, averaging 24.8, queued: 96 [ 4:21] searching: 5731 states found in 3:51, averaging 24.8, queued: 96 [ 4:22] searching: 5746 states found in 3:52, averaging 24.8, queued: 96 [ 4:22] searching: 5752 states found in 3:52, averaging 24.7, queued: 96 [ 4:23] searching: 5770 states found in 3:53, averaging 24.8, queued: 98 [ 4:23] searching: 5781 states found in 3:53, averaging 24.8, queued: 98 [ 4:24] searching: 5794 states found in 3:54, averaging 24.8, queued: 98 [ 4:24] searching: 5808 states found in 3:54, averaging 24.8, queued: 98 [ 4:25] searching: 5823 states found in 3:55, averaging 24.8, queued: 98 [ 4:25] searching: 5834 states found in 3:55, averaging 24.8, queued: 100 [ 4:26] searching: 5846 states found in 3:56, averaging 24.8, queued: 98 [ 4:26] searching: 5861 states found in 3:56, averaging 24.8, queued: 98 [ 4:27] searching: 5875 states found in 3:57, averaging 24.8, queued: 98 [ 4:27] searching: 5889 states found in 3:57, averaging 24.8, queued: 98 [ 4:28] searching: 5900 states found in 3:58, averaging 24.8, queued: 100 [ 4:28] searching: 5913 states found in 3:58, averaging 24.8, queued: 100 [ 4:29] searching: 5928 states found in 3:59, averaging 24.8, queued: 100 [ 4:29] searching: 5947 states found in 3:59, averaging 24.8, queued: 100 [ 4:30] searching: 5961 states found in 4:00, averaging 24.8, queued: 102 [ 4:30] searching: 5973 states found in 4:00, averaging 24.8, queued: 102 [ 4:31] searching: 5986 states found in 4:01, averaging 24.8, queued: 102 [ 4:31] searching: 6000 states found in 4:01, averaging 24.8, queued: 100 [ 4:32] searching: 6015 states found in 4:02, averaging 24.8, queued: 100 [ 4:32] searching: 6030 states found in 4:02, averaging 24.9, queued: 102 [ 4:33] searching: 6041 states found in 4:03, averaging 24.9, queued: 102 [ 4:33] searching: 6052 states found in 4:03, averaging 24.8, queued: 102 [ 4:34] searching: 6066 states found in 4:04, averaging 24.9, queued: 102 [ 4:34] searching: 6081 states found in 4:04, averaging 24.9, queued: 102 [ 4:35] searching: 6096 states found in 4:05, averaging 24.9, queued: 104 [ 4:35] searching: 6112 states found in 4:05, averaging 24.9, queued: 104 [ 4:36] searching: 6124 states found in 4:06, averaging 24.9, queued: 104 [ 4:36] searching: 6141 states found in 4:06, averaging 24.9, queued: 102 [ 4:37] searching: 6154 states found in 4:07, averaging 24.9, queued: 104 [ 4:37] searching: 6162 states found in 4:07, averaging 24.9, queued: 104 [ 4:38] searching: 6177 states found in 4:08, averaging 24.9, queued: 104 [ 4:38] searching: 6190 states found in 4:08, averaging 24.9, queued: 104 [ 4:39] searching: 6201 states found in 4:09, averaging 24.9, queued: 104 [ 4:39] searching: 6210 states found in 4:09, averaging 24.9, queued: 104 [ 4:40] searching: 6219 states found in 4:10, averaging 24.9, queued: 106 [ 4:40] searching: 6227 states found in 4:10, averaging 24.8, queued: 106 [ 4:41] searching: 6241 states found in 4:11, averaging 24.9, queued: 106 [ 4:41] searching: 6252 states found in 4:11, averaging 24.8, queued: 106 [ 4:42] searching: 6268 states found in 4:12, averaging 24.9, queued: 106 [ 4:42] searching: 6279 states found in 4:12, averaging 24.9, queued: 106 [ 4:43] searching: 6293 states found in 4:13, averaging 24.9, queued: 106 [ 4:43] searching: 6303 states found in 4:13, averaging 24.9, queued: 106 [ 4:44] searching: 6318 states found in 4:14, averaging 24.9, queued: 106 [ 4:44] searching: 6336 states found in 4:14, averaging 24.9, queued: 106 [ 4:45] searching: 6344 states found in 4:15, averaging 24.9, queued: 108 [ 4:45] searching: 6347 states found in 4:15, averaging 24.8, queued: 108 [ 4:46] searching: 6356 states found in 4:16, averaging 24.8, queued: 108 [ 4:46] searching: 6366 states found in 4:16, averaging 24.8, queued: 108 [ 4:47] searching: 6375 states found in 4:17, averaging 24.8, queued: 108 [ 4:47] searching: 6384 states found in 4:17, averaging 24.8, queued: 108 [ 4:48] searching: 6397 states found in 4:18, averaging 24.8, queued: 106 [ 4:48] searching: 6415 states found in 4:18, averaging 24.8, queued: 108 [ 4:49] searching: 6425 states found in 4:19, averaging 24.8, queued: 108 [ 4:49] searching: 6436 states found in 4:19, averaging 24.8, queued: 108 [ 4:50] searching: 6443 states found in 4:20, averaging 24.8, queued: 108 [ 4:50] searching: 6452 states found in 4:20, averaging 24.8, queued: 108 [ 4:51] searching: 6464 states found in 4:21, averaging 24.8, queued: 108 [ 4:51] searching: 6474 states found in 4:21, averaging 24.7, queued: 110 [ 4:52] searching: 6486 states found in 4:22, averaging 24.7, queued: 110 [ 4:52] searching: 6495 states found in 4:22, averaging 24.7, queued: 108 [ 4:53] searching: 6503 states found in 4:23, averaging 24.7, queued: 108 [ 4:53] searching: 6511 states found in 4:23, averaging 24.7, queued: 108 [ 4:54] searching: 6521 states found in 4:24, averaging 24.7, queued: 108 [ 4:54] searching: 6532 states found in 4:24, averaging 24.7, queued: 108 [ 4:55] searching: 6545 states found in 4:25, averaging 24.7, queued: 110 [ 4:55] searching: 6558 states found in 4:25, averaging 24.7, queued: 110 [ 4:56] searching: 6565 states found in 4:26, averaging 24.7, queued: 110 [ 4:56] searching: 6576 states found in 4:26, averaging 24.7, queued: 110 [ 4:57] searching: 6590 states found in 4:27, averaging 24.7, queued: 110 [ 4:57] searching: 6602 states found in 4:27, averaging 24.7, queued: 112 [ 4:58] searching: 6616 states found in 4:28, averaging 24.7, queued: 112 [ 4:58] searching: 6625 states found in 4:28, averaging 24.7, queued: 112 [ 4:59] searching: 6636 states found in 4:29, averaging 24.7, queued: 110 [ 4:59] searching: 6650 states found in 4:29, averaging 24.7, queued: 110 [ 5:00] searching: 6662 states found in 4:30, averaging 24.7, queued: 112 [ 5:00] searching: 6674 states found in 4:30, averaging 24.7, queued: 112 [ 5:01] searching: 6688 states found in 4:31, averaging 24.7, queued: 112 [ 5:01] searching: 6697 states found in 4:31, averaging 24.7, queued: 112 [ 5:02] searching: 6708 states found in 4:32, averaging 24.6, queued: 112 [ 5:02] searching: 6720 states found in 4:32, averaging 24.6, queued: 112 [ 5:03] searching: 6730 states found in 4:33, averaging 24.6, queued: 114 [ 5:03] searching: 6743 states found in 4:33, averaging 24.6, queued: 114 [ 5:04] searching: 6752 states found in 4:34, averaging 24.6, queued: 114 [ 5:04] searching: 6761 states found in 4:34, averaging 24.6, queued: 114 [ 5:05] searching: 6775 states found in 4:35, averaging 24.6, queued: 112 [ 5:05] searching: 6784 states found in 4:35, averaging 24.6, queued: 112 [ 5:06] searching: 6797 states found in 4:36, averaging 24.6, queued: 114 [ 5:06] searching: 6811 states found in 4:36, averaging 24.6, queued: 114 [ 5:07] searching: 6818 states found in 4:37, averaging 24.6, queued: 114 [ 5:07] searching: 6828 states found in 4:37, averaging 24.6, queued: 114 [ 5:08] searching: 6834 states found in 4:38, averaging 24.6, queued: 114 [ 5:08] searching: 6843 states found in 4:38, averaging 24.6, queued: 114 [ 5:09] searching: 6855 states found in 4:39, averaging 24.6, queued: 116 [ 5:09] searching: 6865 states found in 4:39, averaging 24.5, queued: 116 [ 5:10] searching: 6875 states found in 4:40, averaging 24.5, queued: 116 [ 5:10] searching: 6883 states found in 4:40, averaging 24.5, queued: 116 [ 5:11] searching: 6892 states found in 4:41, averaging 24.5, queued: 116 [ 5:11] searching: 6902 states found in 4:41, averaging 24.5, queued: 116 [ 5:12] searching: 6917 states found in 4:42, averaging 24.5, queued: 114 [ 5:12] searching: 6925 states found in 4:42, averaging 24.5, queued: 116 [ 5:13] searching: 6938 states found in 4:43, averaging 24.5, queued: 116 [ 5:13] searching: 6950 states found in 4:43, averaging 24.5, queued: 116 [ 5:14] searching: 6962 states found in 4:44, averaging 24.5, queued: 116 [ 5:14] searching: 6968 states found in 4:44, averaging 24.5, queued: 116 [ 5:15] searching: 6979 states found in 4:45, averaging 24.5, queued: 116 [ 5:15] searching: 6990 states found in 4:45, averaging 24.5, queued: 118 [ 5:16] searching: 7007 states found in 4:46, averaging 24.5, queued: 118 [ 5:16] searching: 7022 states found in 4:46, averaging 24.5, queued: 118 [ 5:17] searching: 7033 states found in 4:47, averaging 24.5, queued: 118 [ 5:17] searching: 7048 states found in 4:47, averaging 24.5, queued: 120 [ 5:18] searching: 7061 states found in 4:48, averaging 24.5, queued: 118 [ 5:18] searching: 7073 states found in 4:48, averaging 24.5, queued: 118 [ 5:19] searching: 7091 states found in 4:49, averaging 24.5, queued: 118 [ 5:19] searching: 7108 states found in 4:49, averaging 24.5, queued: 118 [ 5:20] searching: 7119 states found in 4:50, averaging 24.5, queued: 120 [ 5:20] searching: 7128 states found in 4:50, averaging 24.5, queued: 120 [ 5:21] searching: 7140 states found in 4:51, averaging 24.5, queued: 120 [ 5:21] searching: 7153 states found in 4:51, averaging 24.5, queued: 120 [ 5:22] searching: 7160 states found in 4:52, averaging 24.5, queued: 120 [ 5:22] searching: 7173 states found in 4:52, averaging 24.5, queued: 120 [ 5:23] searching: 7191 states found in 4:53, averaging 24.5, queued: 120 [ 5:23] searching: 7200 states found in 4:53, averaging 24.5, queued: 120 [ 5:24] searching: 7214 states found in 4:54, averaging 24.5, queued: 120 [ 5:24] searching: 7224 states found in 4:54, averaging 24.5, queued: 120 [ 5:25] searching: 7240 states found in 4:55, averaging 24.5, queued: 122 [ 5:25] searching: 7252 states found in 4:55, averaging 24.5, queued: 122 [ 5:26] searching: 7268 states found in 4:56, averaging 24.5, queued: 122 [ 5:26] searching: 7282 states found in 4:56, averaging 24.5, queued: 122 [ 5:27] searching: 7296 states found in 4:57, averaging 24.5, queued: 122 [ 5:27] searching: 7308 states found in 4:57, averaging 24.5, queued: 122 [ 5:28] searching: 7319 states found in 4:58, averaging 24.5, queued: 122 [ 5:28] searching: 7332 states found in 4:58, averaging 24.5, queued: 122 [ 5:29] searching: 7343 states found in 4:59, averaging 24.5, queued: 122 [ 5:29] searching: 7359 states found in 4:59, averaging 24.5, queued: 122 [ 5:30] searching: 7377 states found in 5:00, averaging 24.6, queued: 124 [ 5:30] searching: 7389 states found in 5:00, averaging 24.6, queued: 124 [ 5:31] searching: 7403 states found in 5:01, averaging 24.6, queued: 124 [ 5:31] searching: 7416 states found in 5:01, averaging 24.6, queued: 124 [ 5:32] searching: 7425 states found in 5:02, averaging 24.6, queued: 124 [ 5:32] searching: 7438 states found in 5:02, averaging 24.6, queued: 126 [ 5:33] searching: 7451 states found in 5:03, averaging 24.6, queued: 124 [ 5:33] searching: 7464 states found in 5:03, averaging 24.6, queued: 124 [ 5:34] searching: 7473 states found in 5:04, averaging 24.6, queued: 124 [ 5:35] searching: 7482 states found in 5:04, averaging 24.5, queued: 124 [ 5:35] searching: 7492 states found in 5:05, averaging 24.5, queued: 124 [ 5:36] searching: 7505 states found in 5:05, averaging 24.5, queued: 126 [ 5:36] searching: 7518 states found in 5:06, averaging 24.5, queued: 126 [ 5:37] searching: 7531 states found in 5:06, averaging 24.5, queued: 126 [ 5:37] searching: 7541 states found in 5:07, averaging 24.5, queued: 126 [ 5:38] searching: 7554 states found in 5:07, averaging 24.5, queued: 126 [ 5:38] searching: 7566 states found in 5:08, averaging 24.5, queued: 128 [ 5:39] searching: 7582 states found in 5:08, averaging 24.6, queued: 128 [ 5:39] searching: 7595 states found in 5:09, averaging 24.6, queued: 126 [ 5:40] searching: 7601 states found in 5:09, averaging 24.5, queued: 126 [ 5:40] searching: 7618 states found in 5:10, averaging 24.5, queued: 126 [ 5:41] searching: 7633 states found in 5:10, averaging 24.6, queued: 128 [ 5:41] searching: 7645 states found in 5:11, averaging 24.6, queued: 128 [ 5:42] searching: 7659 states found in 5:11, averaging 24.6, queued: 128 [ 5:42] searching: 7670 states found in 5:12, averaging 24.6, queued: 128 [ 5:43] searching: 7685 states found in 5:12, averaging 24.6, queued: 128 [ 5:43] searching: 7700 states found in 5:13, averaging 24.6, queued: 130 [ 5:44] searching: 7709 states found in 5:13, averaging 24.6, queued: 130 [ 5:44] searching: 7719 states found in 5:14, averaging 24.6, queued: 128 [ 5:45] searching: 7728 states found in 5:14, averaging 24.5, queued: 128 [ 5:45] searching: 7740 states found in 5:15, averaging 24.5, queued: 128 [ 5:46] searching: 7753 states found in 5:15, averaging 24.5, queued: 130 [ 5:46] searching: 7767 states found in 5:16, averaging 24.6, queued: 130 [ 5:47] searching: 7776 states found in 5:16, averaging 24.5, queued: 130 [ 5:47] searching: 7786 states found in 5:17, averaging 24.5, queued: 130 [ 5:48] searching: 7796 states found in 5:17, averaging 24.5, queued: 130 [ 5:48] searching: 7805 states found in 5:18, averaging 24.5, queued: 130 [ 5:49] searching: 7811 states found in 5:18, averaging 24.5, queued: 130 [ 5:49] searching: 7824 states found in 5:19, averaging 24.5, queued: 132 [ 5:50] searching: 7830 states found in 5:19, averaging 24.5, queued: 132 [ 5:50] searching: 7837 states found in 5:20, averaging 24.5, queued: 130 [ 5:51] searching: 7848 states found in 5:20, averaging 24.5, queued: 130 [ 5:51] searching: 7859 states found in 5:21, averaging 24.5, queued: 130 [ 5:52] searching: 7868 states found in 5:21, averaging 24.4, queued: 130 [ 5:52] searching: 7880 states found in 5:22, averaging 24.4, queued: 132 [ 5:53] searching: 7892 states found in 5:22, averaging 24.4, queued: 132 [ 5:53] searching: 7904 states found in 5:23, averaging 24.4, queued: 132 [ 5:54] searching: 7912 states found in 5:23, averaging 24.4, queued: 132 [ 5:54] searching: 7921 states found in 5:24, averaging 24.4, queued: 132 [ 5:55] searching: 7933 states found in 5:24, averaging 24.4, queued: 132 [ 5:55] searching: 7944 states found in 5:25, averaging 24.4, queued: 134 [ 5:56] searching: 7956 states found in 5:25, averaging 24.4, queued: 134 [ 5:56] searching: 7962 states found in 5:26, averaging 24.4, queued: 134 [ 5:57] searching: 7974 states found in 5:26, averaging 24.4, queued: 134 [ 5:57] searching: 7981 states found in 5:27, averaging 24.4, queued: 132 [ 5:58] searching: 7997 states found in 5:27, averaging 24.4, queued: 132 [ 5:58] searching: 8004 states found in 5:28, averaging 24.4, queued: 132 [ 5:59] searching: 8014 states found in 5:28, averaging 24.4, queued: 134 [ 5:59] searching: 8029 states found in 5:29, averaging 24.4, queued: 134 [ 6:00] searching: 8045 states found in 5:29, averaging 24.4, queued: 134 [ 6:00] searching: 8062 states found in 5:30, averaging 24.4, queued: 134 [ 6:01] searching: 8074 states found in 5:30, averaging 24.4, queued: 136 [ 6:01] searching: 8087 states found in 5:31, averaging 24.4, queued: 136 [ 6:02] searching: 8091 states found in 5:31, averaging 24.4, queued: 136 [ 6:02] searching: 8102 states found in 5:32, averaging 24.4, queued: 136 [ 6:03] searching: 8107 states found in 5:32, averaging 24.4, queued: 134 [ 6:03] searching: 8116 states found in 5:33, averaging 24.3, queued: 134 [ 6:04] searching: 8129 states found in 5:33, averaging 24.3, queued: 134 [ 6:04] searching: 8142 states found in 5:34, averaging 24.3, queued: 136 [ 6:05] searching: 8155 states found in 5:34, averaging 24.3, queued: 136 [ 6:05] searching: 8164 states found in 5:35, averaging 24.3, queued: 136 [ 6:06] searching: 8175 states found in 5:35, averaging 24.3, queued: 136 [ 6:06] searching: 8182 states found in 5:36, averaging 24.3, queued: 136 [ 6:07] searching: 8195 states found in 5:36, averaging 24.3, queued: 136 [ 6:07] searching: 8203 states found in 5:37, averaging 24.3, queued: 138 [ 6:08] searching: 8214 states found in 5:37, averaging 24.3, queued: 138 [ 6:08] searching: 8228 states found in 5:38, averaging 24.3, queued: 138 [ 6:09] searching: 8236 states found in 5:38, averaging 24.3, queued: 138 [ 6:09] searching: 8248 states found in 5:39, averaging 24.3, queued: 136 [ 6:10] searching: 8264 states found in 5:39, averaging 24.3, queued: 138 [ 6:10] searching: 8272 states found in 5:40, averaging 24.3, queued: 138 [ 6:11] searching: 8280 states found in 5:40, averaging 24.3, queued: 138 [ 6:11] searching: 8291 states found in 5:41, averaging 24.3, queued: 138 [ 6:12] searching: 8299 states found in 5:41, averaging 24.3, queued: 138 [ 6:12] searching: 8308 states found in 5:42, averaging 24.3, queued: 138 [ 6:13] searching: 8322 states found in 5:42, averaging 24.3, queued: 138 [ 6:13] searching: 8334 states found in 5:43, averaging 24.3, queued: 140 [ 6:14] searching: 8342 states found in 5:43, averaging 24.3, queued: 140 [ 6:14] searching: 8356 states found in 5:44, averaging 24.3, queued: 140 [ 6:15] searching: 8369 states found in 5:44, averaging 24.3, queued: 138 [ 6:15] searching: 8381 states found in 5:45, averaging 24.3, queued: 138 [ 6:16] searching: 8388 states found in 5:45, averaging 24.2, queued: 138 [ 6:16] searching: 8394 states found in 5:46, averaging 24.2, queued: 140 [ 6:17] searching: 8404 states found in 5:46, averaging 24.2, queued: 140 [ 6:17] searching: 8415 states found in 5:47, averaging 24.2, queued: 140 [ 6:18] searching: 8429 states found in 5:47, averaging 24.2, queued: 140 [ 6:18] searching: 8439 states found in 5:48, averaging 24.2, queued: 140 [ 6:19] searching: 8450 states found in 5:48, averaging 24.2, queued: 140 [ 6:19] searching: 8461 states found in 5:49, averaging 24.2, queued: 142 [ 6:20] searching: 8472 states found in 5:49, averaging 24.2, queued: 142 [ 6:20] searching: 8481 states found in 5:50, averaging 24.2, queued: 142 [ 6:21] searching: 8489 states found in 5:50, averaging 24.2, queued: 140 [ 6:21] searching: 8498 states found in 5:51, averaging 24.2, queued: 140 [ 6:22] searching: 8504 states found in 5:51, averaging 24.2, queued: 140 [ 6:22] searching: 8515 states found in 5:52, averaging 24.2, queued: 140 [ 6:23] searching: 8521 states found in 5:52, averaging 24.1, queued: 142 [ 6:23] searching: 8529 states found in 5:53, averaging 24.1, queued: 142 [ 6:24] searching: 8541 states found in 5:53, averaging 24.1, queued: 142 [ 6:24] searching: 8551 states found in 5:54, averaging 24.1, queued: 142 [ 6:25] searching: 8558 states found in 5:54, averaging 24.1, queued: 142 [ 6:25] searching: 8568 states found in 5:55, averaging 24.1, queued: 142 [ 6:26] searching: 8577 states found in 5:56, averaging 24.1, queued: 142 [ 6:26] searching: 8584 states found in 5:56, averaging 24.1, queued: 144 [ 6:27] searching: 8594 states found in 5:57, averaging 24.1, queued: 144 [ 6:27] searching: 8603 states found in 5:57, averaging 24.1, queued: 142 [ 6:28] searching: 8613 states found in 5:58, averaging 24.1, queued: 142 [ 6:28] searching: 8624 states found in 5:58, averaging 24.1, queued: 142 [ 6:29] searching: 8634 states found in 5:59, averaging 24.0, queued: 142 [ 6:29] searching: 8642 states found in 5:59, averaging 24.0, queued: 142 [ 6:30] searching: 8654 states found in 6:00, averaging 24.0, queued: 144 [ 6:30] searching: 8668 states found in 6:00, averaging 24.0, queued: 144 [ 6:31] searching: 8680 states found in 6:01, averaging 24.0, queued: 144 [ 6:31] searching: 8689 states found in 6:01, averaging 24.0, queued: 144 [ 6:32] searching: 8698 states found in 6:02, averaging 24.0, queued: 144 [ 6:32] searching: 8706 states found in 6:02, averaging 24.0, queued: 144 [ 6:33] searching: 8720 states found in 6:03, averaging 24.0, queued: 146 [ 6:33] searching: 8729 states found in 6:03, averaging 24.0, queued: 146 [ 6:34] searching: 8739 states found in 6:04, averaging 24.0, queued: 144 [ 6:34] searching: 8752 states found in 6:04, averaging 24.0, queued: 144 [ 6:35] searching: 8758 states found in 6:05, averaging 24.0, queued: 144 [ 6:35] searching: 8768 states found in 6:05, averaging 24.0, queued: 144 [ 6:36] searching: 8778 states found in 6:06, averaging 24.0, queued: 146 [ 6:36] searching: 8787 states found in 6:06, averaging 24.0, queued: 146 [ 6:37] searching: 8796 states found in 6:07, averaging 24.0, queued: 146 [ 6:37] searching: 8805 states found in 6:07, averaging 24.0, queued: 146 [ 6:38] searching: 8818 states found in 6:08, averaging 24.0, queued: 146 [ 6:38] searching: 8829 states found in 6:08, averaging 24.0, queued: 146 [ 6:39] searching: 8840 states found in 6:09, averaging 24.0, queued: 148 [ 6:39] searching: 8851 states found in 6:09, averaging 24.0, queued: 148 [ 6:40] searching: 8855 states found in 6:10, averaging 23.9, queued: 148 [ 6:40] searching: 8862 states found in 6:10, averaging 23.9, queued: 146 [ 6:41] searching: 8874 states found in 6:11, averaging 23.9, queued: 146 [ 6:41] searching: 8882 states found in 6:11, averaging 23.9, queued: 146 [ 6:42] searching: 8894 states found in 6:12, averaging 23.9, queued: 146 [ 6:42] searching: 8906 states found in 6:12, averaging 23.9, queued: 148 [ 6:43] searching: 8914 states found in 6:13, averaging 23.9, queued: 148 [ 6:43] searching: 8926 states found in 6:13, averaging 23.9, queued: 148 [ 6:44] searching: 8935 states found in 6:14, averaging 23.9, queued: 148 [ 6:44] searching: 8947 states found in 6:14, averaging 23.9, queued: 148 [ 6:45] searching: 8957 states found in 6:15, averaging 23.9, queued: 148 [ 6:45] searching: 8966 states found in 6:15, averaging 23.9, queued: 150 [ 6:46] searching: 8976 states found in 6:16, averaging 23.9, queued: 150 [ 6:46] searching: 8978 states found in 6:16, averaging 23.8, queued: 150 [ 6:47] searching: 8985 states found in 6:17, averaging 23.8, queued: 148 [ 6:47] searching: 8989 states found in 6:17, averaging 23.8, queued: 148 [ 6:48] searching: 8997 states found in 6:18, averaging 23.8, queued: 148 [ 6:48] searching: 9001 states found in 6:18, averaging 23.8, queued: 148 [ 6:49] searching: 9013 states found in 6:19, averaging 23.8, queued: 148 [ 6:49] searching: 9014 states found in 6:19, averaging 23.7, queued: 148 [ 6:50] searching: 9025 states found in 6:20, averaging 23.7, queued: 148 [ 6:50] searching: 9034 states found in 6:20, averaging 23.7, queued: 150 [ 6:51] searching: 9042 states found in 6:21, averaging 23.7, queued: 150 [ 6:51] searching: 9051 states found in 6:21, averaging 23.7, queued: 150 [ 6:52] searching: 9062 states found in 6:22, averaging 23.7, queued: 150 [ 6:52] searching: 9069 states found in 6:22, averaging 23.7, queued: 150 [ 6:53] searching: 9079 states found in 6:23, averaging 23.7, queued: 150 [ 6:53] searching: 9088 states found in 6:23, averaging 23.7, queued: 150 [ 6:54] searching: 9100 states found in 6:24, averaging 23.7, queued: 152 [ 6:54] searching: 9105 states found in 6:24, averaging 23.7, queued: 150 [ 6:55] searching: 9116 states found in 6:25, averaging 23.7, queued: 150 [ 6:55] searching: 9123 states found in 6:25, averaging 23.7, queued: 150 [ 6:56] searching: 9129 states found in 6:26, averaging 23.6, queued: 150 [ 6:56] searching: 9141 states found in 6:26, averaging 23.6, queued: 150 [ 6:57] searching: 9148 states found in 6:27, averaging 23.6, queued: 150 [ 6:57] searching: 9158 states found in 6:27, averaging 23.6, queued: 152 [ 6:58] searching: 9169 states found in 6:28, averaging 23.6, queued: 152 [ 6:58] searching: 9184 states found in 6:28, averaging 23.6, queued: 152 [ 6:59] searching: 9202 states found in 6:29, averaging 23.6, queued: 152 [ 6:59] searching: 9215 states found in 6:29, averaging 23.6, queued: 150 [ 7:00] searching: 9231 states found in 6:30, averaging 23.7, queued: 152 [ 7:00] searching: 9242 states found in 6:30, averaging 23.7, queued: 152 [ 7:01] searching: 9255 states found in 6:31, averaging 23.7, queued: 152 [ 7:01] searching: 9265 states found in 6:31, averaging 23.7, queued: 152 [ 7:02] searching: 9276 states found in 6:32, averaging 23.7, queued: 152 [ 7:02] searching: 9290 states found in 6:32, averaging 23.7, queued: 154 [ 7:03] searching: 9303 states found in 6:33, averaging 23.7, queued: 154 [ 7:03] searching: 9316 states found in 6:33, averaging 23.7, queued: 152 [ 7:04] searching: 9336 states found in 6:34, averaging 23.7, queued: 152 [ 7:04] searching: 9351 states found in 6:34, averaging 23.7, queued: 154 [ 7:05] searching: 9364 states found in 6:35, averaging 23.7, queued: 154 [ 7:05] searching: 9374 states found in 6:35, averaging 23.7, queued: 154 [ 7:06] searching: 9387 states found in 6:36, averaging 23.7, queued: 154 [ 7:06] searching: 9403 states found in 6:36, averaging 23.7, queued: 154 [ 7:07] searching: 9413 states found in 6:37, averaging 23.7, queued: 154 [ 7:07] searching: 9428 states found in 6:37, averaging 23.7, queued: 154 [ 7:08] searching: 9437 states found in 6:38, averaging 23.7, queued: 154 [ 7:08] searching: 9445 states found in 6:38, averaging 23.7, queued: 154 [ 7:09] searching: 9453 states found in 6:39, averaging 23.7, queued: 154 [ 7:09] searching: 9465 states found in 6:39, averaging 23.7, queued: 154 [ 7:10] searching: 9475 states found in 6:40, averaging 23.7, queued: 154 [ 7:10] searching: 9486 states found in 6:40, averaging 23.7, queued: 156 [ 7:11] searching: 9499 states found in 6:41, averaging 23.7, queued: 156 [ 7:11] searching: 9508 states found in 6:41, averaging 23.7, queued: 156 [ 7:12] searching: 9524 states found in 6:42, averaging 23.7, queued: 154 [ 7:12] searching: 9543 states found in 6:42, averaging 23.7, queued: 156 [ 7:13] searching: 9558 states found in 6:43, averaging 23.7, queued: 156 [ 7:13] searching: 9578 states found in 6:43, averaging 23.7, queued: 156 [ 7:14] searching: 9590 states found in 6:44, averaging 23.7, queued: 156 [ 7:14] searching: 9601 states found in 6:44, averaging 23.7, queued: 156 [ 7:15] searching: 9614 states found in 6:45, averaging 23.7, queued: 158 [ 7:15] searching: 9627 states found in 6:45, averaging 23.7, queued: 158 [ 7:16] searching: 9639 states found in 6:46, averaging 23.7, queued: 158 [ 7:16] searching: 9647 states found in 6:46, averaging 23.7, queued: 156 [ 7:17] searching: 9656 states found in 6:47, averaging 23.7, queued: 156 [ 7:17] searching: 9666 states found in 6:47, averaging 23.7, queued: 156 [ 7:18] searching: 9679 states found in 6:48, averaging 23.7, queued: 158 [ 7:18] searching: 9701 states found in 6:48, averaging 23.7, queued: 158 [ 7:19] searching: 9714 states found in 6:49, averaging 23.7, queued: 158 [ 7:19] searching: 9724 states found in 6:49, averaging 23.7, queued: 158 [ 7:20] searching: 9732 states found in 6:50, averaging 23.7, queued: 158 [ 7:20] searching: 9747 states found in 6:50, averaging 23.7, queued: 158 [ 7:21] searching: 9765 states found in 6:51, averaging 23.7, queued: 158 [ 7:21] searching: 9781 states found in 6:51, averaging 23.8, queued: 158 [ 7:22] searching: 9796 states found in 6:52, averaging 23.8, queued: 158 [ 7:22] searching: 9812 states found in 6:52, averaging 23.8, queued: 160 [ 7:23] searching: 9825 states found in 6:53, averaging 23.8, queued: 160 [ 7:23] searching: 9836 states found in 6:53, averaging 23.8, queued: 160 [ 7:24] searching: 9851 states found in 6:54, averaging 23.8, queued: 160 [ 7:24] searching: 9863 states found in 6:54, averaging 23.8, queued: 160 [ 7:25] searching: 9872 states found in 6:55, averaging 23.8, queued: 160 [ 7:25] searching: 9883 states found in 6:55, averaging 23.8, queued: 160 [ 7:26] searching: 9894 states found in 6:56, averaging 23.8, queued: 160 [ 7:27] searching: 9908 states found in 6:56, averaging 23.8, queued: 160 [ 7:27] searching: 9921 states found in 6:57, averaging 23.8, queued: 160 [ 7:28] searching: 9932 states found in 6:57, averaging 23.8, queued: 162 [ 7:28] searching: 9948 states found in 6:58, averaging 23.8, queued: 162 [ 7:29] searching: 9964 states found in 6:58, averaging 23.8, queued: 162 [ 7:29] searching: 9974 states found in 6:59, averaging 23.8, queued: 162 [ 7:30] searching: 9988 states found in 6:59, averaging 23.8, queued: 162 [ 7:30] searching: 10003 states found in 7:00, averaging 23.8, queued: 162 [ 7:31] searching: 10015 states found in 7:00, averaging 23.8, queued: 162 [ 7:31] searching: 10027 states found in 7:01, averaging 23.8, queued: 162 [ 7:32] searching: 10044 states found in 7:01, averaging 23.8, queued: 162 [ 7:32] searching: 10056 states found in 7:02, averaging 23.8, queued: 164 [ 7:33] searching: 10071 states found in 7:02, averaging 23.8, queued: 164 [ 7:33] searching: 10081 states found in 7:03, averaging 23.8, queued: 164 [ 7:34] searching: 10096 states found in 7:03, averaging 23.8, queued: 164 [ 7:34] searching: 10110 states found in 7:04, averaging 23.8, queued: 164 [ 7:35] searching: 10121 states found in 7:04, averaging 23.8, queued: 164 [ 7:35] searching: 10131 states found in 7:05, averaging 23.8, queued: 164 [ 7:36] searching: 10143 states found in 7:05, averaging 23.8, queued: 164 [ 7:36] searching: 10156 states found in 7:06, averaging 23.8, queued: 164 [ 7:37] searching: 10165 states found in 7:06, averaging 23.8, queued: 164 [ 7:37] searching: 10171 states found in 7:07, averaging 23.8, queued: 164 [ 7:38] searching: 10182 states found in 7:07, averaging 23.8, queued: 166 [ 7:38] searching: 10189 states found in 7:08, averaging 23.8, queued: 166 [ 7:39] searching: 10204 states found in 7:08, averaging 23.8, queued: 166 [ 7:39] searching: 10213 states found in 7:09, averaging 23.8, queued: 166 [ 7:40] searching: 10225 states found in 7:09, averaging 23.8, queued: 164 [ 7:40] searching: 10234 states found in 7:10, averaging 23.8, queued: 164 [ 7:41] searching: 10244 states found in 7:10, averaging 23.8, queued: 164 [ 7:41] searching: 10258 states found in 7:11, averaging 23.8, queued: 166 [ 7:42] searching: 10270 states found in 7:11, averaging 23.8, queued: 166 [ 7:42] searching: 10283 states found in 7:12, averaging 23.8, queued: 166 [ 7:43] searching: 10297 states found in 7:12, averaging 23.8, queued: 166 [ 7:43] searching: 10309 states found in 7:13, averaging 23.8, queued: 166 [ 7:44] searching: 10318 states found in 7:13, averaging 23.8, queued: 168 [ 7:44] searching: 10329 states found in 7:14, averaging 23.8, queued: 168 [ 7:45] searching: 10343 states found in 7:14, averaging 23.8, queued: 168 [ 7:45] searching: 10351 states found in 7:15, averaging 23.8, queued: 168 [ 7:46] searching: 10366 states found in 7:15, averaging 23.8, queued: 166 [ 7:46] searching: 10383 states found in 7:16, averaging 23.8, queued: 168 [ 7:47] searching: 10401 states found in 7:16, averaging 23.8, queued: 168 [ 7:47] searching: 10415 states found in 7:17, averaging 23.8, queued: 168 [ 7:48] searching: 10427 states found in 7:17, averaging 23.8, queued: 168 [ 7:48] searching: 10434 states found in 7:18, averaging 23.8, queued: 168 [ 7:49] searching: 10444 states found in 7:18, averaging 23.8, queued: 170 [ 7:49] searching: 10463 states found in 7:19, averaging 23.8, queued: 170 [ 7:50] searching: 10476 states found in 7:19, averaging 23.8, queued: 170 [ 7:50] searching: 10494 states found in 7:20, averaging 23.8, queued: 168 [ 7:51] searching: 10498 states found in 7:20, averaging 23.8, queued: 168 [ 7:51] searching: 10511 states found in 7:21, averaging 23.8, queued: 170 [ 7:52] searching: 10521 states found in 7:21, averaging 23.8, queued: 170 [ 7:57] searching: 10534 states found in 7:22, averaging 23.8, queued: 170 [ 7:57] searching: 10544 states found in 7:22, averaging 23.8, queued: 170 [ 7:57] searching: 10559 states found in 7:23, averaging 23.8, queued: 170 [ 7:57] searching: 10573 states found in 7:23, averaging 23.8, queued: 172 [ 7:57] searching: 10588 states found in 7:24, averaging 23.8, queued: 172 [ 7:57] searching: 10597 states found in 7:24, averaging 23.8, queued: 170 [ 7:57] searching: 10612 states found in 7:25, averaging 23.8, queued: 170 [ 7:57] searching: 10621 states found in 7:25, averaging 23.8, queued: 170 [ 7:57] searching: 10630 states found in 7:26, averaging 23.8, queued: 172 [ 7:57] searching: 10639 states found in 7:26, averaging 23.8, queued: 172 [ 7:57] searching: 10650 states found in 7:27, averaging 23.8, queued: 172 [ 7:58] searching: 10663 states found in 7:27, averaging 23.8, queued: 172 [ 7:58] searching: 10682 states found in 7:28, averaging 23.8, queued: 172 [ 7:59] searching: 10690 states found in 7:28, averaging 23.8, queued: 172 [ 7:59] searching: 10699 states found in 7:29, averaging 23.8, queued: 174 [ 8:00] searching: 10708 states found in 7:29, averaging 23.8, queued: 172 [ 8:00] searching: 10717 states found in 7:30, averaging 23.8, queued: 172 [ 8:01] searching: 10725 states found in 7:30, averaging 23.8, queued: 172 [ 8:02] searching: 10734 states found in 7:31, averaging 23.8, queued: 172 [ 8:02] searching: 10745 states found in 7:31, averaging 23.8, queued: 172 [ 8:02] searching: 10752 states found in 7:32, averaging 23.8, queued: 172 [ 8:03] searching: 10763 states found in 7:32, averaging 23.8, queued: 174 [ 8:03] searching: 10774 states found in 7:33, averaging 23.8, queued: 174 [ 8:04] searching: 10782 states found in 7:33, averaging 23.8, queued: 174 [ 8:04] searching: 10789 states found in 7:34, averaging 23.7, queued: 174 [ 8:05] searching: 10802 states found in 7:34, averaging 23.7, queued: 172 [ 8:05] searching: 10807 states found in 7:35, averaging 23.7, queued: 172 [ 8:06] searching: 10813 states found in 7:35, averaging 23.7, queued: 172 [ 8:06] searching: 10825 states found in 7:36, averaging 23.7, queued: 174 [ 8:07] searching: 10835 states found in 7:36, averaging 23.7, queued: 174 [ 8:07] searching: 10844 states found in 7:37, averaging 23.7, queued: 174 [ 8:08] searching: 10854 states found in 7:38, averaging 23.7, queued: 174 [ 8:08] searching: 10862 states found in 7:38, averaging 23.7, queued: 174 [ 8:09] searching: 10870 states found in 7:39, averaging 23.7, queued: 174 [ 8:09] searching: 10882 states found in 7:39, averaging 23.7, queued: 174 [ 8:10] searching: 10890 states found in 7:40, averaging 23.7, queued: 176 [ 8:10] searching: 10900 states found in 7:40, averaging 23.7, queued: 176 [ 8:11] searching: 10901 states found in 7:41, averaging 23.6, queued: 176 [ 8:11] searching: 10910 states found in 7:41, averaging 23.6, queued: 174 [ 8:12] searching: 10919 states found in 7:42, averaging 23.6, queued: 174 [ 8:12] searching: 10931 states found in 7:42, averaging 23.6, queued: 174 [ 8:13] searching: 10939 states found in 7:43, averaging 23.6, queued: 174 [ 8:13] searching: 10954 states found in 7:43, averaging 23.6, queued: 176 [ 8:14] searching: 10964 states found in 7:44, averaging 23.6, queued: 176 [ 8:14] searching: 10970 states found in 7:44, averaging 23.6, queued: 176 [ 8:15] searching: 10978 states found in 7:45, averaging 23.6, queued: 176 [ 8:15] searching: 10988 states found in 7:45, averaging 23.6, queued: 176 [ 8:16] searching: 10998 states found in 7:46, averaging 23.6, queued: 176 [ 8:16] searching: 11012 states found in 7:46, averaging 23.6, queued: 176 [ 8:17] searching: 11022 states found in 7:47, averaging 23.6, queued: 178 [ 8:17] searching: 11032 states found in 7:47, averaging 23.6, queued: 178 [ 8:18] searching: 11043 states found in 7:48, averaging 23.6, queued: 178 [ 8:18] searching: 11046 states found in 7:48, averaging 23.6, queued: 176 [ 8:19] searching: 11055 states found in 7:49, averaging 23.6, queued: 176 [ 8:19] searching: 11058 states found in 7:49, averaging 23.5, queued: 176 [ 8:20] searching: 11069 states found in 7:50, averaging 23.5, queued: 176 [ 8:20] searching: 11076 states found in 7:50, averaging 23.5, queued: 176 [ 8:21] searching: 11086 states found in 7:51, averaging 23.5, queued: 178 [ 8:21] searching: 11096 states found in 7:51, averaging 23.5, queued: 178 [ 8:22] searching: 11108 states found in 7:52, averaging 23.5, queued: 178 [ 8:22] searching: 11116 states found in 7:52, averaging 23.5, queued: 178 [ 8:23] searching: 11130 states found in 7:53, averaging 23.5, queued: 178 [ 8:23] searching: 11140 states found in 7:53, averaging 23.5, queued: 178 [ 8:24] searching: 11148 states found in 7:54, averaging 23.5, queued: 180 [ 8:24] searching: 11163 states found in 7:54, averaging 23.5, queued: 178 [ 8:25] searching: 11174 states found in 7:55, averaging 23.5, queued: 178 [ 8:25] searching: 11189 states found in 7:55, averaging 23.5, queued: 178 [ 8:26] searching: 11205 states found in 7:56, averaging 23.5, queued: 178 [ 8:26] searching: 11215 states found in 7:56, averaging 23.5, queued: 180 [ 8:27] searching: 11230 states found in 7:57, averaging 23.5, queued: 180 [ 8:27] searching: 11245 states found in 7:57, averaging 23.5, queued: 180 [ 8:28] searching: 11257 states found in 7:58, averaging 23.5, queued: 180 [ 8:28] searching: 11269 states found in 7:58, averaging 23.5, queued: 180 [ 8:29] searching: 11284 states found in 7:59, averaging 23.6, queued: 182 [ 8:29] searching: 11295 states found in 7:59, averaging 23.5, queued: 180 [ 8:30] searching: 11307 states found in 8:00, averaging 23.6, queued: 180 [ 8:30] searching: 11313 states found in 8:00, averaging 23.5, queued: 180 [ 8:31] searching: 11326 states found in 8:01, averaging 23.5, queued: 180 [ 8:31] searching: 11335 states found in 8:01, averaging 23.5, queued: 182 [ 8:32] searching: 11347 states found in 8:02, averaging 23.5, queued: 182 [ 8:32] searching: 11350 states found in 8:02, averaging 23.5, queued: 182 [ 8:33] searching: 11357 states found in 8:03, averaging 23.5, queued: 182 [ 8:33] searching: 11370 states found in 8:03, averaging 23.5, queued: 182 [ 8:34] searching: 11386 states found in 8:04, averaging 23.5, queued: 182 E: System error: Cannot allocate memory, when anonymous mmap for 34948 bytes failed [ 8:34] /home/xrockai/src/divine/nightly/test/lib/verify: line 33: 22649 Aborted (core dumped) divine verify $resources $extra $opts $run $args [ 8:46] (lldb) target create "/var/obj/divine-nightly/semidbg/tools/divine" --core "core" [ 8:46] Core file '/var/obj/divine-nightly/semidbg/test/__test_work_dir.2/core' (x86_64) was loaded. [ 8:46] (lldb) bt all [ 8:46] * thread #1, name = 'divine', stop reason = signal SIGABRT [ 8:46] * frame #0: 0x00007fb6ba4568c0 [ 8:46] thread #2, stop reason = signal 0 [ 8:46] frame #0: 0x00007fb6cdc25d8d