[ 0:00] compiling /home/xrockai/src/divine/nightly/test/weakmem/3.peterson_relaxed.cpp [ 0:00] relaxed memory: tsoloading bitcode … LART … setting up pass: weakmem, options = tso [ 0:07] opt = tso, bufferSize = -1 [ 0:07] RR … constants … done [ 0:14] booting … done [ 0:16] [ 0:16] searching: 1 states found in 0:00, averaging 40.0, queued: 0 [ 0:16] searching: 1 states found in 0:00, averaging 1.9, queued: 0 [ 0:17] searching: 6 states found in 0:01, averaging 5.9, queued: 0 [ 0:17] searching: 11 states found in 0:01, averaging 7.2, queued: 0 [ 0:18] searching: 18 states found in 0:02, averaging 8.9, queued: 0 [ 0:18] searching: 31 states found in 0:02, averaging 12.3, queued: 0 [ 0:19] searching: 38 states found in 0:03, averaging 12.6, queued: 0 [ 0:19] searching: 51 states found in 0:03, averaging 14.5, queued: 0 [ 0:20] searching: 65 states found in 0:04, averaging 16.1, queued: 0 [ 0:20] searching: 73 states found in 0:04, averaging 16.1, queued: 0 [ 0:21] searching: 84 states found in 0:05, averaging 16.7, queued: 0 [ 0:21] searching: 98 states found in 0:05, averaging 17.7, queued: 0 [ 0:22] searching: 110 states found in 0:06, averaging 18.2, queued: 0 [ 0:22] searching: 120 states found in 0:06, averaging 18.4, queued: 0 [ 0:23] searching: 135 states found in 0:07, averaging 19.2, queued: 0 [ 0:24] searching: 146 states found in 0:07, averaging 19.4, queued: 2 [ 0:24] searching: 161 states found in 0:08, averaging 20.0, queued: 2 [ 0:25] searching: 171 states found in 0:08, averaging 20.0, queued: 0 [ 0:25] searching: 182 states found in 0:09, averaging 20.2, queued: 0 [ 0:25] searching: 194 states found in 0:09, averaging 20.4, queued: 0 [ 0:26] searching: 205 states found in 0:10, averaging 20.4, queued: 2 [ 0:26] searching: 218 states found in 0:10, averaging 20.7, queued: 2 [ 0:27] searching: 230 states found in 0:11, averaging 20.8, queued: 2 [ 0:28] searching: 245 states found in 0:11, averaging 21.2, queued: 2 [ 0:28] searching: 256 states found in 0:12, averaging 21.3, queued: 2 [ 0:29] searching: 271 states found in 0:12, averaging 21.6, queued: 4 [ 0:29] searching: 288 states found in 0:13, averaging 22.1, queued: 4 [ 0:30] searching: 299 states found in 0:13, averaging 22.1, queued: 4 [ 0:30] searching: 310 states found in 0:14, averaging 22.1, queued: 4 [ 0:31] searching: 327 states found in 0:14, averaging 22.5, queued: 2 [ 0:31] searching: 339 states found in 0:15, averaging 22.5, queued: 4 [ 0:32] searching: 357 states found in 0:15, averaging 23.0, queued: 4 [ 0:32] searching: 370 states found in 0:16, averaging 23.1, queued: 4 [ 0:33] searching: 381 states found in 0:16, averaging 23.0, queued: 4 [ 0:33] searching: 394 states found in 0:17, averaging 23.1, queued: 6 [ 0:34] searching: 406 states found in 0:17, averaging 23.1, queued: 6 [ 0:34] searching: 419 states found in 0:18, averaging 23.2, queued: 6 [ 0:35] searching: 431 states found in 0:18, averaging 23.2, queued: 6 [ 0:35] searching: 442 states found in 0:19, averaging 23.2, queued: 6 [ 0:36] searching: 459 states found in 0:19, averaging 23.5, queued: 6 [ 0:36] searching: 473 states found in 0:20, averaging 23.6, queued: 6 [ 0:37] searching: 484 states found in 0:20, averaging 23.6, queued: 6 [ 0:37] searching: 499 states found in 0:21, averaging 23.7, queued: 6 [ 0:38] searching: 514 states found in 0:21, averaging 23.9, queued: 6 [ 0:38] searching: 529 states found in 0:22, averaging 24.0, queued: 8 [ 0:39] searching: 544 states found in 0:22, averaging 24.1, queued: 8 [ 0:39] searching: 557 states found in 0:23, averaging 24.2, queued: 8 [ 0:40] searching: 567 states found in 0:23, averaging 24.1, queued: 8 [ 0:40] searching: 582 states found in 0:24, averaging 24.2, queued: 8 [ 0:41] searching: 600 states found in 0:24, averaging 24.4, queued: 8 [ 0:41] searching: 621 states found in 0:25, averaging 24.8, queued: 8 [ 0:42] searching: 631 states found in 0:25, averaging 24.7, queued: 8 [ 0:42] searching: 649 states found in 0:26, averaging 24.9, queued: 10 [ 0:43] searching: 659 states found in 0:26, averaging 24.8, queued: 10 [ 0:43] searching: 681 states found in 0:27, averaging 25.2, queued: 10 [ 0:44] searching: 692 states found in 0:27, averaging 25.1, queued: 10 [ 0:44] searching: 708 states found in 0:28, averaging 25.2, queued: 10 [ 0:45] searching: 731 states found in 0:28, averaging 25.6, queued: 12 [ 0:45] searching: 751 states found in 0:29, averaging 25.9, queued: 10 [ 0:46] searching: 763 states found in 0:29, averaging 25.8, queued: 10 [ 0:46] searching: 778 states found in 0:30, averaging 25.9, queued: 12 [ 0:47] searching: 796 states found in 0:30, averaging 26.1, queued: 12 [ 0:47] searching: 810 states found in 0:31, averaging 26.1, queued: 12 [ 0:48] searching: 825 states found in 0:31, averaging 26.1, queued: 12 [ 0:48] searching: 844 states found in 0:32, averaging 26.3, queued: 14 [ 0:49] searching: 855 states found in 0:32, averaging 26.3, queued: 14 [ 0:49] searching: 873 states found in 0:33, averaging 26.4, queued: 14 [ 0:50] searching: 887 states found in 0:33, averaging 26.4, queued: 12 [ 0:50] searching: 897 states found in 0:34, averaging 26.3, queued: 12 [ 0:51] searching: 912 states found in 0:34, averaging 26.4, queued: 14 [ 0:51] searching: 926 states found in 0:35, averaging 26.4, queued: 14 [ 0:52] searching: 940 states found in 0:35, averaging 26.4, queued: 14 [ 0:52] searching: 954 states found in 0:36, averaging 26.5, queued: 14 [ 0:53] searching: 966 states found in 0:36, averaging 26.4, queued: 14 [ 0:53] searching: 978 states found in 0:37, averaging 26.4, queued: 16 [ 0:54] searching: 993 states found in 0:37, averaging 26.4, queued: 16 [ 0:54] searching: 1011 states found in 0:38, averaging 26.6, queued: 16 [ 0:54] searching: 1030 states found in 0:38, averaging 26.7, queued: 14 [ 0:55] searching: 1044 states found in 0:39, averaging 26.7, queued: 16 [ 0:55] searching: 1055 states found in 0:39, averaging 26.7, queued: 16 [ 0:56] searching: 1069 states found in 0:40, averaging 26.7, queued: 16 [ 0:56] searching: 1082 states found in 0:40, averaging 26.7, queued: 16 [ 0:57] searching: 1102 states found in 0:41, averaging 26.8, queued: 18 [ 0:57] searching: 1119 states found in 0:41, averaging 26.9, queued: 18 [ 0:58] searching: 1139 states found in 0:42, averaging 27.1, queued: 18 [ 0:58] searching: 1161 states found in 0:42, averaging 27.3, queued: 18 [ 0:59] searching: 1171 states found in 0:43, averaging 27.2, queued: 18 [ 0:59] searching: 1186 states found in 0:43, averaging 27.2, queued: 18 [ 1:00] searching: 1203 states found in 0:44, averaging 27.3, queued: 18 [ 1:00] searching: 1217 states found in 0:44, averaging 27.3, queued: 18 [ 1:01] searching: 1232 states found in 0:45, averaging 27.3, queued: 20 [ 1:01] searching: 1253 states found in 0:45, averaging 27.5, queued: 20 [ 1:02] searching: 1260 states found in 0:46, averaging 27.4, queued: 20 [ 1:02] searching: 1268 states found in 0:46, averaging 27.2, queued: 20 [ 1:03] searching: 1280 states found in 0:47, averaging 27.2, queued: 18 [ 1:03] searching: 1305 states found in 0:47, averaging 27.4, queued: 20 [ 1:04] searching: 1321 states found in 0:48, averaging 27.5, queued: 20 [ 1:04] searching: 1338 states found in 0:48, averaging 27.5, queued: 20 [ 1:05] searching: 1358 states found in 0:49, averaging 27.7, queued: 22 [ 1:05] searching: 1371 states found in 0:49, averaging 27.7, queued: 22 [ 1:06] searching: 1384 states found in 0:50, averaging 27.6, queued: 22 [ 1:06] searching: 1399 states found in 0:50, averaging 27.7, queued: 22 [ 1:07] searching: 1416 states found in 0:51, averaging 27.7, queued: 22 [ 1:08] searching: 1430 states found in 0:51, averaging 27.7, queued: 22 [ 1:08] searching: 1445 states found in 0:52, averaging 27.7, queued: 22 [ 1:09] searching: 1468 states found in 0:52, averaging 27.9, queued: 22 [ 1:09] searching: 1486 states found in 0:53, averaging 28.0, queued: 24 [ 1:09] searching: 1502 states found in 0:53, averaging 28.0, queued: 24 [ 1:10] searching: 1517 states found in 0:54, averaging 28.1, queued: 24 [ 1:10] searching: 1531 states found in 0:54, averaging 28.1, queued: 24 [ 1:11] searching: 1552 states found in 0:55, averaging 28.2, queued: 26 [ 1:12] searching: 1574 states found in 0:55, averaging 28.3, queued: 24 [ 1:12] searching: 1595 states found in 0:56, averaging 28.4, queued: 24 [ 1:13] searching: 1617 states found in 0:56, averaging 28.6, queued: 26 [ 1:13] searching: 1631 states found in 0:57, averaging 28.6, queued: 26 [ 1:14] searching: 1649 states found in 0:57, averaging 28.6, queued: 26 [ 1:14] searching: 1664 states found in 0:58, averaging 28.6, queued: 26 [ 1:15] searching: 1686 states found in 0:58, averaging 28.8, queued: 28 [ 1:15] searching: 1701 states found in 0:59, averaging 28.8, queued: 26 [ 1:16] searching: 1718 states found in 0:59, averaging 28.8, queued: 26 [ 1:16] searching: 1731 states found in 1:00, averaging 28.8, queued: 26 [ 1:17] searching: 1752 states found in 1:00, averaging 28.9, queued: 28 [ 1:17] searching: 1770 states found in 1:01, averaging 29.0, queued: 28 [ 1:18] searching: 1784 states found in 1:01, averaging 29.0, queued: 28 [ 1:18] searching: 1803 states found in 1:02, averaging 29.0, queued: 30 [ 1:19] searching: 1819 states found in 1:02, averaging 29.1, queued: 30 [ 1:19] searching: 1833 states found in 1:03, averaging 29.1, queued: 28 [ 1:20] searching: 1849 states found in 1:03, averaging 29.1, queued: 28 [ 1:20] searching: 1863 states found in 1:04, averaging 29.1, queued: 28 [ 1:21] searching: 1881 states found in 1:04, averaging 29.1, queued: 30 [ 1:21] searching: 1901 states found in 1:05, averaging 29.2, queued: 30 [ 1:22] searching: 1913 states found in 1:05, averaging 29.2, queued: 30 [ 1:22] searching: 1926 states found in 1:06, averaging 29.1, queued: 30 [ 1:23] searching: 1940 states found in 1:06, averaging 29.1, queued: 32 [ 1:23] searching: 1953 states found in 1:07, averaging 29.1, queued: 32 [ 1:24] searching: 1972 states found in 1:07, averaging 29.2, queued: 30 [ 1:24] searching: 1990 states found in 1:08, averaging 29.2, queued: 30 [ 1:25] searching: 2001 states found in 1:08, averaging 29.2, queued: 32 [ 1:25] searching: 2016 states found in 1:09, averaging 29.2, queued: 32 [ 1:26] searching: 2038 states found in 1:09, averaging 29.3, queued: 32 [ 1:26] searching: 2051 states found in 1:10, averaging 29.3, queued: 32 [ 1:27] searching: 2070 states found in 1:10, averaging 29.3, queued: 34 [ 1:27] searching: 2083 states found in 1:11, averaging 29.3, queued: 34 [ 1:28] searching: 2099 states found in 1:11, averaging 29.3, queued: 34 [ 1:28] searching: 2118 states found in 1:12, averaging 29.4, queued: 32 [ 1:29] searching: 2131 states found in 1:12, averaging 29.4, queued: 34 [ 1:29] searching: 2139 states found in 1:13, averaging 29.3, queued: 34 [ 1:30] searching: 2148 states found in 1:13, averaging 29.2, queued: 34 [ 1:30] searching: 2170 states found in 1:14, averaging 29.3, queued: 34 [ 1:31] searching: 2188 states found in 1:14, averaging 29.3, queued: 36 [ 1:31] searching: 2203 states found in 1:15, averaging 29.3, queued: 36 [ 1:32] searching: 2219 states found in 1:15, averaging 29.3, queued: 36 [ 1:32] searching: 2237 states found in 1:16, averaging 29.4, queued: 36 [ 1:33] searching: 2252 states found in 1:16, averaging 29.4, queued: 36 [ 1:33] searching: 2268 states found in 1:17, averaging 29.4, queued: 36 [ 1:34] searching: 2283 states found in 1:17, averaging 29.4, queued: 36 [ 1:34] searching: 2298 states found in 1:18, averaging 29.4, queued: 36 [ 1:35] searching: 2316 states found in 1:18, averaging 29.5, queued: 38 [ 1:35] searching: 2328 states found in 1:19, averaging 29.4, queued: 38 [ 1:36] searching: 2341 states found in 1:19, averaging 29.4, queued: 38 [ 1:36] searching: 2362 states found in 1:20, averaging 29.5, queued: 38 [ 1:37] searching: 2382 states found in 1:20, averaging 29.5, queued: 38 [ 1:37] searching: 2401 states found in 1:21, averaging 29.6, queued: 38 [ 1:38] searching: 2417 states found in 1:21, averaging 29.6, queued: 38 [ 1:38] searching: 2436 states found in 1:22, averaging 29.7, queued: 38 [ 1:39] searching: 2459 states found in 1:22, averaging 29.8, queued: 40 [ 1:39] searching: 2482 states found in 1:23, averaging 29.9, queued: 40 [ 1:40] searching: 2499 states found in 1:23, averaging 29.9, queued: 40 [ 1:40] searching: 2513 states found in 1:24, averaging 29.9, queued: 40 [ 1:41] searching: 2530 states found in 1:24, averaging 29.9, queued: 40 [ 1:41] searching: 2546 states found in 1:25, averaging 29.9, queued: 40 [ 1:42] searching: 2562 states found in 1:25, averaging 29.9, queued: 40 [ 1:42] searching: 2584 states found in 1:26, averaging 30.0, queued: 42 [ 1:43] searching: 2594 states found in 1:26, averaging 29.9, queued: 42 [ 1:43] searching: 2611 states found in 1:27, averaging 30.0, queued: 42 [ 1:44] searching: 2632 states found in 1:27, averaging 30.0, queued: 42 [ 1:44] searching: 2648 states found in 1:28, averaging 30.0, queued: 42 [ 1:45] searching: 2664 states found in 1:28, averaging 30.1, queued: 42 [ 1:45] searching: 2686 states found in 1:29, averaging 30.1, queued: 42 [ 1:46] searching: 2699 states found in 1:29, averaging 30.1, queued: 44 [ 1:46] searching: 2716 states found in 1:30, averaging 30.1, queued: 44 [ 1:47] searching: 2721 states found in 1:30, averaging 30.0, queued: 44 [ 1:47] searching: 2731 states found in 1:31, averaging 30.0, queued: 44 [ 1:48] searching: 2751 states found in 1:31, averaging 30.0, queued: 44 [ 1:48] searching: 2768 states found in 1:32, averaging 30.0, queued: 46 [ 1:49] searching: 2792 states found in 1:32, averaging 30.1, queued: 44 [ 1:49] searching: 2809 states found in 1:33, averaging 30.2, queued: 44 [ 1:50] searching: 2826 states found in 1:33, averaging 30.2, queued: 46 [ 1:50] searching: 2839 states found in 1:34, averaging 30.2, queued: 46 [ 1:51] searching: 2856 states found in 1:34, averaging 30.2, queued: 46 [ 1:51] searching: 2874 states found in 1:35, averaging 30.2, queued: 46 [ 1:52] searching: 2883 states found in 1:35, averaging 30.1, queued: 46 [ 1:52] searching: 2901 states found in 1:36, averaging 30.2, queued: 48 [ 1:53] searching: 2917 states found in 1:36, averaging 30.2, queued: 48 [ 1:53] searching: 2930 states found in 1:37, averaging 30.2, queued: 46 [ 1:54] searching: 2946 states found in 1:37, averaging 30.2, queued: 46 [ 1:54] searching: 2953 states found in 1:38, averaging 30.1, queued: 48 [ 1:55] searching: 2966 states found in 1:38, averaging 30.1, queued: 48 [ 1:55] searching: 2982 states found in 1:39, averaging 30.1, queued: 48 [ 1:56] searching: 3006 states found in 1:39, averaging 30.2, queued: 48 [ 1:56] searching: 3019 states found in 1:40, averaging 30.1, queued: 50 [ 1:57] searching: 3045 states found in 1:40, averaging 30.3, queued: 50 [ 1:57] searching: 3060 states found in 1:41, averaging 30.3, queued: 48 [ 1:58] searching: 3073 states found in 1:41, averaging 30.2, queued: 48 [ 1:58] searching: 3073 states found in 1:42, averaging 30.1, queued: 48 [ 1:59] searching: 3073 states found in 1:42, averaging 29.9, queued: 48 [ 1:59] searching: 3073 states found in 1:43, averaging 29.8, queued: 48 [ 2:00] searching: 3083 states found in 1:43, averaging 29.7, queued: 50 [ 2:00] searching: 3102 states found in 1:44, averaging 29.8, queued: 50 [ 2:01] searching: 3131 states found in 1:44, averaging 29.9, queued: 50 [ 2:01] searching: 3147 states found in 1:45, averaging 29.9, queued: 52 [ 2:02] searching: 3165 states found in 1:45, averaging 30.0, queued: 52 [ 2:02] searching: 3184 states found in 1:46, averaging 30.0, queued: 52 [ 2:03] searching: 3202 states found in 1:46, averaging 30.0, queued: 50 [ 2:03] searching: 3214 states found in 1:47, averaging 30.0, queued: 52 [ 2:04] searching: 3231 states found in 1:47, averaging 30.0, queued: 52 [ 2:04] searching: 3245 states found in 1:48, averaging 30.0, queued: 52 [ 2:05] searching: 3255 states found in 1:48, averaging 30.0, queued: 52 [ 2:05] searching: 3277 states found in 1:49, averaging 30.0, queued: 54 [ 2:06] searching: 3294 states found in 1:49, averaging 30.0, queued: 52 [ 2:06] searching: 3317 states found in 1:50, averaging 30.1, queued: 52 [ 2:07] searching: 3338 states found in 1:50, averaging 30.2, queued: 54 [ 2:07] searching: 3359 states found in 1:51, averaging 30.2, queued: 54 [ 2:08] searching: 3374 states found in 1:51, averaging 30.2, queued: 54 [ 2:08] searching: 3399 states found in 1:52, averaging 30.3, queued: 52 [ 2:09] searching: 3414 states found in 1:52, averaging 30.3, queued: 54 [ 2:09] searching: 3430 states found in 1:53, averaging 30.3, queued: 54 [ 2:10] searching: 3444 states found in 1:53, averaging 30.3, queued: 54 [ 2:10] searching: 3464 states found in 1:54, averaging 30.3, queued: 54 [ 2:11] searching: 3487 states found in 1:54, averaging 30.4, queued: 56 [ 2:11] searching: 3500 states found in 1:55, averaging 30.4, queued: 56 [ 2:12] searching: 3516 states found in 1:55, averaging 30.4, queued: 56 [ 2:12] searching: 3533 states found in 1:56, averaging 30.4, queued: 58 [ 2:13] searching: 3554 states found in 1:56, averaging 30.5, queued: 56 [ 2:13] searching: 3571 states found in 1:57, averaging 30.5, queued: 56 [ 2:14] searching: 3590 states found in 1:57, averaging 30.5, queued: 56 [ 2:14] searching: 3606 states found in 1:58, averaging 30.5, queued: 58 [ 2:15] searching: 3620 states found in 1:58, averaging 30.5, queued: 58 [ 2:15] searching: 3635 states found in 1:59, averaging 30.5, queued: 58 [ 2:16] searching: 3656 states found in 1:59, averaging 30.5, queued: 56 [ 2:16] searching: 3677 states found in 2:00, averaging 30.6, queued: 58 [ 2:17] searching: 3693 states found in 2:00, averaging 30.6, queued: 58 [ 2:17] searching: 3710 states found in 2:01, averaging 30.6, queued: 58 [ 2:18] searching: 3722 states found in 2:01, averaging 30.6, queued: 60 [ 2:18] searching: 3735 states found in 2:02, averaging 30.6, queued: 60 [ 2:19] searching: 3751 states found in 2:02, averaging 30.6, queued: 60 [ 2:19] searching: 3766 states found in 2:03, averaging 30.6, queued: 60 [ 2:20] searching: 3780 states found in 2:03, averaging 30.6, queued: 60 [ 2:20] searching: 3791 states found in 2:04, averaging 30.5, queued: 60 [ 2:21] searching: 3808 states found in 2:04, averaging 30.5, queued: 60 [ 2:21] searching: 3827 states found in 2:05, averaging 30.6, queued: 60 [ 2:22] searching: 3847 states found in 2:05, averaging 30.6, queued: 60 [ 2:22] searching: 3862 states found in 2:06, averaging 30.6, queued: 62 [ 2:23] searching: 3886 states found in 2:06, averaging 30.7, queued: 62 [ 2:23] searching: 3899 states found in 2:07, averaging 30.7, queued: 62 [ 2:24] searching: 3906 states found in 2:07, averaging 30.6, queued: 62 [ 2:24] searching: 3914 states found in 2:08, averaging 30.5, queued: 62 [ 2:24] searching: 3931 states found in 2:08, averaging 30.5, queued: 62 [ 2:25] searching: 3957 states found in 2:09, averaging 30.6, queued: 62 [ 2:26] searching: 3967 states found in 2:09, averaging 30.6, queued: 62 [ 2:26] searching: 3983 states found in 2:10, averaging 30.6, queued: 64 [ 2:27] searching: 4002 states found in 2:10, averaging 30.6, queued: 64 [ 2:27] searching: 4018 states found in 2:11, averaging 30.6, queued: 64 [ 2:28] searching: 4031 states found in 2:11, averaging 30.6, queued: 64 [ 2:28] searching: 4050 states found in 2:12, averaging 30.6, queued: 66 [ 2:29] searching: 4063 states found in 2:12, averaging 30.6, queued: 64 [ 2:29] searching: 4081 states found in 2:13, averaging 30.6, queued: 64 [ 2:30] searching: 4094 states found in 2:13, averaging 30.6, queued: 64 [ 2:30] searching: 4107 states found in 2:14, averaging 30.6, queued: 66 [ 2:31] searching: 4124 states found in 2:14, averaging 30.6, queued: 66 [ 2:31] searching: 4148 states found in 2:15, averaging 30.7, queued: 66 [ 2:32] searching: 4168 states found in 2:15, averaging 30.7, queued: 66 [ 2:32] searching: 4182 states found in 2:16, averaging 30.7, queued: 68 [ 2:33] searching: 4203 states found in 2:16, averaging 30.7, queued: 66 [ 2:33] searching: 4217 states found in 2:17, averaging 30.7, queued: 66 [ 2:34] searching: 4239 states found in 2:17, averaging 30.8, queued: 68 [ 2:34] searching: 4252 states found in 2:18, averaging 30.8, queued: 68 [ 2:35] searching: 4271 states found in 2:18, averaging 30.8, queued: 68 [ 2:35] searching: 4291 states found in 2:19, averaging 30.8, queued: 68 [ 2:36] searching: 4304 states found in 2:19, averaging 30.8, queued: 70 [ 2:36] searching: 4323 states found in 2:20, averaging 30.8, queued: 70 [ 2:37] searching: 4342 states found in 2:20, averaging 30.9, queued: 68 [ 2:37] searching: 4357 states found in 2:21, averaging 30.8, queued: 68 [ 2:38] searching: 4375 states found in 2:21, averaging 30.9, queued: 70 [ 2:38] searching: 4388 states found in 2:22, averaging 30.8, queued: 70 [ 2:39] searching: 4403 states found in 2:22, averaging 30.8, queued: 70 [ 2:39] searching: 4424 states found in 2:23, averaging 30.9, queued: 70 [ 2:40] searching: 4442 states found in 2:23, averaging 30.9, queued: 72 [ 2:40] searching: 4459 states found in 2:24, averaging 30.9, queued: 72 [ 2:41] searching: 4479 states found in 2:24, averaging 30.9, queued: 70 [ 2:41] searching: 4490 states found in 2:25, averaging 30.9, queued: 72 [ 2:42] searching: 4493 states found in 2:25, averaging 30.8, queued: 72 [ 2:42] searching: 4508 states found in 2:26, averaging 30.8, queued: 72 [ 2:43] searching: 4529 states found in 2:26, averaging 30.9, queued: 72 [ 2:43] searching: 4546 states found in 2:27, averaging 30.9, queued: 72 [ 2:44] searching: 4564 states found in 2:27, averaging 30.9, queued: 74 [ 2:44] searching: 4582 states found in 2:28, averaging 30.9, queued: 74 [ 2:45] searching: 4605 states found in 2:28, averaging 31.0, queued: 74 [ 2:45] searching: 4616 states found in 2:29, averaging 30.9, queued: 72 [ 2:46] searching: 4630 states found in 2:29, averaging 30.9, queued: 74 [ 2:46] searching: 4644 states found in 2:30, averaging 30.9, queued: 74 [ 2:47] searching: 4656 states found in 2:30, averaging 30.9, queued: 74 [ 2:47] searching: 4671 states found in 2:31, averaging 30.9, queued: 74 [ 2:48] searching: 4690 states found in 2:31, averaging 30.9, queued: 76 [ 2:48] searching: 4706 states found in 2:32, averaging 30.9, queued: 76 [ 2:49] searching: 4718 states found in 2:32, averaging 30.9, queued: 76 [ 2:49] searching: 4732 states found in 2:33, averaging 30.9, queued: 76 [ 2:49] searching: 4746 states found in 2:33, averaging 30.9, queued: 76 [ 2:50] searching: 4762 states found in 2:34, averaging 30.9, queued: 76 [ 2:51] searching: 4786 states found in 2:34, averaging 30.9, queued: 76 [ 2:51] searching: 4806 states found in 2:35, averaging 31.0, queued: 76 [ 2:52] searching: 4821 states found in 2:35, averaging 30.9, queued: 78 [ 2:52] searching: 4844 states found in 2:36, averaging 31.0, queued: 78 [ 2:53] searching: 4858 states found in 2:36, averaging 31.0, queued: 78 [ 2:53] searching: 4872 states found in 2:37, averaging 31.0, queued: 76 [ 2:54] searching: 4889 states found in 2:37, averaging 31.0, queued: 78 [ 2:54] searching: 4897 states found in 2:38, averaging 30.9, queued: 78 [ 2:55] searching: 4918 states found in 2:38, averaging 31.0, queued: 78 [ 2:55] searching: 4932 states found in 2:39, averaging 31.0, queued: 78 [ 2:56] searching: 4949 states found in 2:39, averaging 31.0, queued: 80 [ 2:56] searching: 4972 states found in 2:40, averaging 31.0, queued: 80 [ 2:57] searching: 4985 states found in 2:40, averaging 31.0, queued: 78 [ 2:57] searching: 5004 states found in 2:41, averaging 31.0, queued: 80 [ 2:58] searching: 5023 states found in 2:41, averaging 31.0, queued: 80 [ 2:58] searching: 5040 states found in 2:42, averaging 31.1, queued: 80 [ 2:59] searching: 5063 states found in 2:42, averaging 31.1, queued: 80 [ 2:59] searching: 5083 states found in 2:43, averaging 31.1, queued: 82 [ 3:00] searching: 5106 states found in 2:43, averaging 31.2, queued: 80 [ 3:00] searching: 5127 states found in 2:44, averaging 31.2, queued: 80 [ 3:01] searching: 5145 states found in 2:44, averaging 31.2, queued: 82 [ 3:01] searching: 5162 states found in 2:45, averaging 31.2, queued: 82 [ 3:02] searching: 5183 states found in 2:45, averaging 31.3, queued: 82 [ 3:02] searching: 5199 states found in 2:46, averaging 31.3, queued: 84 [ 3:03] searching: 5213 states found in 2:46, averaging 31.3, queued: 84 [ 3:03] searching: 5231 states found in 2:47, averaging 31.3, queued: 82 [ 3:04] searching: 5252 states found in 2:47, averaging 31.3, queued: 82 [ 3:04] searching: 5268 states found in 2:48, averaging 31.3, queued: 84 [ 3:05] searching: 5282 states found in 2:48, averaging 31.3, queued: 84 [ 3:05] searching: 5303 states found in 2:49, averaging 31.3, queued: 84 [ 3:06] searching: 5323 states found in 2:49, averaging 31.3, queued: 86 [ 3:06] searching: 5338 states found in 2:50, averaging 31.3, queued: 86 [ 3:07] searching: 5356 states found in 2:50, averaging 31.4, queued: 84 [ 3:07] searching: 5377 states found in 2:51, averaging 31.4, queued: 84 [ 3:08] searching: 5393 states found in 2:51, averaging 31.4, queued: 86 [ 3:08] searching: 5407 states found in 2:52, averaging 31.4, queued: 86 [ 3:09] searching: 5422 states found in 2:52, averaging 31.4, queued: 86 [ 3:09] searching: 5439 states found in 2:53, averaging 31.4, queued: 86 [ 3:10] searching: 5458 states found in 2:53, averaging 31.4, queued: 88 [ 3:10] searching: 5477 states found in 2:54, averaging 31.4, queued: 86 [ 3:11] searching: 5488 states found in 2:54, averaging 31.4, queued: 86 [ 3:11] searching: 5502 states found in 2:55, averaging 31.4, queued: 86 [ 3:12] searching: 5513 states found in 2:55, averaging 31.4, queued: 88 [ 3:12] searching: 5528 states found in 2:56, averaging 31.3, queued: 88 [ 3:13] searching: 5548 states found in 2:56, averaging 31.4, queued: 88 [ 3:13] searching: 5556 states found in 2:57, averaging 31.3, queued: 88 [ 3:14] searching: 5579 states found in 2:57, averaging 31.4, queued: 90 [ 3:14] searching: 5593 states found in 2:58, averaging 31.4, queued: 90 [ 3:15] searching: 5613 states found in 2:58, averaging 31.4, queued: 88 [ 3:15] searching: 5623 states found in 2:59, averaging 31.4, queued: 88 [ 3:16] searching: 5648 states found in 2:59, averaging 31.4, queued: 90 [ 3:16] searching: 5665 states found in 3:00, averaging 31.4, queued: 90 [ 3:17] searching: 5672 states found in 3:00, averaging 31.4, queued: 90 [ 3:17] searching: 5692 states found in 3:01, averaging 31.4, queued: 90 [ 3:18] searching: 5706 states found in 3:01, averaging 31.4, queued: 92 [ 3:18] searching: 5727 states found in 3:02, averaging 31.4, queued: 92 [ 3:19] searching: 5742 states found in 3:02, averaging 31.4, queued: 92 [ 3:19] searching: 5760 states found in 3:03, averaging 31.4, queued: 92 [ 3:20] searching: 5766 states found in 3:03, averaging 31.4, queued: 90 [ 3:20] searching: 5779 states found in 3:04, averaging 31.3, queued: 92 [ 3:21] searching: 5799 states found in 3:04, averaging 31.4, queued: 92 [ 3:21] searching: 5819 states found in 3:05, averaging 31.4, queued: 92 [ 3:22] searching: 5834 states found in 3:05, averaging 31.4, queued: 94 [ 3:22] searching: 5850 states found in 3:06, averaging 31.4, queued: 94 [ 3:23] searching: 5866 states found in 3:06, averaging 31.4, queued: 94 [ 3:23] searching: 5881 states found in 3:07, averaging 31.4, queued: 94 [ 3:24] searching: 5896 states found in 3:07, averaging 31.4, queued: 94 [ 3:24] searching: 5910 states found in 3:08, averaging 31.4, queued: 94 [ 3:25] searching: 5923 states found in 3:08, averaging 31.4, queued: 94 [ 3:25] searching: 5939 states found in 3:09, averaging 31.4, queued: 94 [ 3:26] searching: 5957 states found in 3:09, averaging 31.4, queued: 94 [ 3:26] searching: 5974 states found in 3:10, averaging 31.4, queued: 96 [ 3:27] searching: 5986 states found in 3:10, averaging 31.4, queued: 96 [ 3:27] searching: 6002 states found in 3:11, averaging 31.4, queued: 96 [ 3:28] searching: 6013 states found in 3:11, averaging 31.3, queued: 96 [ 3:28] searching: 6026 states found in 3:12, averaging 31.3, queued: 98 [ 3:29] searching: 6032 states found in 3:12, averaging 31.3, queued: 98 [ 3:29] searching: 6051 states found in 3:13, averaging 31.3, queued: 96 [ 3:30] searching: 6062 states found in 3:13, averaging 31.3, queued: 96 [ 3:30] searching: 6073 states found in 3:14, averaging 31.2, queued: 96 [ 3:31] searching: 6088 states found in 3:14, averaging 31.2, queued: 96 [ 3:31] searching: 6103 states found in 3:15, averaging 31.2, queued: 98 [ 3:32] searching: 6112 states found in 3:15, averaging 31.2, queued: 98 [ 3:32] searching: 6125 states found in 3:16, averaging 31.2, queued: 98 [ 3:33] searching: 6136 states found in 3:16, averaging 31.2, queued: 98 [ 3:33] searching: 6149 states found in 3:17, averaging 31.1, queued: 98 [ 3:34] searching: 6159 states found in 3:17, averaging 31.1, queued: 98 [ 3:34] searching: 6170 states found in 3:18, averaging 31.1, queued: 98 [ 3:35] searching: 6184 states found in 3:18, averaging 31.1, queued: 98 [ 3:35] searching: 6200 states found in 3:19, averaging 31.1, queued: 98 [ 3:36] searching: 6222 states found in 3:19, averaging 31.1, queued: 100 [ 3:36] searching: 6241 states found in 3:20, averaging 31.1, queued: 100 [ 3:37] searching: 6258 states found in 3:20, averaging 31.1, queued: 100 [ 3:37] searching: 6266 states found in 3:21, averaging 31.1, queued: 100 [ 3:38] searching: 6292 states found in 3:21, averaging 31.2, queued: 100 [ 3:38] searching: 6314 states found in 3:22, averaging 31.2, queued: 100 [ 3:39] searching: 6331 states found in 3:22, averaging 31.2, queued: 100 [ 3:39] searching: 6348 states found in 3:23, averaging 31.2, queued: 102 [ 3:40] searching: 6366 states found in 3:23, averaging 31.2, queued: 102 [ 3:40] searching: 6380 states found in 3:24, averaging 31.2, queued: 102 [ 3:41] searching: 6398 states found in 3:24, averaging 31.2, queued: 100 [ 3:41] searching: 6422 states found in 3:25, averaging 31.3, queued: 102 [ 3:42] searching: 6447 states found in 3:25, averaging 31.3, queued: 102 [ 3:42] searching: 6467 states found in 3:26, averaging 31.3, queued: 102 [ 3:43] searching: 6489 states found in 3:26, averaging 31.4, queued: 104 [ 3:43] searching: 6508 states found in 3:27, averaging 31.4, queued: 104 [ 3:44] searching: 6525 states found in 3:27, averaging 31.4, queued: 104 [ 3:44] searching: 6542 states found in 3:28, averaging 31.4, queued: 104 [ 3:45] searching: 6556 states found in 3:28, averaging 31.4, queued: 104 [ 3:45] searching: 6568 states found in 3:29, averaging 31.4, queued: 104 [ 3:46] searching: 6587 states found in 3:29, averaging 31.4, queued: 104 [ 3:46] searching: 6606 states found in 3:30, averaging 31.4, queued: 106 [ 3:47] searching: 6619 states found in 3:30, averaging 31.4, queued: 106 [ 3:47] searching: 6632 states found in 3:31, averaging 31.4, queued: 104 [ 3:48] searching: 6646 states found in 3:31, averaging 31.4, queued: 104 [ 3:48] searching: 6658 states found in 3:32, averaging 31.3, queued: 104 [ 3:49] searching: 6673 states found in 3:32, averaging 31.3, queued: 106 [ 3:49] searching: 6686 states found in 3:33, averaging 31.3, queued: 106 [ 3:50] searching: 6696 states found in 3:33, averaging 31.3, queued: 106 [ 3:51] searching: 6707 states found in 3:34, averaging 31.3, queued: 106 [ 3:51] searching: 6726 states found in 3:34, averaging 31.3, queued: 106 [ 3:51] searching: 6738 states found in 3:35, averaging 31.3, queued: 106 [ 3:52] searching: 6753 states found in 3:35, averaging 31.3, queued: 106 [ 3:52] searching: 6774 states found in 3:36, averaging 31.3, queued: 106 [ 3:53] searching: 6797 states found in 3:36, averaging 31.3, queued: 108 [ 3:53] searching: 6813 states found in 3:37, averaging 31.3, queued: 106 [ 3:54] searching: 6836 states found in 3:37, averaging 31.4, queued: 106 [ 3:54] searching: 6852 states found in 3:38, averaging 31.4, queued: 106 [ 3:55] searching: 6863 states found in 3:38, averaging 31.3, queued: 108 [ 3:55] searching: 6887 states found in 3:39, averaging 31.4, queued: 108 [ 3:56] searching: 6906 states found in 3:39, averaging 31.4, queued: 108 [ 3:56] searching: 6926 states found in 3:40, averaging 31.4, queued: 108 [ 3:57] searching: 6934 states found in 3:40, averaging 31.4, queued: 108 [ 3:57] searching: 6948 states found in 3:41, averaging 31.4, queued: 108 [ 3:58] searching: 6962 states found in 3:41, averaging 31.4, queued: 108 [ 3:58] searching: 6973 states found in 3:42, averaging 31.3, queued: 108 [ 3:59] searching: 6988 states found in 3:42, averaging 31.3, queued: 110 [ 3:59] searching: 7006 states found in 3:43, averaging 31.3, queued: 110 [ 4:00] searching: 7029 states found in 3:43, averaging 31.4, queued: 110 [ 4:00] searching: 7051 states found in 3:44, averaging 31.4, queued: 110 [ 4:01] searching: 7071 states found in 3:44, averaging 31.4, queued: 110 [ 4:01] searching: 7089 states found in 3:45, averaging 31.4, queued: 110 [ 4:02] searching: 7103 states found in 3:45, averaging 31.4, queued: 110 [ 4:02] searching: 7118 states found in 3:46, averaging 31.4, queued: 112 [ 4:03] searching: 7132 states found in 3:47, averaging 31.4, queued: 112 [ 4:03] searching: 7148 states found in 3:47, averaging 31.4, queued: 112 [ 4:04] searching: 7162 states found in 3:48, averaging 31.4, queued: 112 [ 4:04] searching: 7183 states found in 3:48, averaging 31.4, queued: 112 [ 4:05] searching: 7201 states found in 3:49, averaging 31.4, queued: 112 [ 4:05] searching: 7219 states found in 3:49, averaging 31.5, queued: 112 [ 4:06] searching: 7238 states found in 3:50, averaging 31.5, queued: 112 [ 4:06] searching: 7253 states found in 3:50, averaging 31.5, queued: 114 [ 4:07] searching: 7267 states found in 3:51, averaging 31.5, queued: 114 [ 4:07] searching: 7280 states found in 3:51, averaging 31.4, queued: 112 [ 4:08] searching: 7294 states found in 3:52, averaging 31.4, queued: 112 [ 4:08] searching: 7306 states found in 3:52, averaging 31.4, queued: 114 [ 4:09] searching: 7324 states found in 3:53, averaging 31.4, queued: 114 [ 4:09] searching: 7338 states found in 3:53, averaging 31.4, queued: 114 [ 4:10] searching: 7360 states found in 3:54, averaging 31.4, queued: 114 [ 4:10] searching: 7377 states found in 3:54, averaging 31.5, queued: 116 [ 4:11] searching: 7394 states found in 3:55, averaging 31.5, queued: 114 [ 4:11] searching: 7415 states found in 3:55, averaging 31.5, queued: 114 [ 4:12] searching: 7431 states found in 3:56, averaging 31.5, queued: 114 [ 4:12] searching: 7445 states found in 3:56, averaging 31.5, queued: 116 [ 4:13] searching: 7463 states found in 3:57, averaging 31.5, queued: 116 [ 4:13] searching: 7473 states found in 3:57, averaging 31.5, queued: 116 [ 4:14] searching: 7488 states found in 3:58, averaging 31.5, queued: 114 [ 4:14] searching: 7501 states found in 3:58, averaging 31.4, queued: 116 [ 4:15] searching: 7512 states found in 3:59, averaging 31.4, queued: 116 [ 4:15] searching: 7524 states found in 3:59, averaging 31.4, queued: 116 [ 4:16] searching: 7543 states found in 4:00, averaging 31.4, queued: 116 [ 4:16] searching: 7556 states found in 4:00, averaging 31.4, queued: 116 [ 4:17] searching: 7566 states found in 4:01, averaging 31.4, queued: 118 [ 4:17] searching: 7585 states found in 4:01, averaging 31.4, queued: 118 [ 4:18] searching: 7596 states found in 4:02, averaging 31.4, queued: 118 [ 4:18] searching: 7612 states found in 4:02, averaging 31.4, queued: 118 [ 4:19] searching: 7624 states found in 4:03, averaging 31.4, queued: 118 [ 4:19] searching: 7637 states found in 4:03, averaging 31.4, queued: 118 [ 4:20] searching: 7654 states found in 4:04, averaging 31.4, queued: 118 [ 4:20] searching: 7669 states found in 4:04, averaging 31.4, queued: 118 [ 4:21] searching: 7685 states found in 4:05, averaging 31.4, queued: 118 [ 4:21] searching: 7704 states found in 4:05, averaging 31.4, queued: 120 [ 4:22] searching: 7720 states found in 4:06, averaging 31.4, queued: 120 [ 4:22] searching: 7741 states found in 4:06, averaging 31.4, queued: 120 [ 4:23] searching: 7752 states found in 4:07, averaging 31.4, queued: 120 [ 4:23] searching: 7766 states found in 4:07, averaging 31.4, queued: 120 [ 4:24] searching: 7783 states found in 4:08, averaging 31.4, queued: 120 [ 4:24] searching: 7799 states found in 4:08, averaging 31.4, queued: 120 [ 4:25] searching: 7822 states found in 4:09, averaging 31.4, queued: 122 [ 4:25] searching: 7843 states found in 4:09, averaging 31.4, queued: 122 [ 4:26] searching: 7854 states found in 4:10, averaging 31.4, queued: 122 [ 4:26] searching: 7866 states found in 4:10, averaging 31.4, queued: 122 [ 4:27] searching: 7874 states found in 4:11, averaging 31.4, queued: 122 [ 4:27] searching: 7878 states found in 4:11, averaging 31.3, queued: 120 [ 4:28] searching: 7893 states found in 4:12, averaging 31.3, queued: 122 [ 4:28] searching: 7914 states found in 4:12, averaging 31.3, queued: 122 [ 4:29] searching: 7931 states found in 4:13, averaging 31.3, queued: 122 [ 4:29] searching: 7949 states found in 4:13, averaging 31.3, queued: 124 [ 4:30] searching: 7968 states found in 4:14, averaging 31.4, queued: 124 [ 4:30] searching: 7991 states found in 4:14, averaging 31.4, queued: 124 [ 4:31] searching: 8005 states found in 4:15, averaging 31.4, queued: 124 [ 4:31] searching: 8017 states found in 4:15, averaging 31.4, queued: 126 [ 4:32] searching: 8033 states found in 4:16, averaging 31.4, queued: 124 [ 4:32] searching: 8049 states found in 4:16, averaging 31.4, queued: 124 [ 4:33] searching: 8066 states found in 4:17, averaging 31.4, queued: 124 [ 4:33] searching: 8080 states found in 4:17, averaging 31.4, queued: 126 [ 4:34] searching: 8092 states found in 4:18, averaging 31.4, queued: 126 [ 4:35] searching: 8108 states found in 4:18, averaging 31.4, queued: 126 [ 4:35] searching: 8121 states found in 4:19, averaging 31.3, queued: 126 [ 4:36] searching: 8138 states found in 4:19, averaging 31.3, queued: 128 [ 4:36] searching: 8158 states found in 4:20, averaging 31.4, queued: 128 [ 4:37] searching: 8183 states found in 4:20, averaging 31.4, queued: 126 [ 4:37] searching: 8195 states found in 4:21, averaging 31.4, queued: 126 [ 4:38] searching: 8218 states found in 4:21, averaging 31.4, queued: 128 [ 4:38] searching: 8240 states found in 4:22, averaging 31.4, queued: 128 [ 4:39] searching: 8256 states found in 4:22, averaging 31.4, queued: 128 [ 4:39] searching: 8270 states found in 4:23, averaging 31.4, queued: 130 [ 4:40] searching: 8280 states found in 4:23, averaging 31.4, queued: 130 [ 4:40] searching: 8298 states found in 4:24, averaging 31.4, queued: 128 [ 4:40] searching: 8314 states found in 4:24, averaging 31.4, queued: 128 [ 4:41] searching: 8334 states found in 4:25, averaging 31.4, queued: 130 [ 4:41] searching: 8353 states found in 4:25, averaging 31.4, queued: 130 [ 4:42] searching: 8369 states found in 4:26, averaging 31.4, queued: 130 [ 4:42] searching: 8389 states found in 4:26, averaging 31.5, queued: 130 [ 4:43] searching: 8408 states found in 4:27, averaging 31.5, queued: 130 [ 4:43] searching: 8427 states found in 4:27, averaging 31.5, queued: 130 [ 4:44] searching: 8453 states found in 4:28, averaging 31.5, queued: 130 [ 4:44] searching: 8479 states found in 4:28, averaging 31.6, queued: 132 [ 4:45] searching: 8496 states found in 4:29, averaging 31.6, queued: 132 [ 4:45] searching: 8509 states found in 4:29, averaging 31.6, queued: 132 [ 4:46] searching: 8526 states found in 4:30, averaging 31.6, queued: 134 [ 4:46] searching: 8547 states found in 4:30, averaging 31.6, queued: 134 [ 4:47] searching: 8572 states found in 4:31, averaging 31.6, queued: 132 [ 4:47] searching: 8589 states found in 4:31, averaging 31.6, queued: 134 [ 4:48] searching: 8612 states found in 4:32, averaging 31.6, queued: 134 [ 4:48] searching: 8627 states found in 4:32, averaging 31.6, queued: 134 [ 4:49] searching: 8649 states found in 4:33, averaging 31.7, queued: 136 [ 4:49] searching: 8665 states found in 4:33, averaging 31.7, queued: 136 [ 4:50] searching: 8684 states found in 4:34, averaging 31.7, queued: 134 [ 4:50] searching: 8702 states found in 4:34, averaging 31.7, queued: 134 [ 4:51] searching: 8720 states found in 4:35, averaging 31.7, queued: 136 [ 4:51] searching: 8732 states found in 4:35, averaging 31.7, queued: 136 [ 4:52] searching: 8747 states found in 4:36, averaging 31.7, queued: 136 [ 4:52] searching: 8765 states found in 4:36, averaging 31.7, queued: 136 [ 4:53] searching: 8785 states found in 4:37, averaging 31.7, queued: 138 [ 4:53] searching: 8798 states found in 4:37, averaging 31.7, queued: 138 [ 4:54] searching: 8820 states found in 4:38, averaging 31.7, queued: 138 [ 4:54] searching: 8838 states found in 4:38, averaging 31.7, queued: 136 [ 4:55] searching: 8854 states found in 4:39, averaging 31.7, queued: 138 [ 4:55] searching: 8872 states found in 4:39, averaging 31.7, queued: 138 [ 4:56] searching: 8885 states found in 4:40, averaging 31.7, queued: 138 [ 4:56] searching: 8898 states found in 4:40, averaging 31.7, queued: 138 [ 4:57] searching: 8913 states found in 4:41, averaging 31.7, queued: 140 [ 4:57] searching: 8933 states found in 4:41, averaging 31.7, queued: 140 [ 4:58] searching: 8955 states found in 4:42, averaging 31.7, queued: 140 [ 4:58] searching: 8976 states found in 4:42, averaging 31.8, queued: 140 [ 4:59] searching: 8992 states found in 4:43, averaging 31.8, queued: 140 [ 4:59] searching: 9010 states found in 4:43, averaging 31.8, queued: 140 [ 5:00] searching: 9030 states found in 4:44, averaging 31.8, queued: 140 [ 5:00] searching: 9041 states found in 4:44, averaging 31.8, queued: 142 [ 5:01] searching: 9054 states found in 4:45, averaging 31.7, queued: 142 [ 5:01] searching: 9060 states found in 4:45, averaging 31.7, queued: 140 [ 5:02] searching: 9083 states found in 4:46, averaging 31.7, queued: 140 [ 5:02] searching: 9095 states found in 4:46, averaging 31.7, queued: 140 [ 5:03] searching: 9113 states found in 4:47, averaging 31.7, queued: 142 [ 5:03] searching: 9131 states found in 4:47, averaging 31.7, queued: 142 [ 5:04] searching: 9148 states found in 4:48, averaging 31.7, queued: 142 [ 5:04] searching: 9159 states found in 4:48, averaging 31.7, queued: 142 [ 5:05] searching: 9173 states found in 4:49, averaging 31.7, queued: 144 [ 5:05] searching: 9186 states found in 4:49, averaging 31.7, queued: 144 [ 5:06] searching: 9202 states found in 4:50, averaging 31.7, queued: 142 [ 5:06] searching: 9217 states found in 4:50, averaging 31.7, queued: 142 [ 5:07] searching: 9233 states found in 4:51, averaging 31.7, queued: 144 [ 5:07] searching: 9252 states found in 4:51, averaging 31.7, queued: 144 [ 5:08] searching: 9271 states found in 4:52, averaging 31.7, queued: 144 [ 5:08] searching: 9289 states found in 4:52, averaging 31.7, queued: 146 [ 5:09] searching: 9307 states found in 4:53, averaging 31.7, queued: 146 [ 5:09] searching: 9318 states found in 4:53, averaging 31.7, queued: 146 [ 5:10] searching: 9331 states found in 4:54, averaging 31.7, queued: 144 [ 5:10] searching: 9343 states found in 4:54, averaging 31.7, queued: 144 [ 5:11] searching: 9357 states found in 4:55, averaging 31.7, queued: 146 [ 5:11] searching: 9369 states found in 4:55, averaging 31.7, queued: 146 [ 5:12] searching: 9383 states found in 4:56, averaging 31.7, queued: 146 [ 5:12] searching: 9393 states found in 4:56, averaging 31.7, queued: 146 [ 5:13] searching: 9405 states found in 4:57, averaging 31.6, queued: 146 [ 5:13] searching: 9421 states found in 4:57, averaging 31.6, queued: 148 [ 5:14] searching: 9438 states found in 4:58, averaging 31.6, queued: 146 [ 5:14] searching: 9452 states found in 4:58, averaging 31.6, queued: 146 [ 5:15] searching: 9466 states found in 4:59, averaging 31.6, queued: 146 [ 5:15] searching: 9481 states found in 4:59, averaging 31.6, queued: 148 [ 5:16] searching: 9490 states found in 5:00, averaging 31.6, queued: 148 [ 5:16] searching: 9506 states found in 5:00, averaging 31.6, queued: 148 [ 5:17] searching: 9522 states found in 5:01, averaging 31.6, queued: 148 [ 5:17] searching: 9537 states found in 5:01, averaging 31.6, queued: 148 [ 5:18] searching: 9547 states found in 5:02, averaging 31.6, queued: 150 [ 5:18] searching: 9558 states found in 5:02, averaging 31.6, queued: 150 [ 5:19] searching: 9582 states found in 5:03, averaging 31.6, queued: 148 [ 5:19] searching: 9597 states found in 5:03, averaging 31.6, queued: 148 [ 5:20] searching: 9615 states found in 5:04, averaging 31.6, queued: 150 [ 5:20] searching: 9638 states found in 5:04, averaging 31.6, queued: 150 [ 5:21] searching: 9662 states found in 5:05, averaging 31.6, queued: 150 [ 5:21] searching: 9683 states found in 5:05, averaging 31.7, queued: 152 [ 5:22] searching: 9694 states found in 5:06, averaging 31.6, queued: 150 [ 5:22] searching: 9714 states found in 5:06, averaging 31.7, queued: 150 [ 5:23] searching: 9730 states found in 5:07, averaging 31.7, queued: 150 [ 5:23] searching: 9753 states found in 5:07, averaging 31.7, queued: 152 [ 5:24] searching: 9768 states found in 5:08, averaging 31.7, queued: 152 [ 5:24] searching: 9783 states found in 5:08, averaging 31.7, queued: 152 [ 5:25] searching: 9802 states found in 5:09, averaging 31.7, queued: 154 [ 5:25] searching: 9816 states found in 5:09, averaging 31.7, queued: 152 [ 5:26] searching: 9829 states found in 5:10, averaging 31.7, queued: 152 [ 5:27] searching: 9842 states found in 5:10, averaging 31.7, queued: 152 [ 5:27] searching: 9851 states found in 5:11, averaging 31.6, queued: 152 [ 5:28] searching: 9869 states found in 5:11, averaging 31.7, queued: 154 [ 5:28] searching: 9886 states found in 5:12, averaging 31.7, queued: 154 [ 5:29] searching: 9900 states found in 5:12, averaging 31.6, queued: 154 [ 5:29] searching: 9916 states found in 5:13, averaging 31.6, queued: 152 [ 5:30] searching: 9928 states found in 5:13, averaging 31.6, queued: 152 [ 5:30] searching: 9945 states found in 5:14, averaging 31.6, queued: 154 [ 5:31] searching: 9961 states found in 5:14, averaging 31.6, queued: 154 [ 5:31] searching: 9981 states found in 5:15, averaging 31.7, queued: 154 [ 5:32] searching: 9998 states found in 5:15, averaging 31.7, queued: 154 [ 5:32] searching: 10011 states found in 5:16, averaging 31.6, queued: 154 [ 5:33] searching: 10029 states found in 5:16, averaging 31.7, queued: 154 [ 5:33] searching: 10044 states found in 5:17, averaging 31.7, queued: 154 [ 5:34] searching: 10068 states found in 5:17, averaging 31.7, queued: 156 [ 5:34] searching: 10087 states found in 5:18, averaging 31.7, queued: 156 [ 5:35] searching: 10109 states found in 5:18, averaging 31.7, queued: 156 [ 5:35] searching: 10127 states found in 5:19, averaging 31.7, queued: 158 [ 5:36] searching: 10144 states found in 5:19, averaging 31.7, queued: 156 [ 5:36] searching: 10173 states found in 5:20, averaging 31.8, queued: 156 [ 5:37] searching: 10189 states found in 5:20, averaging 31.8, queued: 158 [ 5:37] searching: 10212 states found in 5:21, averaging 31.8, queued: 158 [ 5:38] searching: 10228 states found in 5:21, averaging 31.8, queued: 158 [ 5:38] searching: 10242 states found in 5:22, averaging 31.8, queued: 156 [ 5:39] searching: 10255 states found in 5:22, averaging 31.8, queued: 158 [ 5:39] searching: 10279 states found in 5:23, averaging 31.8, queued: 158 [ 5:40] searching: 10300 states found in 5:23, averaging 31.8, queued: 158 [ 5:40] searching: 10315 states found in 5:24, averaging 31.8, queued: 160 [ 5:41] searching: 10326 states found in 5:24, averaging 31.8, queued: 160 [ 5:41] searching: 10342 states found in 5:25, averaging 31.8, queued: 158 [ 5:42] searching: 10354 states found in 5:25, averaging 31.8, queued: 158 [ 5:42] searching: 10369 states found in 5:26, averaging 31.8, queued: 158 [ 5:43] searching: 10382 states found in 5:26, averaging 31.8, queued: 160 [ 5:43] searching: 10406 states found in 5:27, averaging 31.8, queued: 160 [ 5:44] searching: 10428 states found in 5:27, averaging 31.8, queued: 160 [ 5:44] searching: 10446 states found in 5:28, averaging 31.8, queued: 162 [ 5:45] searching: 10466 states found in 5:28, averaging 31.8, queued: 162 [ 5:45] searching: 10484 states found in 5:29, averaging 31.8, queued: 160 [ 5:46] searching: 10500 states found in 5:29, averaging 31.8, queued: 160 [ 5:46] searching: 10511 states found in 5:30, averaging 31.8, queued: 162 [ 5:47] searching: 10531 states found in 5:30, averaging 31.8, queued: 162 [ 5:47] searching: 10548 states found in 5:31, averaging 31.8, queued: 162 [ 5:48] searching: 10568 states found in 5:31, averaging 31.8, queued: 162 [ 5:48] searching: 10583 states found in 5:32, averaging 31.8, queued: 162 [ 5:49] searching: 10596 states found in 5:32, averaging 31.8, queued: 162 [ 5:49] searching: 10615 states found in 5:33, averaging 31.8, queued: 162 [ 5:50] searching: 10631 states found in 5:33, averaging 31.8, queued: 162 [ 5:50] searching: 10644 states found in 5:34, averaging 31.8, queued: 164 [ 5:51] searching: 10663 states found in 5:34, averaging 31.8, queued: 164 [ 5:51] searching: 10683 states found in 5:35, averaging 31.9, queued: 164 [ 5:52] searching: 10705 states found in 5:35, averaging 31.9, queued: 166 [ 5:52] searching: 10717 states found in 5:36, averaging 31.9, queued: 164 [ 5:53] searching: 10732 states found in 5:36, averaging 31.9, queued: 164 [ 5:53] searching: 10744 states found in 5:37, averaging 31.8, queued: 164 [ 5:54] searching: 10760 states found in 5:37, averaging 31.8, queued: 164 [ 5:54] searching: 10775 states found in 5:38, averaging 31.8, queued: 166 [ 5:55] searching: 10787 states found in 5:38, averaging 31.8, queued: 166 [ 5:55] searching: 10811 states found in 5:39, averaging 31.9, queued: 164 [ 5:56] searching: 10823 states found in 5:39, averaging 31.8, queued: 164 [ 5:56] searching: 10836 states found in 5:40, averaging 31.8, queued: 166 [ 5:57] searching: 10851 states found in 5:40, averaging 31.8, queued: 166 [ 5:57] searching: 10862 states found in 5:41, averaging 31.8, queued: 166 [ 5:58] searching: 10877 states found in 5:41, averaging 31.8, queued: 166 [ 5:58] searching: 10892 states found in 5:42, averaging 31.8, queued: 168 [ 5:59] searching: 10904 states found in 5:42, averaging 31.8, queued: 168 [ 5:59] searching: 10916 states found in 5:43, averaging 31.8, queued: 166 [ 6:00] searching: 10934 states found in 5:43, averaging 31.8, queued: 166 [ 6:00] searching: 10943 states found in 5:44, averaging 31.8, queued: 166 [ 6:01] searching: 10962 states found in 5:44, averaging 31.8, queued: 168 [ 6:01] searching: 10975 states found in 5:45, averaging 31.8, queued: 168 [ 6:02] searching: 10992 states found in 5:45, averaging 31.8, queued: 168 [ 6:02] searching: 11003 states found in 5:46, averaging 31.8, queued: 168 [ 6:03] searching: 11012 states found in 5:46, averaging 31.7, queued: 168 [ 6:03] searching: 11030 states found in 5:47, averaging 31.7, queued: 170 [ 6:04] searching: 11045 states found in 5:47, averaging 31.7, queued: 170 [ 6:04] searching: 11067 states found in 5:48, averaging 31.8, queued: 168 [ 6:05] searching: 11084 states found in 5:48, averaging 31.8, queued: 170 [ 6:05] searching: 11098 states found in 5:49, averaging 31.8, queued: 170 [ 6:06] searching: 11116 states found in 5:49, averaging 31.8, queued: 170 [ 6:06] searching: 11133 states found in 5:50, averaging 31.8, queued: 170 [ 6:07] searching: 11145 states found in 5:50, averaging 31.8, queued: 172 [ 6:07] searching: 11160 states found in 5:51, averaging 31.8, queued: 172 [ 6:08] searching: 11175 states found in 5:51, averaging 31.7, queued: 172 [ 6:08] searching: 11199 states found in 5:52, averaging 31.8, queued: 170 [ 6:09] searching: 11221 states found in 5:52, averaging 31.8, queued: 172 [ 6:09] searching: 11235 states found in 5:53, averaging 31.8, queued: 172 [ 6:10] searching: 11249 states found in 5:53, averaging 31.8, queued: 172 [ 6:10] searching: 11258 states found in 5:54, averaging 31.8, queued: 172 [ 6:11] searching: 11270 states found in 5:54, averaging 31.7, queued: 172 [ 6:11] searching: 11291 states found in 5:55, averaging 31.8, queued: 174 [ 6:12] searching: 11310 states found in 5:55, averaging 31.8, queued: 174 [ 6:12] searching: 11323 states found in 5:56, averaging 31.8, queued: 174 [ 6:13] searching: 11333 states found in 5:56, averaging 31.7, queued: 174 [ 6:13] searching: 11348 states found in 5:57, averaging 31.7, queued: 174 [ 6:14] searching: 11371 states found in 5:58, averaging 31.8, queued: 174 [ 6:14] searching: 11392 states found in 5:58, averaging 31.8, queued: 174 [ 6:15] searching: 11402 states found in 5:59, averaging 31.8, queued: 176 [ 6:15] searching: 11415 states found in 5:59, averaging 31.8, queued: 176 [ 6:16] searching: 11428 states found in 6:00, averaging 31.7, queued: 176 [ 6:16] searching: 11439 states found in 6:00, averaging 31.7, queued: 176 [ 6:17] searching: 11452 states found in 6:01, averaging 31.7, queued: 176 [ 6:18] searching: 11465 states found in 6:01, averaging 31.7, queued: 176 [ 6:18] searching: 11474 states found in 6:02, averaging 31.7, queued: 176 [ 6:19] searching: 11494 states found in 6:02, averaging 31.7, queued: 176 [ 6:19] searching: 11510 states found in 6:03, averaging 31.7, queued: 176 [ 6:20] searching: 11524 states found in 6:03, averaging 31.7, queued: 176 [ 6:20] searching: 11538 states found in 6:04, averaging 31.7, queued: 178 [ 6:21] searching: 11553 states found in 6:04, averaging 31.7, queued: 178 [ 6:21] searching: 11568 states found in 6:05, averaging 31.7, queued: 178 [ 6:21] searching: 11585 states found in 6:05, averaging 31.7, queued: 178 [ 6:22] searching: 11595 states found in 6:06, averaging 31.7, queued: 178 [ 6:22] searching: 11606 states found in 6:06, averaging 31.7, queued: 178 [ 6:23] searching: 11620 states found in 6:07, averaging 31.7, queued: 178 [ 6:23] searching: 11634 states found in 6:07, averaging 31.7, queued: 178 [ 6:24] searching: 11644 states found in 6:08, averaging 31.6, queued: 178 [ 6:24] searching: 11661 states found in 6:08, averaging 31.6, queued: 180 [ 6:25] searching: 11672 states found in 6:09, averaging 31.6, queued: 180 [ 6:25] searching: 11685 states found in 6:09, averaging 31.6, queued: 180 [ 6:26] searching: 11700 states found in 6:10, averaging 31.6, queued: 178 [ 6:26] searching: 11712 states found in 6:10, averaging 31.6, queued: 178 [ 6:27] searching: 11725 states found in 6:11, averaging 31.6, queued: 180 [ 6:28] searching: 11736 states found in 6:11, averaging 31.6, queued: 180 [ 6:28] searching: 11751 states found in 6:12, averaging 31.6, queued: 180 [ 6:29] searching: 11766 states found in 6:12, averaging 31.6, queued: 180 [ 6:29] searching: 11780 states found in 6:13, averaging 31.6, queued: 180 [ 6:30] searching: 11797 states found in 6:13, averaging 31.6, queued: 182 [ 6:30] searching: 11813 states found in 6:14, averaging 31.6, queued: 182 [ 6:31] searching: 11829 states found in 6:14, averaging 31.6, queued: 182 [ 6:31] searching: 11847 states found in 6:15, averaging 31.6, queued: 180 [ 6:32] searching: 11860 states found in 6:15, averaging 31.6, queued: 182 [ 6:32] searching: 11872 states found in 6:16, averaging 31.6, queued: 182 [ 6:33] searching: 11889 states found in 6:16, averaging 31.6, queued: 182 [ 6:33] searching: 11901 states found in 6:17, averaging 31.6, queued: 182 [ 6:34] searching: 11915 states found in 6:17, averaging 31.6, queued: 184 [ 6:34] searching: 11930 states found in 6:18, averaging 31.6, queued: 184 [ 6:35] searching: 11944 states found in 6:18, averaging 31.5, queued: 184 [ 6:35] searching: 11953 states found in 6:19, averaging 31.5, queued: 184 [ 6:36] searching: 11964 states found in 6:19, averaging 31.5, queued: 184 [ 6:36] searching: 11974 states found in 6:20, averaging 31.5, queued: 184 [ 6:37] searching: 11981 states found in 6:20, averaging 31.5, queued: 184 [ 6:37] searching: 11991 states found in 6:21, averaging 31.5, queued: 184 [ 6:38] searching: 12011 states found in 6:21, averaging 31.5, queued: 184 [ 6:38] searching: 12027 states found in 6:22, averaging 31.5, queued: 184 [ 6:39] searching: 12042 states found in 6:22, averaging 31.5, queued: 186 [ 6:39] searching: 12054 states found in 6:23, averaging 31.5, queued: 186 [ 6:40] searching: 12064 states found in 6:23, averaging 31.4, queued: 186 [ 6:40] searching: 12077 states found in 6:24, averaging 31.4, queued: 186 [ 6:41] searching: 12090 states found in 6:24, averaging 31.4, queued: 184 [ 6:41] searching: 12100 states found in 6:25, averaging 31.4, queued: 184 [ 6:42] searching: 12110 states found in 6:25, averaging 31.4, queued: 186 [ 6:42] searching: 12124 states found in 6:26, averaging 31.4, queued: 186 [ 6:43] searching: 12136 states found in 6:26, averaging 31.4, queued: 186 [ 6:43] searching: 12144 states found in 6:27, averaging 31.4, queued: 186 [ 6:44] searching: 12158 states found in 6:27, averaging 31.4, queued: 186 [ 6:44] searching: 12168 states found in 6:28, averaging 31.3, queued: 186 [ 6:45] searching: 12181 states found in 6:28, averaging 31.3, queued: 186 [ 6:45] searching: 12191 states found in 6:29, averaging 31.3, queued: 186 [ 6:46] searching: 12199 states found in 6:29, averaging 31.3, queued: 186 [ 6:46] searching: 12211 states found in 6:30, averaging 31.3, queued: 186 [ 6:47] searching: 12221 states found in 6:30, averaging 31.3, queued: 186 [ 6:47] searching: 12231 states found in 6:31, averaging 31.3, queued: 186 [ 6:48] searching: 12249 states found in 6:31, averaging 31.3, queued: 188 [ 6:48] searching: 12267 states found in 6:32, averaging 31.3, queued: 188 [ 6:49] searching: 12287 states found in 6:32, averaging 31.3, queued: 186 [ 6:49] searching: 12304 states found in 6:33, averaging 31.3, queued: 188 [ 6:50] searching: 12322 states found in 6:33, averaging 31.3, queued: 188 [ 6:50] searching: 12336 states found in 6:34, averaging 31.3, queued: 188 [ 6:51] searching: 12347 states found in 6:34, averaging 31.3, queued: 188 [ 6:51] searching: 12359 states found in 6:35, averaging 31.3, queued: 188 [ 6:51] searching: 12383 states found in 6:35, averaging 31.3, queued: 188 [ 6:52] searching: 12405 states found in 6:36, averaging 31.3, queued: 188 [ 6:52] searching: 12424 states found in 6:36, averaging 31.3, queued: 188 [ 6:53] searching: 12441 states found in 6:37, averaging 31.3, queued: 190 [ 6:53] searching: 12458 states found in 6:37, averaging 31.3, queued: 190 [ 6:54] searching: 12468 states found in 6:38, averaging 31.3, queued: 190 [ 6:54] searching: 12486 states found in 6:38, averaging 31.3, queued: 188 [ 6:55] searching: 12499 states found in 6:39, averaging 31.3, queued: 190 [ 6:55] searching: 12513 states found in 6:39, averaging 31.3, queued: 190 [ 6:56] searching: 12526 states found in 6:40, averaging 31.3, queued: 190 [ 6:56] searching: 12542 states found in 6:40, averaging 31.3, queued: 190 [ 6:57] searching: 12560 states found in 6:41, averaging 31.3, queued: 190 [ 6:57] searching: 12580 states found in 6:41, averaging 31.3, queued: 190 [ 6:58] searching: 12606 states found in 6:42, averaging 31.3, queued: 190 [ 6:58] searching: 12629 states found in 6:42, averaging 31.4, queued: 192 [ 6:59] searching: 12647 states found in 6:43, averaging 31.4, queued: 192 [ 6:59] searching: 12663 states found in 6:43, averaging 31.4, queued: 192 [ 7:00] searching: 12679 states found in 6:44, averaging 31.4, queued: 192 [ 7:00] searching: 12691 states found in 6:44, averaging 31.4, queued: 194 [ 7:01] searching: 12715 states found in 6:45, averaging 31.4, queued: 192 [ 7:01] searching: 12732 states found in 6:45, averaging 31.4, queued: 192 [ 7:02] searching: 12746 states found in 6:46, averaging 31.4, queued: 194 [ 7:02] searching: 12759 states found in 6:46, averaging 31.4, queued: 194 [ 7:03] searching: 12777 states found in 6:47, averaging 31.4, queued: 194 [ 7:03] searching: 12794 states found in 6:47, averaging 31.4, queued: 194 [ 7:04] searching: 12808 states found in 6:48, averaging 31.4, queued: 194 [ 7:04] searching: 12823 states found in 6:48, averaging 31.4, queued: 194 [ 7:05] searching: 12836 states found in 6:49, averaging 31.4, queued: 194 [ 7:05] searching: 12849 states found in 6:49, averaging 31.4, queued: 194 [ 7:06] searching: 12862 states found in 6:50, averaging 31.4, queued: 194 [ 7:06] searching: 12877 states found in 6:50, averaging 31.4, queued: 196 [ 7:07] searching: 12895 states found in 6:51, averaging 31.4, queued: 196 [ 7:07] searching: 12907 states found in 6:51, averaging 31.3, queued: 194 [ 7:08] searching: 12918 states found in 6:52, averaging 31.3, queued: 194 [ 7:08] searching: 12933 states found in 6:52, averaging 31.3, queued: 194 [ 7:09] searching: 12949 states found in 6:53, averaging 31.3, queued: 196 [ 7:09] searching: 12959 states found in 6:53, averaging 31.3, queued: 196 [ 7:10] searching: 12971 states found in 6:54, averaging 31.3, queued: 196 [ 7:10] searching: 12983 states found in 6:54, averaging 31.3, queued: 196 [ 7:11] searching: 12998 states found in 6:55, averaging 31.3, queued: 194 [ 7:11] searching: 13009 states found in 6:55, averaging 31.3, queued: 196 [ 7:12] searching: 13019 states found in 6:56, averaging 31.3, queued: 196 [ 7:12] searching: 13034 states found in 6:56, averaging 31.3, queued: 196 [ 7:13] searching: 13040 states found in 6:57, averaging 31.2, queued: 196 [ 7:13] searching: 13052 states found in 6:57, averaging 31.2, queued: 196 [ 7:14] searching: 13066 states found in 6:58, averaging 31.2, queued: 198 [ 7:14] searching: 13079 states found in 6:58, averaging 31.2, queued: 196 [ 7:15] searching: 13093 states found in 6:59, averaging 31.2, queued: 196 [ 7:15] searching: 13115 states found in 6:59, averaging 31.2, queued: 196 [ 7:16] searching: 13136 states found in 7:00, averaging 31.3, queued: 198 [ 7:16] searching: 13156 states found in 7:00, averaging 31.3, queued: 196 [ 7:17] searching: 13171 states found in 7:01, averaging 31.3, queued: 196 [ 7:17] searching: 13189 states found in 7:01, averaging 31.3, queued: 196 [ 7:18] searching: 13205 states found in 7:02, averaging 31.3, queued: 198 [ 7:18] searching: 13218 states found in 7:02, averaging 31.3, queued: 198 [ 7:19] searching: 13232 states found in 7:03, averaging 31.3, queued: 198 [ 7:19] searching: 13243 states found in 7:03, averaging 31.2, queued: 196 [ 7:20] searching: 13263 states found in 7:04, averaging 31.3, queued: 198 [ 7:20] searching: 13283 states found in 7:04, averaging 31.3, queued: 198 [ 7:21] searching: 13299 states found in 7:05, averaging 31.3, queued: 198 [ 7:21] searching: 13315 states found in 7:05, averaging 31.3, queued: 198 [ 7:22] searching: 13328 states found in 7:06, averaging 31.3, queued: 198 [ 7:22] searching: 13338 states found in 7:06, averaging 31.2, queued: 198 [ 7:23] searching: 13348 states found in 7:07, averaging 31.2, queued: 198 [ 7:23] searching: 13363 states found in 7:07, averaging 31.2, queued: 198 [ 7:24] searching: 13377 states found in 7:08, averaging 31.2, queued: 198 [ 7:24] searching: 13385 states found in 7:08, averaging 31.2, queued: 200 [ 7:25] searching: 13395 states found in 7:09, averaging 31.2, queued: 200 [ 7:25] searching: 13413 states found in 7:09, averaging 31.2, queued: 200 [ 7:26] searching: 13425 states found in 7:10, averaging 31.2, queued: 198 [ 7:26] searching: 13436 states found in 7:10, averaging 31.2, queued: 198 [ 7:27] searching: 13457 states found in 7:11, averaging 31.2, queued: 200 [ 7:27] searching: 13477 states found in 7:11, averaging 31.2, queued: 200 [ 7:28] searching: 13494 states found in 7:12, averaging 31.2, queued: 200 [ 7:28] searching: 13507 states found in 7:12, averaging 31.2, queued: 200 [ 7:29] searching: 13525 states found in 7:13, averaging 31.2, queued: 202 [ 7:29] searching: 13542 states found in 7:13, averaging 31.2, queued: 202 [ 7:30] searching: 13557 states found in 7:14, averaging 31.2, queued: 200 [ 7:30] searching: 13575 states found in 7:14, averaging 31.2, queued: 200 [ 7:31] searching: 13596 states found in 7:15, averaging 31.2, queued: 202 [ 7:31] searching: 13616 states found in 7:15, averaging 31.2, queued: 202 [ 7:32] searching: 13630 states found in 7:16, averaging 31.2, queued: 202 [ 7:32] searching: 13640 states found in 7:16, averaging 31.2, queued: 202 [ 7:33] searching: 13653 states found in 7:17, averaging 31.2, queued: 204 [ 7:33] searching: 13666 states found in 7:17, averaging 31.2, queued: 202 [ 7:34] searching: 13684 states found in 7:18, averaging 31.2, queued: 202 [ 7:34] searching: 13699 states found in 7:18, averaging 31.2, queued: 202 [ 7:35] searching: 13715 states found in 7:19, averaging 31.2, queued: 204 [ 7:35] searching: 13725 states found in 7:19, averaging 31.2, queued: 204 [ 7:36] searching: 13739 states found in 7:20, averaging 31.2, queued: 204 [ 7:36] searching: 13750 states found in 7:20, averaging 31.2, queued: 204 [ 7:37] searching: 13767 states found in 7:21, averaging 31.2, queued: 204 [ 7:37] searching: 13782 states found in 7:21, averaging 31.2, queued: 204 [ 7:38] searching: 13803 states found in 7:22, averaging 31.2, queued: 204 [ 7:38] searching: 13817 states found in 7:22, averaging 31.2, queued: 204 [ 7:39] searching: 13834 states found in 7:23, averaging 31.2, queued: 206 [ 7:39] searching: 13851 states found in 7:23, averaging 31.2, queued: 206 [ 7:40] searching: 13865 states found in 7:24, averaging 31.2, queued: 204 [ 7:41] searching: 13876 states found in 7:24, averaging 31.2, queued: 204 [ 7:41] searching: 13890 states found in 7:25, averaging 31.2, queued: 204 [ 7:42] searching: 13900 states found in 7:25, averaging 31.2, queued: 206 [ 7:42] searching: 13911 states found in 7:26, averaging 31.2, queued: 206 [ 7:43] searching: 13925 states found in 7:26, averaging 31.2, queued: 206 [ 7:43] searching: 13934 states found in 7:27, averaging 31.1, queued: 206 [ 7:44] searching: 13953 states found in 7:27, averaging 31.2, queued: 204 [ 7:44] searching: 13966 states found in 7:28, averaging 31.1, queued: 206 [ 7:45] searching: 13980 states found in 7:28, averaging 31.1, queued: 206 [ 7:45] searching: 13993 states found in 7:29, averaging 31.1, queued: 206 [ 7:46] searching: 14014 states found in 7:29, averaging 31.1, queued: 206 [ 7:46] searching: 14033 states found in 7:30, averaging 31.2, queued: 208 [ 7:47] searching: 14055 states found in 7:30, averaging 31.2, queued: 208 [ 7:47] searching: 14070 states found in 7:31, averaging 31.2, queued: 208 [ 7:48] searching: 14081 states found in 7:31, averaging 31.2, queued: 206 [ 7:48] searching: 14092 states found in 7:32, averaging 31.1, queued: 208 [ 7:49] searching: 14106 states found in 7:32, averaging 31.1, queued: 208 [ 7:49] searching: 14118 states found in 7:33, averaging 31.1, queued: 208 [ 7:50] searching: 14133 states found in 7:33, averaging 31.1, queued: 208 [ 7:50] searching: 14147 states found in 7:34, averaging 31.1, queued: 208 [ 7:51] searching: 14160 states found in 7:34, averaging 31.1, queued: 208 [ 7:51] searching: 14171 states found in 7:35, averaging 31.1, queued: 208 [ 7:52] searching: 14186 states found in 7:35, averaging 31.1, queued: 208 [ 7:52] searching: 14193 states found in 7:36, averaging 31.1, queued: 208 [ 7:53] searching: 14203 states found in 7:36, averaging 31.1, queued: 208 [ 7:53] searching: 14222 states found in 7:37, averaging 31.1, queued: 210 [ 7:54] searching: 14234 states found in 7:37, averaging 31.1, queued: 210 [ 7:54] searching: 14243 states found in 7:38, averaging 31.1, queued: 208 [ 7:55] searching: 14254 states found in 7:38, averaging 31.1, queued: 208 [ 7:55] searching: 14264 states found in 7:39, averaging 31.0, queued: 208 [ 7:56] searching: 14277 states found in 7:39, averaging 31.0, queued: 208 [ 7:56] searching: 14289 states found in 7:40, averaging 31.0, queued: 210 [ 7:57] searching: 14302 states found in 7:40, averaging 31.0, queued: 210 [ 7:57] searching: 14320 states found in 7:41, averaging 31.0, queued: 210 [ 7:58] searching: 14332 states found in 7:41, averaging 31.0, queued: 210 [ 7:58] searching: 14345 states found in 7:42, averaging 31.0, queued: 212 [ 7:59] searching: 14350 states found in 7:42, averaging 31.0, queued: 212 [ 7:59] searching: 14367 states found in 7:43, averaging 31.0, queued: 210 [ 8:00] searching: 14377 states found in 7:44, averaging 31.0, queued: 210 [ 8:00] searching: 14391 states found in 7:44, averaging 31.0, queued: 210 [ 8:01] searching: 14407 states found in 7:45, averaging 31.0, queued: 210 [ 8:01] searching: 14424 states found in 7:45, averaging 31.0, queued: 212 [ 8:02] searching: 14434 states found in 7:46, averaging 31.0, queued: 212 [ 8:02] searching: 14447 states found in 7:46, averaging 31.0, queued: 212 [ 8:03] searching: 14458 states found in 7:47, averaging 31.0, queued: 212 [ 8:03] searching: 14477 states found in 7:47, averaging 31.0, queued: 214 [ 8:04] searching: 14487 states found in 7:48, averaging 31.0, queued: 214 [ 8:04] searching: 14500 states found in 7:48, averaging 30.9, queued: 214 [ 8:05] searching: 14511 states found in 7:49, averaging 30.9, queued: 212 [ 8:05] searching: 14530 states found in 7:49, averaging 30.9, queued: 212 [ 8:06] searching: 14548 states found in 7:50, averaging 31.0, queued: 214 [ 8:06] searching: 14563 states found in 7:50, averaging 30.9, queued: 214 [ 8:07] searching: 14583 states found in 7:51, averaging 31.0, queued: 214 [ 8:07] searching: 14593 states found in 7:51, averaging 30.9, queued: 214 [ 8:08] searching: 14612 states found in 7:52, averaging 31.0, queued: 216 [ 8:08] searching: 14624 states found in 7:52, averaging 30.9, queued: 216 [ 8:09] searching: 14635 states found in 7:53, averaging 30.9, queued: 214 [ 8:09] searching: 14651 states found in 7:53, averaging 30.9, queued: 214 [ 8:10] searching: 14663 states found in 7:54, averaging 30.9, queued: 214 [ 8:10] searching: 14680 states found in 7:54, averaging 30.9, queued: 216 [ 8:11] searching: 14696 states found in 7:55, averaging 30.9, queued: 216 [ 8:11] searching: 14713 states found in 7:55, averaging 30.9, queued: 216 [ 8:12] searching: 14726 states found in 7:56, averaging 30.9, queued: 216 [ 8:12] searching: 14731 states found in 7:56, averaging 30.9, queued: 216 [ 8:13] searching: 14745 states found in 7:57, averaging 30.9, queued: 216 [ 8:13] searching: 14764 states found in 7:57, averaging 30.9, queued: 216 [ 8:14] searching: 14783 states found in 7:58, averaging 30.9, queued: 216 [ 8:14] searching: 14795 states found in 7:58, averaging 30.9, queued: 218 [ 8:15] searching: 14812 states found in 7:59, averaging 30.9, queued: 218 [ 8:15] searching: 14827 states found in 7:59, averaging 30.9, queued: 218 [ 8:16] searching: 14848 states found in 8:00, averaging 30.9, queued: 218 [ 8:16] searching: 14871 states found in 8:00, averaging 30.9, queued: 218 [ 8:17] searching: 14887 states found in 8:01, averaging 30.9, queued: 218 [ 8:17] searching: 14899 states found in 8:01, averaging 30.9, queued: 218 [ 8:18] searching: 14914 states found in 8:02, averaging 30.9, queued: 218 E: System error: Cannot allocate memory, when anonymous mmap for 261896 bytes failed [ 8:18] /home/xrockai/src/divine/nightly/test/lib/verify: line 33: 26183 Aborted (core dumped) divine verify $resources $extra $opts $run $args [ 8:27] (lldb) target create "/var/obj/divine-nightly/semidbg/tools/divine" --core "core" [ 8:27] Core file '/var/obj/divine-nightly/semidbg/test/__test_work_dir.5/core' (x86_64) was loaded. [ 8:27] (lldb) bt all [ 8:27] * thread #1, name = 'divine', stop reason = signal SIGABRT [ 8:27] * frame #0: 0x00007f58230cf8c0 [ 8:27] thread #2, stop reason = signal 0 [ 8:27] frame #0: 0x00007f5836310d8d