[ 0:01] compiling /home/xrockai/src/divine/nightly/test/weakmem/4.peterson_sc.cpp [ 0:01] relaxed memory: tso [ 0:07] loading bitcode … LART … RR … constants … done [ 0:24] booting … done [ 0:26] [ 0:26] searching: 1 states found in 0:00, averaging 200.0, queued: 0 [ 0:27] searching: 1 states found in 0:00, averaging 2.0, queued: 0 [ 0:27] searching: 5 states found in 0:01, averaging 5.0, queued: 0 [ 0:28] searching: 9 states found in 0:01, averaging 6.0, queued: 0 [ 0:28] searching: 17 states found in 0:02, averaging 8.5, queued: 0 [ 0:29] searching: 24 states found in 0:02, averaging 9.6, queued: 0 [ 0:29] searching: 32 states found in 0:03, averaging 10.6, queued: 0 [ 0:30] searching: 40 states found in 0:03, averaging 11.4, queued: 0 [ 0:30] searching: 49 states found in 0:04, averaging 12.2, queued: 0 [ 0:31] searching: 56 states found in 0:04, averaging 12.4, queued: 0 [ 0:31] searching: 64 states found in 0:05, averaging 12.8, queued: 0 [ 0:32] searching: 73 states found in 0:05, averaging 13.3, queued: 0 [ 0:32] searching: 82 states found in 0:06, averaging 13.6, queued: 0 [ 0:33] searching: 92 states found in 0:06, averaging 14.1, queued: 0 [ 0:33] searching: 99 states found in 0:07, averaging 14.1, queued: 0 [ 0:34] searching: 110 states found in 0:07, averaging 14.6, queued: 0 [ 0:34] searching: 123 states found in 0:08, averaging 15.4, queued: 0 [ 0:35] searching: 133 states found in 0:08, averaging 15.6, queued: 0 [ 0:35] searching: 143 states found in 0:09, averaging 15.9, queued: 0 [ 0:36] searching: 156 states found in 0:09, averaging 16.4, queued: 0 [ 0:36] searching: 168 states found in 0:10, averaging 16.8, queued: 0 [ 0:37] searching: 177 states found in 0:10, averaging 16.8, queued: 0 [ 0:37] searching: 190 states found in 0:11, averaging 17.3, queued: 0 [ 0:38] searching: 201 states found in 0:11, averaging 17.5, queued: 0 [ 0:38] searching: 212 states found in 0:12, averaging 17.6, queued: 2 [ 0:39] searching: 227 states found in 0:12, averaging 18.1, queued: 2 [ 0:39] searching: 239 states found in 0:13, averaging 18.4, queued: 0 [ 0:40] searching: 248 states found in 0:13, averaging 18.4, queued: 0 [ 0:40] searching: 260 states found in 0:14, averaging 18.6, queued: 0 [ 0:41] searching: 271 states found in 0:14, averaging 18.7, queued: 2 [ 0:41] searching: 281 states found in 0:15, averaging 18.7, queued: 2 [ 0:42] searching: 295 states found in 0:15, averaging 19.0, queued: 2 [ 0:42] searching: 305 states found in 0:16, averaging 19.0, queued: 2 [ 0:43] searching: 310 states found in 0:16, averaging 18.8, queued: 2 [ 0:43] searching: 318 states found in 0:17, averaging 18.7, queued: 0 [ 0:44] searching: 337 states found in 0:17, averaging 19.2, queued: 2 [ 0:44] searching: 350 states found in 0:18, averaging 19.4, queued: 2 [ 0:45] searching: 361 states found in 0:18, averaging 19.5, queued: 2 [ 0:45] searching: 370 states found in 0:19, averaging 19.5, queued: 2 [ 0:46] searching: 386 states found in 0:19, averaging 19.8, queued: 2 [ 0:46] searching: 396 states found in 0:20, averaging 19.8, queued: 2 [ 0:47] searching: 403 states found in 0:20, averaging 19.6, queued: 4 [ 0:47] searching: 410 states found in 0:21, averaging 19.5, queued: 2 [ 0:48] searching: 422 states found in 0:21, averaging 19.6, queued: 2 [ 0:48] searching: 439 states found in 0:22, averaging 19.9, queued: 2 [ 0:49] searching: 449 states found in 0:22, averaging 19.9, queued: 2 [ 0:49] searching: 455 states found in 0:23, averaging 19.8, queued: 2 [ 0:50] searching: 468 states found in 0:23, averaging 19.9, queued: 4 [ 0:50] searching: 485 states found in 0:24, averaging 20.2, queued: 4 [ 0:51] searching: 508 states found in 0:24, averaging 20.7, queued: 2 [ 0:51] searching: 519 states found in 0:25, averaging 20.7, queued: 2 [ 0:52] searching: 528 states found in 0:25, averaging 20.7, queued: 4 [ 0:52] searching: 535 states found in 0:26, averaging 20.6, queued: 4 [ 0:53] searching: 540 states found in 0:26, averaging 20.4, queued: 4 [ 0:53] searching: 553 states found in 0:27, averaging 20.5, queued: 4 [ 0:54] searching: 572 states found in 0:27, averaging 20.8, queued: 4 [ 0:54] searching: 581 states found in 0:28, averaging 20.7, queued: 2 [ 0:55] searching: 588 states found in 0:28, averaging 20.6, queued: 2 [ 0:55] searching: 605 states found in 0:29, averaging 20.8, queued: 4 [ 0:56] searching: 621 states found in 0:29, averaging 21.0, queued: 4 [ 0:56] searching: 640 states found in 0:30, averaging 21.3, queued: 4 [ 0:57] searching: 650 states found in 0:30, averaging 21.3, queued: 4 [ 0:57] searching: 658 states found in 0:31, averaging 21.2, queued: 6 [ 0:58] searching: 669 states found in 0:31, averaging 21.2, queued: 6 [ 0:58] searching: 684 states found in 0:32, averaging 21.4, queued: 4 [ 0:59] searching: 700 states found in 0:32, averaging 21.5, queued: 4 [ 0:59] searching: 718 states found in 0:33, averaging 21.7, queued: 6 [ 1:00] searching: 736 states found in 0:33, averaging 21.9, queued: 6 [ 1:00] searching: 751 states found in 0:34, averaging 22.1, queued: 6 [ 1:01] searching: 765 states found in 0:34, averaging 22.2, queued: 6 [ 1:01] searching: 771 states found in 0:35, averaging 22.0, queued: 6 [ 1:02] searching: 775 states found in 0:35, averaging 21.8, queued: 4 [ 1:02] searching: 784 states found in 0:36, averaging 21.8, queued: 6 [ 1:03] searching: 796 states found in 0:36, averaging 21.8, queued: 6 [ 1:03] searching: 816 states found in 0:37, averaging 22.0, queued: 6 [ 1:04] searching: 836 states found in 0:37, averaging 22.3, queued: 6 [ 1:04] searching: 847 states found in 0:38, averaging 22.3, queued: 8 [ 1:05] searching: 855 states found in 0:38, averaging 22.2, queued: 8 [ 1:05] searching: 873 states found in 0:39, averaging 22.4, queued: 8 [ 1:06] searching: 889 states found in 0:39, averaging 22.5, queued: 6 [ 1:06] searching: 907 states found in 0:40, averaging 22.7, queued: 6 [ 1:07] searching: 918 states found in 0:40, averaging 22.6, queued: 8 [ 1:07] searching: 929 states found in 0:41, averaging 22.6, queued: 8 [ 1:08] searching: 946 states found in 0:41, averaging 22.8, queued: 8 [ 1:08] searching: 959 states found in 0:42, averaging 22.8, queued: 8 [ 1:09] searching: 966 states found in 0:42, averaging 22.7, queued: 8 [ 1:09] searching: 972 states found in 0:43, averaging 22.6, queued: 6 [ 1:10] searching: 978 states found in 0:43, averaging 22.5, queued: 8 [ 1:10] searching: 985 states found in 0:44, averaging 22.4, queued: 8 [ 1:11] searching: 1005 states found in 0:44, averaging 22.6, queued: 8 [ 1:11] searching: 1024 states found in 0:45, averaging 22.7, queued: 8 [ 1:12] searching: 1037 states found in 0:45, averaging 22.8, queued: 8 [ 1:12] searching: 1050 states found in 0:46, averaging 22.8, queued: 10 [ 1:13] searching: 1069 states found in 0:46, averaging 23.0, queued: 10 [ 1:13] searching: 1081 states found in 0:47, averaging 23.0, queued: 8 [ 1:14] searching: 1097 states found in 0:47, averaging 23.1, queued: 8 [ 1:14] searching: 1115 states found in 0:48, averaging 23.2, queued: 10 [ 1:15] searching: 1131 states found in 0:48, averaging 23.3, queued: 10 [ 1:15] searching: 1142 states found in 0:49, averaging 23.3, queued: 10 [ 1:16] searching: 1144 states found in 0:49, averaging 23.1, queued: 10 [ 1:16] searching: 1152 states found in 0:50, averaging 23.0, queued: 8 [ 1:17] searching: 1163 states found in 0:50, averaging 23.0, queued: 8 [ 1:17] searching: 1179 states found in 0:51, averaging 23.1, queued: 10 [ 1:18] searching: 1196 states found in 0:51, averaging 23.2, queued: 10 [ 1:18] searching: 1213 states found in 0:52, averaging 23.3, queued: 10 [ 1:19] searching: 1231 states found in 0:52, averaging 23.4, queued: 12 [ 1:19] searching: 1249 states found in 0:53, averaging 23.5, queued: 12 [ 1:20] searching: 1256 states found in 0:53, averaging 23.5, queued: 12 [ 1:20] searching: 1261 states found in 0:54, averaging 23.3, queued: 10 [ 1:21] searching: 1276 states found in 0:54, averaging 23.4, queued: 10 [ 1:21] searching: 1292 states found in 0:55, averaging 23.5, queued: 10 [ 1:22] searching: 1309 states found in 0:55, averaging 23.6, queued: 12 [ 1:22] searching: 1326 states found in 0:56, averaging 23.7, queued: 12 [ 1:23] searching: 1338 states found in 0:56, averaging 23.7, queued: 12 [ 1:23] searching: 1355 states found in 0:57, averaging 23.7, queued: 12 [ 1:24] searching: 1370 states found in 0:57, averaging 23.8, queued: 14 [ 1:24] searching: 1385 states found in 0:58, averaging 23.9, queued: 12 [ 1:25] searching: 1393 states found in 0:58, averaging 23.8, queued: 12 [ 1:25] searching: 1399 states found in 0:59, averaging 23.7, queued: 12 [ 1:26] searching: 1414 states found in 0:59, averaging 23.7, queued: 12 [ 1:26] searching: 1428 states found in 1:00, averaging 23.8, queued: 14 [ 1:27] searching: 1436 states found in 1:00, averaging 23.7, queued: 14 [ 1:27] searching: 1439 states found in 1:01, averaging 23.6, queued: 14 [ 1:28] searching: 1443 states found in 1:01, averaging 23.4, queued: 12 [ 1:28] searching: 1454 states found in 1:02, averaging 23.4, queued: 12 [ 1:29] searching: 1472 states found in 1:02, averaging 23.5, queued: 12 [ 1:29] searching: 1489 states found in 1:03, averaging 23.6, queued: 14 [ 1:30] searching: 1503 states found in 1:03, averaging 23.6, queued: 14 [ 1:30] searching: 1520 states found in 1:04, averaging 23.7, queued: 14 [ 1:31] searching: 1534 states found in 1:04, averaging 23.8, queued: 14 [ 1:31] searching: 1552 states found in 1:05, averaging 23.9, queued: 16 [ 1:32] searching: 1563 states found in 1:05, averaging 23.8, queued: 14 [ 1:32] searching: 1579 states found in 1:06, averaging 23.9, queued: 14 [ 1:33] searching: 1592 states found in 1:06, averaging 23.9, queued: 14 [ 1:33] searching: 1604 states found in 1:07, averaging 23.9, queued: 14 [ 1:34] searching: 1618 states found in 1:07, averaging 23.9, queued: 16 [ 1:34] searching: 1628 states found in 1:08, averaging 23.9, queued: 16 [ 1:35] searching: 1641 states found in 1:08, averaging 23.9, queued: 16 [ 1:35] searching: 1659 states found in 1:09, averaging 24.0, queued: 16 [ 1:36] searching: 1675 states found in 1:09, averaging 24.1, queued: 14 [ 1:36] searching: 1687 states found in 1:10, averaging 24.1, queued: 16 [ 1:37] searching: 1703 states found in 1:10, averaging 24.1, queued: 16 [ 1:37] searching: 1718 states found in 1:11, averaging 24.2, queued: 16 [ 1:38] searching: 1721 states found in 1:11, averaging 24.0, queued: 16 [ 1:38] searching: 1728 states found in 1:12, averaging 24.0, queued: 16 [ 1:39] searching: 1732 states found in 1:12, averaging 23.9, queued: 16 [ 1:39] searching: 1749 states found in 1:13, averaging 23.9, queued: 16 [ 1:40] searching: 1767 states found in 1:13, averaging 24.0, queued: 16 [ 1:40] searching: 1782 states found in 1:14, averaging 24.1, queued: 16 [ 1:41] searching: 1797 states found in 1:14, averaging 24.1, queued: 16 [ 1:41] searching: 1814 states found in 1:15, averaging 24.2, queued: 18 [ 1:42] searching: 1827 states found in 1:15, averaging 24.2, queued: 18 [ 1:42] searching: 1843 states found in 1:16, averaging 24.2, queued: 18 [ 1:43] searching: 1858 states found in 1:16, averaging 24.3, queued: 18 [ 1:43] searching: 1873 states found in 1:17, averaging 24.3, queued: 18 [ 1:44] searching: 1890 states found in 1:17, averaging 24.4, queued: 18 [ 1:45] searching: 1894 states found in 1:18, averaging 24.3, queued: 18 [ 1:45] searching: 1903 states found in 1:18, averaging 24.2, queued: 18 [ 1:46] searching: 1920 states found in 1:19, averaging 24.3, queued: 18 [ 1:46] searching: 1935 states found in 1:19, averaging 24.3, queued: 20 [ 1:47] searching: 1950 states found in 1:20, averaging 24.3, queued: 20 [ 1:47] searching: 1960 states found in 1:20, averaging 24.3, queued: 20 [ 1:48] searching: 1973 states found in 1:21, averaging 24.3, queued: 18 [ 1:48] searching: 1993 states found in 1:21, averaging 24.4, queued: 18 [ 1:49] searching: 2005 states found in 1:22, averaging 24.4, queued: 20 [ 1:49] searching: 2024 states found in 1:22, averaging 24.5, queued: 20 [ 1:50] searching: 2036 states found in 1:23, averaging 24.5, queued: 20 [ 1:50] searching: 2050 states found in 1:23, averaging 24.5, queued: 20 [ 1:51] searching: 2064 states found in 1:24, averaging 24.5, queued: 22 [ 1:51] searching: 2077 states found in 1:24, averaging 24.6, queued: 20 [ 1:52] searching: 2088 states found in 1:25, averaging 24.5, queued: 20 [ 1:52] searching: 2102 states found in 1:25, averaging 24.6, queued: 20 [ 1:53] searching: 2120 states found in 1:26, averaging 24.6, queued: 20 [ 1:53] searching: 2123 states found in 1:26, averaging 24.5, queued: 20 [ 1:54] searching: 2137 states found in 1:27, averaging 24.5, queued: 22 [ 1:54] searching: 2150 states found in 1:27, averaging 24.5, queued: 22 [ 1:55] searching: 2166 states found in 1:28, averaging 24.6, queued: 20 [ 1:55] searching: 2175 states found in 1:28, averaging 24.5, queued: 20 [ 1:56] searching: 2178 states found in 1:29, averaging 24.4, queued: 20 [ 1:56] searching: 2187 states found in 1:29, averaging 24.4, queued: 20 [ 1:57] searching: 2203 states found in 1:30, averaging 24.4, queued: 22 [ 1:57] searching: 2220 states found in 1:30, averaging 24.5, queued: 22 [ 1:58] searching: 2236 states found in 1:31, averaging 24.5, queued: 22 [ 1:58] searching: 2257 states found in 1:31, averaging 24.6, queued: 24 [ 1:59] searching: 2269 states found in 1:32, averaging 24.6, queued: 22 [ 1:59] searching: 2289 states found in 1:32, averaging 24.7, queued: 22 [ 2:00] searching: 2300 states found in 1:33, averaging 24.7, queued: 22 [ 2:00] searching: 2316 states found in 1:33, averaging 24.7, queued: 22 [ 2:01] searching: 2334 states found in 1:34, averaging 24.8, queued: 24 [ 2:01] searching: 2344 states found in 1:34, averaging 24.8, queued: 24 [ 2:02] searching: 2361 states found in 1:35, averaging 24.8, queued: 24 [ 2:02] searching: 2371 states found in 1:35, averaging 24.8, queued: 22 [ 2:03] searching: 2380 states found in 1:36, averaging 24.8, queued: 22 [ 2:03] searching: 2392 states found in 1:36, averaging 24.8, queued: 24 [ 2:04] searching: 2409 states found in 1:37, averaging 24.8, queued: 24 [ 2:04] searching: 2420 states found in 1:37, averaging 24.8, queued: 24 [ 2:05] searching: 2436 states found in 1:38, averaging 24.8, queued: 24 [ 2:05] searching: 2445 states found in 1:38, averaging 24.8, queued: 24 [ 2:06] searching: 2458 states found in 1:39, averaging 24.8, queued: 24 [ 2:06] searching: 2466 states found in 1:39, averaging 24.8, queued: 24 [ 2:07] searching: 2475 states found in 1:40, averaging 24.7, queued: 24 [ 2:07] searching: 2484 states found in 1:40, averaging 24.7, queued: 24 [ 2:08] searching: 2502 states found in 1:41, averaging 24.7, queued: 24 [ 2:08] searching: 2518 states found in 1:41, averaging 24.8, queued: 26 [ 2:09] searching: 2533 states found in 1:42, averaging 24.8, queued: 26 [ 2:09] searching: 2544 states found in 1:42, averaging 24.8, queued: 26 [ 2:10] searching: 2562 states found in 1:43, averaging 24.8, queued: 24 [ 2:10] searching: 2574 states found in 1:43, averaging 24.8, queued: 26 [ 2:11] searching: 2592 states found in 1:44, averaging 24.9, queued: 26 [ 2:11] searching: 2605 states found in 1:44, averaging 24.9, queued: 26 [ 2:12] searching: 2613 states found in 1:45, averaging 24.9, queued: 26 [ 2:12] searching: 2616 states found in 1:45, averaging 24.8, queued: 26 [ 2:13] searching: 2626 states found in 1:46, averaging 24.7, queued: 26 [ 2:13] searching: 2643 states found in 1:46, averaging 24.8, queued: 26 [ 2:14] searching: 2655 states found in 1:47, averaging 24.8, queued: 26 [ 2:14] searching: 2676 states found in 1:47, averaging 24.9, queued: 26 [ 2:15] searching: 2692 states found in 1:48, averaging 24.9, queued: 26 [ 2:15] searching: 2706 states found in 1:48, averaging 24.9, queued: 28 [ 2:16] searching: 2721 states found in 1:49, averaging 24.9, queued: 28 [ 2:16] searching: 2734 states found in 1:49, averaging 24.9, queued: 28 [ 2:17] searching: 2749 states found in 1:50, averaging 25.0, queued: 28 [ 2:17] searching: 2761 states found in 1:50, averaging 25.0, queued: 26 [ 2:18] searching: 2775 states found in 1:51, averaging 25.0, queued: 28 [ 2:18] searching: 2789 states found in 1:51, averaging 25.0, queued: 28 [ 2:19] searching: 2800 states found in 1:52, averaging 25.0, queued: 28 [ 2:19] searching: 2814 states found in 1:52, averaging 25.0, queued: 28 [ 2:20] searching: 2830 states found in 1:53, averaging 25.0, queued: 30 [ 2:20] searching: 2847 states found in 1:53, averaging 25.1, queued: 30 [ 2:21] searching: 2860 states found in 1:54, averaging 25.1, queued: 30 [ 2:21] searching: 2874 states found in 1:54, averaging 25.1, queued: 28 [ 2:22] searching: 2888 states found in 1:55, averaging 25.1, queued: 28 [ 2:22] searching: 2892 states found in 1:55, averaging 25.0, queued: 28 [ 2:23] searching: 2909 states found in 1:56, averaging 25.0, queued: 30 [ 2:23] searching: 2924 states found in 1:56, averaging 25.1, queued: 30 [ 2:24] searching: 2942 states found in 1:57, averaging 25.1, queued: 30 [ 2:24] searching: 2959 states found in 1:57, averaging 25.2, queued: 32 [ 2:25] searching: 2971 states found in 1:58, averaging 25.1, queued: 30 [ 2:25] searching: 2988 states found in 1:58, averaging 25.2, queued: 30 [ 2:26] searching: 2997 states found in 1:59, averaging 25.2, queued: 30 [ 2:26] searching: 3007 states found in 1:59, averaging 25.1, queued: 30 [ 2:27] searching: 3024 states found in 2:00, averaging 25.2, queued: 32 [ 2:27] searching: 3040 states found in 2:00, averaging 25.2, queued: 32 [ 2:28] searching: 3057 states found in 2:01, averaging 25.2, queued: 32 [ 2:28] searching: 3071 states found in 2:01, averaging 25.2, queued: 32 [ 2:29] searching: 3073 states found in 2:02, averaging 25.2, queued: 32 [ 2:29] searching: 3073 states found in 2:02, averaging 25.1, queued: 32 [ 2:30] searching: 3073 states found in 2:03, averaging 25.0, queued: 32 [ 2:30] searching: 3073 states found in 2:03, averaging 24.8, queued: 32 [ 2:31] searching: 3087 states found in 2:04, averaging 24.9, queued: 32 [ 2:31] searching: 3102 states found in 2:04, averaging 24.9, queued: 32 [ 2:32] searching: 3113 states found in 2:05, averaging 24.9, queued: 32 [ 2:32] searching: 3124 states found in 2:05, averaging 24.9, queued: 32 [ 2:33] searching: 3135 states found in 2:06, averaging 24.8, queued: 32 [ 2:33] searching: 3150 states found in 2:06, averaging 24.9, queued: 34 [ 2:34] searching: 3161 states found in 2:07, averaging 24.9, queued: 34 [ 2:34] searching: 3172 states found in 2:07, averaging 24.8, queued: 32 [ 2:35] searching: 3181 states found in 2:08, averaging 24.8, queued: 32 [ 2:35] searching: 3190 states found in 2:08, averaging 24.8, queued: 32 [ 2:36] searching: 3199 states found in 2:09, averaging 24.8, queued: 32 [ 2:36] searching: 3212 states found in 2:09, averaging 24.8, queued: 32 [ 2:37] searching: 3231 states found in 2:10, averaging 24.8, queued: 34 [ 2:37] searching: 3244 states found in 2:10, averaging 24.8, queued: 34 [ 2:38] searching: 3254 states found in 2:11, averaging 24.8, queued: 32 [ 2:38] searching: 3266 states found in 2:11, averaging 24.8, queued: 32 [ 2:39] searching: 3280 states found in 2:12, averaging 24.8, queued: 34 [ 2:39] searching: 3296 states found in 2:12, averaging 24.8, queued: 34 [ 2:40] searching: 3313 states found in 2:13, averaging 24.9, queued: 34 [ 2:40] searching: 3327 states found in 2:13, averaging 24.9, queued: 34 [ 2:41] searching: 3336 states found in 2:14, averaging 24.9, queued: 34 [ 2:41] searching: 3347 states found in 2:14, averaging 24.9, queued: 36 [ 2:42] searching: 3357 states found in 2:15, averaging 24.8, queued: 34 [ 2:42] searching: 3373 states found in 2:15, averaging 24.9, queued: 34 [ 2:43] searching: 3390 states found in 2:16, averaging 24.9, queued: 34 [ 2:43] searching: 3406 states found in 2:16, averaging 24.9, queued: 36 [ 2:44] searching: 3423 states found in 2:17, averaging 25.0, queued: 36 [ 2:44] searching: 3432 states found in 2:17, averaging 24.9, queued: 36 [ 2:45] searching: 3451 states found in 2:18, averaging 25.0, queued: 36 [ 2:45] searching: 3467 states found in 2:18, averaging 25.0, queued: 34 [ 2:46] searching: 3478 states found in 2:19, averaging 25.0, queued: 36 [ 2:46] searching: 3485 states found in 2:19, averaging 24.9, queued: 36 [ 2:47] searching: 3503 states found in 2:20, averaging 25.0, queued: 36 [ 2:47] searching: 3515 states found in 2:20, averaging 25.0, queued: 36 [ 2:48] searching: 3529 states found in 2:21, averaging 25.0, queued: 36 [ 2:48] searching: 3544 states found in 2:21, averaging 25.0, queued: 38 [ 2:49] searching: 3555 states found in 2:22, averaging 25.0, queued: 38 [ 2:49] searching: 3567 states found in 2:22, averaging 25.0, queued: 36 [ 2:50] searching: 3576 states found in 2:23, averaging 25.0, queued: 36 [ 2:50] searching: 3586 states found in 2:23, averaging 25.0, queued: 36 [ 2:51] searching: 3596 states found in 2:24, averaging 24.9, queued: 36 [ 2:51] searching: 3609 states found in 2:24, averaging 24.9, queued: 38 [ 2:52] searching: 3621 states found in 2:25, averaging 24.9, queued: 38 [ 2:52] searching: 3630 states found in 2:25, averaging 24.9, queued: 38 [ 2:53] searching: 3638 states found in 2:26, averaging 24.9, queued: 36 [ 2:53] searching: 3649 states found in 2:26, averaging 24.9, queued: 36 [ 2:54] searching: 3665 states found in 2:27, averaging 24.9, queued: 38 [ 2:54] searching: 3679 states found in 2:27, averaging 24.9, queued: 38 [ 2:55] searching: 3686 states found in 2:28, averaging 24.9, queued: 38 [ 2:55] searching: 3697 states found in 2:28, averaging 24.9, queued: 38 [ 2:56] searching: 3710 states found in 2:29, averaging 24.9, queued: 38 [ 2:56] searching: 3718 states found in 2:29, averaging 24.8, queued: 36 [ 2:57] searching: 3724 states found in 2:30, averaging 24.8, queued: 36 [ 2:57] searching: 3735 states found in 2:30, averaging 24.8, queued: 38 [ 2:58] searching: 3745 states found in 2:31, averaging 24.8, queued: 38 [ 2:58] searching: 3749 states found in 2:31, averaging 24.7, queued: 38 [ 2:59] searching: 3756 states found in 2:32, averaging 24.7, queued: 38 [ 2:59] searching: 3771 states found in 2:32, averaging 24.7, queued: 38 [ 3:00] searching: 3786 states found in 2:33, averaging 24.7, queued: 38 [ 3:00] searching: 3796 states found in 2:33, averaging 24.7, queued: 38 [ 3:01] searching: 3805 states found in 2:34, averaging 24.7, queued: 38 [ 3:01] searching: 3818 states found in 2:34, averaging 24.7, queued: 38 [ 3:02] searching: 3831 states found in 2:35, averaging 24.7, queued: 38 [ 3:02] searching: 3847 states found in 2:35, averaging 24.7, queued: 38 [ 3:03] searching: 3861 states found in 2:36, averaging 24.7, queued: 40 [ 3:03] searching: 3878 states found in 2:36, averaging 24.7, queued: 40 [ 3:04] searching: 3894 states found in 2:37, averaging 24.8, queued: 38 [ 3:04] searching: 3907 states found in 2:37, averaging 24.8, queued: 38 [ 3:05] searching: 3917 states found in 2:38, averaging 24.8, queued: 38 [ 3:05] searching: 3931 states found in 2:38, averaging 24.8, queued: 40 [ 3:06] searching: 3937 states found in 2:39, averaging 24.7, queued: 40 [ 3:06] searching: 3947 states found in 2:39, averaging 24.7, queued: 40 [ 3:07] searching: 3962 states found in 2:40, averaging 24.7, queued: 40 [ 3:07] searching: 3984 states found in 2:40, averaging 24.8, queued: 40 [ 3:08] searching: 3999 states found in 2:41, averaging 24.8, queued: 40 [ 3:08] searching: 4019 states found in 2:41, averaging 24.8, queued: 40 [ 3:09] searching: 4038 states found in 2:42, averaging 24.9, queued: 40 [ 3:09] searching: 4053 states found in 2:42, averaging 24.9, queued: 42 [ 3:10] searching: 4068 states found in 2:43, averaging 24.9, queued: 42 [ 3:10] searching: 4085 states found in 2:43, averaging 24.9, queued: 42 [ 3:11] searching: 4094 states found in 2:44, averaging 24.9, queued: 40 [ 3:11] searching: 4110 states found in 2:44, averaging 24.9, queued: 42 [ 3:12] searching: 4122 states found in 2:45, averaging 24.9, queued: 42 [ 3:12] searching: 4134 states found in 2:45, averaging 24.9, queued: 42 [ 3:13] searching: 4151 states found in 2:46, averaging 25.0, queued: 42 [ 3:13] searching: 4163 states found in 2:46, averaging 25.0, queued: 42 [ 3:14] searching: 4175 states found in 2:47, averaging 25.0, queued: 44 [ 3:14] searching: 4187 states found in 2:47, averaging 25.0, queued: 42 [ 3:15] searching: 4198 states found in 2:48, averaging 24.9, queued: 42 [ 3:15] searching: 4212 states found in 2:48, averaging 25.0, queued: 42 [ 3:16] searching: 4222 states found in 2:49, averaging 24.9, queued: 42 [ 3:16] searching: 4230 states found in 2:49, averaging 24.9, queued: 42 [ 3:17] searching: 4240 states found in 2:50, averaging 24.9, queued: 44 [ 3:17] searching: 4258 states found in 2:50, averaging 24.9, queued: 44 [ 3:18] searching: 4274 states found in 2:51, averaging 25.0, queued: 42 [ 3:18] searching: 4289 states found in 2:51, averaging 25.0, queued: 42 [ 3:19] searching: 4301 states found in 2:52, averaging 25.0, queued: 42 [ 3:19] searching: 4318 states found in 2:52, averaging 25.0, queued: 44 [ 3:20] searching: 4334 states found in 2:53, averaging 25.0, queued: 44 [ 3:20] searching: 4351 states found in 2:53, averaging 25.0, queued: 44 [ 3:21] searching: 4364 states found in 2:54, averaging 25.0, queued: 44 [ 3:21] searching: 4372 states found in 2:54, averaging 25.0, queued: 46 [ 3:22] searching: 4387 states found in 2:55, averaging 25.0, queued: 44 [ 3:22] searching: 4398 states found in 2:55, averaging 25.0, queued: 44 [ 3:23] searching: 4410 states found in 2:56, averaging 25.0, queued: 44 [ 3:23] searching: 4424 states found in 2:56, averaging 25.0, queued: 44 [ 3:24] searching: 4441 states found in 2:57, averaging 25.1, queued: 46 [ 3:24] searching: 4455 states found in 2:57, averaging 25.1, queued: 46 [ 3:25] searching: 4472 states found in 2:58, averaging 25.1, queued: 46 [ 3:25] searching: 4487 states found in 2:58, averaging 25.1, queued: 44 [ 3:26] searching: 4495 states found in 2:59, averaging 25.1, queued: 46 [ 3:26] searching: 4506 states found in 2:59, averaging 25.1, queued: 46 [ 3:27] searching: 4520 states found in 3:00, averaging 25.1, queued: 46 [ 3:27] searching: 4532 states found in 3:00, averaging 25.1, queued: 46 [ 3:28] searching: 4541 states found in 3:01, averaging 25.0, queued: 46 [ 3:28] searching: 4554 states found in 3:01, averaging 25.1, queued: 46 [ 3:29] searching: 4570 states found in 3:02, averaging 25.1, queued: 48 [ 3:29] searching: 4589 states found in 3:02, averaging 25.1, queued: 46 [ 3:30] searching: 4606 states found in 3:03, averaging 25.1, queued: 46 [ 3:30] searching: 4621 states found in 3:03, averaging 25.1, queued: 46 [ 3:31] searching: 4634 states found in 3:04, averaging 25.1, queued: 48 [ 3:31] searching: 4647 states found in 3:04, averaging 25.1, queued: 48 [ 3:32] searching: 4657 states found in 3:05, averaging 25.1, queued: 48 [ 3:32] searching: 4670 states found in 3:05, averaging 25.1, queued: 46 [ 3:33] searching: 4680 states found in 3:06, averaging 25.1, queued: 46 [ 3:33] searching: 4692 states found in 3:06, averaging 25.1, queued: 48 [ 3:34] searching: 4702 states found in 3:07, averaging 25.1, queued: 48 [ 3:34] searching: 4711 states found in 3:07, averaging 25.1, queued: 48 [ 3:35] searching: 4722 states found in 3:08, averaging 25.1, queued: 48 [ 3:35] searching: 4732 states found in 3:08, averaging 25.1, queued: 48 [ 3:36] searching: 4743 states found in 3:09, averaging 25.1, queued: 46 [ 3:36] searching: 4752 states found in 3:09, averaging 25.0, queued: 48 [ 3:37] searching: 4762 states found in 3:10, averaging 25.0, queued: 48 [ 3:37] searching: 4771 states found in 3:10, averaging 25.0, queued: 48 [ 3:38] searching: 4779 states found in 3:11, averaging 25.0, queued: 48 [ 3:38] searching: 4788 states found in 3:11, averaging 25.0, queued: 48 [ 3:39] searching: 4794 states found in 3:12, averaging 24.9, queued: 48 [ 3:39] searching: 4805 states found in 3:12, averaging 24.9, queued: 48 [ 3:40] searching: 4819 states found in 3:13, averaging 24.9, queued: 48 [ 3:40] searching: 4834 states found in 3:13, averaging 24.9, queued: 48 [ 3:41] searching: 4842 states found in 3:14, averaging 24.9, queued: 48 [ 3:41] searching: 4856 states found in 3:14, averaging 24.9, queued: 48 [ 3:42] searching: 4871 states found in 3:15, averaging 24.9, queued: 48 [ 3:42] searching: 4884 states found in 3:15, averaging 24.9, queued: 50 [ 3:43] searching: 4898 states found in 3:16, averaging 24.9, queued: 50 [ 3:43] searching: 4915 states found in 3:16, averaging 25.0, queued: 48 [ 3:44] searching: 4929 states found in 3:17, averaging 25.0, queued: 48 [ 3:44] searching: 4943 states found in 3:17, averaging 25.0, queued: 50 [ 3:45] searching: 4957 states found in 3:18, averaging 25.0, queued: 50 [ 3:45] searching: 4969 states found in 3:18, averaging 25.0, queued: 50 [ 3:46] searching: 4979 states found in 3:19, averaging 25.0, queued: 50 [ 3:46] searching: 4993 states found in 3:19, averaging 25.0, queued: 50 [ 3:47] searching: 5005 states found in 3:20, averaging 25.0, queued: 48 [ 3:47] searching: 5017 states found in 3:20, averaging 25.0, queued: 50 [ 3:48] searching: 5033 states found in 3:21, averaging 25.0, queued: 50 [ 3:48] searching: 5045 states found in 3:21, averaging 25.0, queued: 50 [ 3:49] searching: 5059 states found in 3:22, averaging 25.0, queued: 50 [ 3:49] searching: 5072 states found in 3:22, averaging 25.0, queued: 52 [ 3:50] searching: 5085 states found in 3:23, averaging 25.0, queued: 52 [ 3:50] searching: 5095 states found in 3:23, averaging 25.0, queued: 50 [ 3:51] searching: 5108 states found in 3:24, averaging 25.0, queued: 50 [ 3:51] searching: 5122 states found in 3:24, averaging 25.0, queued: 50 [ 3:52] searching: 5134 states found in 3:25, averaging 25.0, queued: 52 [ 3:52] searching: 5147 states found in 3:25, averaging 25.0, queued: 52 [ 3:53] searching: 5158 states found in 3:26, averaging 25.0, queued: 52 [ 3:53] searching: 5171 states found in 3:26, averaging 25.0, queued: 50 [ 3:54] searching: 5182 states found in 3:27, averaging 25.0, queued: 50 [ 3:54] searching: 5188 states found in 3:27, averaging 25.0, queued: 50 [ 3:55] searching: 5196 states found in 3:28, averaging 24.9, queued: 50 [ 3:55] searching: 5210 states found in 3:28, averaging 24.9, queued: 52 [ 3:56] searching: 5226 states found in 3:29, averaging 25.0, queued: 52 [ 3:56] searching: 5236 states found in 3:29, averaging 25.0, queued: 52 [ 3:57] searching: 5243 states found in 3:30, averaging 24.9, queued: 52 [ 3:57] searching: 5253 states found in 3:30, averaging 24.9, queued: 50 [ 3:58] searching: 5267 states found in 3:31, averaging 24.9, queued: 52 [ 3:58] searching: 5277 states found in 3:31, averaging 24.9, queued: 52 [ 3:59] searching: 5288 states found in 3:32, averaging 24.9, queued: 52 [ 3:59] searching: 5299 states found in 3:32, averaging 24.9, queued: 52 [ 4:00] searching: 5308 states found in 3:33, averaging 24.9, queued: 52 [ 4:00] searching: 5317 states found in 3:33, averaging 24.9, queued: 52 [ 4:01] searching: 5331 states found in 3:34, averaging 24.9, queued: 52 [ 4:01] searching: 5343 states found in 3:34, averaging 24.9, queued: 52 [ 4:02] searching: 5350 states found in 3:35, averaging 24.8, queued: 52 [ 4:02] searching: 5359 states found in 3:35, averaging 24.8, queued: 52 [ 4:03] searching: 5368 states found in 3:36, averaging 24.8, queued: 52 [ 4:03] searching: 5375 states found in 3:36, averaging 24.8, queued: 52 [ 4:04] searching: 5388 states found in 3:37, averaging 24.8, queued: 52 [ 4:04] searching: 5400 states found in 3:37, averaging 24.8, queued: 52 [ 4:05] searching: 5414 states found in 3:38, averaging 24.8, queued: 52 [ 4:05] searching: 5425 states found in 3:38, averaging 24.8, queued: 52 [ 4:06] searching: 5432 states found in 3:39, averaging 24.8, queued: 52 [ 4:06] searching: 5440 states found in 3:39, averaging 24.7, queued: 52 [ 4:07] searching: 5449 states found in 3:40, averaging 24.7, queued: 52 [ 4:07] searching: 5456 states found in 3:40, averaging 24.7, queued: 54 [ 4:08] searching: 5465 states found in 3:41, averaging 24.7, queued: 54 [ 4:08] searching: 5469 states found in 3:41, averaging 24.6, queued: 52 [ 4:09] searching: 5476 states found in 3:42, averaging 24.6, queued: 52 [ 4:09] searching: 5488 states found in 3:42, averaging 24.6, queued: 52 [ 4:10] searching: 5495 states found in 3:43, averaging 24.6, queued: 52 [ 4:10] searching: 5503 states found in 3:43, averaging 24.6, queued: 52 [ 4:11] searching: 5515 states found in 3:44, averaging 24.6, queued: 52 [ 4:11] searching: 5522 states found in 3:44, averaging 24.6, queued: 54 [ 4:12] searching: 5532 states found in 3:45, averaging 24.5, queued: 54 [ 4:12] searching: 5544 states found in 3:45, averaging 24.5, queued: 52 [ 4:13] searching: 5552 states found in 3:46, averaging 24.5, queued: 52 [ 4:13] searching: 5563 states found in 3:46, averaging 24.5, queued: 52 [ 4:14] searching: 5579 states found in 3:47, averaging 24.5, queued: 52 [ 4:14] searching: 5596 states found in 3:47, averaging 24.6, queued: 54 [ 4:15] searching: 5608 states found in 3:48, averaging 24.6, queued: 54 [ 4:15] searching: 5619 states found in 3:48, averaging 24.5, queued: 52 [ 4:16] searching: 5633 states found in 3:49, averaging 24.6, queued: 52 [ 4:16] searching: 5648 states found in 3:49, averaging 24.6, queued: 54 [ 4:17] searching: 5660 states found in 3:50, averaging 24.6, queued: 54 [ 4:17] searching: 5670 states found in 3:50, averaging 24.6, queued: 54 [ 4:18] searching: 5684 states found in 3:51, averaging 24.6, queued: 54 [ 4:18] searching: 5698 states found in 3:51, averaging 24.6, queued: 52 [ 4:19] searching: 5707 states found in 3:52, averaging 24.6, queued: 52 [ 4:19] searching: 5719 states found in 3:52, averaging 24.6, queued: 54 [ 4:20] searching: 5730 states found in 3:53, averaging 24.5, queued: 54 [ 4:20] searching: 5739 states found in 3:53, averaging 24.5, queued: 54 [ 4:21] searching: 5758 states found in 3:54, averaging 24.6, queued: 54 [ 4:21] searching: 5771 states found in 3:54, averaging 24.6, queued: 54 [ 4:22] searching: 5792 states found in 3:55, averaging 24.6, queued: 56 [ 4:22] searching: 5807 states found in 3:55, averaging 24.6, queued: 54 [ 4:23] searching: 5821 states found in 3:56, averaging 24.6, queued: 54 [ 4:23] searching: 5830 states found in 3:56, averaging 24.6, queued: 54 [ 4:24] searching: 5845 states found in 3:57, averaging 24.6, queued: 56 [ 4:24] searching: 5865 states found in 3:57, averaging 24.6, queued: 56 [ 4:25] searching: 5878 states found in 3:58, averaging 24.7, queued: 56 [ 4:25] searching: 5893 states found in 3:58, averaging 24.7, queued: 56 [ 4:26] searching: 5905 states found in 3:59, averaging 24.7, queued: 58 [ 4:26] searching: 5920 states found in 3:59, averaging 24.7, queued: 56 [ 4:27] searching: 5932 states found in 4:00, averaging 24.7, queued: 56 [ 4:27] searching: 5941 states found in 4:00, averaging 24.7, queued: 56 [ 4:28] searching: 5953 states found in 4:01, averaging 24.7, queued: 56 [ 4:28] searching: 5964 states found in 4:01, averaging 24.7, queued: 56 [ 4:29] searching: 5977 states found in 4:02, averaging 24.7, queued: 58 [ 4:29] searching: 5987 states found in 4:02, averaging 24.6, queued: 56 [ 4:30] searching: 5999 states found in 4:03, averaging 24.6, queued: 56 [ 4:30] searching: 6007 states found in 4:03, averaging 24.6, queued: 56 [ 4:31] searching: 6017 states found in 4:04, averaging 24.6, queued: 56 [ 4:31] searching: 6033 states found in 4:04, averaging 24.6, queued: 58 [ 4:32] searching: 6047 states found in 4:05, averaging 24.6, queued: 58 [ 4:32] searching: 6057 states found in 4:05, averaging 24.6, queued: 58 [ 4:33] searching: 6067 states found in 4:06, averaging 24.6, queued: 56 [ 4:33] searching: 6076 states found in 4:06, averaging 24.6, queued: 56 [ 4:34] searching: 6090 states found in 4:07, averaging 24.6, queued: 56 [ 4:34] searching: 6098 states found in 4:07, averaging 24.6, queued: 58 [ 4:35] searching: 6105 states found in 4:08, averaging 24.6, queued: 58 [ 4:35] searching: 6117 states found in 4:08, averaging 24.6, queued: 58 [ 4:36] searching: 6126 states found in 4:09, averaging 24.6, queued: 58 [ 4:36] searching: 6132 states found in 4:09, averaging 24.5, queued: 58 [ 4:37] searching: 6137 states found in 4:10, averaging 24.5, queued: 56 [ 4:37] searching: 6151 states found in 4:10, averaging 24.5, queued: 56 [ 4:38] searching: 6167 states found in 4:11, averaging 24.5, queued: 58 [ 4:38] searching: 6179 states found in 4:11, averaging 24.5, queued: 58 [ 4:39] searching: 6188 states found in 4:12, averaging 24.5, queued: 58 [ 4:39] searching: 6202 states found in 4:12, averaging 24.5, queued: 58 [ 4:40] searching: 6214 states found in 4:13, averaging 24.5, queued: 58 [ 4:40] searching: 6230 states found in 4:13, averaging 24.5, queued: 58 [ 4:41] searching: 6246 states found in 4:14, averaging 24.5, queued: 58 [ 4:41] searching: 6265 states found in 4:14, averaging 24.6, queued: 58 [ 4:42] searching: 6279 states found in 4:15, averaging 24.6, queued: 58 [ 4:42] searching: 6292 states found in 4:15, averaging 24.6, queued: 60 [ 4:43] searching: 6303 states found in 4:16, averaging 24.6, queued: 60 [ 4:43] searching: 6315 states found in 4:16, averaging 24.6, queued: 58 [ 4:44] searching: 6328 states found in 4:17, averaging 24.6, queued: 58 [ 4:44] searching: 6341 states found in 4:17, averaging 24.6, queued: 58 [ 4:45] searching: 6354 states found in 4:18, averaging 24.6, queued: 60 [ 4:45] searching: 6364 states found in 4:18, averaging 24.6, queued: 60 [ 4:46] searching: 6374 states found in 4:19, averaging 24.6, queued: 60 [ 4:46] searching: 6380 states found in 4:20, averaging 24.5, queued: 60 [ 4:47] searching: 6394 states found in 4:20, averaging 24.5, queued: 60 [ 4:47] searching: 6407 states found in 4:21, averaging 24.5, queued: 58 [ 4:48] searching: 6421 states found in 4:21, averaging 24.6, queued: 60 [ 4:48] searching: 6435 states found in 4:22, averaging 24.6, queued: 60 [ 4:49] searching: 6449 states found in 4:22, averaging 24.6, queued: 60 [ 4:49] searching: 6465 states found in 4:23, averaging 24.6, queued: 60 [ 4:50] searching: 6475 states found in 4:23, averaging 24.6, queued: 60 [ 4:50] searching: 6485 states found in 4:24, averaging 24.6, queued: 62 [ 4:51] searching: 6494 states found in 4:24, averaging 24.6, queued: 60 [ 4:51] searching: 6506 states found in 4:25, averaging 24.5, queued: 60 [ 4:52] searching: 6517 states found in 4:25, averaging 24.5, queued: 60 [ 4:52] searching: 6531 states found in 4:26, averaging 24.6, queued: 60 [ 4:53] searching: 6539 states found in 4:26, averaging 24.5, queued: 60 [ 4:53] searching: 6552 states found in 4:27, averaging 24.5, queued: 62 [ 4:54] searching: 6565 states found in 4:27, averaging 24.5, queued: 62 [ 4:54] searching: 6576 states found in 4:28, averaging 24.5, queued: 62 [ 4:55] searching: 6588 states found in 4:28, averaging 24.5, queued: 62 [ 4:55] searching: 6596 states found in 4:29, averaging 24.5, queued: 60 [ 4:56] searching: 6613 states found in 4:29, averaging 24.5, queued: 62 [ 4:56] searching: 6623 states found in 4:30, averaging 24.5, queued: 62 [ 4:57] searching: 6634 states found in 4:30, averaging 24.5, queued: 62 [ 4:57] searching: 6650 states found in 4:31, averaging 24.5, queued: 62 [ 4:58] searching: 6661 states found in 4:31, averaging 24.5, queued: 62 [ 4:58] searching: 6673 states found in 4:32, averaging 24.5, queued: 62 [ 4:59] searching: 6685 states found in 4:32, averaging 24.5, queued: 62 [ 4:59] searching: 6692 states found in 4:33, averaging 24.5, queued: 62 [ 5:00] searching: 6700 states found in 4:33, averaging 24.5, queued: 62 [ 5:00] searching: 6710 states found in 4:34, averaging 24.5, queued: 62 [ 5:01] searching: 6721 states found in 4:34, averaging 24.5, queued: 62 [ 5:01] searching: 6730 states found in 4:35, averaging 24.5, queued: 62 [ 5:02] searching: 6740 states found in 4:35, averaging 24.5, queued: 62 [ 5:02] searching: 6748 states found in 4:36, averaging 24.4, queued: 62 [ 5:03] searching: 6759 states found in 4:36, averaging 24.4, queued: 62 [ 5:03] searching: 6765 states found in 4:37, averaging 24.4, queued: 62 [ 5:04] searching: 6774 states found in 4:37, averaging 24.4, queued: 62 [ 5:04] searching: 6782 states found in 4:38, averaging 24.4, queued: 62 [ 5:05] searching: 6792 states found in 4:38, averaging 24.4, queued: 62 [ 5:05] searching: 6799 states found in 4:39, averaging 24.4, queued: 62 [ 5:06] searching: 6808 states found in 4:39, averaging 24.4, queued: 62 [ 5:06] searching: 6812 states found in 4:40, averaging 24.3, queued: 62 [ 5:07] searching: 6821 states found in 4:40, averaging 24.3, queued: 62 [ 5:07] searching: 6832 states found in 4:41, averaging 24.3, queued: 62 [ 5:08] searching: 6838 states found in 4:41, averaging 24.3, queued: 62 [ 5:08] searching: 6845 states found in 4:42, averaging 24.3, queued: 62 [ 5:09] searching: 6857 states found in 4:42, averaging 24.3, queued: 62 [ 5:09] searching: 6865 states found in 4:43, averaging 24.3, queued: 62 [ 5:10] searching: 6876 states found in 4:43, averaging 24.2, queued: 62 [ 5:10] searching: 6889 states found in 4:44, averaging 24.3, queued: 62 [ 5:11] searching: 6895 states found in 4:44, averaging 24.2, queued: 62 [ 5:11] searching: 6905 states found in 4:45, averaging 24.2, queued: 62 [ 5:12] searching: 6920 states found in 4:45, averaging 24.2, queued: 62 [ 5:12] searching: 6934 states found in 4:46, averaging 24.2, queued: 62 [ 5:13] searching: 6947 states found in 4:46, averaging 24.2, queued: 62 [ 5:13] searching: 6959 states found in 4:47, averaging 24.2, queued: 62 [ 5:14] searching: 6973 states found in 4:47, averaging 24.2, queued: 62 [ 5:14] searching: 6986 states found in 4:48, averaging 24.2, queued: 62 [ 5:15] searching: 7000 states found in 4:48, averaging 24.3, queued: 64 [ 5:15] searching: 7016 states found in 4:49, averaging 24.3, queued: 64 [ 5:16] searching: 7025 states found in 4:49, averaging 24.3, queued: 62 [ 5:16] searching: 7038 states found in 4:50, averaging 24.3, queued: 62 [ 5:17] searching: 7049 states found in 4:50, averaging 24.3, queued: 62 [ 5:17] searching: 7059 states found in 4:51, averaging 24.2, queued: 64 [ 5:18] searching: 7064 states found in 4:51, averaging 24.2, queued: 64 [ 5:18] searching: 7073 states found in 4:52, averaging 24.2, queued: 64 [ 5:19] searching: 7084 states found in 4:52, averaging 24.2, queued: 64 [ 5:19] searching: 7096 states found in 4:53, averaging 24.2, queued: 62 [ 5:20] searching: 7104 states found in 4:53, averaging 24.2, queued: 62 [ 5:21] searching: 7114 states found in 4:54, averaging 24.2, queued: 62 [ 5:21] searching: 7129 states found in 4:54, averaging 24.2, queued: 64 [ 5:22] searching: 7137 states found in 4:55, averaging 24.2, queued: 64 [ 5:22] searching: 7150 states found in 4:55, averaging 24.2, queued: 64 [ 5:23] searching: 7162 states found in 4:56, averaging 24.2, queued: 64 [ 5:23] searching: 7170 states found in 4:56, averaging 24.2, queued: 62 [ 5:24] searching: 7181 states found in 4:57, averaging 24.2, queued: 62 [ 5:24] searching: 7189 states found in 4:57, averaging 24.2, queued: 64 [ 5:25] searching: 7197 states found in 4:58, averaging 24.1, queued: 64 [ 5:25] searching: 7211 states found in 4:58, averaging 24.1, queued: 64 [ 5:26] searching: 7219 states found in 4:59, averaging 24.1, queued: 64 [ 5:26] searching: 7228 states found in 4:59, averaging 24.1, queued: 64 [ 5:27] searching: 7242 states found in 5:00, averaging 24.1, queued: 62 [ 5:27] searching: 7252 states found in 5:00, averaging 24.1, queued: 64 [ 5:28] searching: 7265 states found in 5:01, averaging 24.1, queued: 64 [ 5:28] searching: 7277 states found in 5:01, averaging 24.1, queued: 64 [ 5:29] searching: 7282 states found in 5:02, averaging 24.1, queued: 64 [ 5:29] searching: 7293 states found in 5:02, averaging 24.1, queued: 64 [ 5:30] searching: 7301 states found in 5:03, averaging 24.1, queued: 64 [ 5:30] searching: 7307 states found in 5:03, averaging 24.1, queued: 64 [ 5:31] searching: 7321 states found in 5:04, averaging 24.1, queued: 64 [ 5:31] searching: 7333 states found in 5:04, averaging 24.1, queued: 64 [ 5:32] searching: 7342 states found in 5:05, averaging 24.1, queued: 64 [ 5:32] searching: 7355 states found in 5:05, averaging 24.1, queued: 64 [ 5:33] searching: 7367 states found in 5:06, averaging 24.1, queued: 64 [ 5:33] searching: 7374 states found in 5:06, averaging 24.0, queued: 66 [ 5:34] searching: 7382 states found in 5:07, averaging 24.0, queued: 66 [ 5:34] searching: 7396 states found in 5:07, averaging 24.0, queued: 64 [ 5:35] searching: 7402 states found in 5:08, averaging 24.0, queued: 64 [ 5:35] searching: 7410 states found in 5:08, averaging 24.0, queued: 64 [ 5:36] searching: 7418 states found in 5:09, averaging 24.0, queued: 64 [ 5:36] searching: 7426 states found in 5:09, averaging 24.0, queued: 64 [ 5:37] searching: 7433 states found in 5:10, averaging 24.0, queued: 64 [ 5:37] searching: 7440 states found in 5:10, averaging 23.9, queued: 66 [ 5:38] searching: 7448 states found in 5:11, averaging 23.9, queued: 64 [ 5:38] searching: 7462 states found in 5:11, averaging 23.9, queued: 64 [ 5:39] searching: 7468 states found in 5:12, averaging 23.9, queued: 64 [ 5:39] searching: 7476 states found in 5:12, averaging 23.9, queued: 64 [ 5:40] searching: 7487 states found in 5:13, averaging 23.9, queued: 64 [ 5:40] searching: 7498 states found in 5:13, averaging 23.9, queued: 64 [ 5:41] searching: 7505 states found in 5:14, averaging 23.9, queued: 66 [ 5:41] searching: 7517 states found in 5:14, averaging 23.9, queued: 66 [ 5:42] searching: 7529 states found in 5:15, averaging 23.9, queued: 64 [ 5:42] searching: 7536 states found in 5:15, averaging 23.9, queued: 64 [ 5:43] searching: 7545 states found in 5:16, averaging 23.9, queued: 64 [ 5:43] searching: 7555 states found in 5:16, averaging 23.9, queued: 64 [ 5:44] searching: 7559 states found in 5:17, averaging 23.8, queued: 64 [ 5:44] searching: 7566 states found in 5:17, averaging 23.8, queued: 66 [ 5:45] searching: 7570 states found in 5:18, averaging 23.8, queued: 66 [ 5:45] searching: 7576 states found in 5:18, averaging 23.8, queued: 66 [ 5:46] searching: 7584 states found in 5:19, averaging 23.8, queued: 64 [ 5:46] searching: 7591 states found in 5:19, averaging 23.7, queued: 64 [ 5:47] searching: 7593 states found in 5:20, averaging 23.7, queued: 64 [ 5:47] searching: 7604 states found in 5:20, averaging 23.7, queued: 64 [ 5:48] searching: 7614 states found in 5:21, averaging 23.7, queued: 64 [ 5:48] searching: 7619 states found in 5:21, averaging 23.7, queued: 64 [ 5:49] searching: 7626 states found in 5:22, averaging 23.7, queued: 64 [ 5:49] searching: 7633 states found in 5:22, averaging 23.7, queued: 66 [ 5:50] searching: 7639 states found in 5:23, averaging 23.6, queued: 64 [ 5:50] searching: 7649 states found in 5:23, averaging 23.6, queued: 64 [ 5:51] searching: 7658 states found in 5:24, averaging 23.6, queued: 64 [ 5:51] searching: 7665 states found in 5:24, averaging 23.6, queued: 64 [ 5:52] searching: 7678 states found in 5:25, averaging 23.6, queued: 64 [ 5:52] searching: 7690 states found in 5:25, averaging 23.6, queued: 64 [ 5:53] searching: 7702 states found in 5:26, averaging 23.6, queued: 64 [ 5:53] searching: 7712 states found in 5:26, averaging 23.6, queued: 64 [ 5:54] searching: 7727 states found in 5:27, averaging 23.6, queued: 64 [ 5:54] searching: 7734 states found in 5:27, averaging 23.6, queued: 64 [ 5:55] searching: 7748 states found in 5:28, averaging 23.6, queued: 64 [ 5:55] searching: 7758 states found in 5:28, averaging 23.6, queued: 66 [ 5:56] searching: 7768 states found in 5:29, averaging 23.6, queued: 66 [ 5:56] searching: 7782 states found in 5:29, averaging 23.6, queued: 64 [ 5:57] searching: 7798 states found in 5:30, averaging 23.6, queued: 64 [ 5:57] searching: 7806 states found in 5:30, averaging 23.6, queued: 64 [ 5:58] searching: 7819 states found in 5:31, averaging 23.6, queued: 64 [ 5:58] searching: 7829 states found in 5:31, averaging 23.6, queued: 66 [ 5:59] searching: 7843 states found in 5:32, averaging 23.6, queued: 66 [ 5:59] searching: 7851 states found in 5:32, averaging 23.6, queued: 66 [ 6:00] searching: 7858 states found in 5:33, averaging 23.6, queued: 66 [ 6:00] searching: 7867 states found in 5:33, averaging 23.6, queued: 64 [ 6:01] searching: 7881 states found in 5:34, averaging 23.6, queued: 64 [ 6:01] searching: 7893 states found in 5:34, averaging 23.6, queued: 66 [ 6:02] searching: 7905 states found in 5:35, averaging 23.6, queued: 66 [ 6:02] searching: 7920 states found in 5:35, averaging 23.6, queued: 66 [ 6:03] searching: 7934 states found in 5:36, averaging 23.6, queued: 66 [ 6:03] searching: 7947 states found in 5:36, averaging 23.6, queued: 66 [ 6:04] searching: 7954 states found in 5:37, averaging 23.6, queued: 68 [ 6:04] searching: 7974 states found in 5:37, averaging 23.6, queued: 66 [ 6:05] searching: 7987 states found in 5:38, averaging 23.6, queued: 66 [ 6:05] searching: 7997 states found in 5:38, averaging 23.6, queued: 66 [ 6:06] searching: 8009 states found in 5:39, averaging 23.6, queued: 66 [ 6:06] searching: 8022 states found in 5:39, averaging 23.6, queued: 68 [ 6:07] searching: 8031 states found in 5:40, averaging 23.6, queued: 68 [ 6:07] searching: 8037 states found in 5:40, averaging 23.6, queued: 68 [ 6:08] searching: 8052 states found in 5:41, averaging 23.6, queued: 66 [ 6:08] searching: 8065 states found in 5:41, averaging 23.6, queued: 66 [ 6:09] searching: 8077 states found in 5:42, averaging 23.6, queued: 66 [ 6:09] searching: 8092 states found in 5:42, averaging 23.6, queued: 68 [ 6:10] searching: 8102 states found in 5:43, averaging 23.6, queued: 68 [ 6:10] searching: 8117 states found in 5:43, averaging 23.6, queued: 68 [ 6:11] searching: 8129 states found in 5:44, averaging 23.6, queued: 68 [ 6:11] searching: 8137 states found in 5:44, averaging 23.6, queued: 66 [ 6:12] searching: 8149 states found in 5:45, averaging 23.6, queued: 68 [ 6:12] searching: 8155 states found in 5:45, averaging 23.6, queued: 68 [ 6:13] searching: 8165 states found in 5:46, averaging 23.6, queued: 68 [ 6:13] searching: 8176 states found in 5:46, averaging 23.6, queued: 68 [ 6:14] searching: 8186 states found in 5:47, averaging 23.6, queued: 68 [ 6:14] searching: 8194 states found in 5:47, averaging 23.6, queued: 68 [ 6:15] searching: 8208 states found in 5:48, averaging 23.6, queued: 68 [ 6:15] searching: 8218 states found in 5:48, averaging 23.6, queued: 68 [ 6:16] searching: 8227 states found in 5:49, averaging 23.6, queued: 68 [ 6:16] searching: 8240 states found in 5:49, averaging 23.6, queued: 68 [ 6:17] searching: 8247 states found in 5:50, averaging 23.5, queued: 68 [ 6:17] searching: 8256 states found in 5:50, averaging 23.5, queued: 68 [ 6:18] searching: 8272 states found in 5:51, averaging 23.5, queued: 70 [ 6:18] searching: 8284 states found in 5:51, averaging 23.5, queued: 68 [ 6:19] searching: 8296 states found in 5:52, averaging 23.5, queued: 68 [ 6:19] searching: 8303 states found in 5:52, averaging 23.5, queued: 68 [ 6:20] searching: 8310 states found in 5:53, averaging 23.5, queued: 68 [ 6:20] searching: 8319 states found in 5:53, averaging 23.5, queued: 68 [ 6:21] searching: 8328 states found in 5:54, averaging 23.5, queued: 68 [ 6:21] searching: 8336 states found in 5:54, averaging 23.5, queued: 70 [ 6:22] searching: 8345 states found in 5:55, averaging 23.5, queued: 68 [ 6:22] searching: 8353 states found in 5:55, averaging 23.5, queued: 68 [ 6:23] searching: 8356 states found in 5:56, averaging 23.4, queued: 68 [ 6:23] searching: 8365 states found in 5:56, averaging 23.4, queued: 68 [ 6:24] searching: 8374 states found in 5:57, averaging 23.4, queued: 68 [ 6:24] searching: 8383 states found in 5:57, averaging 23.4, queued: 68 [ 6:25] searching: 8389 states found in 5:58, averaging 23.4, queued: 68 [ 6:25] searching: 8400 states found in 5:58, averaging 23.4, queued: 70 [ 6:26] searching: 8410 states found in 5:59, averaging 23.4, queued: 68 [ 6:26] searching: 8420 states found in 5:59, averaging 23.4, queued: 68 [ 6:27] searching: 8433 states found in 6:00, averaging 23.4, queued: 68 [ 6:27] searching: 8438 states found in 6:00, averaging 23.4, queued: 68 [ 6:28] searching: 8448 states found in 6:01, averaging 23.4, queued: 68 [ 6:28] searching: 8464 states found in 6:01, averaging 23.4, queued: 70 [ 6:29] searching: 8479 states found in 6:02, averaging 23.4, queued: 70 [ 6:29] searching: 8493 states found in 6:02, averaging 23.4, queued: 68 [ 6:30] searching: 8505 states found in 6:03, averaging 23.4, queued: 68 [ 6:30] searching: 8518 states found in 6:03, averaging 23.4, queued: 68 [ 6:31] searching: 8531 states found in 6:04, averaging 23.4, queued: 70 [ 6:31] searching: 8543 states found in 6:04, averaging 23.4, queued: 70 [ 6:32] searching: 8553 states found in 6:05, averaging 23.4, queued: 70 [ 6:32] searching: 8568 states found in 6:05, averaging 23.4, queued: 68 [ 6:33] searching: 8582 states found in 6:06, averaging 23.4, queued: 68 [ 6:33] searching: 8593 states found in 6:06, averaging 23.4, queued: 70 [ 6:34] searching: 8606 states found in 6:07, averaging 23.4, queued: 70 [ 6:34] searching: 8616 states found in 6:07, averaging 23.4, queued: 70 [ 6:35] searching: 8627 states found in 6:08, averaging 23.4, queued: 70 [ 6:35] searching: 8641 states found in 6:08, averaging 23.4, queued: 70 [ 6:36] searching: 8650 states found in 6:09, averaging 23.4, queued: 68 [ 6:36] searching: 8661 states found in 6:09, averaging 23.4, queued: 70 [ 6:37] searching: 8670 states found in 6:10, averaging 23.4, queued: 70 [ 6:37] searching: 8684 states found in 6:10, averaging 23.4, queued: 70 [ 6:38] searching: 8693 states found in 6:11, averaging 23.4, queued: 70 [ 6:38] searching: 8704 states found in 6:11, averaging 23.4, queued: 70 [ 6:39] searching: 8716 states found in 6:12, averaging 23.4, queued: 70 [ 6:39] searching: 8730 states found in 6:12, averaging 23.4, queued: 72 [ 6:40] searching: 8741 states found in 6:13, averaging 23.4, queued: 70 [ 6:40] searching: 8752 states found in 6:13, averaging 23.4, queued: 70 [ 6:41] searching: 8763 states found in 6:14, averaging 23.4, queued: 70 [ 6:41] searching: 8773 states found in 6:14, averaging 23.4, queued: 70 [ 6:42] searching: 8783 states found in 6:15, averaging 23.4, queued: 72 [ 6:42] searching: 8790 states found in 6:15, averaging 23.4, queued: 72 [ 6:43] searching: 8799 states found in 6:16, averaging 23.4, queued: 72 [ 6:43] searching: 8808 states found in 6:16, averaging 23.4, queued: 72 [ 6:44] searching: 8817 states found in 6:17, averaging 23.4, queued: 70 [ 6:44] searching: 8823 states found in 6:17, averaging 23.3, queued: 70 [ 6:45] searching: 8834 states found in 6:18, averaging 23.3, queued: 70 [ 6:45] searching: 8842 states found in 6:18, averaging 23.3, queued: 70 [ 6:46] searching: 8852 states found in 6:19, averaging 23.3, queued: 72 [ 6:46] searching: 8862 states found in 6:19, averaging 23.3, queued: 72 [ 6:47] searching: 8871 states found in 6:20, averaging 23.3, queued: 72 [ 6:47] searching: 8880 states found in 6:20, averaging 23.3, queued: 72 [ 6:48] searching: 8892 states found in 6:21, averaging 23.3, queued: 70 [ 6:48] searching: 8900 states found in 6:21, averaging 23.3, queued: 70 [ 6:49] searching: 8911 states found in 6:22, averaging 23.3, queued: 72 [ 6:49] searching: 8922 states found in 6:22, averaging 23.3, queued: 72 [ 6:50] searching: 8931 states found in 6:23, averaging 23.3, queued: 72 [ 6:50] searching: 8937 states found in 6:23, averaging 23.3, queued: 72 [ 6:51] searching: 8942 states found in 6:24, averaging 23.3, queued: 72 [ 6:51] searching: 8953 states found in 6:24, averaging 23.3, queued: 72 [ 6:52] searching: 8962 states found in 6:25, averaging 23.3, queued: 70 [ 6:52] searching: 8974 states found in 6:25, averaging 23.3, queued: 72 [ 6:53] searching: 8983 states found in 6:26, averaging 23.2, queued: 72 [ 6:53] searching: 8993 states found in 6:26, averaging 23.2, queued: 72 [ 6:54] searching: 9003 states found in 6:27, averaging 23.2, queued: 72 [ 6:54] searching: 9014 states found in 6:27, averaging 23.2, queued: 72 [ 6:55] searching: 9020 states found in 6:28, averaging 23.2, queued: 70 [ 6:55] searching: 9029 states found in 6:28, averaging 23.2, queued: 70 [ 6:56] searching: 9035 states found in 6:29, averaging 23.2, queued: 70 [ 6:56] searching: 9042 states found in 6:29, averaging 23.2, queued: 72 [ 6:57] searching: 9054 states found in 6:30, averaging 23.2, queued: 72 [ 6:57] searching: 9063 states found in 6:30, averaging 23.2, queued: 72 [ 6:58] searching: 9066 states found in 6:31, averaging 23.2, queued: 72 [ 6:58] searching: 9075 states found in 6:31, averaging 23.2, queued: 70 [ 6:59] searching: 9083 states found in 6:32, averaging 23.1, queued: 70 [ 6:59] searching: 9090 states found in 6:32, averaging 23.1, queued: 70 [ 7:00] searching: 9101 states found in 6:33, averaging 23.1, queued: 70 [ 7:00] searching: 9108 states found in 6:33, averaging 23.1, queued: 72 [ 7:01] searching: 9115 states found in 6:34, averaging 23.1, queued: 72 [ 7:01] searching: 9119 states found in 6:34, averaging 23.1, queued: 72 [ 7:02] searching: 9125 states found in 6:35, averaging 23.1, queued: 72 [ 7:02] searching: 9134 states found in 6:36, averaging 23.1, queued: 70 [ 7:03] searching: 9137 states found in 6:36, averaging 23.0, queued: 70 [ 7:03] searching: 9144 states found in 6:37, averaging 23.0, queued: 70 [ 7:04] searching: 9154 states found in 6:37, averaging 23.0, queued: 70 [ 7:04] searching: 9163 states found in 6:38, averaging 23.0, queued: 70 [ 7:05] searching: 9166 states found in 6:38, averaging 23.0, queued: 72 [ 7:05] searching: 9174 states found in 6:39, averaging 23.0, queued: 72 [ 7:06] searching: 9179 states found in 6:39, averaging 23.0, queued: 70 [ 7:06] searching: 9187 states found in 6:40, averaging 23.0, queued: 70 [ 7:07] searching: 9196 states found in 6:40, averaging 23.0, queued: 70 [ 7:07] searching: 9201 states found in 6:41, averaging 22.9, queued: 70 [ 7:08] searching: 9214 states found in 6:41, averaging 22.9, queued: 70 [ 7:08] searching: 9226 states found in 6:42, averaging 22.9, queued: 70 [ 7:09] searching: 9237 states found in 6:42, averaging 22.9, queued: 72 [ 7:09] searching: 9249 states found in 6:43, averaging 22.9, queued: 70 [ 7:10] searching: 9263 states found in 6:43, averaging 23.0, queued: 70 [ 7:10] searching: 9275 states found in 6:44, averaging 23.0, queued: 70 [ 7:11] searching: 9285 states found in 6:44, averaging 23.0, queued: 70 [ 7:11] searching: 9298 states found in 6:45, averaging 23.0, queued: 72 [ 7:12] searching: 9306 states found in 6:45, averaging 22.9, queued: 72 [ 7:13] searching: 9321 states found in 6:46, averaging 23.0, queued: 72 [ 7:13] searching: 9334 states found in 6:46, averaging 23.0, queued: 70 [ 7:14] searching: 9345 states found in 6:47, averaging 23.0, queued: 70 [ 7:14] searching: 9356 states found in 6:47, averaging 23.0, queued: 70 [ 7:15] searching: 9371 states found in 6:48, averaging 23.0, queued: 72 [ 7:15] searching: 9383 states found in 6:48, averaging 23.0, queued: 72 [ 7:16] searching: 9388 states found in 6:49, averaging 23.0, queued: 72 [ 7:16] searching: 9400 states found in 6:49, averaging 23.0, queued: 72 [ 7:17] searching: 9405 states found in 6:50, averaging 22.9, queued: 70 [ 7:17] searching: 9407 states found in 6:50, averaging 22.9, queued: 70 [ 7:18] searching: 9414 states found in 6:51, averaging 22.9, queued: 70 [ 7:18] searching: 9420 states found in 6:51, averaging 22.9, queued: 70 [ 7:19] searching: 9430 states found in 6:52, averaging 22.9, queued: 72 [ 7:19] searching: 9439 states found in 6:52, averaging 22.9, queued: 72 [ 7:20] searching: 9446 states found in 6:53, averaging 22.9, queued: 72 [ 7:20] searching: 9449 states found in 6:53, averaging 22.8, queued: 72 [ 7:21] searching: 9460 states found in 6:54, averaging 22.8, queued: 70 [ 7:21] searching: 9467 states found in 6:54, averaging 22.8, queued: 70 [ 7:22] searching: 9473 states found in 6:55, averaging 22.8, queued: 70 [ 7:22] searching: 9482 states found in 6:55, averaging 22.8, queued: 70 [ 7:23] searching: 9493 states found in 6:56, averaging 22.8, queued: 72 [ 7:23] searching: 9503 states found in 6:56, averaging 22.8, queued: 72 [ 7:24] searching: 9510 states found in 6:57, averaging 22.8, queued: 72 [ 7:24] searching: 9516 states found in 6:57, averaging 22.8, queued: 70 [ 7:25] searching: 9522 states found in 6:58, averaging 22.8, queued: 70 [ 7:25] searching: 9530 states found in 6:58, averaging 22.8, queued: 70 [ 7:26] searching: 9539 states found in 6:59, averaging 22.8, queued: 70 [ 7:26] searching: 9550 states found in 6:59, averaging 22.8, queued: 72 [ 7:27] searching: 9557 states found in 7:00, averaging 22.7, queued: 72 [ 7:27] searching: 9562 states found in 7:00, averaging 22.7, queued: 72 [ 7:28] searching: 9572 states found in 7:01, averaging 22.7, queued: 72 [ 7:28] searching: 9582 states found in 7:01, averaging 22.7, queued: 70 [ 7:29] searching: 9592 states found in 7:02, averaging 22.7, queued: 70 [ 7:29] searching: 9600 states found in 7:02, averaging 22.7, queued: 70 [ 7:30] searching: 9606 states found in 7:03, averaging 22.7, queued: 70 [ 7:30] searching: 9612 states found in 7:03, averaging 22.7, queued: 70 [ 7:31] searching: 9619 states found in 7:04, averaging 22.7, queued: 72 [ 7:31] searching: 9625 states found in 7:04, averaging 22.7, queued: 72 [ 7:32] searching: 9631 states found in 7:05, averaging 22.7, queued: 70 [ 7:32] searching: 9641 states found in 7:05, averaging 22.7, queued: 70 [ 7:33] searching: 9653 states found in 7:06, averaging 22.7, queued: 70 [ 7:33] searching: 9660 states found in 7:06, averaging 22.6, queued: 70 [ 7:34] searching: 9667 states found in 7:07, averaging 22.6, queued: 70 [ 7:34] searching: 9675 states found in 7:07, averaging 22.6, queued: 70 [ 7:35] searching: 9684 states found in 7:08, averaging 22.6, queued: 72 [ 7:35] searching: 9690 states found in 7:08, averaging 22.6, queued: 72 [ 7:36] searching: 9696 states found in 7:09, averaging 22.6, queued: 70 E: System error: Cannot allocate memory, when anonymous mmap for 261952 bytes failed [ 7:36] /home/xrockai/src/divine/nightly/test/lib/verify: line 33: 22693 Aborted (core dumped) divine verify $resources $extra $opts $run $args [ 7:46] (lldb) target create "/var/obj/divine-nightly/semidbg/tools/divine" --core "core" [ 7:46] Core file '/var/obj/divine-nightly/semidbg/test/__test_work_dir.3/core' (x86_64) was loaded. [ 7:46] (lldb) bt all [ 7:46] * thread #1, name = 'divine', stop reason = signal SIGABRT [ 7:46] * frame #0: 0x00007f7f318ef8c0 [ 7:46] thread #2, stop reason = signal 0 [ 7:46] frame #0: 0x00007f7f450bed8d