0.00/0.00 c PicoSAT SAT Solver Version 913
0.00/0.00 c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00 c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00 c
0.00/0.00 c parsing HOME/instance-1727361-1240723769.cnf
0.00/0.00 c parsed header 'p cnf 12558 1112504'
0.79/0.82 c initialized 12558 variables
0.79/0.82 c found 1112504 non trivial clauses
0.79/0.82 c
0.79/0.82 c random number generator seed 0
0.79/0.82 c
0.79/0.82 c seconds variables original learned agility
0.79/0.82 c level used conflicts limit MB
0.79/0.82 c
0.79/0.82 c s 0.8 0.0 12326 2.7 1485 232 0 0 0.0 12.8
0.79/0.84 c
0.79/0.84 c initial reduction limit 742 clauses
0.79/0.84 c
0.79/0.84 c + 0.8 794.8 12325 8.9 1485 332 97 816 1.9 12.9
0.79/0.85 c R 0.9 728.8 12325 11.5 1485 385 150 816 2.3 12.9
0.79/0.86 c + 0.9 674.8 12325 13.3 1485 482 247 897 2.1 12.9
0.79/0.87 c s 0.9 653.7 12324 14.0 1485 520 284 897 1.6 12.9
0.79/0.88 c R 0.9 610.8 12324 15.6 1485 586 350 897 1.9 12.9
0.79/0.89 c + 0.9 574.6 12323 19.7 1485 707 470 986 2.7 12.9
0.89/0.90 c R 0.9 540.4 12322 22.1 1485 830 592 986 2.5 12.9
0.89/0.92 c s 0.9 501.5 12322 24.1 1485 945 707 986 1.7 13.0
0.89/0.93 c + 0.9 474.2 12321 26.8 1485 1044 805 1084 2.1 13.0
0.89/0.93 c R 0.9 469.8 12321 27.3 1485 1080 841 1084 3.9 13.0
0.89/0.95 c R 1.0 437.5 12319 29.1 1485 1228 984 1084 2.2 13.0
0.89/1.00 c s 1.0 399.4 12318 34.5 1485 1438 650 1084 2.2 13.0
0.99/1.01 c R 1.0 380.0 12318 36.1 1485 1538 750 1084 1.8 13.0
0.99/1.02 c + 1.0 376.8 12317 36.3 1485 1549 760 1192 2.2 13.0
0.99/1.03 c R 1.0 367.5 12317 38.4 1485 1641 852 1192 3.1 13.0
0.99/1.05 c s 1.1 345.2 12316 42.5 1485 1868 1078 1192 1.7 13.0
0.99/1.06 c R 1.1 338.5 12316 43.1 1485 1921 1131 1192 2.2 13.0
0.99/1.10 c R 1.1 327.7 12315 45.1 1485 2060 644 1192 4.2 13.0
1.09/1.13 c + 1.1 309.1 12315 48.9 1485 2306 890 1311 2.4 13.0
1.09/1.14 c R 1.1 304.6 12315 49.2 1485 2360 944 1311 2.0 13.0
1.09/1.14 c
1.09/1.14 c seconds variables original learned agility
1.09/1.14 c level used conflicts limit MB
1.09/1.14 c
1.09/1.17 c s 1.2 298.7 12314 51.1 1485 2467 1049 1311 2.9 13.0
1.09/1.18 c R 1.2 292.5 12313 52.1 1485 2572 1153 1311 2.5 13.0
1.18/1.21 c R 1.2 281.5 12311 54.1 1485 2764 1343 1311 4.0 13.0
1.18/1.26 c R 1.3 270.4 12311 55.0 1485 3065 972 1311 2.4 13.0
1.28/1.31 c + 1.3 255.8 12311 56.4 1485 3441 1348 1442 2.7 13.0
1.28/1.38 c R 1.4 242.2 12311 58.0 1485 3866 1006 1442 2.3 13.0
1.28/1.40 c s 1.4 242.0 12310 58.0 1485 3867 1005 1442 2.0 13.0
1.38/1.42 c R 1.4 237.3 12308 59.1 1485 3981 1117 1442 2.8 13.0
1.38/1.47 c R 1.5 225.7 12307 59.3 1485 4308 1442 1442 2.4 13.0
1.48/1.52 c R 1.5 217.8 12307 59.8 1485 4608 1020 1442 2.0 13.0
1.48/1.53 c s 1.5 214.6 12306 60.0 1485 4709 1120 1442 1.9 13.0
1.48/1.56 c R 1.6 210.5 12305 60.2 1485 4902 1311 1442 3.2 13.0
1.58/1.61 c + 1.6 206.1 12305 60.4 1485 5143 810 1586 3.0 13.0
1.58/1.61 c R 1.6 205.7 12305 60.4 1485 5202 869 1586 3.4 13.0
1.58/1.67 c s 1.7 197.7 12304 60.8 1485 5671 1335 1586 1.6 13.0
1.68/1.70 c R 1.7 194.8 12303 60.8 1485 5861 1524 1586 2.3 13.0
1.68/1.75 c R 1.7 190.8 12303 60.8 1485 6162 1021 1586 1.9 13.0
1.78/1.80 c s 1.8 186.4 12302 61.7 1485 6424 1281 1586 2.3 13.0
1.78/1.83 c R 1.8 182.9 12299 61.9 1485 6692 1544 1586 2.7 13.0
1.78/1.87 c R 1.9 180.4 12298 62.8 1485 6877 915 1586 3.3 13.0
1.78/1.89 c R 1.9 178.8 12297 63.1 1485 6985 1022 1586 2.8 13.0
1.78/1.89 c s 1.9 178.0 12295 63.2 1485 7023 1058 1586 2.4 13.0
1.78/1.89 c
1.78/1.89 c seconds variables original learned agility
1.78/1.89 c level used conflicts limit MB
1.78/1.89 c
1.88/1.91 c R 1.9 176.8 12295 63.4 1485 7122 1155 1586 1.6 13.0
1.88/1.94 c R 1.9 174.0 12294 64.2 1485 7381 1413 1586 4.1 13.0
1.88/1.96 c s 2.0 172.4 12294 65.5 1485 7572 1604 1586 3.2 13.0
1.88/2.00 c R 2.0 170.9 12294 65.6 1485 7681 911 1586 1.7 13.0
1.98/2.00 c + 2.0 170.6 12294 65.6 1485 7696 926 1744 1.8 13.0
1.98/2.04 c R 2.0 167.5 12293 65.8 1485 7983 1211 1744 1.5 13.0
1.98/2.06 c s 2.1 165.7 12293 65.9 1485 8140 1368 1744 1.9 13.0
1.98/2.08 c R 2.1 164.2 12293 66.1 1485 8283 1511 1744 2.5 13.0
2.08/2.16 c s 2.2 160.6 12292 66.8 1485 8785 1118 1744 3.7 13.0
2.08/2.18 c R 2.2 159.3 12289 66.9 1485 8924 1254 1744 2.4 13.0
2.18/2.23 c R 2.2 157.2 12289 66.9 1485 9226 1555 1744 3.6 13.0
2.18/2.23 c s 2.2 156.8 12289 66.9 1485 9267 1596 1744 2.0 13.0
2.18/2.29 c R 2.3 154.8 12288 67.0 1485 9577 1027 1744 2.3 13.0
2.28/2.33 c R 2.3 153.0 12288 67.1 1485 9878 1328 1744 2.9 13.0
2.28/2.33 c s 2.3 152.9 12288 67.1 1485 9887 1337 1744 2.1 13.0
2.38/2.45 c R 2.4 149.5 12288 68.8 1485 10681 1232 1744 3.4 13.0
2.48/2.56 c + 2.6 145.8 12288 69.0 1485 11525 1184 1918 2.0 13.0
2.68/2.71 c R 2.7 141.7 12288 69.2 1485 12684 1372 1918 2.2 13.0
2.68/2.75 c s 2.8 140.5 12287 69.2 1485 13012 1698 1918 3.1 13.1
2.68/2.77 c R 2.8 140.0 12287 69.3 1485 13112 1798 1918 2.0 13.1
2.78/2.82 c R 2.8 138.8 12287 69.7 1485 13412 1107 1918 1.9 13.0
2.88/2.92 c R 2.9 136.0 12287 69.9 1485 14212 1906 1918 3.5 13.1
2.88/2.92 c
2.88/2.92 c seconds variables original learned agility
2.88/2.92 c level used conflicts limit MB
2.88/2.92 c
2.98/3.02 c s 3.0 134.4 12286 70.5 1485 14733 1433 1918 2.0 13.0
2.98/3.03 c R 3.0 134.1 12286 71.5 1485 14836 1536 1918 2.6 13.0
2.98/3.05 c R 3.1 133.4 12285 71.8 1485 14989 1687 1918 2.6 13.0
3.08/3.11 c s 3.1 132.4 12283 72.2 1485 15301 1032 1918 2.1 13.0
3.08/3.13 c R 3.1 132.2 12283 72.3 1485 15401 1132 1918 2.3 13.0
3.08/3.17 c R 3.2 131.3 12283 72.4 1485 15702 1433 1918 2.2 13.0
3.18/3.28 c R 3.3 129.7 12283 72.4 1485 16503 1267 1918 2.3 13.0
3.38/3.40 c + 3.4 127.8 12283 72.6 1485 17268 1046 2109 3.6 13.0
3.38/3.41 c s 3.4 127.7 12282 72.6 1485 17347 1124 2109 2.3 13.0
3.38/3.42 c R 3.4 127.5 12282 72.6 1485 17448 1225 2109 1.7 13.0
3.38/3.45 c R 3.4 126.6 12282 72.6 1485 17748 1523 2109 1.4 13.0
3.48/3.52 c s 3.5 125.7 12281 72.6 1485 18263 2035 2109 2.7 13.1
3.48/3.56 c R 3.6 125.5 12280 72.6 1485 18435 1122 2109 3.2 13.0
3.58/3.60 c R 3.6 125.1 12280 72.6 1485 18735 1422 2109 2.8 13.0
3.58/3.65 c s 3.6 124.5 12279 72.6 1485 19063 1749 2109 2.3 13.1
3.58/3.67 c R 3.7 123.8 12278 72.9 1485 19238 1923 2109 2.2 13.1
3.58/3.69 c R 3.7 123.6 12277 72.9 1485 19340 2024 2109 1.7 13.1
3.68/3.75 c R 3.7 123.0 12276 72.9 1485 19653 1274 2109 1.7 13.0
3.68/3.76 c s 3.8 122.8 12276 72.9 1485 19720 1341 2109 1.7 13.0
3.68/3.79 c R 3.8 122.6 12276 72.9 1485 19955 1575 2109 2.0 13.0
3.88/3.90 c R 3.9 121.5 12276 72.9 1485 20755 1298 2109 3.2 13.0
3.88/3.99 c s 4.0 120.5 12275 72.9 1485 21477 2017 2109 1.3 13.1
3.88/3.99 c
3.88/3.99 c seconds variables original learned agility
3.88/3.99 c level used conflicts limit MB
3.88/3.99 c
3.98/4.00 c R 4.0 120.3 12274 72.9 1485 21579 2118 2109 1.4 13.1
3.98/4.05 c R 4.0 119.9 12273 72.9 1485 21782 1260 2109 3.6 13.0
3.98/4.08 c R 4.1 119.6 12273 72.9 1485 22082 1560 2109 5.2 13.0
4.08/4.10 c R 4.1 119.1 12271 73.1 1485 22289 1765 2109 2.0 13.1
4.08/4.13 c s 4.1 119.0 12271 73.1 1485 22313 1788 2109 1.9 13.1
4.08/4.16 c R 4.2 118.7 12271 73.2 1485 22590 2064 2109 3.4 13.1
4.18/4.28 c R 4.3 117.8 12271 73.4 1485 23390 1795 2109 2.7 13.1
4.48/4.57 c R 4.6 115.6 12271 73.5 1485 25392 1645 2109 2.9 13.1
4.58/4.63 c + 4.6 115.1 12271 73.9 1485 25882 2134 2319 3.4 13.1
4.58/4.66 c s 4.7 115.2 12270 74.0 1485 26099 2350 2319 4.1 13.1
4.58/4.69 c R 4.7 115.1 12270 74.1 1485 26202 1278 2319 2.6 13.0
4.68/4.72 c R 4.7 114.7 12270 74.2 1485 26502 1578 2319 2.7 13.0
4.68/4.75 c R 4.7 114.4 12269 74.4 1485 26763 1838 2319 1.4 13.1
4.88/4.90 c s 4.9 114.0 12263 76.1 1485 27129 2198 2319 3.0 13.1
4.88/4.92 c R 4.9 113.9 12257 76.7 1485 27260 2322 2319 3.3 13.1
4.88/4.98 c R 5.0 113.8 12257 76.9 1485 27561 1462 2319 3.2 13.0
4.98/5.04 c s 5.0 113.3 12256 77.3 1485 28019 1919 2319 2.1 13.1
4.98/5.05 c R 5.0 113.2 12256 77.8 1485 28119 2019 2319 2.5 13.1
4.98/5.07 c R 5.1 113.2 12255 78.0 1485 28223 2122 2319 2.7 13.1
5.08/5.13 c R 5.1 112.9 12255 78.2 1485 28525 1243 2319 2.0 13.0
5.08/5.17 c s 5.2 112.5 12254 78.2 1485 28883 1600 2319 3.2 13.0
5.08/5.19 c R 5.2 112.4 12254 78.2 1485 28983 1700 2319 2.5 13.1
5.08/5.19 c
5.08/5.19 c seconds variables original learned agility
5.08/5.19 c level used conflicts limit MB
5.08/5.19 c
5.17/5.22 c R 5.2 112.3 12254 78.2 1485 29283 1999 2319 2.7 13.1
5.27/5.34 c R 5.3 111.3 12254 78.2 1485 30083 1614 2319 4.5 13.0
5.27/5.40 c s 5.4 111.2 12253 78.4 1485 30490 2019 2319 2.2 13.1
5.38/5.41 c R 5.4 111.1 12253 78.4 1485 30590 2119 2319 2.2 13.1
5.38/5.47 c R 5.5 110.8 12251 78.4 1485 30975 1326 2319 2.7 13.0
5.48/5.51 c R 5.5 110.4 12251 78.6 1485 31275 1625 2319 3.5 13.1
5.48/5.52 c s 5.5 110.4 12251 78.6 1485 31287 1637 2319 2.0 13.1
5.48/5.58 c R 5.6 110.1 12250 78.8 1485 31734 2083 2319 3.1 13.1
5.57/5.60 c R 5.6 110.1 12248 78.8 1485 31927 2274 2319 3.1 13.1
5.57/5.61 c s 5.6 110.0 12248 78.8 1485 31961 2308 2319 2.4 13.1
5.57/5.66 c R 5.6 110.1 12248 79.4 1485 32228 1392 2319 4.0 13.0
5.67/5.73 c R 5.7 109.8 12246 79.6 1485 32729 1886 2319 1.4 13.1
5.67/5.73 c s 5.7 109.8 12246 79.6 1485 32783 1940 2319 1.5 13.1
5.67/5.76 c R 5.7 109.7 12246 79.6 1485 33029 2186 2319 4.7 13.1
5.67/5.77 c R 5.8 109.6 12245 79.6 1485 33132 2288 2319 2.6 13.1
5.77/5.82 c R 5.8 109.4 12245 79.6 1485 33432 1396 2319 3.6 13.0
5.77/5.86 c s 5.9 109.3 12244 79.8 1485 33734 1697 2319 2.1 13.1
5.77/5.88 c R 5.9 109.1 12244 79.8 1485 33834 1797 2319 2.0 13.1
5.87/5.90 c R 5.9 108.8 12243 79.8 1485 34047 2009 2319 1.4 13.1
5.87/5.94 c R 5.9 108.7 12243 79.8 1485 34348 2309 2319 2.1 13.1
5.97/6.06 c R 6.1 108.2 12243 79.8 1485 35150 1947 2319 2.3 13.1
6.07/6.12 c s 6.1 107.8 12242 79.8 1485 35521 2316 2319 2.2 13.1
6.07/6.12 c
6.07/6.12 c seconds variables original learned agility
6.07/6.12 c level used conflicts limit MB
6.07/6.12 c
6.07/6.15 c R 6.1 107.7 12242 79.8 1485 35621 1252 2319 2.4 13.0
6.07/6.16 c R 6.2 107.7 12240 79.8 1485 35746 1375 2319 3.5 13.0
6.17/6.20 c R 6.2 107.5 12240 79.8 1485 36046 1674 2319 2.6 13.0
6.17/6.21 c R 6.2 107.4 12239 79.8 1485 36160 1787 2319 2.9 13.1
6.17/6.24 c s 6.2 107.3 12239 79.8 1485 36326 1953 2319 2.1 13.1
6.17/6.25 c R 6.2 107.2 12239 79.8 1485 36460 2087 2319 3.0 13.1
6.27/6.36 c R 6.4 106.9 12239 79.8 1485 37261 1689 2319 3.3 13.1
6.37/6.41 c s 6.4 106.6 12238 79.9 1485 37673 2100 2319 3.9 13.1
6.37/6.43 c R 6.4 106.6 12238 79.9 1485 37774 2201 2319 2.2 13.1
6.37/6.49 c R 6.5 106.4 12238 79.9 1485 38074 1313 2319 3.4 13.0
6.48/6.58 c + 6.6 105.9 12238 79.9 1485 38806 2043 2550 3.7 13.1
6.48/6.58 c R 6.6 105.9 12238 79.9 1485 38875 2112 2550 2.1 13.1
6.58/6.62 c s 6.6 105.7 12237 79.9 1485 39185 2419 2550 1.9 13.1
6.58/6.64 c R 6.6 105.6 12235 79.9 1485 39296 2527 2550 1.7 13.1
6.58/6.69 c R 6.7 105.4 12235 80.0 1485 39597 1530 2550 2.9 13.0
6.67/6.80 c R 6.8 105.2 12235 80.1 1485 40398 2330 2550 2.8 13.1
6.88/6.95 c s 6.9 105.2 12230 80.1 1485 40502 2425 2550 2.3 13.1
6.88/6.96 c R 6.9 105.2 12230 80.1 1485 40600 2523 2550 3.2 13.1
6.98/7.02 c R 7.0 105.1 12230 80.2 1485 40900 1534 2550 3.0 13.0
7.08/7.12 c R 7.1 104.8 12230 80.3 1485 41703 2337 2550 2.3 13.1
7.08/7.19 c s 7.2 104.8 12229 80.4 1485 42068 1406 2550 3.3 13.0
7.18/7.20 c R 7.2 104.7 12229 80.4 1485 42168 1506 2550 2.7 13.0
7.18/7.20 c
7.18/7.20 c seconds variables original learned agility
7.18/7.20 c level used conflicts limit MB
7.18/7.20 c
7.18/7.24 c R 7.2 104.5 12229 80.4 1485 42469 1807 2550 4.6 13.1
7.28/7.34 c R 7.3 104.3 12229 80.4 1485 43270 2608 2550 2.7 13.1
7.48/7.60 c s 7.6 103.7 12228 80.4 1485 45092 1826 2550 3.6 13.1
7.58/7.61 c R 7.6 103.7 12228 80.4 1485 45192 1925 2550 4.0 13.1
7.58/7.64 c R 7.6 103.6 12228 80.4 1485 45493 2226 2550 1.7 13.1
7.68/7.76 c R 7.7 103.3 12228 80.4 1485 46294 1739 2550 3.4 13.1
7.68/7.78 c s 7.8 103.2 12227 80.4 1485 46509 1953 2550 2.7 13.1
7.78/7.80 c R 7.8 103.1 12226 80.5 1485 46668 2110 2550 1.3 13.1
7.78/7.84 c R 7.8 102.9 12226 80.6 1485 46969 2411 2550 1.5 13.1
7.88/7.97 c R 8.0 102.8 12226 80.6 1485 47771 1934 2550 3.6 13.1
8.18/8.25 c R 8.2 102.3 12226 81.8 1485 49773 1348 2550 2.7 13.0
8.48/8.51 c s 8.5 101.9 12225 82.7 1485 51711 2009 2550 3.8 13.1
8.48/8.52 c R 8.5 101.9 12225 82.8 1485 51811 2109 2550 2.0 13.1
8.48/8.55 c R 8.5 101.9 12224 82.8 1485 51969 2266 2550 1.9 13.1
8.48/8.57 c R 8.6 101.8 12223 82.8 1485 52109 2405 2550 1.9 13.1
8.58/8.62 c R 8.6 101.6 12223 82.8 1485 52409 1417 2550 2.0 13.0
8.68/8.73 c R 8.7 101.6 12223 82.8 1485 53210 2218 2550 3.0 13.1
8.98/9.01 c R 9.0 101.1 12223 82.9 1485 55216 1612 2550 1.5 13.1
9.38/9.44 c s 9.4 100.4 12222 82.9 1485 57502 1317 2550 1.7 13.0
9.38/9.45 c R 9.4 100.3 12222 82.9 1485 57602 1416 2550 1.8 13.0
9.38/9.49 c R 9.5 100.2 12222 82.9 1485 57902 1716 2550 3.4 13.1
9.48/9.54 c s 9.5 100.2 12221 82.9 1485 58167 1976 2550 3.4 13.1
9.48/9.54 c
9.48/9.54 c seconds variables original learned agility
9.48/9.54 c level used conflicts limit MB
9.48/9.54 c
9.48/9.54 c + 9.5 100.2 12221 82.9 1485 58190 1999 2805 2.7 13.1
9.48/9.54 c R 9.5 100.2 12221 82.9 1485 58210 2016 2805 2.3 13.1
9.48/9.59 c R 9.6 100.2 12221 82.9 1485 58510 2316 2805 2.2 13.1
9.58/9.69 c R 9.7 100.2 12221 83.4 1485 59310 1671 2805 3.2 13.1
9.78/9.88 c s 9.9 100.0 12220 83.7 1485 60740 1681 2805 1.8 13.1
9.78/9.90 c R 9.9 100.0 12220 83.7 1485 60840 1781 2805 3.1 13.1
9.88/9.94 c R 9.9 99.9 12220 83.7 1485 61140 2081 2805 4.2 13.1
9.98/10.05 c R 10.0 99.8 12220 83.7 1485 61940 1447 2805 2.7 13.0
10.08/10.18 c s 10.2 99.5 12219 83.8 1485 62914 2417 2805 1.7 13.1
10.08/10.19 c R 10.2 99.6 12219 83.8 1485 63015 2518 2805 2.3 13.1
10.17/10.23 c R 10.2 99.5 12219 83.8 1485 63318 2820 2805 3.9 13.1
10.27/10.34 c R 10.3 99.3 12219 83.8 1485 64120 2209 2805 2.1 13.1
10.37/10.41 c s 10.4 99.2 12218 83.8 1485 64553 2639 2805 1.8 13.1
10.37/10.42 c R 10.4 99.2 12218 83.8 1485 64653 2739 2805 1.7 13.1
10.37/10.47 c R 10.5 99.1 12218 83.8 1485 64953 1630 2805 2.8 13.1
10.47/10.51 c R 10.5 99.0 12217 83.8 1485 65259 1935 2805 1.7 13.1
10.47/10.54 c s 10.5 99.0 12217 83.8 1485 65473 2149 2805 2.2 13.1
10.47/10.55 c R 10.5 98.9 12217 83.8 1485 65559 2234 2805 2.4 13.1
10.57/10.67 c R 10.7 98.8 12217 83.8 1485 66361 1617 2805 3.8 13.1
10.88/10.93 c R 10.9 98.6 12217 83.8 1485 68364 2204 2805 1.8 13.1
11.27/11.38 c s 11.4 98.1 12216 84.3 1485 70727 1706 2805 2.3 13.1
11.37/11.40 c R 11.4 98.1 12216 84.4 1485 70828 1805 2805 2.0 13.1
11.37/11.40 c
11.37/11.40 c seconds variables original learned agility
11.37/11.40 c level used conflicts limit MB
11.37/11.40 c
11.37/11.44 c R 11.4 98.0 12216 84.4 1485 71128 2105 2805 2.4 13.1
11.47/11.55 c R 11.5 98.0 12216 84.4 1485 71932 1485 2805 1.8 13.1
11.77/11.81 c R 11.8 97.7 12216 84.4 1485 73935 2070 2805 3.3 13.1
12.37/12.43 c R 12.4 97.1 12216 84.8 1485 78739 2589 2805 2.7 13.1
12.47/12.51 c s 12.5 97.0 12215 84.8 1485 79234 1672 2805 2.4 13.0
12.47/12.53 c R 12.5 97.0 12213 84.8 1485 79407 1843 2805 2.4 13.1
12.47/12.57 c R 12.6 96.9 12213 85.0 1485 79712 2148 2805 1.3 13.1
12.57/12.61 c s 12.6 96.9 12213 85.0 1485 79930 2362 2805 2.1 13.1
12.67/12.70 c R 12.7 96.8 12213 85.0 1485 80513 1523 2805 3.1 13.0
12.77/12.86 c s 12.8 96.7 12212 85.0 1485 81715 2720 2805 2.0 13.1
12.77/12.87 c R 12.9 96.7 12212 85.0 1485 81815 2820 2805 3.0 13.1
12.87/12.93 c R 12.9 96.7 12212 85.0 1485 82117 1711 2805 2.2 13.1
12.97/13.02 c R 13.0 96.5 12212 85.0 1485 82919 2510 2805 1.4 13.1
13.08/13.13 c s 13.1 96.4 12211 85.0 1485 83538 1695 2805 1.8 13.1
13.08/13.14 c R 13.1 96.4 12211 85.0 1485 83638 1795 2805 3.3 13.1
13.08/13.18 c R 13.2 96.3 12211 85.0 1485 83940 2097 2805 2.7 13.1
13.27/13.31 c R 13.3 96.3 12211 85.0 1485 84740 1483 2805 2.1 13.0
13.47/13.54 c s 13.5 96.1 12209 85.0 1485 85552 2289 2805 1.6 13.1
13.47/13.56 c R 13.5 96.1 12209 85.0 1485 85651 2386 2805 2.5 13.1
13.47/13.59 c R 13.6 96.1 12209 85.0 1485 85952 2686 2805 3.5 13.1
13.67/13.71 c R 13.7 96.0 12209 85.0 1485 86752 2075 2805 2.6 13.1
13.67/13.78 c + 13.8 95.8 12209 85.0 1485 87262 2585 3085 2.0 13.1
13.67/13.78 c
13.67/13.78 c seconds variables original learned agility
13.67/13.78 c level used conflicts limit MB
13.67/13.78 c
13.77/13.82 c s 13.8 95.9 12208 85.1 1485 87576 2898 3085 2.1 13.1
13.77/13.84 c R 13.8 95.9 12208 85.1 1485 87676 2998 3085 2.2 13.2
13.87/13.90 c R 13.9 95.8 12208 85.1 1485 87976 1749 3085 2.3 13.1
13.97/14.01 c R 14.0 95.8 12208 85.1 1485 88778 2551 3085 2.5 13.1
14.18/14.25 c R 14.2 95.8 12208 85.3 1485 90778 2994 3085 2.6 13.2
14.37/14.49 c s 14.5 95.6 12207 85.3 1485 92482 1593 3085 3.4 13.0
14.47/14.50 c R 14.5 95.6 12207 85.3 1485 92582 1693 3085 3.1 13.1
14.47/14.54 c R 14.5 95.6 12207 85.3 1485 92883 1993 3085 3.8 13.1
14.57/14.64 c R 14.6 95.5 12207 85.3 1485 93686 2794 3085 3.3 13.1
14.87/14.93 c R 14.9 95.3 12207 85.6 1485 95688 1668 3085 2.6 13.1
15.17/15.28 c s 15.3 95.0 12206 86.1 1485 98116 2528 3085 2.1 13.1
15.17/15.29 c R 15.3 95.0 12206 86.1 1485 98216 2627 3085 3.1 13.1
15.28/15.33 c R 15.3 95.0 12206 86.2 1485 98516 2927 3085 5.3 13.2
15.38/15.45 c R 15.4 95.0 12206 86.2 1485 99317 2162 3085 1.7 13.1
15.67/15.71 c s 15.7 94.8 12203 86.3 1485 100e3 1694 3085 1.8 13.1
15.67/15.72 c R 15.7 94.8 12203 86.3 1485 100e3 1793 3085 2.0 13.1
15.67/15.76 c R 15.7 94.8 12203 86.4 1485 100e3 2095 3085 2.4 13.1
15.77/15.86 c R 15.8 94.8 12203 86.4 1485 101e3 2895 3085 3.5 13.1
15.97/16.09 c s 16.1 94.7 12202 86.4 1485 103e3 3085 3085 2.9 13.2
16.07/16.12 c R 16.1 94.7 12202 86.4 1485 103e3 1643 3085 1.7 13.1
16.07/16.15 c R 16.1 94.7 12202 86.4 1485 103e3 1943 3085 2.5 13.1
16.17/16.24 c R 16.2 94.6 12202 86.5 1485 104e3 2746 3085 3.3 13.2
16.17/16.24 c
16.17/16.24 c seconds variables original learned agility
16.17/16.24 c level used conflicts limit MB
16.17/16.24 c
16.27/16.36 c s 16.3 94.6 12201 86.5 1485 105e3 1922 3085 3.9 13.1
16.27/16.37 c R 16.4 94.6 12201 86.5 1485 105e3 2022 3085 2.4 13.1
16.37/16.41 c R 16.4 94.6 12201 86.5 1485 105e3 2323 3085 2.7 13.1
16.47/16.50 c R 16.5 94.6 12201 86.5 1485 106e3 3123 3085 2.8 13.2
16.57/16.66 c s 16.6 94.5 12200 86.5 1485 107e3 2449 3085 3.2 13.1
16.57/16.67 c R 16.7 94.5 12200 86.5 1485 107e3 2550 3085 3.1 13.1
16.67/16.71 c R 16.7 94.5 12199 86.5 1485 107e3 2811 3085 3.7 13.1
16.67/16.74 c R 16.7 94.5 12199 86.5 1485 108e3 3111 3085 3.8 13.2
16.77/16.85 c s 16.8 94.4 12198 86.5 1485 108e3 2308 3085 2.3 13.1
16.77/16.86 c R 16.8 94.4 12198 86.5 1485 108e3 2408 3085 3.1 13.1
16.87/16.91 c R 16.9 94.4 12198 86.5 1485 109e3 2707 3085 4.1 13.1
16.97/17.01 c R 17.0 94.2 12198 86.5 1485 110e3 1953 3085 1.9 13.1
16.97/17.08 c s 17.1 94.2 12197 86.5 1485 110e3 2542 3085 1.9 13.1
17.07/17.10 c R 17.1 94.1 12194 86.5 1485 110e3 2714 3085 5.3 13.1
17.07/17.12 c R 17.1 94.1 12193 86.5 1485 110e3 2824 3085 3.1 13.1
17.07/17.16 c R 17.1 94.1 12193 86.5 1485 111e3 3123 3085 3.3 13.2
17.17/17.27 c R 17.2 94.1 12193 86.5 1485 112e3 2360 3085 2.3 13.1
17.47/17.52 c R 17.5 93.9 12193 86.5 1485 114e3 2807 3085 1.8 13.1
17.77/17.80 c s 17.8 93.9 12189 86.5 1485 115e3 2251 3085 2.4 13.1
17.77/17.81 c R 17.8 93.8 12188 86.5 1485 115e3 2351 3085 3.2 13.1
17.77/17.85 c R 17.8 93.8 12188 86.5 1485 115e3 2650 3085 3.7 13.1
17.87/17.96 c R 17.9 93.8 12188 86.5 1485 116e3 1886 3085 1.3 13.1
17.87/17.96 c
17.87/17.96 c seconds variables original learned agility
17.87/17.96 c level used conflicts limit MB
17.87/17.96 c
17.97/18.02 c s 18.0 93.7 12187 86.6 1485 116e3 2369 3085 2.4 13.1
17.97/18.04 c R 18.0 93.7 12187 86.6 1485 116e3 2469 3085 3.3 13.1
17.97/18.05 c R 18.0 93.7 12186 86.6 1485 116e3 2603 3085 3.6 13.1
17.97/18.09 c R 18.1 93.7 12184 86.6 1485 117e3 2929 3085 2.7 13.1
18.07/18.14 c R 18.1 93.7 12183 86.6 1485 117e3 1574 3085 2.6 13.0
18.07/18.17 c R 18.2 93.6 12183 86.7 1485 117e3 1873 3085 2.6 13.1
18.07/18.19 c s 18.2 93.6 12182 86.7 1485 117e3 1966 3085 1.8 13.1
18.17/18.20 c R 18.2 93.6 12182 86.7 1485 117e3 2067 3085 3.3 13.1
18.17/18.23 c R 18.2 93.6 12181 86.7 1485 118e3 2333 3085 3.3 13.1
18.17/18.27 c R 18.2 93.5 12181 86.7 1485 118e3 2634 3085 2.0 13.1
18.17/18.29 c s 18.3 93.5 12181 86.7 1485 118e3 2789 3085 1.7 13.1
18.27/18.39 c R 18.4 93.5 12181 86.7 1485 119e3 1881 3085 3.2 13.1
18.37/18.44 c s 18.4 93.5 12180 86.7 1485 119e3 2291 3085 2.0 13.1
18.37/18.46 c R 18.4 93.5 12180 86.7 1485 119e3 2391 3085 3.4 13.1
18.47/18.50 c R 18.5 93.5 12180 86.7 1485 120e3 2690 3085 2.1 13.1
18.57/18.61 c R 18.6 93.5 12180 86.7 1485 120e3 1943 3085 1.6 13.1
18.67/18.71 c s 18.7 93.4 12179 86.7 1485 121e3 2648 3085 1.7 13.1
18.67/18.73 c R 18.7 93.4 12178 86.7 1485 121e3 2788 3085 1.9 13.1
18.67/18.75 c R 18.7 93.3 12177 86.7 1485 121e3 2914 3085 2.1 13.1
18.77/18.81 c R 18.8 93.3 12177 86.7 1485 122e3 1660 3085 1.8 13.1
18.77/18.83 c R 18.8 93.3 12176 86.7 1485 122e3 1807 3085 2.5 13.1
18.77/18.84 c s 18.8 93.3 12176 86.7 1485 122e3 1882 3085 1.9 13.1
18.77/18.84 c
18.77/18.84 c seconds variables original learned agility
18.77/18.84 c level used conflicts limit MB
18.77/18.84 c
18.77/18.87 c R 18.9 93.3 12176 86.7 1485 122e3 2108 3085 3.0 13.1
18.87/18.97 c R 19.0 93.3 12176 86.7 1485 123e3 2906 3085 2.6 13.1
19.17/19.26 c R 19.2 93.1 12176 86.7 1485 125e3 1796 3085 1.7 13.1
19.27/19.32 c s 19.3 93.0 12175 86.7 1485 126e3 2305 3085 1.5 13.1
19.27/19.33 c R 19.3 93.0 12175 86.7 1485 126e3 2406 3085 3.6 13.1
19.27/19.37 c R 19.3 93.0 12175 86.7 1485 126e3 2705 3085 3.7 13.1
19.37/19.50 c R 19.5 92.9 12175 86.8 1485 127e3 1950 3085 2.2 13.1
19.67/19.77 c R 19.7 92.9 12175 86.8 1485 129e3 2394 3085 2.5 13.1
19.87/19.99 c + 20.0 92.8 12175 86.8 1485 130e3 2469 3393 1.9 13.1
20.37/20.42 c R 20.4 92.7 12175 87.0 1485 134e3 2190 3393 3.1 13.1
21.27/21.30 c s 21.3 92.5 12173 87.1 1485 139e3 2850 3393 2.3 13.2
21.27/21.32 c R 21.3 92.5 12172 87.1 1485 139e3 2954 3393 3.7 13.2
21.27/21.36 c R 21.3 92.5 12172 87.1 1485 140e3 3251 3393 2.6 13.2
21.37/21.47 c s 21.4 92.6 12171 87.3 1485 140e3 2242 3393 2.2 13.1
21.37/21.49 c R 21.5 92.6 12171 87.3 1485 141e3 2341 3393 2.4 13.1
21.47/21.52 c R 21.5 92.5 12171 87.3 1485 141e3 2642 3393 2.5 13.1
21.57/21.64 c R 21.6 92.5 12171 87.3 1485 142e3 1740 3393 1.7 13.1
21.87/21.91 c R 21.9 92.4 12171 87.4 1485 144e3 2011 3393 2.1 13.1
21.97/22.02 c s 22.0 92.3 12170 87.4 1485 144e3 2814 3393 2.2 13.1
21.97/22.03 c R 22.0 92.3 12170 87.4 1485 145e3 2915 3393 3.5 13.1
21.97/22.06 c R 22.0 92.3 12170 87.4 1485 145e3 3216 3393 2.5 13.2
22.06/22.17 c R 22.1 92.3 12170 87.4 1485 146e3 2307 3393 2.6 13.1
22.06/22.17 c
22.06/22.17 c seconds variables original learned agility
22.06/22.17 c level used conflicts limit MB
22.06/22.17 c
22.36/22.45 c R 22.4 92.2 12170 87.4 1485 148e3 2597 3393 2.1 13.1
23.07/23.10 c R 23.1 92.2 12170 87.4 1485 153e3 2249 3393 2.3 13.2
23.07/23.14 c s 23.1 92.2 12169 87.4 1485 153e3 2516 3393 2.9 13.2
23.07/23.16 c R 23.1 92.2 12169 87.4 1485 153e3 2616 3393 2.3 13.2
23.07/23.19 c R 23.2 92.2 12169 87.4 1485 153e3 2915 3393 1.4 13.2
23.26/23.30 c R 23.3 92.1 12169 87.4 1485 154e3 2006 3393 4.1 13.1
23.46/23.58 c R 23.6 92.2 12169 87.6 1485 156e3 2281 3393 2.1 13.1
24.16/24.26 c R 24.2 92.2 12169 87.6 1485 161e3 1913 3393 2.9 13.1
25.66/25.79 c R 25.8 92.1 12169 87.7 1485 172e3 2752 3393 3.3 13.2
26.06/26.17 c s 26.1 91.9 12167 87.7 1485 174e3 2819 3393 4.1 13.2
26.06/26.18 c R 26.2 91.9 12167 87.7 1485 174e3 2917 3393 5.1 13.2
26.16/26.22 c R 26.2 91.9 12167 87.7 1485 174e3 3216 3393 2.0 13.2
26.26/26.33 c R 26.3 91.9 12167 87.7 1485 175e3 2307 3393 2.3 13.1
26.46/26.54 c s 26.5 91.9 12166 87.7 1485 176e3 1955 3393 1.6 13.1
26.46/26.55 c R 26.5 91.9 12166 87.7 1485 176e3 2055 3393 1.6 13.1
26.46/26.59 c R 26.6 91.9 12166 87.7 1485 177e3 2354 3393 1.5 13.1
26.56/26.69 c R 26.7 91.8 12166 87.9 1485 178e3 3156 3393 4.6 13.2
26.86/26.96 c R 26.9 91.8 12166 87.9 1485 180e3 3438 3393 2.1 13.2
26.96/27.06 c s 27.0 91.8 12165 87.9 1485 180e3 2333 3393 3.3 13.1
26.96/27.07 c R 27.0 91.8 12165 87.9 1485 180e3 2433 3393 2.4 13.1
27.06/27.11 c R 27.1 91.8 12165 87.9 1485 181e3 2733 3393 3.0 13.1
27.16/27.22 c R 27.2 91.8 12165 87.9 1485 181e3 1785 3393 2.7 13.1
27.16/27.22 c
27.16/27.22 c seconds variables original learned agility
27.16/27.22 c level used conflicts limit MB
27.16/27.22 c
27.36/27.50 c R 27.5 91.8 12165 87.9 1485 183e3 2071 3393 2.9 13.1
27.46/27.51 c s 27.5 91.8 12164 87.9 1485 184e3 2194 3393 3.0 13.1
27.46/27.53 c R 27.5 91.8 12164 87.9 1485 184e3 2294 3393 2.4 13.1
27.46/27.56 c R 27.5 91.8 12164 87.9 1485 184e3 2594 3393 2.4 13.1
27.56/27.66 c R 27.6 91.8 12164 87.9 1485 185e3 3391 3393 3.3 13.2
27.66/27.76 c s 27.7 91.8 12163 87.9 1485 185e3 2332 3393 2.5 13.1
27.66/27.78 c R 27.7 91.8 12163 87.9 1485 185e3 2431 3393 2.8 13.1
27.76/27.82 c R 27.8 91.8 12162 87.9 1485 186e3 2741 3393 2.4 13.1
27.76/27.86 c R 27.8 91.8 12162 87.9 1485 186e3 3041 3393 2.6 13.2
27.76/27.87 c R 27.8 91.7 12161 87.9 1485 186e3 3174 3393 3.1 13.2
27.76/27.88 c s 27.8 91.7 12161 87.9 1485 186e3 3217 3393 1.6 13.2
27.86/27.93 c R 27.9 91.7 12160 87.9 1485 187e3 1815 3393 3.0 13.1
27.86/27.97 c R 27.9 91.7 12160 87.9 1485 187e3 2115 3393 3.8 13.1
27.86/28.00 c R 28.0 91.7 12158 87.9 1485 187e3 2415 3393 3.1 13.1
27.96/28.03 c R 28.0 91.7 12158 87.9 1485 188e3 2714 3393 2.8 13.1
28.06/28.18 c s 28.1 91.7 12156 87.9 1485 188e3 2774 3393 3.9 13.1
28.16/28.28 c R 28.2 91.7 12156 87.9 1485 188e3 1801 3393 2.4 13.1
28.36/28.45 c s 28.4 91.7 12155 87.9 1485 190e3 3197 3393 2.2 13.2
28.36/28.47 c R 28.4 91.7 12154 87.9 1485 190e3 3298 3393 2.4 13.2
28.46/28.53 c R 28.5 91.7 12154 87.9 1485 190e3 1898 3393 2.6 13.1
28.56/28.63 c R 28.6 91.7 12154 87.9 1485 191e3 2698 3393 1.6 13.1
28.76/28.87 c R 28.8 91.6 12154 88.0 1485 193e3 2960 3393 1.5 13.1
28.76/28.87 c
28.76/28.87 c seconds variables original learned agility
28.76/28.87 c level used conflicts limit MB
28.76/28.87 c
28.96/29.09 c s 29.1 91.6 12153 88.1 1485 194e3 2686 3393 1.8 13.1
29.06/29.10 c R 29.1 91.6 12153 88.1 1485 194e3 2786 3393 1.8 13.1
29.06/29.14 c R 29.1 91.6 12153 88.1 1485 195e3 3086 3393 2.1 13.2
29.16/29.25 c R 29.2 91.6 12153 88.1 1485 196e3 2144 3393 2.2 13.1
29.16/29.28 c + 29.3 91.6 12153 88.1 1485 196e3 2359 3732 2.7 13.1
29.36/29.44 c s 29.4 91.6 12152 88.1 1485 197e3 3531 3732 2.9 13.2
29.36/29.46 c R 29.4 91.6 12152 88.1 1485 197e3 3631 3732 3.2 13.2
29.46/29.51 c R 29.5 91.6 12152 88.3 1485 197e3 2067 3732 4.7 13.1
29.56/29.61 c R 29.6 91.6 12152 88.3 1485 198e3 2866 3732 4.0 13.2
29.76/29.88 c R 29.8 91.6 12152 88.3 1485 200e3 2984 3732 4.0 13.2
30.46/30.51 c R 30.5 91.6 12152 88.4 1485 205e3 2111 3732 3.6 13.1
31.95/32.00 c R 32.0 91.4 12152 88.8 1485 216e3 1937 3732 2.6 13.1
32.25/32.36 c s 32.3 91.3 12149 88.8 1485 218e3 3637 3732 5.0 13.2
32.35/32.40 c R 32.4 91.3 12148 88.8 1485 218e3 1915 3732 2.3 13.1
32.35/32.44 c R 32.4 91.3 12148 88.8 1485 218e3 2215 3732 2.5 13.1
32.45/32.54 c R 32.5 91.4 12148 88.8 1485 219e3 3016 3732 3.0 13.2
32.75/32.82 c R 32.8 91.4 12148 88.9 1485 221e3 3123 3732 2.0 13.2
33.35/33.44 c R 33.4 91.3 12148 88.9 1485 226e3 2237 3732 4.5 13.1
34.85/34.97 c R 34.9 91.0 12148 88.9 1485 237e3 2084 3732 3.9 13.1
35.65/35.73 c s 35.7 91.0 12146 89.4 1485 242e3 2852 3732 1.5 13.2
35.65/35.75 c R 35.7 91.0 12145 89.4 1485 242e3 3052 3732 3.5 13.2
35.65/35.78 c R 35.7 91.0 12145 89.4 1485 242e3 3352 3732 2.5 13.2
35.65/35.78 c
35.65/35.78 c seconds variables original learned agility
35.65/35.78 c level used conflicts limit MB
35.65/35.78 c
35.75/35.90 c R 35.9 91.0 12145 89.4 1485 243e3 2274 3732 1.7 13.1
36.05/36.16 c R 36.1 91.1 12145 89.4 1485 245e3 2373 3732 3.4 13.1
36.75/36.81 c R 36.8 91.0 12145 89.4 1485 250e3 3413 3732 2.0 13.2
36.95/37.00 c s 37.0 91.0 12144 89.4 1485 251e3 2915 3732 2.3 13.2
36.95/37.01 c R 37.0 91.0 12144 89.4 1485 251e3 3015 3732 3.1 13.2
36.95/37.03 c R 37.0 91.0 12143 89.4 1485 252e3 3220 3732 2.1 13.2
36.95/37.07 c R 37.0 91.0 12143 89.4 1485 252e3 3521 3732 3.1 13.2
37.05/37.18 c R 37.1 91.0 12143 89.4 1485 253e3 2450 3732 1.7 13.1
37.36/37.46 c R 37.4 91.0 12143 89.5 1485 255e3 2570 3732 2.8 13.1
37.75/37.86 c s 37.8 91.0 12141 89.5 1485 257e3 2529 3732 2.3 13.1
37.75/37.87 c R 37.8 91.0 12141 89.5 1485 257e3 2628 3732 2.3 13.1
37.85/37.91 c R 37.9 91.0 12141 89.5 1485 257e3 2928 3732 3.0 13.2
37.95/38.01 c R 38.0 91.0 12141 89.5 1485 258e3 3727 3732 2.0 13.2
38.15/38.28 c R 38.2 90.9 12141 89.5 1485 260e3 1945 3732 2.9 13.1
38.85/38.93 c R 38.9 90.9 12141 89.5 1485 265e3 2982 3732 4.0 13.2
39.35/39.40 c s 39.4 90.8 12140 89.8 1485 268e3 2629 3732 1.8 13.1
39.35/39.42 c R 39.4 90.8 12140 89.8 1485 268e3 2728 3732 1.9 13.1
39.35/39.46 c R 39.4 90.8 12140 89.8 1485 268e3 3028 3732 2.6 13.2
39.45/39.58 c R 39.5 90.8 12140 89.8 1485 269e3 1921 3732 4.8 13.1
39.55/39.62 c s 39.6 90.8 12139 89.8 1485 269e3 2265 3732 4.1 13.1
39.55/39.63 c R 39.6 90.8 12139 89.8 1485 270e3 2365 3732 3.3 13.1
39.55/39.67 c R 39.6 90.8 12139 89.8 1485 270e3 2662 3732 2.3 13.2
39.55/39.67 c
39.55/39.67 c seconds variables original learned agility
39.55/39.67 c level used conflicts limit MB
39.55/39.67 c
39.65/39.76 c R 39.7 90.8 12139 89.8 1485 271e3 3459 3732 2.0 13.2
39.95/40.04 c R 40.0 90.8 12139 89.8 1485 273e3 3584 3732 2.5 13.2
40.15/40.29 c s 40.3 90.8 12137 89.8 1485 273e3 2371 3732 2.7 13.1
40.25/40.31 c R 40.3 90.8 12137 89.8 1485 273e3 2470 3732 3.4 13.1
40.25/40.35 c R 40.3 90.8 12137 89.8 1485 274e3 2771 3732 2.8 13.2
40.35/40.45 c R 40.4 90.8 12137 89.8 1485 275e3 3570 3732 2.4 13.2
40.45/40.52 c s 40.5 90.8 12136 89.8 1485 275e3 2124 3732 3.7 13.1
40.45/40.53 c R 40.5 90.8 12136 89.8 1485 275e3 2224 3732 2.2 13.1
40.45/40.57 c R 40.5 90.8 12136 89.8 1485 275e3 2524 3732 2.8 13.1
40.55/40.68 c R 40.6 90.8 12136 89.8 1485 276e3 3326 3732 2.2 13.2
40.85/40.94 c R 40.9 90.9 12136 89.8 1485 278e3 3407 3732 2.9 13.2
41.55/41.60 c R 41.6 90.9 12136 89.8 1485 283e3 2502 3732 3.0 13.2
41.65/41.79 c s 41.8 90.9 12135 89.8 1485 284e3 1899 3732 3.3 13.1
41.75/41.81 c R 41.8 90.9 12135 89.8 1485 284e3 1999 3732 3.1 13.1
41.75/41.85 c R 41.8 90.9 12135 89.8 1485 285e3 2299 3732 3.0 13.1
41.85/41.95 c R 41.9 90.9 12135 89.8 1485 286e3 3097 3732 2.8 13.2
41.85/41.98 c s 41.9 90.9 12134 89.8 1485 286e3 3350 3732 2.5 13.2
41.85/41.99 c R 42.0 90.9 12134 89.8 1485 286e3 3450 3732 3.1 13.2
41.95/42.03 c R 42.0 90.9 12134 89.8 1485 286e3 3749 3732 3.6 13.2
42.05/42.15 c R 42.1 90.9 12134 89.8 1485 287e3 2672 3732 1.8 13.1
42.35/42.42 c R 42.4 90.8 12134 89.8 1485 289e3 2767 3732 2.8 13.2
42.95/43.07 c R 43.0 90.7 12134 89.8 1485 294e3 1886 3732 3.0 13.1
42.95/43.07 c
42.95/43.07 c seconds variables original learned agility
42.95/43.07 c level used conflicts limit MB
42.95/43.07 c
42.95/43.09 c + 43.0 90.7 12134 89.8 1485 294e3 2005 4105 3.5 13.1
43.55/43.65 c s 43.6 90.7 12132 89.8 1485 297e3 3214 4105 1.7 13.2
43.55/43.67 c R 43.6 90.7 12132 89.8 1485 297e3 3313 4105 1.8 13.2
43.65/43.71 c R 43.7 90.7 12132 89.8 1485 298e3 3611 4105 5.3 13.2
43.75/43.82 c R 43.8 90.7 12132 89.8 1485 298e3 2348 4105 2.3 13.1
44.05/44.10 c R 44.1 90.7 12132 89.8 1485 300e3 2285 4105 2.5 13.1
44.15/44.23 c s 44.2 90.6 12131 89.8 1485 302e3 3366 4105 2.6 13.2
44.15/44.25 c R 44.2 90.6 12131 89.8 1485 302e3 3466 4105 3.2 13.2
44.15/44.29 c R 44.3 90.6 12131 89.9 1485 302e3 3768 4105 2.2 13.2
44.35/44.43 c R 44.4 90.6 12131 89.9 1485 303e3 2505 4105 3.0 13.1
44.65/44.71 c R 44.7 90.6 12131 89.9 1485 305e3 2425 4105 3.5 13.1
45.25/45.34 c R 45.3 90.6 12131 90.0 1485 310e3 3060 4105 2.6 13.2
46.05/46.20 c s 46.2 90.6 12130 90.0 1485 315e3 2266 4105 3.0 13.1
46.15/46.21 c R 46.2 90.6 12130 90.0 1485 315e3 2365 4105 2.0 13.1
46.15/46.24 c R 46.2 90.6 12130 90.0 1485 315e3 2664 4105 5.7 13.2
46.24/46.35 c R 46.3 90.5 12130 90.0 1485 316e3 3465 4105 1.5 13.2
46.55/46.61 c R 46.6 90.5 12130 90.0 1485 318e3 3404 4105 2.9 13.2
47.15/47.27 c R 47.2 90.5 12130 90.0 1485 323e3 4050 4105 1.4 13.3
48.74/48.80 c R 48.8 90.5 12130 90.1 1485 334e3 2738 4105 2.8 13.3
50.14/50.28 c s 50.2 90.5 12128 90.2 1485 344e3 2280 4105 4.0 13.1
50.14/50.30 c R 50.3 90.5 12128 90.2 1485 344e3 2379 4105 2.4 13.1
50.24/50.34 c R 50.3 90.5 12128 90.2 1485 345e3 2679 4105 2.1 13.2
50.24/50.34 c
50.24/50.34 c seconds variables original learned agility
50.24/50.34 c level used conflicts limit MB
50.24/50.34 c
50.34/50.43 c R 50.4 90.5 12128 90.2 1485 345e3 3478 4105 2.0 13.2
50.55/50.70 c R 50.7 90.5 12128 90.2 1485 347e3 3409 4105 2.1 13.2
51.24/51.33 c R 51.3 90.5 12128 90.2 1485 352e3 4071 4105 1.2 13.3
52.75/52.84 c R 52.8 90.6 12128 90.4 1485 363e3 2772 4105 2.9 13.2
55.14/55.23 c s 55.2 90.6 12127 90.8 1485 380e3 3335 4105 3.8 13.2
55.14/55.24 c R 55.2 90.6 12127 90.8 1485 381e3 3437 4105 3.5 13.2
55.14/55.28 c R 55.2 90.6 12127 90.8 1485 381e3 3736 4105 2.1 13.3
55.34/55.41 c R 55.4 90.6 12127 90.8 1485 382e3 2480 4105 3.1 13.2
55.54/55.69 c R 55.6 90.6 12127 90.8 1485 384e3 2402 4105 3.2 13.1
56.24/56.30 c R 56.3 90.6 12127 90.8 1485 389e3 3044 4105 2.4 13.2
57.64/57.74 c R 57.7 90.5 12127 90.9 1485 400e3 3831 4105 3.3 13.3
58.84/58.92 c s 58.9 90.5 12125 90.9 1485 407e3 3230 4105 2.7 13.2
58.84/58.93 c R 58.9 90.5 12125 90.9 1485 408e3 3331 4105 2.6 13.2
58.84/58.97 c R 58.9 90.5 12125 90.9 1485 408e3 3630 4105 2.2 13.3
58.94/59.09 c R 59.0 90.5 12125 90.9 1485 409e3 2334 4105 2.2 13.1
59.24/59.36 c R 59.3 90.4 12125 91.0 1485 411e3 2257 4105 4.4 13.1
59.84/59.98 c R 59.9 90.5 12125 91.0 1485 415e3 2901 4105 2.1 13.2
61.34/61.48 c R 61.4 90.6 12125 91.1 1485 427e3 3695 4105 3.9 13.3
63.34/63.40 c + 63.3 90.5 12125 91.4 1485 441e3 3569 4515 1.9 13.2
64.74/64.86 c R 64.8 90.7 12125 91.6 1485 452e3 3242 4515 4.1 13.3
65.04/65.13 c s 65.1 90.6 12122 91.6 1485 453e3 4323 4515 2.5 13.3
65.04/65.14 c R 65.1 90.6 12122 91.6 1485 453e3 4419 4515 1.8 13.4
65.04/65.14 c
65.04/65.14 c seconds variables original learned agility
65.04/65.14 c level used conflicts limit MB
65.04/65.14 c
65.14/65.21 c R 65.2 90.6 12122 91.6 1485 454e3 2459 4515 3.8 13.2
65.24/65.32 c R 65.3 90.6 12122 91.6 1485 455e3 3259 4515 2.4 13.2
65.44/65.59 c R 65.5 90.6 12122 91.6 1485 457e3 2968 4515 3.2 13.2
66.14/66.23 c R 66.2 90.6 12122 91.6 1485 461e3 3165 4515 1.9 13.2
67.64/67.72 c R 67.7 90.7 12122 91.6 1485 473e3 2942 4515 3.2 13.2
68.93/69.04 c s 69.0 90.7 12119 91.6 1485 481e3 2308 4515 3.4 13.1
68.93/69.05 c R 69.0 90.7 12119 91.6 1485 481e3 2406 4515 2.7 13.2
68.93/69.09 c R 69.0 90.7 12119 91.6 1485 481e3 2707 4515 2.4 13.2
69.03/69.20 c R 69.1 90.7 12119 91.6 1485 482e3 3509 4515 2.6 13.2
69.33/69.48 c R 69.4 90.7 12119 91.6 1485 484e3 3235 4515 4.3 13.2
69.43/69.60 c s 69.5 90.7 12118 91.6 1485 485e3 4095 4515 2.4 13.3
69.53/69.61 c R 69.5 90.7 12118 91.6 1485 485e3 4195 4515 2.9 13.3
69.53/69.64 c R 69.6 90.7 12118 91.6 1485 486e3 4493 4515 4.5 13.3
69.63/69.77 c R 69.7 90.7 12118 91.6 1485 486e3 3023 4515 4.4 13.2
69.93/70.04 c R 70.0 90.7 12118 91.6 1485 488e3 2732 4515 5.4 13.2
70.53/70.67 c R 70.6 90.7 12118 91.6 1485 493e3 2955 4515 2.5 13.2
71.03/71.18 c s 71.1 90.6 12115 91.6 1485 496e3 3446 4515 1.9 13.2
71.03/71.19 c R 71.1 90.6 12115 91.6 1485 496e3 3544 4515 4.7 13.2
71.13/71.23 c R 71.2 90.6 12115 91.6 1485 496e3 3841 4515 3.3 13.3
71.23/71.35 c R 71.3 90.6 12115 91.6 1485 497e3 2363 4515 3.0 13.1
71.53/71.61 c R 71.6 90.6 12115 91.8 1485 499e3 4358 4515 4.5 13.3
72.13/72.25 c R 72.2 90.5 12115 91.8 1485 504e3 4606 4515 3.1 13.3
72.13/72.25 c
72.13/72.25 c seconds variables original learned agility
72.13/72.25 c level used conflicts limit MB
72.13/72.25 c
73.63/73.73 c R 73.7 90.5 12115 91.9 1485 515e3 4242 4515 4.2 13.3
77.03/77.13 c R 77.1 90.5 12115 92.0 1485 541e3 2461 4515 3.2 13.2
77.93/78.08 c s 78.0 90.4 12113 92.0 1485 547e3 3777 4515 1.6 13.2
77.93/78.09 c R 78.0 90.4 12113 92.0 1485 547e3 3876 4515 2.6 13.2
78.03/78.11 c R 78.0 90.4 12112 92.0 1485 547e3 4013 4515 2.4 13.3
78.03/78.15 c R 78.1 90.4 12112 92.0 1485 547e3 4314 4515 3.5 13.3
78.13/78.26 c R 78.2 90.4 12112 92.0 1485 548e3 2851 4515 1.9 13.2
78.43/78.55 c R 78.5 90.4 12112 92.0 1485 550e3 2574 4515 2.2 13.1
79.03/79.18 c R 79.1 90.4 12112 92.0 1485 555e3 2794 4515 4.2 13.2
79.53/79.66 c s 79.6 90.4 12111 92.0 1485 558e3 4116 4515 3.2 13.3
79.53/79.67 c R 79.6 90.4 12111 92.0 1485 559e3 4216 4515 3.7 13.3
79.63/79.71 c R 79.6 90.4 12111 92.0 1485 559e3 4516 4515 2.7 13.3
79.73/79.83 c R 79.8 90.4 12111 92.0 1485 560e3 3059 4515 3.4 13.2
79.93/80.09 c R 80.0 90.3 12111 92.0 1485 562e3 2754 4515 3.0 13.2
80.63/80.75 c R 80.7 90.4 12111 92.0 1485 566e3 3000 4515 2.4 13.2
82.13/82.23 c R 82.2 90.3 12111 92.0 1485 578e3 2794 4515 4.3 13.2
85.52/85.64 c R 85.6 90.5 12111 92.5 1485 603e3 3198 4515 2.5 13.2
93.22/93.37 c R 93.3 90.6 12111 93.2 1485 661e3 3616 4515 2.6 13.3
93.33/93.50 c + 93.4 90.6 12111 93.2 1485 662e3 4542 4966 3.2 13.4
99.32/99.48 c s 99.4 90.6 12109 93.7 1485 705e3 4703 4966 2.9 13.4
99.32/99.49 c R 99.4 90.6 12109 93.7 1485 705e3 4802 4966 2.3 13.4
99.42/99.55 c R 99.5 90.6 12109 93.7 1485 705e3 2614 4966 2.8 13.2
99.42/99.55 c
99.42/99.55 c seconds variables original learned agility
99.42/99.55 c level used conflicts limit MB
99.42/99.55 c
99.52/99.65 c R 99.6 90.5 12109 93.7 1485 706e3 3414 4966 2.3 13.2
99.82/99.92 c R 99.9 90.5 12109 93.7 1485 708e3 2912 4966 2.0 13.2
100.42/100.56 c R 100.5 90.5 12109 93.7 1485 713e3 2692 4966 4.2 13.2
101.92/102.07 c R 102.0 90.5 12109 93.7 1485 724e3 3819 4966 2.7 13.4
105.42/105.52 c R 105.4 90.5 12109 93.9 1485 750e3 4296 4966 4.3 13.3
109.52/109.63 c s 109.6 90.5 12108 94.1 1485 778e3 3141 4966 3.6 13.2
109.52/109.64 c R 109.6 90.5 12108 94.1 1485 779e3 3241 4966 2.8 13.2
109.52/109.68 c R 109.6 90.5 12108 94.1 1485 779e3 3539 4966 1.4 13.2
109.62/109.78 c R 109.7 90.5 12108 94.1 1485 780e3 4339 4966 3.2 13.3
109.92/110.05 c R 110.0 90.5 12108 94.1 1485 782e3 3846 4966 2.4 13.3
110.52/110.69 c R 110.6 90.5 12108 94.1 1485 786e3 3622 4966 4.2 13.3
111.22/111.36 c s 111.3 90.5 12107 94.1 1485 792e3 3654 4966 2.3 13.3
111.22/111.38 c R 111.3 90.5 12107 94.1 1485 792e3 3754 4966 1.9 13.3
111.32/111.42 c R 111.3 90.5 12107 94.1 1485 792e3 4053 4966 4.3 13.3
111.42/111.53 c R 111.5 90.4 12107 94.1 1485 793e3 4853 4966 2.9 13.3
111.72/111.81 c R 111.7 90.4 12107 94.2 1485 795e3 4325 4966 4.8 13.3
112.31/112.44 c R 112.4 90.4 12107 94.2 1485 800e3 4096 4966 2.0 13.3
113.81/114.00 c R 113.9 90.5 12107 94.2 1485 811e3 2685 4966 1.8 13.2
117.31/117.46 c R 117.4 90.4 12107 94.3 1485 836e3 3156 4966 3.5 13.2
125.21/125.32 c R 125.2 90.4 12107 94.6 1485 894e3 2967 4966 3.3 13.2
125.50/125.62 c s 125.5 90.4 12106 94.6 1485 895e3 4379 4966 2.6 13.3
125.50/125.63 c R 125.6 90.4 12106 94.6 1485 896e3 4479 4966 2.3 13.3
125.50/125.63 c
125.50/125.63 c seconds variables original learned agility
125.50/125.63 c level used conflicts limit MB
125.50/125.63 c
125.50/125.67 c R 125.6 90.4 12106 94.6 1485 896e3 4779 4966 2.7 13.4
125.60/125.79 c R 125.7 90.4 12106 94.6 1485 897e3 3091 4966 2.9 13.2
125.90/126.09 c R 126.0 90.4 12106 94.6 1485 899e3 2559 4966 3.3 13.2
126.60/126.71 c R 126.6 90.4 12106 94.6 1485 903e3 4852 4966 4.4 13.4
128.10/128.24 c R 128.2 90.4 12106 94.6 1485 915e3 3509 4966 3.1 13.3
131.50/131.68 c R 131.6 90.3 12106 94.6 1485 940e3 4012 4966 1.8 13.3
138.60/138.72 c + 138.6 90.2 12106 94.7 1485 993e3 3911 5462 2.7 13.3
138.80/138.93 c s 138.8 90.2 12104 94.7 1485 994e3 4497 5462 2.2 13.4
138.80/138.95 c R 138.9 90.2 12104 94.7 1485 994e3 4595 5462 3.3 13.4
138.80/138.98 c R 138.9 90.2 12104 94.7 1485 994e3 4895 5462 3.6 13.4
139.00/139.11 c R 139.0 90.2 12104 94.7 1485 995e3 2914 5462 2.8 13.2
139.20/139.36 c R 139.3 90.2 12104 94.7 1485 997e3 4910 5462 1.9 13.3
139.90/140.02 c R 139.9 90.2 12104 94.7 1485 100e4 4194 5462 2.1 13.3
141.40/141.59 c R 141.5 90.2 12104 94.7 1485 101e4 4287 5462 5.2 13.4
144.79/144.99 c R 144.9 90.2 12104 94.8 1485 103e4 5006 5462 2.1 13.4
152.59/152.73 c R 152.6 90.3 12104 94.8 1485 109e4 4699 5462 2.0 13.4
156.19/156.34 c s 156.2 90.2 12103 95.1 1485 112e4 5473 5462 3.3 13.4
156.19/156.37 c R 156.3 90.2 12103 95.1 1485 112e4 2836 5462 3.6 13.2
156.29/156.41 c R 156.3 90.2 12103 95.1 1485 112e4 3135 5462 3.0 13.2
156.39/156.52 c R 156.4 90.2 12103 95.1 1485 112e4 3931 5462 3.0 13.3
156.59/156.73 c s 156.6 90.2 12102 95.1 1485 112e4 5362 5462 1.5 13.4
156.59/156.74 c R 156.6 90.2 12102 95.1 1485 112e4 5460 5462 2.0 13.4
156.59/156.74 c
156.59/156.74 c seconds variables original learned agility
156.59/156.74 c level used conflicts limit MB
156.59/156.74 c
156.59/156.77 c R 156.7 90.2 12101 95.1 1485 112e4 2832 5462 2.1 13.2
156.69/156.80 c R 156.7 90.2 12101 95.1 1485 112e4 3132 5462 4.8 13.2
156.79/156.91 c R 156.8 90.2 12101 95.1 1485 112e4 3934 5462 2.3 13.3
156.89/157.00 c s 156.9 90.2 12100 95.1 1485 112e4 4464 5462 3.0 13.3
156.89/157.02 c R 156.9 90.2 12100 95.1 1485 112e4 4566 5462 2.5 13.3
156.89/157.06 c R 157.0 90.2 12099 95.1 1485 112e4 4943 5462 3.0 13.3
156.99/157.10 c R 157.0 90.2 12099 95.1 1485 112e4 5242 5462 3.8 13.4
157.09/157.22 c R 157.1 90.2 12099 95.1 1485 112e4 3292 5462 2.1 13.2
157.29/157.47 c R 157.4 90.2 12099 95.1 1485 113e4 5291 5462 2.8 13.4
157.99/158.15 c R 158.1 90.2 12099 95.1 1485 113e4 4596 5462 3.6 13.3
159.58/159.73 c R 159.6 90.2 12099 95.6 1485 114e4 4741 5462 2.7 13.4
163.08/163.23 c R 163.1 90.2 12099 95.8 1485 117e4 5427 5462 5.3 13.4
163.79/163.91 c s 163.8 90.1 12095 95.8 1485 117e4 3624 5462 2.4 13.3
163.79/163.92 c R 163.8 90.1 12095 95.8 1485 117e4 3721 5462 2.6 13.3
163.79/163.95 c R 163.9 90.1 12095 95.8 1485 117e4 4020 5462 3.7 13.3
163.88/164.06 c R 164.0 90.1 12095 95.8 1485 117e4 4820 5462 2.2 13.3
164.18/164.34 c R 164.2 90.1 12095 95.8 1485 117e4 4085 5462 2.9 13.3
164.89/165.02 c R 164.9 90.1 12095 95.8 1485 118e4 3408 5462 3.6 13.2
166.38/166.57 c R 166.5 90.1 12095 95.8 1485 119e4 3624 5462 2.8 13.3
169.88/170.03 c R 169.9 90.1 12095 96.6 1485 122e4 4434 5462 1.6 13.4
177.68/177.81 c R 177.7 90.2 12095 97.3 1485 127e4 3940 5462 6.0 13.4
177.78/177.98 c s 177.9 90.2 12093 97.3 1485 127e4 4144 5462 2.1 13.4
177.78/177.98 c
177.78/177.98 c seconds variables original learned agility
177.78/177.98 c level used conflicts limit MB
177.78/177.98 c
177.78/177.99 c R 177.9 90.2 12093 97.3 1485 127e4 4243 5462 2.1 13.4
177.88/178.02 c R 177.9 90.2 12093 97.3 1485 127e4 4544 5462 2.6 13.5
177.98/178.13 c R 178.0 90.2 12093 97.3 1485 127e4 5342 5462 3.1 13.5
178.28/178.41 c R 178.3 90.2 12093 97.3 1485 128e4 4591 5462 2.8 13.3
178.58/178.73 c s 178.6 90.2 12092 97.3 1485 128e4 4082 5462 1.4 13.3
178.58/178.75 c R 178.6 90.2 12092 97.3 1485 128e4 4182 5462 2.6 13.3
178.58/178.79 c R 178.7 90.2 12092 97.3 1485 128e4 4483 5462 2.5 13.3
178.68/178.89 c R 178.8 90.2 12092 97.3 1485 128e4 5284 5462 2.2 13.4
178.98/179.16 c s 179.0 90.2 12091 97.3 1485 128e4 4384 5462 2.9 13.3
178.98/179.17 c R 179.1 90.2 12091 97.3 1485 128e4 4484 5462 3.0 13.3
179.08/179.22 c R 179.1 90.2 12091 97.3 1485 128e4 4782 5462 3.1 13.3
179.18/179.35 c R 179.2 90.2 12091 97.3 1485 128e4 2841 5462 3.4 13.2
179.48/179.61 c R 179.5 90.2 12091 97.3 1485 128e4 4847 5462 2.1 13.4
180.08/180.28 c R 180.2 90.2 12091 97.3 1485 129e4 4139 5462 1.8 13.3
181.57/181.77 c R 181.7 90.2 12091 97.3 1485 130e4 4315 5462 4.3 13.4
185.07/185.23 c R 185.1 90.2 12091 97.6 1485 133e4 5111 5462 5.5 13.5
192.77/192.96 c R 192.9 90.3 12091 97.6 1485 138e4 4533 5462 2.8 13.5
193.47/193.66 c s 193.6 90.3 12089 97.6 1485 139e4 3271 5462 2.3 13.2
193.47/193.68 c R 193.6 90.3 12089 97.6 1485 139e4 3370 5462 1.9 13.2
193.57/193.71 c R 193.6 90.3 12089 97.6 1485 139e4 3670 5462 4.2 13.2
193.67/193.82 c R 193.7 90.3 12089 97.6 1485 139e4 4469 5462 1.5 13.3
193.67/193.89 c s 193.8 90.3 12088 97.6 1485 139e4 5076 5462 3.4 13.3
193.67/193.89 c
193.67/193.89 c seconds variables original learned agility
193.67/193.89 c level used conflicts limit MB
193.67/193.89 c
193.77/193.91 c R 193.8 90.3 12088 97.6 1485 139e4 5176 5462 1.6 13.3
193.77/193.95 c R 193.8 90.3 12088 97.6 1485 139e4 5477 5462 2.2 13.4
193.87/194.07 c R 194.0 90.3 12088 97.6 1485 139e4 3538 5462 2.6 13.2
194.17/194.32 c R 194.2 90.3 12088 97.6 1485 139e4 5534 5462 2.5 13.4
194.77/194.99 c R 194.9 90.3 12088 97.6 1485 140e4 4769 5462 2.3 13.3
196.37/196.53 c R 196.4 90.3 12088 97.6 1485 141e4 4856 5462 2.1 13.4
199.87/200.03 c R 199.9 90.3 12088 97.7 1485 144e4 2849 5462 5.3 13.2
200.07/200.21 c s 200.1 90.3 12087 97.7 1485 144e4 3303 5462 2.5 13.3
200.07/200.23 c R 200.1 90.3 12087 97.7 1485 144e4 3404 5462 2.6 13.3
200.07/200.27 c R 200.2 90.3 12087 97.7 1485 144e4 3704 5462 2.3 13.3
200.17/200.36 c R 200.2 90.3 12087 97.7 1485 144e4 4504 5462 2.2 13.3
200.47/200.62 c R 200.5 90.3 12087 97.7 1485 144e4 3735 5462 3.9 13.3
201.17/201.32 c R 201.2 90.3 12087 97.7 1485 144e4 3043 5462 2.7 13.2
202.67/202.85 c R 202.7 90.3 12087 97.7 1485 145e4 3162 5462 6.3 13.2
205.46/205.69 c s 205.6 90.3 12085 98.5 1485 147e4 3270 5462 2.7 13.3
205.56/205.70 c R 205.6 90.3 12085 98.5 1485 147e4 3369 5462 2.2 13.3
205.56/205.74 c R 205.6 90.3 12085 98.5 1485 147e4 3668 5462 2.9 13.3
205.66/205.85 c R 205.7 90.3 12085 98.5 1485 148e4 4469 5462 2.0 13.4
205.96/206.13 c R 206.0 90.3 12085 98.5 1485 148e4 3731 5462 2.3 13.3
206.66/206.81 c R 206.7 90.3 12085 98.5 1485 148e4 3036 5462 3.1 13.2
206.96/207.19 c + 207.1 90.3 12085 98.5 1485 149e4 3110 6008 2.3 13.2
208.06/208.27 c R 208.1 90.3 12085 98.5 1485 149e4 5374 6008 4.2 13.4
208.06/208.27 c
208.06/208.27 c seconds variables original learned agility
208.06/208.27 c level used conflicts limit MB
208.06/208.27 c
208.66/208.85 c s 208.7 90.3 12083 98.5 1485 150e4 5532 6008 2.3 13.4
208.66/208.86 c R 208.7 90.3 12083 98.5 1485 150e4 5633 6008 2.0 13.4
208.66/208.90 c R 208.8 90.3 12083 98.5 1485 150e4 5932 6008 2.2 13.5
208.86/209.02 c R 208.9 90.3 12083 98.5 1485 150e4 3716 6008 2.4 13.3
209.06/209.27 c R 209.1 90.3 12083 98.5 1485 150e4 5721 6008 5.5 13.4
209.76/209.92 c R 209.8 90.3 12083 98.5 1485 150e4 4472 6008 3.3 13.3
211.26/211.47 c R 211.3 90.3 12083 98.5 1485 152e4 3500 6008 3.6 13.3
214.76/214.90 c R 214.8 90.3 12083 98.5 1485 154e4 4863 6008 3.8 13.4
216.16/216.38 c s 216.3 90.3 12082 98.5 1485 155e4 5576 6008 1.5 13.4
216.26/216.40 c R 216.3 90.3 12082 98.5 1485 155e4 5676 6008 2.4 13.4
216.26/216.44 c R 216.3 90.3 12082 98.5 1485 155e4 5979 6008 2.5 13.5
216.35/216.55 c R 216.4 90.3 12082 98.5 1485 155e4 3750 6008 1.9 13.3
216.65/216.82 c R 216.7 90.3 12082 98.5 1485 155e4 5747 6008 3.8 13.4
217.25/217.49 c R 217.4 90.3 12082 98.5 1485 156e4 4483 6008 1.2 13.3
218.85/219.02 c R 218.9 90.3 12082 98.5 1485 157e4 3483 6008 2.6 13.3
222.35/222.57 c s 222.4 90.3 12081 99.0 1485 160e4 4076 6008 2.9 13.4
222.35/222.59 c R 222.5 90.3 12080 99.0 1485 160e4 4179 6008 1.2 13.4
222.45/222.62 c R 222.5 90.3 12080 99.0 1485 160e4 4479 6008 2.7 13.5
222.55/222.74 c R 222.6 90.3 12080 99.0 1485 160e4 5278 6008 3.9 13.5
222.85/223.00 c R 222.9 90.3 12080 99.0 1485 160e4 4258 6008 2.8 13.3
223.45/223.64 c R 223.5 90.3 12080 99.0 1485 160e4 3026 6008 2.2 13.2
224.95/225.15 c R 225.0 90.3 12080 99.0 1485 161e4 5154 6008 2.5 13.4
224.95/225.15 c
224.95/225.15 c seconds variables original learned agility
224.95/225.15 c level used conflicts limit MB
224.95/225.15 c
226.15/226.39 c s 226.3 90.3 12079 99.0 1485 162e4 4076 6008 1.8 13.3
226.25/226.41 c R 226.3 90.3 12079 99.0 1485 162e4 4176 6008 1.6 13.3
226.25/226.45 c R 226.3 90.3 12079 99.0 1485 162e4 4476 6008 2.2 13.3
226.36/226.57 c R 226.4 90.3 12079 99.0 1485 162e4 5277 6008 4.3 13.4
226.46/226.62 c s 226.5 90.3 12078 99.0 1485 162e4 5544 6008 2.4 13.4
226.46/226.64 c R 226.5 90.3 12078 99.0 1485 162e4 5644 6008 2.5 13.4
226.46/226.68 c R 226.5 90.3 12078 99.0 1485 162e4 5943 6008 3.8 13.4
226.65/226.80 c R 226.7 90.3 12078 99.0 1485 163e4 3719 6008 2.3 13.2
226.85/227.08 c R 226.9 90.3 12078 99.0 1485 163e4 5721 6008 3.5 13.4
227.56/227.74 c R 227.6 90.3 12078 99.0 1485 163e4 4489 6008 2.7 13.4
227.56/227.78 c s 227.6 90.3 12077 99.0 1485 163e4 4742 6008 2.3 13.4
227.56/227.79 c R 227.7 90.3 12077 99.0 1485 163e4 4842 6008 2.3 13.4
227.65/227.83 c R 227.7 90.3 12077 99.0 1485 163e4 5144 6008 3.1 13.4
227.75/227.94 c R 227.8 90.3 12077 99.0 1485 163e4 5949 6008 3.2 13.5
228.05/228.20 c R 228.1 90.3 12077 99.0 1485 164e4 4922 6008 3.6 13.4
228.65/228.85 c R 228.7 90.3 12077 99.0 1485 164e4 3639 6008 3.1 13.3
230.15/230.33 c R 230.2 90.3 12077 99.0 1485 165e4 5723 6008 4.7 13.5
230.55/230.80 c s 230.7 90.3 12075 99.0 1485 165e4 4970 6008 5.0 13.4
230.65/230.81 c R 230.7 90.3 12075 99.0 1485 165e4 5069 6008 1.9 13.4
230.65/230.85 c R 230.7 90.3 12075 99.0 1485 165e4 5369 6008 2.7 13.4
230.76/230.98 c R 230.8 90.3 12075 99.0 1485 166e4 3134 6008 3.0 13.2
231.06/231.22 c R 231.1 90.3 12075 99.0 1485 166e4 5129 6008 4.5 13.4
231.06/231.22 c
231.06/231.22 c seconds variables original learned agility
231.06/231.22 c level used conflicts limit MB
231.06/231.22 c
231.66/231.89 c R 231.8 90.3 12075 99.0 1485 166e4 3895 6008 2.6 13.3
233.16/233.37 c R 233.2 90.3 12075 99.0 1485 167e4 6001 6008 2.4 13.5
233.56/233.80 c s 233.7 90.3 12074 99.0 1485 168e4 4870 6008 2.0 13.4
233.66/233.81 c R 233.7 90.3 12074 99.0 1485 168e4 4970 6008 4.4 13.4
233.66/233.84 c R 233.7 90.3 12074 99.0 1485 168e4 5269 6008 5.0 13.5
233.76/233.97 c R 233.8 90.3 12074 99.0 1485 168e4 3052 6008 2.3 13.2
234.06/234.23 c R 234.1 90.3 12074 99.0 1485 168e4 5052 6008 1.9 13.4
234.65/234.88 c R 234.7 90.3 12074 99.0 1485 168e4 3810 6008 4.2 13.3
236.15/236.37 c R 236.2 90.3 12074 99.0 1485 169e4 5884 6008 2.4 13.5
239.66/239.83 c R 239.7 90.4 12074 99.0 1485 172e4 4073 6008 2.6 13.3
241.25/241.43 c s 241.3 90.4 12073 99.0 1485 173e4 5645 6008 2.6 13.4
241.25/241.45 c R 241.3 90.4 12073 99.0 1485 173e4 5746 6008 2.4 13.4
241.25/241.49 c R 241.4 90.4 12073 99.0 1485 173e4 6046 6008 2.4 13.5
241.45/241.62 c R 241.5 90.4 12073 99.0 1485 173e4 3822 6008 3.3 13.3
241.65/241.89 c R 241.8 90.4 12073 99.0 1485 173e4 5828 6008 2.3 13.4
242.35/242.55 c R 242.4 90.4 12073 99.0 1485 174e4 4605 6008 2.6 13.3
242.65/242.83 c s 242.7 90.3 12072 99.0 1485 174e4 3397 6008 1.7 13.2
242.65/242.84 c R 242.7 90.3 12072 99.0 1485 174e4 3497 6008 1.6 13.2
242.65/242.88 c R 242.7 90.3 12072 99.0 1485 174e4 3799 6008 2.6 13.3
242.75/242.98 c R 242.8 90.3 12072 99.0 1485 174e4 4597 6008 1.8 13.3
242.86/243.04 c s 242.9 90.3 12071 99.0 1485 174e4 4870 6008 1.4 13.4
242.86/243.05 c R 242.9 90.3 12071 99.0 1485 174e4 4970 6008 2.1 13.4
242.86/243.05 c
242.86/243.05 c seconds variables original learned agility
242.86/243.05 c level used conflicts limit MB
242.86/243.05 c
242.86/243.09 c R 242.9 90.3 12071 99.0 1485 174e4 5270 6008 1.6 13.4
243.05/243.20 c R 243.1 90.3 12071 99.0 1485 174e4 6071 6008 4.3 13.4
243.25/243.50 c R 243.4 90.3 12071 99.0 1485 175e4 5030 6008 3.3 13.4
243.96/244.14 c R 244.0 90.3 12071 99.0 1485 175e4 3781 6008 3.6 13.3
244.25/244.47 c s 244.3 90.3 12070 99.0 1485 175e4 5225 6008 2.1 13.4
244.25/244.48 c R 244.3 90.3 12070 99.0 1485 175e4 5323 6008 4.8 13.4
244.35/244.52 c R 244.4 90.3 12070 99.0 1485 175e4 5624 6008 2.9 13.4
244.45/244.64 c R 244.5 90.3 12070 99.0 1485 175e4 3417 6008 2.2 13.2
244.75/244.90 c R 244.8 90.3 12070 99.0 1485 175e4 5417 6008 2.4 13.4
245.35/245.59 c R 245.4 90.3 12070 99.0 1485 176e4 4191 6008 2.5 13.3
246.95/247.10 c R 247.0 90.3 12070 99.0 1485 177e4 3232 6008 3.6 13.3
250.44/250.62 c R 250.5 90.4 12070 99.0 1485 180e4 4509 6008 2.3 13.4
255.54/255.70 c s 255.5 90.4 12068 99.0 1485 183e4 4057 6008 3.6 13.3
255.54/255.71 c R 255.6 90.4 12068 99.0 1485 183e4 4156 6008 4.0 13.3
255.54/255.76 c R 255.6 90.4 12068 99.0 1485 183e4 4456 6008 2.0 13.3
255.64/255.87 c R 255.7 90.4 12068 99.0 1485 183e4 5255 6008 2.5 13.4
255.94/256.16 c R 256.0 90.4 12068 99.0 1485 184e4 4245 6008 3.7 13.3
256.24/256.49 c s 256.3 90.4 12067 99.0 1485 184e4 3493 6008 1.9 13.2
256.34/256.50 c R 256.4 90.4 12067 99.0 1485 184e4 3593 6008 2.7 13.3
256.34/256.54 c R 256.4 90.4 12067 99.0 1485 184e4 3892 6008 2.3 13.3
256.44/256.66 c R 256.5 90.4 12067 99.0 1485 184e4 4693 6008 2.1 13.3
256.74/256.96 c R 256.8 90.4 12067 99.0 1485 184e4 3640 6008 7.1 13.3
256.74/256.96 c
256.74/256.96 c seconds variables original learned agility
256.74/256.96 c level used conflicts limit MB
256.74/256.96 c
257.44/257.61 c R 257.5 90.4 12067 99.0 1485 185e4 5417 6008 5.1 13.4
258.94/259.17 c R 259.0 90.4 12067 99.0 1485 186e4 4564 6008 4.5 13.4
261.34/261.59 c s 261.4 90.4 12066 99.0 1485 187e4 5737 6008 1.6 13.4
261.44/261.60 c R 261.5 90.4 12066 99.0 1485 187e4 5839 6008 5.8 13.4
261.44/261.66 c R 261.5 90.4 12066 99.0 1485 187e4 3115 6008 2.7 13.2
261.54/261.77 c R 261.6 90.4 12066 99.0 1485 187e4 3915 6008 2.5 13.3
261.84/262.04 c R 261.9 90.4 12066 99.0 1485 188e4 5918 6008 3.3 13.5
262.54/262.71 c R 262.6 90.4 12066 99.0 1485 188e4 4669 6008 1.7 13.4
264.04/264.26 c R 264.1 90.4 12066 99.0 1485 189e4 3744 6008 4.5 13.3
264.64/264.86 c s 264.7 90.4 12064 99.0 1485 190e4 3843 6008 2.8 13.3
264.64/264.87 c R 264.7 90.4 12064 99.0 1485 190e4 3942 6008 2.2 13.3
264.74/264.91 c R 264.8 90.4 12064 99.0 1485 190e4 4242 6008 3.9 13.3
264.84/265.01 c R 264.9 90.4 12064 99.0 1485 190e4 5044 6008 1.7 13.4
265.14/265.31 c R 265.2 90.4 12064 99.0 1485 190e4 3988 6008 3.8 13.3
265.74/265.95 c R 265.8 90.4 12064 99.0 1485 190e4 5754 6008 5.1 13.4
267.24/267.47 c R 267.3 90.4 12064 99.0 1485 191e4 4839 6008 4.2 13.4
270.83/271.09 c s 270.9 90.4 12063 99.1 1485 194e4 5994 6008 3.9 13.5
270.93/271.13 c R 271.0 90.4 12063 99.1 1485 194e4 3074 6008 2.5 13.2
270.93/271.16 c R 271.0 90.4 12063 99.1 1485 194e4 3374 6008 3.8 13.3
271.03/271.26 c R 271.1 90.4 12063 99.1 1485 194e4 4173 6008 3.9 13.3
271.33/271.53 c R 271.4 90.4 12063 99.1 1485 194e4 6169 6008 5.8 13.5
271.93/272.19 c R 272.0 90.4 12063 99.1 1485 195e4 4863 6008 4.5 13.4
271.93/272.19 c
271.93/272.19 c seconds variables original learned agility
271.93/272.19 c level used conflicts limit MB
271.93/272.19 c
273.53/273.73 c R 273.6 90.4 12063 99.1 1485 196e4 3903 6008 2.7 13.3
273.93/274.19 c s 274.0 90.4 12062 99.1 1485 196e4 3239 6008 2.8 13.2
274.03/274.21 c R 274.1 90.4 12062 99.1 1485 196e4 3339 6008 4.5 13.2
274.03/274.24 c R 274.1 90.4 12062 99.1 1485 196e4 3639 6008 2.5 13.2
274.13/274.35 c R 274.2 90.4 12062 99.1 1485 196e4 4439 6008 1.6 13.3
274.43/274.61 c R 274.5 90.4 12062 99.1 1485 197e4 3377 6008 2.9 13.2
274.43/274.66 c s 274.5 90.4 12061 99.1 1485 197e4 3541 6008 2.1 13.3
274.43/274.68 c R 274.5 90.4 12061 99.1 1485 197e4 3641 6008 4.0 13.3
274.53/274.72 c R 274.6 90.4 12061 99.1 1485 197e4 3942 6008 3.8 13.3
274.63/274.82 c R 274.7 90.4 12061 99.1 1485 197e4 4739 6008 2.3 13.4
274.93/275.11 c R 275.0 90.4 12061 99.1 1485 197e4 3705 6008 2.0 13.3
275.53/275.75 c R 275.6 90.4 12061 99.1 1485 197e4 5503 6008 1.7 13.4
277.04/277.27 c R 277.1 90.4 12061 99.1 1485 198e4 4547 6008 4.3 13.4
279.53/279.79 c s 279.6 90.3 12059 99.1 1485 200e4 3814 6008 1.9 13.3
279.63/279.80 c R 279.6 90.3 12059 99.1 1485 200e4 3913 6008 2.2 13.3
279.63/279.84 c R 279.7 90.3 12059 99.1 1485 200e4 4213 6008 4.0 13.3
279.73/279.94 c R 279.8 90.3 12059 99.1 1485 200e4 5014 6008 1.7 13.4
280.03/280.23 c R 280.1 90.3 12059 99.1 1485 201e4 3958 6008 4.3 13.3
280.63/280.86 c R 280.7 90.3 12059 99.1 1485 201e4 5678 6008 2.3 13.5
282.23/282.41 c R 282.3 90.3 12059 99.1 1485 202e4 4746 6008 3.6 13.4
285.03/285.25 c s 285.1 90.3 12057 99.1 1485 204e4 5810 6008 2.9 13.5
285.03/285.26 c R 285.1 90.3 12057 99.1 1485 204e4 5909 6008 2.2 13.5
285.03/285.26 c
285.03/285.26 c seconds variables original learned agility
285.03/285.26 c level used conflicts limit MB
285.03/285.26 c
285.13/285.33 c R 285.2 90.3 12057 99.1 1485 204e4 3204 6008 1.5 13.2
285.23/285.43 c R 285.3 90.3 12057 99.1 1485 204e4 4004 6008 2.5 13.3
285.43/285.68 c R 285.5 90.3 12057 99.1 1485 204e4 6004 6008 3.7 13.5
286.13/286.36 c R 286.2 90.3 12057 99.1 1485 205e4 4734 6008 2.5 13.4
287.73/287.91 c R 287.7 90.3 12057 99.1 1485 206e4 3774 6008 3.9 13.3
289.03/289.26 c s 289.1 90.3 12056 99.1 1485 207e4 3375 6008 1.7 13.3
289.03/289.27 c R 289.1 90.3 12056 99.1 1485 207e4 3475 6008 2.8 13.3
289.13/289.31 c R 289.2 90.3 12056 99.1 1485 207e4 3775 6008 5.0 13.3
289.23/289.42 c R 289.3 90.3 12056 99.1 1485 207e4 4575 6008 2.7 13.3
289.53/289.71 c R 289.5 90.3 12056 99.1 1485 207e4 3552 6008 3.5 13.2
290.13/290.34 c R 290.2 90.3 12056 99.1 1485 208e4 5322 6008 3.9 13.4
291.73/291.90 c R 291.7 90.3 12056 99.1 1485 209e4 4391 6008 6.9 13.4
295.12/295.38 c R 295.2 90.4 12056 99.1 1485 211e4 5580 6008 2.0 13.5
298.82/299.04 c s 298.9 90.4 12055 99.1 1485 214e4 3710 6008 3.1 13.3
298.82/299.05 c R 298.9 90.4 12055 99.1 1485 214e4 3810 6008 2.1 13.3
298.82/299.09 c R 298.9 90.4 12055 99.1 1485 214e4 4111 6008 2.7 13.3
298.92/299.18 c R 299.0 90.4 12055 99.1 1485 214e4 4914 6008 3.3 13.4
299.12/299.39 c s 299.2 90.4 12054 99.1 1485 214e4 3190 6008 2.1 13.2
299.22/299.40 c R 299.2 90.4 12053 99.1 1485 214e4 3304 6008 2.2 13.2
299.22/299.45 c R 299.3 90.4 12053 99.1 1485 214e4 3603 6008 2.2 13.2
299.32/299.53 c s 299.4 90.4 12053 99.1 1485 214e4 4320 6008 3.1 13.3
299.32/299.54 c R 299.4 90.4 12053 99.1 1485 214e4 4404 6008 4.2 13.3
299.32/299.54 c
299.32/299.54 c seconds variables original learned agility
299.32/299.54 c level used conflicts limit MB
299.32/299.54 c
299.62/299.80 c R 299.6 90.4 12053 99.1 1485 214e4 3351 6008 2.7 13.2
300.12/300.35 c s 300.2 90.4 12052 99.1 1485 215e4 4108 6008 1.8 13.3
300.12/300.36 c R 300.2 90.4 12052 99.1 1485 215e4 4208 6008 2.7 13.3
300.22/300.40 c R 300.2 90.4 12052 99.1 1485 215e4 4510 6008 2.4 13.3
300.32/300.50 c R 300.3 90.4 12052 99.1 1485 215e4 5310 6008 2.3 13.4
300.52/300.79 c R 300.6 90.4 12052 99.1 1485 215e4 4292 6008 3.0 13.3
301.22/301.45 c R 301.3 90.4 12052 99.1 1485 216e4 6082 6008 2.0 13.5
302.82/303.01 c R 302.8 90.4 12052 99.1 1485 217e4 5114 6008 3.4 13.4
306.42/306.61 c R 306.4 90.4 12052 99.1 1485 219e4 3436 6008 3.3 13.3
311.32/311.56 c + 311.4 90.3 12052 99.1 1485 223e4 4234 6608 3.8 13.3
314.12/314.34 c R 314.2 90.4 12052 99.3 1485 225e4 4635 6608 3.4 13.4
318.21/318.47 c s 318.3 90.4 12051 99.3 1485 228e4 3383 6608 1.7 13.3
318.21/318.48 c R 318.3 90.4 12051 99.3 1485 228e4 3485 6608 3.3 13.3
318.31/318.52 c R 318.3 90.4 12051 99.3 1485 228e4 3789 6608 1.8 13.3
318.41/318.62 c R 318.4 90.4 12051 99.3 1485 228e4 4586 6608 2.6 13.4
318.61/318.90 c R 318.7 90.4 12051 99.3 1485 228e4 6583 6608 3.4 13.5
319.31/319.56 c R 319.4 90.4 12051 99.3 1485 229e4 4711 6608 3.1 13.4
321.02/321.22 c s 321.0 90.4 12050 99.3 1485 230e4 5837 6608 3.8 13.5
321.02/321.23 c R 321.1 90.4 12050 99.3 1485 230e4 5935 6608 3.1 13.5
321.02/321.27 c R 321.1 90.4 12050 99.3 1485 230e4 6235 6608 3.4 13.5
321.21/321.40 c R 321.2 90.4 12050 99.3 1485 230e4 3718 6608 3.3 13.3
321.41/321.66 c R 321.5 90.4 12050 99.3 1485 230e4 5718 6608 3.3 13.5
321.41/321.66 c
321.41/321.66 c seconds variables original learned agility
321.41/321.66 c level used conflicts limit MB
321.41/321.66 c
322.12/322.35 c R 322.2 90.4 12050 99.3 1485 231e4 3860 6608 2.1 13.3
323.61/323.89 c R 323.7 90.4 12050 99.3 1485 232e4 5057 6608 2.0 13.4
327.21/327.43 c R 327.3 90.4 12050 99.3 1485 234e4 3924 6608 5.2 13.4
329.51/329.76 c s 329.6 90.4 12049 99.3 1485 236e4 6469 6608 3.5 13.5
329.51/329.78 c R 329.6 90.4 12049 99.3 1485 236e4 6569 6608 2.6 13.5
329.61/329.84 c R 329.7 90.4 12049 99.3 1485 236e4 3534 6608 2.7 13.3
329.71/329.94 c R 329.8 90.4 12049 99.3 1485 236e4 4334 6608 2.5 13.3
330.01/330.21 c R 330.0 90.4 12049 99.3 1485 236e4 6334 6608 3.7 13.5
330.61/330.87 c R 330.7 90.4 12049 99.3 1485 237e4 4502 6608 3.1 13.3
332.21/332.42 c R 332.2 90.4 12049 99.3 1485 238e4 5664 6608 3.0 13.6
335.71/335.91 c R 335.7 90.4 12049 99.3 1485 240e4 4543 6608 4.1 13.4
343.50/343.74 c R 343.5 90.5 12049 99.7 1485 246e4 5427 6608 3.6 13.5
353.60/353.87 c s 353.7 90.5 12048 99.7 1485 253e4 4772 6608 4.6 13.4
353.60/353.88 c R 353.7 90.5 12048 99.7 1485 253e4 4872 6608 2.1 13.4
353.70/353.92 c R 353.7 90.5 12048 99.7 1485 253e4 5173 6608 4.0 13.4
353.80/354.03 c R 353.8 90.5 12048 99.7 1485 254e4 5974 6608 4.6 13.5
354.10/354.31 c R 354.1 90.5 12048 99.7 1485 254e4 4635 6608 5.0 13.3
354.70/354.97 c R 354.8 90.5 12048 99.7 1485 254e4 6118 6608 4.2 13.5
356.29/356.51 c R 356.3 90.5 12048 99.7 1485 255e4 4020 6608 5.0 13.3
359.79/360.07 c R 359.9 90.5 12048 99.7 1485 258e4 6281 6608 3.3 13.5
361.39/361.62 c s 361.4 90.5 12046 99.7 1485 259e4 6401 6608 1.5 13.5
361.39/361.63 c R 361.4 90.5 12046 99.7 1485 259e4 6501 6608 3.0 13.5
361.39/361.63 c
361.39/361.63 c seconds variables original learned agility
361.39/361.63 c level used conflicts limit MB
361.39/361.63 c
361.49/361.70 c R 361.5 90.5 12046 99.7 1485 259e4 3492 6608 2.7 13.2
361.60/361.81 c R 361.6 90.5 12046 99.7 1485 259e4 4297 6608 2.5 13.3
361.79/362.09 c R 361.9 90.5 12046 99.7 1485 259e4 6297 6608 4.7 13.5
362.49/362.75 c R 362.6 90.5 12046 99.7 1485 260e4 4467 6608 4.4 13.3
363.99/364.29 c R 364.1 90.5 12046 99.9 1485 261e4 5637 6608 11.5 13.5
364.19/364.44 c s 364.2 90.5 12045 99.9 1485 261e4 5701 6608 2.3 13.5
364.19/364.46 c R 364.3 90.5 12045 99.9 1485 261e4 5802 6608 3.4 13.5
364.29/364.51 c R 364.3 90.5 12045 99.9 1485 261e4 6102 6608 3.4 13.6
364.39/364.64 c R 364.4 90.5 12045 99.9 1485 261e4 3588 6608 1.9 13.3
364.69/364.90 c R 364.7 90.5 12045 99.9 1485 261e4 5589 6608 3.5 13.5
365.39/365.60 c R 365.4 90.5 12045 99.9 1485 262e4 3744 6608 2.5 13.3
365.89/366.17 c s 366.0 90.5 12044 99.9 1485 262e4 4639 6608 2.9 13.3
365.89/366.18 c R 366.0 90.5 12044 99.9 1485 262e4 4738 6608 2.9 13.4
365.99/366.22 c R 366.0 90.5 12044 99.9 1485 262e4 5039 6608 3.9 13.4
366.09/366.34 c R 366.1 90.5 12044 99.9 1485 262e4 5840 6608 2.0 13.4
366.39/366.64 c R 366.4 90.5 12044 99.9 1485 262e4 4518 6608 3.8 13.3
366.99/367.27 c R 367.1 90.5 12044 99.9 1485 263e4 5992 6608 2.2 13.5
368.58/368.81 c R 368.6 90.4 12044 99.9 1485 264e4 3864 6608 3.3 13.3
371.99/372.28 c R 372.1 90.5 12044 99.9 1485 267e4 6149 6608 1.9 13.5
373.69/373.93 c s 373.7 90.5 12042 99.9 1485 268e4 3874 6608 3.0 13.3
373.69/373.94 c R 373.7 90.5 12042 99.9 1485 268e4 3973 6608 2.4 13.3
373.69/373.98 c R 373.8 90.5 12042 99.9 1485 268e4 4272 6608 2.4 13.3
373.69/373.98 c
373.69/373.98 c seconds variables original learned agility
373.69/373.98 c level used conflicts limit MB
373.69/373.98 c
373.79/374.09 c R 373.9 90.5 12042 99.9 1485 268e4 5074 6608 3.3 13.4
374.08/374.39 c R 374.2 90.5 12042 99.9 1485 268e4 3728 6608 3.0 13.3
374.79/375.05 c R 374.8 90.5 12042 99.9 1485 268e4 5166 6608 3.5 13.4
376.38/376.63 c R 376.4 90.5 12042 99.9 1485 270e4 6397 6608 2.8 13.5
376.99/377.27 c s 377.1 90.5 12040 99.9 1485 270e4 6393 6608 2.1 13.6
376.99/377.28 c R 377.1 90.5 12040 99.9 1485 270e4 6493 6608 2.8 13.6
377.09/377.35 c R 377.1 90.5 12040 99.9 1485 270e4 3439 6608 2.7 13.3
377.18/377.45 c R 377.2 90.5 12040 99.9 1485 270e4 4242 6608 1.7 13.4
377.48/377.72 c R 377.5 90.5 12040 99.9 1485 270e4 6241 6608 4.5 13.5
378.09/378.39 c R 378.2 90.5 12040 99.9 1485 271e4 4361 6608 4.2 13.3
379.68/379.98 c R 379.8 90.5 12040 99.9 1485 272e4 5579 6608 5.0 13.5
383.28/383.57 c R 383.4 90.5 12040 99.9 1485 274e4 4551 6608 4.3 13.4
387.66/387.90 c s 387.7 90.4 12038 99.9 1485 277e4 5886 6608 2.5 13.4
387.66/387.92 c R 387.7 90.4 12038 99.9 1485 277e4 5987 6608 2.4 13.4
387.66/387.97 c R 387.7 90.4 12038 99.9 1485 277e4 6287 6608 2.5 13.5
387.86/388.11 c R 387.9 90.4 12038 99.9 1485 277e4 3745 6608 3.1 13.3
388.16/388.42 c R 388.2 90.4 12038 99.9 1485 278e4 5742 6608 4.3 13.4
388.86/389.15 c R 388.9 90.4 12038 99.9 1485 278e4 3887 6608 6.2 13.3
390.35/390.68 c R 390.4 90.5 12038 99.9 1485 279e4 5021 6608 2.5 13.4
393.95/394.23 c R 394.0 90.5 12038 99.9 1485 282e4 4066 6608 5.7 13.3
401.95/402.29 c R 402.0 90.6 12038 100.0 1485 287e4 5071 6608 4.8 13.5
403.65/403.94 c s 403.7 90.6 12037 100.0 1485 289e4 5543 6608 2.9 13.4
403.65/403.94 c
403.65/403.94 c seconds variables original learned agility
403.65/403.94 c level used conflicts limit MB
403.65/403.94 c
403.65/403.95 c R 403.7 90.6 12037 100.0 1485 289e4 5645 6608 2.6 13.4
403.65/403.99 c R 403.8 90.6 12037 100.0 1485 289e4 5943 6608 2.6 13.5
403.85/404.11 c R 403.9 90.6 12037 100.0 1485 289e4 3400 6608 2.9 13.3
404.05/404.36 c R 404.1 90.6 12037 100.0 1485 289e4 5405 6608 5.0 13.4
404.75/405.04 c R 404.8 90.6 12037 100.0 1485 289e4 3507 6608 5.4 13.3
406.45/406.70 c s 406.5 90.6 12036 100.0 1485 290e4 4442 6608 2.1 13.4
406.45/406.72 c R 406.5 90.6 12036 100.0 1485 290e4 4542 6608 2.6 13.4
406.45/406.75 c R 406.5 90.6 12036 100.0 1485 290e4 4845 6608 2.4 13.4
406.55/406.86 c R 406.6 90.6 12036 100.0 1485 291e4 5644 6608 2.2 13.5
406.85/407.13 c R 406.9 90.6 12036 100.0 1485 291e4 4275 6608 4.7 13.3
407.45/407.79 c R 407.5 90.6 12036 100.0 1485 291e4 5742 6608 3.4 13.5
409.05/409.33 c R 409.1 90.6 12036 100.0 1485 292e4 3570 6608 2.5 13.3
412.55/412.88 c R 412.6 90.6 12036 100.0 1485 295e4 5879 6608 5.9 13.5
420.44/420.78 c s 420.5 90.7 12035 100.0 1485 300e4 4641 6608 5.5 13.5
420.54/420.80 c R 420.6 90.7 12035 100.0 1485 300e4 4741 6608 4.2 13.6
420.54/420.83 c R 420.6 90.7 12035 100.0 1485 301e4 5041 6608 2.8 13.6
420.64/420.94 c R 420.7 90.7 12035 100.0 1485 301e4 5842 6608 2.8 13.6
420.95/421.23 c R 421.0 90.7 12035 100.0 1485 301e4 4522 6608 2.3 13.4
421.64/421.92 c R 421.7 90.7 12035 100.0 1485 301e4 5978 6608 3.1 13.5
423.15/423.44 c s 423.2 90.7 12034 100.0 1485 302e4 5697 6608 2.8 13.6
423.15/423.46 c R 423.2 90.7 12032 100.0 1485 302e4 5812 6608 2.3 13.6
423.15/423.50 c R 423.3 90.7 12032 100.0 1485 302e4 6112 6608 4.2 13.6
423.15/423.50 c
423.15/423.50 c seconds variables original learned agility
423.15/423.50 c level used conflicts limit MB
423.15/423.50 c
423.34/423.63 c R 423.4 90.7 12032 100.0 1485 302e4 3571 6608 2.6 13.4
423.64/423.90 c R 423.7 90.7 12032 100.0 1485 303e4 5571 6608 2.9 13.5
424.25/424.57 c R 424.3 90.7 12032 100.0 1485 303e4 3715 6608 2.9 13.3
425.84/426.15 c s 425.9 90.7 12031 100.0 1485 304e4 3969 6608 2.4 13.3
425.84/426.16 c R 425.9 90.7 12031 100.0 1485 304e4 4070 6608 3.7 13.3
425.94/426.21 c R 426.0 90.7 12031 100.0 1485 304e4 4369 6608 3.4 13.3
426.04/426.30 c R 426.1 90.7 12031 100.0 1485 304e4 5169 6608 2.2 13.4
426.34/426.63 c R 426.4 90.7 12031 100.0 1485 304e4 3771 6608 3.8 13.3
426.94/427.27 c R 427.0 90.7 12031 100.0 1485 305e4 5231 6608 2.6 13.4
428.54/428.80 c R 428.6 90.7 12031 100.0 1485 306e4 6459 6608 3.6 13.5
431.94/432.28 c R 432.0 90.7 12031 100.0 1485 309e4 5300 6608 2.4 13.4
440.04/440.32 c R 440.1 90.7 12031 100.0 1485 314e4 6272 6608 4.5 13.6
449.54/449.87 c s 449.6 90.7 12030 100.0 1485 321e4 6373 6608 2.6 13.5
449.54/449.90 c R 449.6 90.7 12030 100.0 1485 321e4 6473 6608 3.3 13.5
449.64/449.96 c R 449.7 90.7 12030 100.0 1485 321e4 3434 6608 2.4 13.2
449.73/450.08 c R 449.8 90.7 12030 100.0 1485 321e4 4233 6608 5.0 13.3
450.03/450.36 c R 450.1 90.7 12030 100.0 1485 321e4 6233 6608 3.3 13.5
450.73/451.02 c R 450.8 90.7 12030 100.0 1485 322e4 4367 6608 2.5 13.3
452.23/452.54 c R 452.3 90.7 12030 100.0 1485 323e4 5580 6608 3.5 13.5
455.73/456.09 c R 455.8 90.7 12030 100.0 1485 326e4 4524 6608 2.7 13.4
463.83/464.17 c s 463.9 90.8 12029 100.0 1485 331e4 4228 6608 3.3 13.4
463.83/464.19 c R 463.9 90.8 12028 100.0 1485 331e4 4331 6608 2.4 13.4
463.83/464.19 c
463.83/464.19 c seconds variables original learned agility
463.83/464.19 c level used conflicts limit MB
463.83/464.19 c
463.93/464.21 c R 463.9 90.8 12025 100.0 1485 331e4 4443 6608 1.7 13.4
463.93/464.25 c R 464.0 90.8 12025 100.0 1485 331e4 4742 6608 3.5 13.4
464.03/464.35 c R 464.1 90.8 12025 100.0 1485 331e4 5542 6608 4.9 13.5
464.13/464.42 c s 464.2 90.8 12025 100.0 1485 331e4 6041 6608 2.2 13.5
464.33/464.64 c R 464.4 90.8 12025 100.0 1485 331e4 4200 6608 3.7 13.3
464.93/465.27 c R 465.0 90.8 12025 100.0 1485 332e4 5672 6608 3.7 13.4
466.53/466.82 c R 466.6 90.8 12025 100.0 1485 333e4 3540 6608 2.3 13.3
468.82/469.14 c + 468.9 90.7 12025 100.0 1485 335e4 3655 7268 6.3 13.3
469.22/469.58 c s 469.3 90.7 12024 100.0 1485 335e4 5956 7268 2.0 13.5
469.22/469.59 c R 469.3 90.7 12024 100.0 1485 335e4 6056 7268 2.9 13.5
469.33/469.63 c R 469.4 90.7 12024 100.0 1485 335e4 6356 7268 2.1 13.6
469.43/469.74 c R 469.5 90.7 12024 100.0 1485 335e4 7157 7268 2.8 13.6
469.72/470.03 c R 469.8 90.7 12024 100.0 1485 335e4 5502 7268 3.6 13.4
469.92/470.21 c s 469.9 90.7 12023 100.0 1485 335e4 6710 7268 2.0 13.5
469.92/470.23 c R 470.0 90.7 12023 100.0 1485 335e4 6810 7268 2.5 13.5
469.92/470.26 c R 470.0 90.7 12023 100.0 1485 335e4 7111 7268 4.9 13.6
470.02/470.39 c R 470.1 90.7 12023 100.0 1485 336e4 4257 7268 3.0 13.3
470.32/470.65 c R 470.4 90.7 12023 100.0 1485 336e4 6255 7268 4.6 13.5
471.02/471.32 c R 471.1 90.7 12023 100.0 1485 336e4 3715 7268 3.6 13.3
471.22/471.59 c s 471.3 90.7 12022 100.0 1485 336e4 5431 7268 2.5 13.5
471.32/471.61 c R 471.3 90.7 12022 100.0 1485 336e4 5532 7268 2.5 13.5
471.32/471.64 c R 471.4 90.7 12022 100.0 1485 336e4 5831 7268 2.1 13.5
471.32/471.64 c
471.32/471.64 c seconds variables original learned agility
471.32/471.64 c level used conflicts limit MB
471.32/471.64 c
471.42/471.74 c R 471.5 90.7 12022 100.0 1485 337e4 6634 7268 4.9 13.6
471.72/472.04 c R 471.8 90.7 12022 100.0 1485 337e4 4994 7268 5.7 13.4
472.42/472.70 c R 472.4 90.7 12022 100.0 1485 337e4 6123 7268 2.8 13.4
474.02/474.35 c R 474.1 90.7 12022 100.0 1485 338e4 6394 7268 3.0 13.6
477.71/478.10 c R 477.8 90.7 12022 100.0 1485 341e4 6382 7268 2.4 13.5
478.61/478.96 c s 478.7 90.7 12021 100.0 1485 341e4 3954 7268 2.8 13.3
478.61/478.97 c R 478.7 90.7 12021 100.0 1485 341e4 4054 7268 3.6 13.3
478.71/479.02 c R 478.7 90.7 12021 100.0 1485 341e4 4355 7268 2.2 13.3
478.81/479.13 c R 478.8 90.7 12021 100.0 1485 342e4 5157 7268 5.2 13.4
479.11/479.43 c R 479.1 90.7 12021 100.0 1485 342e4 7158 7268 5.0 13.6
479.81/480.12 c R 479.8 90.7 12021 100.0 1485 342e4 4636 7268 2.7 13.4
481.11/481.45 c s 481.2 90.7 12020 100.0 1485 343e4 5516 7268 5.1 13.4
481.11/481.47 c R 481.2 90.7 12020 100.0 1485 343e4 5615 7268 4.2 13.4
481.21/481.51 c R 481.2 90.7 12020 100.0 1485 343e4 5913 7268 2.9 13.5
481.31/481.61 c R 481.3 90.7 12020 100.0 1485 343e4 6711 7268 2.9 13.5
481.61/481.90 c R 481.6 90.7 12020 100.0 1485 343e4 5058 7268 3.3 13.4
482.21/482.55 c R 482.3 90.7 12020 100.0 1485 344e4 6209 7268 1.4 13.5
483.81/484.12 c R 483.8 90.7 12020 100.0 1485 345e4 6428 7268 3.3 13.6
487.40/487.75 c R 487.5 90.7 12020 100.0 1485 348e4 6393 7268 3.6 13.6
491.50/491.81 c s 491.5 90.7 12018 100.0 1485 350e4 5341 7268 2.9 13.4
491.50/491.82 c R 491.5 90.7 12018 100.0 1485 350e4 5440 7268 3.3 13.4
491.50/491.86 c R 491.6 90.7 12018 100.0 1485 350e4 5740 7268 2.8 13.4
491.50/491.86 c
491.50/491.86 c seconds variables original learned agility
491.50/491.86 c level used conflicts limit MB
491.50/491.86 c
491.60/491.98 c R 491.7 90.7 12018 100.0 1485 350e4 6542 7268 4.0 13.5
491.60/491.99 c R 491.7 90.7 12017 100.0 1485 350e4 6641 7268 3.2 13.5
491.70/492.04 c R 491.8 90.7 12017 100.0 1485 350e4 6941 7268 2.8 13.5
491.70/492.07 c s 491.8 90.7 12017 100.0 1485 351e4 7114 7268 2.1 13.5
491.80/492.18 c R 491.9 90.7 12017 100.0 1485 351e4 4077 7268 3.6 13.3
492.10/492.43 c R 492.1 90.7 12017 100.0 1485 351e4 6074 7268 2.6 13.5
492.80/493.10 c R 492.8 90.7 12017 100.0 1485 351e4 7235 7268 1.9 13.6
494.30/494.66 c R 494.4 90.7 12017 100.0 1485 352e4 3825 7268 5.8 13.3
498.00/498.35 c R 498.1 90.7 12017 100.0 1485 355e4 3764 7268 5.3 13.4
506.10/506.48 c R 506.2 90.7 12017 100.0 1485 361e4 6197 7268 4.9 13.8
510.10/510.40 c s 510.1 90.7 12016 100.0 1485 363e4 3677 7268 2.1 13.3
510.10/510.42 c R 510.1 90.7 12016 100.0 1485 363e4 3777 7268 2.3 13.3
510.10/510.46 c R 510.2 90.7 12016 100.0 1485 363e4 4077 7268 2.3 13.3
510.20/510.56 c R 510.3 90.7 12016 100.0 1485 363e4 4877 7268 5.2 13.4
510.50/510.85 c R 510.6 90.7 12016 100.0 1485 364e4 6877 7268 4.1 13.6
511.20/511.52 c R 511.2 90.7 12016 100.0 1485 364e4 4369 7268 1.7 13.3
512.70/513.05 c R 512.8 90.7 12016 100.0 1485 365e4 4574 7268 6.1 13.4
516.29/516.65 c R 516.4 90.7 12016 100.0 1485 368e4 4542 7268 3.9 13.4
524.49/524.85 c R 524.6 90.7 12016 100.0 1485 374e4 7257 7268 2.8 13.7
530.39/530.75 c s 530.5 90.7 12015 100.0 1485 378e4 4099 7268 2.0 13.3
530.39/530.77 c R 530.5 90.7 12015 100.0 1485 378e4 4199 7268 2.9 13.3
530.49/530.81 c R 530.5 90.7 12015 100.0 1485 378e4 4497 7268 3.0 13.4
530.49/530.81 c
530.49/530.81 c seconds variables original learned agility
530.49/530.81 c level used conflicts limit MB
530.49/530.81 c
530.59/530.92 c R 530.6 90.7 12015 100.0 1485 378e4 5297 7268 3.3 13.4
530.79/531.19 c R 530.9 90.7 12015 100.0 1485 378e4 7304 7268 3.4 13.6
531.49/531.86 c R 531.6 90.7 12015 100.0 1485 379e4 4788 7268 4.1 13.4
533.09/533.41 c R 533.1 90.7 12015 100.0 1485 380e4 4982 7268 2.1 13.4
536.69/537.02 c R 536.7 90.8 12015 100.0 1485 382e4 4910 7268 4.2 13.5
542.38/542.77 c s 542.5 90.8 12013 100.0 1485 386e4 4175 7268 1.8 13.3
542.38/542.78 c R 542.5 90.8 12013 100.0 1485 386e4 4274 7268 2.3 13.3
542.48/542.82 c R 542.5 90.8 12013 100.0 1485 386e4 4577 7268 2.4 13.4
542.58/542.92 c R 542.6 90.8 12013 100.0 1485 386e4 5385 7268 3.3 13.4
542.88/543.23 c R 542.9 90.8 12013 100.0 1485 386e4 3709 7268 1.8 13.3
543.48/543.89 c R 543.6 90.8 12013 100.0 1485 387e4 4852 7268 3.7 13.4
545.08/545.48 c R 545.2 90.8 12013 100.0 1485 388e4 4996 7268 6.4 13.4
548.68/549.07 c R 548.8 90.8 12013 100.0 1485 391e4 5002 7268 4.1 13.4
553.98/554.33 c s 554.0 90.8 12011 100.0 1485 394e4 4903 7268 2.3 13.4
553.98/554.35 c R 554.0 90.8 12010 100.0 1485 394e4 5010 7268 2.1 13.4
553.98/554.38 c R 554.1 90.8 12010 100.0 1485 394e4 5311 7268 2.4 13.5
554.08/554.50 c R 554.2 90.8 12010 100.0 1485 394e4 6114 7268 4.9 13.5
554.28/554.61 c s 554.3 90.8 12010 100.0 1485 394e4 6897 7268 3.6 13.6
554.48/554.80 c R 554.5 90.8 12010 100.0 1485 395e4 4459 7268 5.3 13.4
555.08/555.44 c R 555.1 90.8 12010 100.0 1485 395e4 5564 7268 3.1 13.5
556.68/557.02 c R 556.7 90.8 12010 100.0 1485 396e4 5738 7268 3.1 13.5
560.28/560.66 c R 560.4 90.8 12010 100.0 1485 399e4 5731 7268 3.6 13.5
560.28/560.66 c
560.28/560.66 c seconds variables original learned agility
560.28/560.66 c level used conflicts limit MB
560.28/560.66 c
565.97/566.32 c s 566.0 90.8 12009 100.0 1485 403e4 3938 7268 7.3 13.3
565.97/566.34 c R 566.0 90.8 12008 100.0 1485 403e4 4037 7268 4.4 13.3
565.97/566.38 c R 566.1 90.8 12008 100.0 1485 403e4 4336 7268 2.6 13.4
566.07/566.48 c R 566.2 90.8 12008 100.0 1485 403e4 5137 7268 3.4 13.4
566.17/566.54 c s 566.2 90.8 12008 100.0 1485 403e4 5521 7268 3.3 13.5
566.37/566.76 c R 566.4 90.8 12008 100.0 1485 403e4 7137 7268 3.3 13.6
567.07/567.45 c R 567.1 90.8 12008 100.0 1485 403e4 4626 7268 3.7 13.4
568.67/569.05 c R 568.7 90.8 12008 100.0 1485 405e4 4861 7268 5.9 13.4
572.27/572.60 c R 572.3 90.8 12008 100.0 1485 407e4 4837 7268 5.9 13.5
572.77/573.11 c s 572.8 90.8 12007 100.0 1485 407e4 3911 7268 1.5 13.3
572.77/573.12 c R 572.8 90.8 12007 100.0 1485 407e4 4011 7268 3.6 13.3
572.77/573.16 c R 572.8 90.8 12007 100.0 1485 407e4 4311 7268 2.6 13.3
572.86/573.27 c R 573.0 90.8 12007 100.0 1485 407e4 5113 7268 3.9 13.4
573.16/573.57 c R 573.2 90.8 12007 100.0 1485 408e4 7115 7268 7.3 13.6
573.87/574.25 c R 573.9 90.8 12007 100.0 1485 408e4 4573 7268 2.9 13.3
575.46/575.83 c R 575.5 90.8 12007 100.0 1485 409e4 4754 7268 2.0 13.4
579.06/579.47 c R 579.2 90.9 12007 100.0 1485 412e4 4712 7268 2.9 13.4
583.86/584.25 c s 583.9 90.9 12006 100.0 1485 415e4 3987 7268 2.3 13.3
583.86/584.27 c R 583.9 90.9 12006 100.0 1485 415e4 4087 7268 3.7 13.3
583.96/584.30 c R 584.0 90.9 12006 100.0 1485 415e4 4387 7268 3.0 13.3
584.06/584.41 c R 584.1 90.9 12006 100.0 1485 415e4 5188 7268 4.6 13.4
584.26/584.69 c R 584.4 90.9 12006 100.0 1485 415e4 7193 7268 2.7 13.6
584.26/584.69 c
584.26/584.69 c seconds variables original learned agility
584.26/584.69 c level used conflicts limit MB
584.26/584.69 c
585.06/585.40 c R 585.1 90.9 12006 100.0 1485 416e4 4586 7268 6.9 13.5
586.56/586.98 c R 586.7 90.9 12006 100.0 1485 417e4 4774 7268 2.5 13.5
590.26/590.62 c R 590.3 90.9 12006 100.0 1485 420e4 4725 7268 2.3 13.4
592.66/593.03 c s 592.7 90.9 12005 100.0 1485 421e4 6144 7268 2.8 13.5
592.66/593.05 c R 592.7 90.9 12004 100.0 1485 421e4 6245 7268 4.2 13.5
592.66/593.09 c R 592.8 90.9 12003 100.0 1485 421e4 6506 7268 4.6 13.5
592.76/593.13 c R 592.8 90.9 12003 100.0 1485 421e4 6806 7268 3.6 13.6
592.86/593.27 c R 592.9 90.9 12003 100.0 1485 421e4 3930 7268 4.6 13.3
593.16/593.54 c R 593.2 90.9 12003 100.0 1485 422e4 5932 7268 4.1 13.5
593.86/594.21 c R 593.9 90.9 12003 100.0 1485 422e4 7068 7268 2.8 13.5
595.46/595.83 c R 595.5 90.9 12003 100.0 1485 423e4 7252 7268 1.4 13.6
599.06/599.45 c R 599.1 90.9 12003 100.0 1485 426e4 7213 7268 5.6 13.6
607.35/607.77 c s 607.4 91.0 11998 100.0 1485 431e4 5535 7268 4.7 13.9
607.35/607.78 c R 607.4 91.0 11998 100.0 1485 431e4 5631 7268 3.3 13.9
607.45/607.82 c R 607.5 91.0 11998 100.0 1485 431e4 5930 7268 2.8 14.0
607.55/607.91 c R 607.6 91.0 11998 100.0 1485 432e4 6731 7268 2.1 14.0
607.75/608.18 c R 607.8 91.0 11998 100.0 1485 432e4 5073 7268 2.8 13.4
608.55/608.90 c R 608.6 91.0 11998 100.0 1485 432e4 6234 7268 3.5 13.5
610.15/610.50 c R 610.2 90.9 11998 100.0 1485 433e4 6423 7268 4.6 13.6
613.64/614.08 c R 613.7 90.9 11998 100.0 1485 436e4 6365 7268 4.5 13.8
621.84/622.29 c R 621.9 91.0 11998 100.0 1485 442e4 5168 7268 3.4 13.5
639.74/640.15 c R 639.8 91.1 11998 100.0 1485 454e4 4829 7268 3.6 13.4
639.74/640.15 c
639.74/640.15 c seconds variables original learned agility
639.74/640.15 c level used conflicts limit MB
639.74/640.15 c
645.03/645.47 c s 645.1 91.1 11995 100.0 1485 458e4 4928 7268 3.4 13.4
645.03/645.48 c R 645.1 91.1 11995 100.0 1485 458e4 5026 7268 2.7 13.4
645.13/645.52 c R 645.2 91.1 11995 100.0 1485 458e4 5327 7268 5.1 13.5
645.24/645.62 c R 645.3 91.1 11995 100.0 1485 458e4 6124 7268 3.1 13.5
645.53/645.91 c R 645.6 91.1 11995 100.0 1485 458e4 4472 7268 7.0 13.3
646.13/646.57 c R 646.2 91.1 11995 100.0 1485 459e4 5612 7268 5.6 13.4
647.73/648.14 c R 647.8 91.1 11995 100.0 1485 460e4 5864 7268 2.4 13.5
651.33/651.72 c R 651.4 91.1 11995 100.0 1485 463e4 5867 7268 5.4 13.6
659.72/660.15 c R 659.8 91.2 11995 100.0 1485 468e4 4661 7268 7.7 13.6
663.82/664.25 c s 663.9 91.2 11994 100.0 1485 471e4 7120 7268 4.6 13.6
663.82/664.27 c R 663.9 91.2 11994 100.0 1485 471e4 7220 7268 2.5 13.6
663.92/664.33 c R 664.0 91.2 11994 100.0 1485 471e4 3867 7268 2.7 13.3
664.02/664.43 c R 664.1 91.2 11994 100.0 1485 471e4 4664 7268 1.8 13.4
664.32/664.70 c R 664.3 91.2 11994 100.0 1485 472e4 6665 7268 2.8 13.6
665.02/665.42 c R 665.1 91.2 11994 100.0 1485 472e4 4111 7268 3.3 13.3
666.52/666.97 c R 666.6 91.2 11994 100.0 1485 473e4 4300 7268 1.7 13.4
670.12/670.53 c R 670.2 91.2 11994 100.0 1485 476e4 4280 7268 3.2 13.4
674.72/675.17 c s 674.8 91.2 11993 100.0 1485 479e4 7007 7268 3.3 13.6
674.72/675.18 c R 674.8 91.2 11993 100.0 1485 479e4 7107 7268 5.2 13.6
674.82/675.24 c R 674.9 91.2 11993 100.0 1485 479e4 3762 7268 4.1 13.3
674.92/675.34 c R 675.0 91.2 11993 100.0 1485 479e4 4562 7268 3.3 13.4
675.12/675.59 c R 675.2 91.2 11993 100.0 1485 479e4 6558 7268 3.0 13.5
675.12/675.59 c
675.12/675.59 c seconds variables original learned agility
675.12/675.59 c level used conflicts limit MB
675.12/675.59 c
675.82/676.29 c R 675.9 91.2 11993 100.0 1485 480e4 4038 7268 3.6 13.3
677.52/677.93 c R 677.6 91.2 11993 100.0 1485 481e4 4232 7268 5.1 13.4
679.22/679.63 c s 679.3 91.2 11991 100.0 1485 482e4 4214 7268 4.3 13.4
679.22/679.65 c R 679.3 91.2 11991 100.0 1485 482e4 4313 7268 2.9 13.4
679.22/679.69 c R 679.3 91.2 11991 100.0 1485 482e4 4616 7268 2.5 13.4
679.42/679.81 c R 679.4 91.2 11991 100.0 1485 482e4 5415 7268 2.8 13.5
679.72/680.12 c R 679.8 91.2 11991 100.0 1485 482e4 3731 7268 4.2 13.3
680.32/680.77 c R 680.4 91.2 11991 100.0 1485 483e4 4882 7268 6.4 13.4
681.91/682.36 c R 682.0 91.2 11991 100.0 1485 484e4 5132 7268 2.7 13.5
685.51/685.98 c R 685.6 91.2 11991 100.0 1485 486e4 5052 7268 1.6 13.5
693.71/694.15 c R 693.8 91.2 11991 100.0 1485 492e4 3919 7268 2.8 13.4
695.31/695.74 c s 695.4 91.2 11990 100.0 1485 493e4 6926 7268 1.8 13.6
695.31/695.75 c R 695.4 91.2 11990 100.0 1485 493e4 7028 7268 2.6 13.6
695.41/695.82 c R 695.4 91.2 11990 100.0 1485 493e4 3669 7268 2.7 13.3
695.51/695.93 c R 695.6 91.2 11990 100.0 1485 493e4 4470 7268 4.7 13.3
695.81/696.21 c R 695.8 91.2 11990 100.0 1485 494e4 6470 7268 5.1 13.5
695.81/696.21 c s 695.8 91.2 11989 100.0 1485 494e4 6473 7268 4.3 13.5
695.81/696.22 c R 695.8 91.2 11989 100.0 1485 494e4 6573 7268 3.6 13.5
695.81/696.26 c R 695.9 91.2 11989 100.0 1485 494e4 6877 7268 4.3 13.5
695.92/696.39 c R 696.0 91.2 11989 100.0 1485 494e4 4039 7268 2.7 13.3
696.21/696.66 c R 696.3 91.2 11989 100.0 1485 494e4 6042 7268 5.4 13.5
696.91/697.36 c R 697.0 91.2 11989 100.0 1485 494e4 7200 7268 4.6 13.6
696.91/697.36 c
696.91/697.36 c seconds variables original learned agility
696.91/697.36 c level used conflicts limit MB
696.91/697.36 c
698.50/698.97 c R 698.6 91.2 11989 100.0 1485 495e4 3768 7268 3.2 13.4
702.10/702.59 c R 702.2 91.2 11989 100.0 1485 498e4 3735 7268 5.1 13.4
708.40/708.87 c + 708.5 91.3 11989 100.0 1485 502e4 3862 7994 3.1 13.4
710.30/710.76 c R 710.4 91.3 11989 100.0 1485 504e4 5106 7994 5.5 13.5
723.30/723.74 c s 723.3 91.3 11988 100.0 1485 513e4 6003 7994 3.4 13.8
723.30/723.75 c R 723.4 91.3 11988 100.0 1485 513e4 6103 7994 3.7 13.8
723.30/723.79 c R 723.4 91.3 11988 100.0 1485 513e4 6402 7994 3.2 13.8
723.49/723.90 c R 723.5 91.3 11988 100.0 1485 513e4 7202 7994 3.3 13.9
723.79/724.21 c R 723.8 91.3 11988 100.0 1485 513e4 5202 7994 2.5 13.5
724.40/724.86 c R 724.5 91.3 11988 100.0 1485 514e4 5944 7994 4.9 13.5
725.29/725.77 c s 725.4 91.3 11987 100.0 1485 514e4 7943 7994 4.7 13.7
725.29/725.79 c R 725.4 91.3 11987 100.0 1485 514e4 8044 7994 5.3 13.7
725.40/725.86 c R 725.5 91.3 11987 100.0 1485 514e4 4323 7994 5.4 13.4
725.50/725.97 c R 725.6 91.3 11987 100.0 1485 514e4 5123 7994 2.0 13.4
725.80/726.25 c R 725.9 91.3 11987 100.0 1485 514e4 7123 7994 5.6 13.6
726.50/726.93 c R 726.5 91.3 11987 100.0 1485 515e4 7886 7994 4.8 13.7
728.10/728.52 c R 728.1 91.3 11987 100.0 1485 516e4 6981 7994 5.5 13.7
731.70/732.14 c R 731.7 91.3 11987 100.0 1485 519e4 4394 7994 6.1 13.4
738.70/739.18 c s 738.8 91.3 11986 100.0 1485 524e4 4989 7994 4.4 13.5
738.70/739.19 c R 738.8 91.3 11986 100.0 1485 524e4 5089 7994 4.5 13.6
738.80/739.23 c R 738.8 91.3 11986 100.0 1485 524e4 5390 7994 5.4 13.6
738.90/739.33 c R 738.9 91.3 11986 100.0 1485 524e4 6191 7994 6.3 13.7
738.90/739.33 c
738.90/739.33 c seconds variables original learned agility
738.90/739.33 c level used conflicts limit MB
738.90/739.33 c
739.20/739.63 c R 739.2 91.3 11986 100.0 1485 524e4 4152 7994 2.8 13.4
739.40/739.81 c s 739.4 91.3 11985 100.0 1485 524e4 5495 7994 5.1 13.5
739.40/739.82 c R 739.4 91.3 11985 100.0 1485 524e4 5596 7994 1.6 13.5
739.40/739.86 c R 739.5 91.3 11985 100.0 1485 524e4 5895 7994 7.7 13.5
739.50/739.97 c R 739.6 91.3 11985 100.0 1485 524e4 6695 7994 4.3 13.6
739.80/740.26 c R 739.9 91.3 11985 100.0 1485 524e4 4683 7994 4.3 13.4
740.50/740.94 c R 740.5 91.3 11985 100.0 1485 525e4 5484 7994 5.4 13.5
742.10/742.51 c R 742.1 91.3 11985 100.0 1485 526e4 4545 7994 3.3 13.4
743.69/744.10 c s 743.7 91.3 11983 100.0 1485 527e4 6250 7994 2.7 13.6
743.69/744.12 c R 743.7 91.3 11983 100.0 1485 527e4 6349 7994 4.6 13.6
743.69/744.17 c R 743.8 91.3 11983 100.0 1485 527e4 6649 7994 4.3 13.6
743.79/744.27 c R 743.9 91.3 11983 100.0 1485 527e4 7449 7994 3.6 13.7
744.09/744.56 c R 744.2 91.3 11983 100.0 1485 527e4 5426 7994 4.6 13.5
744.79/745.23 c R 744.8 91.2 11983 100.0 1485 528e4 6193 7994 6.3 13.5
746.39/746.84 c R 746.4 91.3 11983 100.0 1485 529e4 5379 7994 5.4 13.5
749.19/749.60 c s 749.2 91.3 11982 100.0 1485 531e4 7137 7994 6.6 13.7
749.19/749.62 c R 749.2 91.3 11982 100.0 1485 531e4 7237 7994 3.5 13.7
749.19/749.66 c R 749.3 91.3 11982 100.0 1485 531e4 7537 7994 4.6 13.7
749.29/749.78 c R 749.4 91.3 11982 100.0 1485 531e4 4320 7994 3.5 13.4
749.59/750.04 c R 749.6 91.3 11982 100.0 1485 531e4 6325 7994 5.9 13.6
750.29/750.75 c R 750.3 91.3 11982 100.0 1485 531e4 7113 7994 4.5 13.7
751.89/752.35 c R 751.9 91.3 11982 100.0 1485 533e4 6297 7994 2.9 13.6
751.89/752.35 c
751.89/752.35 c seconds variables original learned agility
751.89/752.35 c level used conflicts limit MB
751.89/752.35 c
755.58/756.00 c R 755.6 91.3 11982 100.0 1485 535e4 7795 7994 2.9 13.8
761.48/761.97 c s 761.6 91.3 11980 100.0 1485 539e4 4174 7994 4.2 13.4
761.48/761.98 c R 761.6 91.3 11980 100.0 1485 539e4 4273 7994 2.4 13.4
761.58/762.02 c R 761.6 91.3 11980 100.0 1485 539e4 4572 7994 3.0 13.4
761.68/762.13 c R 761.7 91.3 11980 100.0 1485 539e4 5373 7994 7.0 13.5
761.98/762.41 c R 762.0 91.3 11980 100.0 1485 539e4 7374 7994 4.5 13.7
761.98/762.45 c s 762.0 91.3 11979 100.0 1485 539e4 7521 7994 2.4 13.7
761.98/762.47 c R 762.1 91.3 11979 100.0 1485 539e4 7620 7994 2.9 13.7
762.08/762.51 c R 762.1 91.3 11979 100.0 1485 540e4 7921 7994 3.4 13.7
762.18/762.65 c R 762.2 91.3 11979 100.0 1485 540e4 4710 7994 4.5 13.4
762.48/762.92 c R 762.5 91.3 11979 100.0 1485 540e4 6706 7994 4.7 13.6
763.08/763.59 c R 763.2 91.3 11979 100.0 1485 540e4 7497 7994 2.6 13.7
764.68/765.17 c R 764.8 91.3 11979 100.0 1485 541e4 6671 7994 3.9 13.6
768.38/768.82 c R 768.4 91.3 11979 100.0 1485 544e4 4032 7994 2.7 13.4
772.98/773.41 c s 773.0 91.3 11978 100.0 1485 547e4 7201 7994 2.0 13.6
772.98/773.42 c R 773.0 91.3 11978 100.0 1485 547e4 7301 7994 6.4 13.6
772.98/773.46 c R 773.0 91.3 11978 100.0 1485 547e4 7602 7994 3.5 13.7
773.08/773.59 c R 773.2 91.3 11978 100.0 1485 547e4 4400 7994 3.8 13.4
773.38/773.85 c R 773.4 91.3 11978 100.0 1485 547e4 6402 7994 3.2 13.6
773.68/774.12 c s 773.7 91.3 11977 100.0 1485 548e4 4009 7994 2.6 13.3
773.68/774.13 c R 773.7 91.3 11977 100.0 1485 548e4 4110 7994 2.5 13.3
773.68/774.18 c R 773.8 91.3 11977 100.0 1485 548e4 4410 7994 2.5 13.4
773.68/774.18 c
773.68/774.18 c seconds variables original learned agility
773.68/774.18 c level used conflicts limit MB
773.68/774.18 c
773.78/774.29 c R 773.9 91.3 11977 100.0 1485 548e4 5211 7994 3.3 13.4
774.08/774.56 c R 774.1 91.3 11977 100.0 1485 548e4 7204 7994 3.8 13.6
774.78/775.22 c R 774.8 91.3 11977 100.0 1485 548e4 7999 7994 6.8 13.7
776.37/776.80 c R 776.4 91.3 11977 100.0 1485 549e4 7198 7994 6.6 13.8
779.77/780.23 c s 779.8 91.3 11975 100.0 1485 552e4 6319 7994 2.7 13.7
779.77/780.25 c R 779.8 91.3 11975 100.0 1485 552e4 6418 7994 3.6 13.7
779.77/780.29 c R 779.9 91.3 11975 100.0 1485 552e4 6721 7994 4.8 13.7
779.97/780.41 c R 780.0 91.3 11975 100.0 1485 552e4 7523 7994 5.8 13.8
780.27/780.72 c R 780.3 91.3 11975 100.0 1485 552e4 5513 7994 2.5 13.5
780.97/781.41 c R 781.0 91.3 11975 100.0 1485 553e4 6278 7994 4.3 13.6
782.57/783.02 c R 782.6 91.3 11975 100.0 1485 554e4 5360 7994 3.8 13.5
786.27/786.74 c R 786.3 91.3 11975 100.0 1485 556e4 6747 7994 2.6 13.7
794.57/795.02 c R 794.6 91.3 11975 100.0 1485 562e4 7982 7994 3.5 13.7
797.17/797.60 c s 797.2 91.3 11974 100.0 1485 564e4 4734 7994 2.9 13.4
797.17/797.62 c R 797.2 91.3 11974 100.0 1485 564e4 4834 7994 2.9 13.4
797.17/797.66 c R 797.2 91.3 11974 100.0 1485 564e4 5135 7994 2.7 13.5
797.27/797.77 c R 797.3 91.3 11974 100.0 1485 564e4 5935 7994 2.9 13.5
797.57/798.06 c R 797.6 91.3 11974 100.0 1485 564e4 7935 7994 2.2 13.8
798.27/798.79 c R 798.4 91.3 11974 100.0 1485 565e4 4713 7994 4.7 13.5
799.87/800.37 c R 799.9 91.3 11974 100.0 1485 566e4 7880 7994 1.9 13.8
803.67/804.11 c R 803.7 91.3 11974 100.0 1485 568e4 5279 7994 4.2 13.5
811.96/812.40 c R 812.0 91.3 11974 100.0 1485 574e4 6355 7994 4.4 13.7
811.96/812.40 c
811.96/812.40 c seconds variables original learned agility
811.96/812.40 c level used conflicts limit MB
811.96/812.40 c
813.66/814.16 c s 813.7 91.3 11973 100.0 1485 575e4 5512 7994 2.0 13.5
813.66/814.17 c R 813.7 91.3 11973 100.0 1485 575e4 5612 7994 3.3 13.5
813.76/814.22 c R 813.8 91.3 11973 100.0 1485 575e4 5914 7994 3.5 13.5
813.86/814.33 c R 813.9 91.3 11973 100.0 1485 575e4 6716 7994 3.7 13.6
814.16/814.64 c R 814.2 91.3 11973 100.0 1485 575e4 4682 7994 4.1 13.4
814.86/815.31 c R 814.9 91.3 11973 100.0 1485 576e4 5459 7994 5.5 13.6
815.56/816.01 c s 815.6 91.3 11972 100.0 1485 576e4 6453 7994 5.6 13.6
815.56/816.02 c R 815.6 91.3 11972 100.0 1485 576e4 6553 7994 3.7 13.6
815.56/816.06 c R 815.6 91.3 11972 100.0 1485 576e4 6854 7994 2.6 13.6
815.67/816.16 c R 815.7 91.3 11972 100.0 1485 577e4 7652 7994 3.4 13.7
815.96/816.46 c R 816.0 91.3 11972 100.0 1485 577e4 5632 7994 4.1 13.5
816.66/817.11 c R 816.7 91.3 11972 100.0 1485 577e4 6416 7994 2.3 13.6
818.26/818.73 c R 818.3 91.3 11972 100.0 1485 578e4 5576 7994 4.2 13.5
821.96/822.41 c R 822.0 91.3 11972 100.0 1485 581e4 7002 7994 6.5 13.7
829.96/830.43 c R 830.0 91.3 11972 100.0 1485 587e4 7989 7994 3.4 13.9
841.35/841.87 c s 841.4 91.3 11969 100.0 1485 595e4 6339 7994 4.1 13.5
841.35/841.89 c R 841.4 91.3 11969 100.0 1485 595e4 6437 7994 1.9 13.5
841.45/841.93 c R 841.5 91.3 11969 100.0 1485 595e4 6740 7994 6.7 13.6
841.55/842.06 c R 841.6 91.3 11969 100.0 1485 595e4 7539 7994 4.0 13.6
841.85/842.38 c R 841.9 91.3 11969 100.0 1485 595e4 5536 7994 2.9 13.5
842.55/843.08 c R 842.6 91.3 11969 100.0 1485 595e4 6307 7994 6.9 13.6
844.25/844.71 c R 844.3 91.3 11969 100.0 1485 596e4 5467 7994 5.0 13.6
844.25/844.71 c
844.25/844.71 c seconds variables original learned agility
844.25/844.71 c level used conflicts limit MB
844.25/844.71 c
847.94/848.44 c R 848.0 91.3 11969 100.0 1485 599e4 6817 7994 1.7 13.8
849.64/850.13 c s 849.7 91.3 11968 100.0 1485 600e4 5362 7994 3.6 13.5
849.64/850.14 c R 849.7 91.3 11968 100.0 1485 600e4 5462 7994 2.8 13.5
849.64/850.18 c R 849.7 91.3 11968 100.0 1485 600e4 5762 7994 3.7 13.5
849.75/850.29 c R 849.8 91.3 11968 100.0 1485 600e4 6561 7994 2.2 13.6
850.14/850.60 c R 850.1 91.3 11968 100.0 1485 600e4 4556 7994 3.4 13.4
850.74/851.27 c R 850.8 91.3 11968 100.0 1485 601e4 5354 7994 8.7 13.5
852.34/852.86 c R 852.4 91.3 11968 100.0 1485 602e4 4512 7994 7.1 13.5
856.14/856.61 c R 856.2 91.4 11968 100.0 1485 605e4 5807 7994 4.4 13.9
864.54/865.05 c R 864.6 91.4 11968 100.0 1485 610e4 6910 7994 3.4 14.4
881.22/881.72 c s 881.2 91.4 11966 100.0 1485 622e4 5547 7994 6.9 13.6
881.22/881.73 c R 881.3 91.4 11966 100.0 1485 622e4 5646 7994 3.2 13.6
881.22/881.77 c R 881.3 91.4 11966 100.0 1485 622e4 5946 7994 3.0 13.6
881.32/881.88 c R 881.4 91.4 11966 100.0 1485 622e4 6747 7994 4.0 13.7
881.62/882.19 c R 881.7 91.4 11966 100.0 1485 622e4 4710 7994 2.9 13.4
882.32/882.88 c R 882.4 91.4 11966 100.0 1485 623e4 5483 7994 6.0 13.5
884.02/884.53 c R 884.1 91.4 11966 100.0 1485 624e4 4623 7994 6.0 13.4
887.62/888.18 c R 887.7 91.4 11966 100.0 1485 626e4 6100 7994 6.2 13.6
895.82/896.34 c R 895.9 91.5 11966 100.0 1485 632e4 7252 7994 4.5 13.8
897.42/897.99 c s 897.5 91.5 11965 100.0 1485 633e4 5559 7994 3.8 13.5
897.52/898.00 c R 897.5 91.5 11965 100.0 1485 633e4 5659 7994 3.8 13.5
897.52/898.04 c R 897.6 91.5 11965 100.0 1485 633e4 5958 7994 2.5 13.5
897.52/898.04 c
897.52/898.04 c seconds variables original learned agility
897.52/898.04 c level used conflicts limit MB
897.52/898.04 c
897.62/898.15 c R 897.7 91.5 11965 100.0 1485 633e4 6756 7994 3.4 13.6
897.92/898.46 c R 898.0 91.5 11965 100.0 1485 634e4 4731 7994 3.2 13.4
898.62/899.13 c R 898.7 91.5 11965 100.0 1485 634e4 5499 7994 4.4 13.5
900.22/900.77 c R 900.3 91.5 11965 100.0 1485 635e4 4531 7994 2.8 13.5
903.92/904.41 c R 903.9 91.5 11965 100.0 1485 638e4 5886 7994 3.9 13.5
906.22/906.79 c s 906.3 91.5 11964 100.0 1485 639e4 4839 7994 2.5 13.4
906.31/906.80 c R 906.3 91.5 11964 100.0 1485 639e4 4939 7994 3.2 13.4
906.31/906.84 c R 906.4 91.5 11964 100.0 1485 639e4 5242 7994 3.2 13.5
906.41/906.95 c R 906.5 91.5 11964 100.0 1485 639e4 6042 7994 2.7 13.5
906.71/907.26 c R 906.8 91.5 11964 100.0 1485 640e4 4028 7994 3.0 13.4
907.41/907.95 c R 907.5 91.5 11964 100.0 1485 640e4 4817 7994 2.7 13.5
909.01/909.51 c R 909.0 91.5 11964 100.0 1485 641e4 7951 7994 3.0 13.8
912.71/913.21 c R 912.7 91.5 11964 100.0 1485 644e4 5432 7994 3.2 13.5
920.81/921.39 c R 920.9 91.5 11964 100.0 1485 649e4 6370 7994 5.8 13.6
936.40/936.95 c s 936.5 91.6 11963 100.0 1485 660e4 5141 7994 3.4 13.5
936.40/936.97 c R 936.5 91.6 11963 100.0 1485 660e4 5242 7994 3.3 13.5
936.50/937.00 c R 936.5 91.6 11963 100.0 1485 660e4 5542 7994 3.2 13.5
936.50/937.09 c R 936.6 91.5 11963 100.0 1485 660e4 6340 7994 3.3 13.6
936.80/937.39 c R 936.9 91.5 11963 100.0 1485 661e4 4319 7994 2.7 13.4
937.50/938.08 c R 937.6 91.5 11963 100.0 1485 661e4 5047 7994 2.0 13.4
939.20/939.77 c R 939.3 91.6 11963 100.0 1485 662e4 8195 7994 8.1 14.0
942.80/943.39 c R 942.9 91.6 11963 100.0 1485 665e4 5515 7994 4.2 13.6
942.80/943.39 c
942.80/943.39 c seconds variables original learned agility
942.80/943.39 c level used conflicts limit MB
942.80/943.39 c
951.10/951.67 c R 951.2 91.6 11963 100.0 1485 670e4 6669 7994 2.9 13.7
952.80/953.37 c s 952.9 91.6 11962 100.0 1485 672e4 5762 7994 2.2 13.5
952.80/953.39 c R 952.9 91.6 11962 100.0 1485 672e4 5862 7994 4.7 13.5
952.90/953.44 c R 952.9 91.6 11962 100.0 1485 672e4 6161 7994 4.8 13.6
953.00/953.55 c R 953.1 91.6 11962 100.0 1485 672e4 6960 7994 4.5 13.7
953.30/953.83 c R 953.3 91.6 11962 100.0 1485 672e4 4899 7994 2.8 13.5
953.99/954.52 c R 954.0 91.6 11962 100.0 1485 672e4 5689 7994 4.8 13.5
955.59/956.12 c R 955.6 91.6 11962 100.0 1485 673e4 4736 7994 2.9 13.5
959.39/959.92 c R 959.4 91.6 11962 100.0 1485 676e4 6195 7994 3.8 13.7
964.49/965.04 c s 964.5 91.6 11961 100.0 1485 679e4 4472 7994 1.6 13.4
964.49/965.06 c R 964.6 91.6 11961 100.0 1485 680e4 4573 7994 3.8 13.4
964.49/965.10 c R 964.6 91.6 11961 100.0 1485 680e4 4873 7994 2.4 13.4
964.69/965.20 c R 964.7 91.6 11961 100.0 1485 680e4 5672 7994 2.0 13.5
964.89/965.50 c R 965.0 91.6 11961 100.0 1485 680e4 7673 7994 2.0 13.7
965.69/966.22 c R 965.7 91.6 11961 100.0 1485 680e4 4389 7994 5.3 13.4
967.19/967.80 c R 967.3 91.6 11961 100.0 1485 681e4 7556 7994 2.8 13.7
970.89/971.48 c R 971.0 91.6 11961 100.0 1485 684e4 5061 7994 2.5 13.6
977.59/978.13 c s 977.6 91.6 11960 100.0 1485 688e4 5517 7994 4.4 13.8
977.59/978.14 c R 977.6 91.6 11960 100.0 1485 688e4 5617 7994 6.6 13.8
977.59/978.17 c R 977.7 91.6 11960 100.0 1485 689e4 5918 7994 2.8 13.9
977.69/978.28 c R 977.8 91.6 11960 100.0 1485 689e4 6719 7994 3.2 13.9
977.99/978.57 c R 978.1 91.6 11960 100.0 1485 689e4 4707 7994 3.3 13.4
977.99/978.57 c
977.99/978.57 c seconds variables original learned agility
977.99/978.57 c level used conflicts limit MB
977.99/978.57 c
978.69/979.24 c R 978.7 91.6 11960 100.0 1485 689e4 5500 7994 6.6 13.5
980.28/980.84 c R 980.3 91.6 11960 100.0 1485 690e4 4556 7994 3.1 13.4
983.89/984.49 c R 984.0 91.6 11960 100.0 1485 693e4 6004 7994 5.4 13.6
992.18/992.75 c R 992.2 91.6 11960 100.0 1485 699e4 7209 7994 7.7 13.8
996.98/997.53 c s 997.0 91.6 11959 100.0 1485 702e4 7528 7994 2.7 13.7
996.98/997.55 c R 997.0 91.6 11959 100.0 1485 702e4 7629 7994 3.4 13.7
996.98/997.59 c R 997.1 91.6 11959 100.0 1485 702e4 7928 7994 5.4 13.8
997.18/997.73 c R 997.2 91.6 11959 100.0 1485 702e4 4713 7994 2.8 13.5
997.48/998.03 c R 997.5 91.6 11959 100.0 1485 702e4 6713 7994 4.1 13.7
998.18/998.71 c R 998.2 91.6 11959 100.0 1485 703e4 7504 7994 5.1 13.7
999.78/1000.34 c R 999.8 91.6 11959 100.0 1485 704e4 6676 7994 3.6 13.7
1003.48/1004.06 c R 100e1 91.6 11959 100.0 1485 706e4 4057 7994 4.4 13.4
1008.28/1008.83 c s 101e1 91.6 11958 100.0 1485 710e4 4199 7994 3.2 13.4
1008.28/1008.84 c R 101e1 91.6 11958 100.0 1485 710e4 4299 7994 3.2 13.4
1008.28/1008.89 c R 101e1 91.6 11958 100.0 1485 710e4 4599 7994 4.5 13.4
1008.37/1008.99 c R 101e1 91.6 11958 100.0 1485 710e4 5399 7994 2.6 13.5
1008.67/1009.27 c R 101e1 91.6 11958 100.0 1485 710e4 7403 7994 8.4 13.7
1008.97/1009.54 c s 101e1 91.6 11957 100.0 1485 710e4 5052 7994 3.3 13.5
1008.97/1009.55 c R 101e1 91.6 11957 100.0 1485 710e4 5154 7994 5.4 13.5
1008.97/1009.60 c R 101e1 91.6 11957 100.0 1485 710e4 5455 7994 7.9 13.5
1009.18/1009.71 c R 101e1 91.6 11957 100.0 1485 710e4 6255 7994 2.7 13.6
1009.37/1010.00 c R 101e1 91.6 11957 100.0 1485 710e4 4224 7994 3.6 13.4
1009.37/1010.00 c
1009.37/1010.00 c seconds variables original learned agility
1009.37/1010.00 c level used conflicts limit MB
1009.37/1010.00 c
1010.07/1010.66 c R 101e1 91.6 11957 100.0 1485 711e4 5014 7994 4.1 13.5
1011.67/1012.29 c R 101e1 91.6 11957 100.0 1485 712e4 4093 7994 5.2 13.4
1015.36/1015.96 c R 102e1 91.6 11957 100.0 1485 715e4 5555 7994 3.2 13.6
1016.66/1017.24 c s 102e1 91.6 11956 100.0 1485 715e4 5046 7994 3.1 13.5
1016.66/1017.26 c R 102e1 91.6 11956 100.0 1485 715e4 5144 7994 3.7 13.5
1016.66/1017.30 c R 102e1 91.6 11956 100.0 1485 715e4 5447 7994 3.7 13.5
1016.87/1017.40 c R 102e1 91.6 11956 100.0 1485 716e4 6246 7994 4.4 13.6
1017.16/1017.70 c R 102e1 91.6 11956 100.0 1485 716e4 4183 7994 6.3 13.4
1017.76/1018.40 c R 102e1 91.6 11956 100.0 1485 716e4 4962 7994 3.5 13.5
1019.46/1020.07 c R 102e1 91.6 11956 100.0 1485 717e4 4038 7994 2.7 13.4
1023.16/1023.75 c R 102e1 91.6 11956 100.0 1485 720e4 5490 7994 2.1 13.7
1031.46/1032.03 c R 103e1 91.7 11956 100.0 1485 726e4 6512 7994 3.8 13.7
1050.25/1050.86 c R 105e1 91.9 11956 100.0 1485 738e4 5230 7994 6.8 13.6
1055.05/1055.64 c s 106e1 91.8 11954 100.0 1485 742e4 5361 7994 2.3 13.5
1055.05/1055.66 c R 106e1 91.8 11954 100.0 1485 742e4 5460 7994 3.9 13.5
1055.05/1055.69 c R 106e1 91.8 11954 100.0 1485 742e4 5759 7994 3.2 13.5
1055.15/1055.79 c R 106e1 91.8 11954 100.0 1485 742e4 6559 7994 3.4 13.6
1055.55/1056.10 c R 106e1 91.8 11954 100.0 1485 742e4 4534 7994 5.2 13.4
1056.25/1056.83 c R 106e1 91.9 11954 100.0 1485 742e4 5279 7994 5.6 13.5
1057.85/1058.46 c R 106e1 91.9 11954 100.0 1485 744e4 4391 7994 4.0 13.5
1061.54/1062.11 c R 106e1 91.9 11954 100.0 1485 746e4 5757 7994 3.0 13.6
1066.04/1066.65 c s 107e1 91.8 11952 100.0 1485 749e4 7973 7994 3.2 13.7
1066.04/1066.65 c
1066.04/1066.65 c seconds variables original learned agility
1066.04/1066.65 c level used conflicts limit MB
1066.04/1066.65 c
1066.04/1066.69 c R 107e1 91.8 11952 100.0 1485 749e4 4054 7994 3.5 13.4
1066.14/1066.73 c R 107e1 91.8 11952 100.0 1485 749e4 4355 7994 3.6 13.4
1066.24/1066.84 c R 107e1 91.8 11952 100.0 1485 749e4 5154 7994 3.6 13.5
1066.54/1067.14 c R 107e1 91.8 11952 100.0 1485 750e4 7153 7994 5.9 13.7
1067.24/1067.83 c R 107e1 91.9 11952 100.0 1485 750e4 7920 7994 3.6 13.9
1068.84/1069.44 c R 107e1 91.8 11952 100.0 1485 751e4 7091 7994 3.7 13.7
1072.54/1073.13 c R 107e1 91.8 11952 100.0 1485 754e4 4518 7994 2.1 13.4
1072.74/1073.36 c + 107e1 91.9 11952 100.0 1485 754e4 6188 8793 2.4 13.6
1075.34/1075.91 c s 108e1 91.9 11951 100.0 1485 755e4 4677 8793 3.2 13.5
1075.34/1075.92 c R 108e1 91.9 11951 100.0 1485 756e4 4777 8793 2.5 13.5
1075.34/1075.96 c R 108e1 91.8 11951 100.0 1485 756e4 5077 8793 2.8 13.5
1075.44/1076.06 c R 108e1 91.8 11951 100.0 1485 756e4 5879 8793 4.1 13.6
1075.74/1076.34 c R 108e1 91.8 11951 100.0 1485 756e4 7882 8793 3.1 13.8
1076.44/1077.05 c R 108e1 91.8 11951 100.0 1485 756e4 8233 8793 2.4 13.8
1078.04/1078.67 c R 108e1 91.9 11951 100.0 1485 757e4 6180 8793 4.2 13.7
1081.94/1082.51 c R 108e1 91.9 11951 100.0 1485 760e4 5245 8793 7.5 13.6
1090.14/1090.76 c s 109e1 91.9 11950 100.0 1485 765e4 6989 8793 5.6 13.8
1090.14/1090.77 c R 109e1 91.9 11950 100.0 1485 765e4 7089 8793 4.1 13.8
1090.24/1090.82 c R 109e1 91.9 11950 100.0 1485 766e4 7389 8793 6.0 13.8
1090.34/1090.94 c R 109e1 91.9 11950 100.0 1485 766e4 8189 8793 3.8 13.9
1090.64/1091.24 c R 109e1 91.9 11950 100.0 1485 766e4 5797 8793 2.9 13.6
1091.34/1091.95 c R 109e1 91.9 11950 100.0 1485 766e4 6158 8793 4.6 13.6
1091.34/1091.95 c
1091.34/1091.95 c seconds variables original learned agility
1091.34/1091.95 c level used conflicts limit MB
1091.34/1091.95 c
1092.93/1093.58 c R 109e1 91.9 11950 100.0 1485 767e4 8452 8793 3.6 13.8
1096.73/1097.32 c R 110e1 91.9 11950 100.0 1485 770e4 7543 8793 4.7 13.9
1098.24/1098.86 c s 110e1 91.9 11949 100.0 1485 771e4 8364 8793 2.9 13.7
1098.24/1098.88 c R 110e1 91.9 11949 100.0 1485 771e4 8464 8793 2.1 13.7
1098.34/1098.93 c R 110e1 91.9 11949 100.0 1485 771e4 8764 8793 3.2 13.8
1098.43/1099.07 c R 110e1 91.9 11948 100.0 1485 771e4 5160 8793 3.4 13.5
1098.53/1099.12 c R 110e1 91.9 11948 100.0 1485 771e4 5462 8793 3.0 13.5
1098.63/1099.23 c R 110e1 91.9 11948 100.0 1485 771e4 6262 8793 3.9 13.6
1098.63/1099.28 c s 110e1 91.9 11948 100.0 1485 771e4 6548 8793 2.8 13.6
1098.93/1099.52 c R 110e1 91.9 11948 100.0 1485 771e4 8262 8793 4.5 13.8
1099.63/1100.23 c R 110e1 91.9 11948 100.0 1485 772e4 8655 8793 3.4 13.9
1101.23/1101.84 c R 110e1 91.9 11948 100.0 1485 773e4 6576 8793 2.6 13.7
1105.12/1105.70 c R 111e1 91.9 11948 100.0 1485 776e4 5465 8793 4.8 13.6
1113.61/1114.28 c R 111e1 91.9 11948 100.0 1485 781e4 5524 8793 5.4 13.6
1128.20/1128.86 c s 113e1 91.9 11945 100.0 1485 791e4 6727 8793 6.0 13.7
1128.20/1128.88 c R 113e1 91.9 11945 100.0 1485 791e4 6827 8793 2.2 13.7
1128.30/1128.92 c R 113e1 91.9 11945 100.0 1485 791e4 7127 8793 5.8 13.7
1128.40/1129.03 c R 113e1 91.9 11945 100.0 1485 791e4 7925 8793 3.5 13.8
1128.70/1129.32 c R 113e1 91.9 11945 100.0 1485 791e4 5501 8793 2.9 13.5
1129.30/1130.00 c R 113e1 91.9 11945 100.0 1485 792e4 5904 8793 3.1 13.6
1131.00/1131.62 c R 113e1 91.9 11945 100.0 1485 793e4 8198 8793 6.3 13.8
1134.70/1135.32 c R 113e1 91.9 11945 100.0 1485 796e4 7301 8793 3.0 13.8
1134.70/1135.32 c
1134.70/1135.32 c seconds variables original learned agility
1134.70/1135.32 c level used conflicts limit MB
1134.70/1135.32 c
1143.10/1143.73 c R 114e1 92.0 11945 100.0 1485 801e4 7439 8793 2.2 13.7
1145.80/1146.40 c s 115e1 92.0 11944 100.0 1485 803e4 7037 8793 5.1 13.7
1145.80/1146.42 c R 115e1 92.0 11944 100.0 1485 803e4 7137 8793 2.5 13.7
1145.80/1146.47 c R 115e1 92.0 11944 100.0 1485 803e4 7438 8793 2.4 13.7
1145.90/1146.59 c R 115e1 92.0 11944 100.0 1485 803e4 8238 8793 5.0 13.8
1146.30/1146.91 c R 115e1 92.0 11944 100.0 1485 803e4 5821 8793 5.6 13.6
1146.90/1147.56 c R 115e1 92.0 11944 100.0 1485 804e4 6213 8793 3.5 13.6
1148.49/1149.16 c R 115e1 92.0 11944 100.0 1485 805e4 8589 8793 3.8 13.8
1152.10/1152.80 c R 115e1 92.0 11944 100.0 1485 808e4 7600 8793 5.7 13.8
1160.49/1161.17 c R 116e1 92.0 11944 100.0 1485 813e4 7715 8793 3.2 13.9
1181.80/1182.44 c R 118e1 92.1 11944 100.0 1485 826e4 6777 8793 1.9 14.9
1198.88/1199.56 c s 120e1 92.1 11943 100.0 1485 838e4 8664 8793 5.7 13.9
1198.88/1199.58 c R 120e1 92.1 11943 100.0 1485 838e4 8764 8793 4.8 13.9
1198.98/1199.65 c R 120e1 92.1 11943 100.0 1485 838e4 4660 8793 3.0 13.5
1199.08/1199.75 c R 120e1 92.1 11943 100.0 1485 838e4 5460 8793 4.7 13.5
1199.39/1200.03 c R 120e1 92.1 11943 100.0 1485 838e4 7466 8793 2.0 13.7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1727361-1240723769/watcher-1727361-1240723769 -o /tmp/evaluation-result-1727361-1240723769/solver-1727361-1240723769 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1727361-1240723769.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.83 1.81 1.42 3/64 17166
/proc/meminfo: memFree=1711032/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=1556 CPUtime=0
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 100403164 1593344 284 1992294400 134512640 135137933 4294956224 18446744073709551615 134674480 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 389 284 56 152 0 235 0
[startup+0.011559 s]
/proc/loadavg: 1.83 1.81 1.42 3/64 17166
/proc/meminfo: memFree=1711032/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=1688 CPUtime=0
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 336 0 0 0 0 0 0 0 18 0 1 0 100403164 1728512 321 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 422 321 56 152 0 268 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1688
[startup+0.101569 s]
/proc/loadavg: 1.83 1.81 1.42 3/64 17166
/proc/meminfo: memFree=1711032/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=3932 CPUtime=0.09
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 874 0 0 0 9 0 0 0 18 0 1 0 100403164 4026368 860 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 983 860 56 152 0 829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3932
[startup+0.301581 s]
/proc/loadavg: 1.83 1.81 1.42 3/64 17166
/proc/meminfo: memFree=1711032/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=8552 CPUtime=0.29
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 2028 0 0 0 27 2 0 0 19 0 1 0 100403164 8757248 2013 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 2138 2013 56 152 0 1984 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8552
[startup+0.701614 s]
/proc/loadavg: 1.83 1.81 1.42 3/64 17166
/proc/meminfo: memFree=1711032/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15416 CPUtime=0.69
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3763 0 0 0 66 3 0 0 23 0 1 0 100403164 15785984 3748 1992294400 134512640 135137933 4294956224 18446744073709551615 134547512 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3854 3748 61 152 0 3700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15416
[startup+1.50168 s]
/proc/loadavg: 1.77 1.79 1.42 2/65 17167
/proc/meminfo: memFree=1696048/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=1.48
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3788 0 0 0 145 3 0 0 25 0 1 0 100403164 15970304 3773 1992294400 134512640 135137933 4294956224 18446744073709551615 134569867 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3773 69 152 0 3745 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15596
[startup+3.1018 s]
/proc/loadavg: 1.77 1.79 1.42 2/65 17167
/proc/meminfo: memFree=1696048/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=3.08
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3789 0 0 0 305 3 0 0 25 0 1 0 100403164 15970304 3774 1992294400 134512640 135137933 4294956224 18446744073709551615 134525068 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3774 69 152 0 3745 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15596
[startup+6.30106 s]
/proc/loadavg: 1.77 1.79 1.42 2/65 17167
/proc/meminfo: memFree=1695984/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=6.27
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3792 0 0 0 624 3 0 0 25 0 1 0 100403164 15970304 3777 1992294400 134512640 135137933 4294956224 18446744073709551615 134525058 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3777 69 152 0 3745 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15596
[startup+12.7026 s]
/proc/loadavg: 1.65 1.77 1.41 2/65 17167
/proc/meminfo: memFree=1695984/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=12.67
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3793 0 0 0 1263 4 0 0 25 0 1 0 100403164 15970304 3778 1992294400 134512640 135137933 4294956224 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3778 69 152 0 3745 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15596
[startup+25.5016 s]
/proc/loadavg: 1.55 1.74 1.41 2/65 17167
/proc/meminfo: memFree=1696112/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=25.46
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3793 0 0 0 2542 4 0 0 25 0 1 0 100403164 15970304 3778 1992294400 134512640 135137933 4294956224 18446744073709551615 134548664 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3778 69 152 0 3745 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 15596
[startup+51.1016 s]
/proc/loadavg: 1.33 1.67 1.39 2/65 17167
/proc/meminfo: memFree=1696048/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=51.04
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3804 0 0 0 5100 4 0 0 25 0 1 0 100403164 15970304 3789 1992294400 134512640 135137933 4294956224 18446744073709551615 134522778 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3789 69 152 0 3745 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 15596
[startup+102.306 s]
/proc/loadavg: 1.14 1.56 1.37 2/65 17167
/proc/meminfo: memFree=1695856/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=102.22
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3807 0 0 0 10218 4 0 0 25 0 1 0 100403164 15970304 3792 1992294400 134512640 135137933 4294956224 18446744073709551615 134548664 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3792 69 152 0 3745 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 15596
[startup+162.302 s]
/proc/loadavg: 1.05 1.46 1.34 2/65 17167
/proc/meminfo: memFree=1695792/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=162.18
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3808 0 0 0 16214 4 0 0 25 0 1 0 100403164 15970304 3793 1992294400 134512640 135137933 4294956224 18446744073709551615 134527871 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3793 69 152 0 3745 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 15596
[startup+222.301 s]
/proc/loadavg: 1.02 1.37 1.32 2/65 17167
/proc/meminfo: memFree=1695664/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=222.15
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3811 0 0 0 22211 4 0 0 25 0 1 0 100403164 15970304 3796 1992294400 134512640 135137933 4294956224 18446744073709551615 134525058 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3796 69 152 0 3745 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 15596
[startup+282.301 s]
/proc/loadavg: 1.00 1.30 1.30 2/65 17167
/proc/meminfo: memFree=1695600/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=282.13
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3811 0 0 0 28208 5 0 0 25 0 1 0 100403164 15970304 3796 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3796 69 152 0 3745 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 15596
[startup+342.302 s]
/proc/loadavg: 1.00 1.24 1.27 2/65 17167
/proc/meminfo: memFree=1695472/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=342.1
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3812 0 0 0 34205 5 0 0 25 0 1 0 100403164 15970304 3797 1992294400 134512640 135137933 4294956224 18446744073709551615 134527846 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3797 69 152 0 3745 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 15596
[startup+402.302 s]
/proc/loadavg: 1.00 1.20 1.26 2/65 17167
/proc/meminfo: memFree=1695472/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=402.05
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3820 0 0 0 40200 5 0 0 25 0 1 0 100403164 15970304 3805 1992294400 134512640 135137933 4294956224 18446744073709551615 134548664 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3805 69 152 0 3745 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 15596
[startup+462.302 s]
/proc/loadavg: 1.00 1.16 1.24 2/65 17167
/proc/meminfo: memFree=1695472/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=462.03
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3820 0 0 0 46198 5 0 0 25 0 1 0 100403164 15970304 3805 1992294400 134512640 135137933 4294956224 18446744073709551615 134549089 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3805 69 152 0 3745 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 15596
[startup+522.301 s]
/proc/loadavg: 1.00 1.13 1.22 2/65 17167
/proc/meminfo: memFree=1695408/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=521.99
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3821 0 0 0 52194 5 0 0 25 0 1 0 100403164 15970304 3806 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3806 69 152 0 3745 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 15596
[startup+582.301 s]
/proc/loadavg: 1.00 1.10 1.20 2/65 17169
/proc/meminfo: memFree=1695152/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15596 CPUtime=581.96
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3821 0 0 0 58191 5 0 0 25 0 1 0 100403164 15970304 3806 1992294400 134512640 135137933 4294956224 18446744073709551615 134549059 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3899 3806 69 152 0 3745 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 15596
[startup+642.302 s]
/proc/loadavg: 1.00 1.08 1.19 2/65 17169
/proc/meminfo: memFree=1695152/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15748 CPUtime=641.94
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3866 0 0 0 64189 5 0 0 25 0 1 0 100403164 16125952 3847 1992294400 134512640 135137933 4294956224 18446744073709551615 134548664 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3937 3847 69 152 0 3783 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 15748
[startup+702.302 s]
/proc/loadavg: 1.00 1.06 1.17 2/65 17169
/proc/meminfo: memFree=1695024/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15748 CPUtime=701.9
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3866 0 0 0 70185 5 0 0 25 0 1 0 100403164 16125952 3847 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3937 3847 69 152 0 3783 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 15748
[startup+762.305 s]
/proc/loadavg: 1.04 1.06 1.17 2/65 17169
/proc/meminfo: memFree=1694960/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15748 CPUtime=761.89
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3866 0 0 0 76183 6 0 0 25 0 1 0 100403164 16125952 3847 1992294400 134512640 135137933 4294956224 18446744073709551615 134567475 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3937 3847 69 152 0 3783 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 15748
[startup+822.301 s]
/proc/loadavg: 1.05 1.06 1.16 2/65 17169
/proc/meminfo: memFree=1694960/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15748 CPUtime=821.86
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3866 0 0 0 82180 6 0 0 25 0 1 0 100403164 16125952 3847 1992294400 134512640 135137933 4294956224 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3937 3847 69 152 0 3783 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 15748
[startup+882.301 s]
/proc/loadavg: 1.02 1.05 1.15 2/65 17169
/proc/meminfo: memFree=1694704/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15748 CPUtime=881.82
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3961 0 0 0 88176 6 0 0 25 0 1 0 100403164 16125952 3847 1992294400 134512640 135137933 4294956224 18446744073709551615 134547611 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3937 3847 69 152 0 3783 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 15748
[startup+942.302 s]
/proc/loadavg: 1.00 1.04 1.14 2/65 17169
/proc/meminfo: memFree=1694640/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15748 CPUtime=941.8
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3961 0 0 0 94174 6 0 0 25 0 1 0 100403164 16125952 3847 1992294400 134512640 135137933 4294956224 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3937 3847 69 152 0 3783 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 15748
[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.12 2/65 17169
/proc/meminfo: memFree=1694576/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15748 CPUtime=1001.78
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 3961 0 0 0 100172 6 0 0 25 0 1 0 100403164 16125952 3847 1992294400 134512640 135137933 4294956224 18446744073709551615 134525058 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3937 3847 69 152 0 3783 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 15748
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.11 2/65 17169
/proc/meminfo: memFree=1694512/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15828 CPUtime=1061.74
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 4047 0 0 0 106168 6 0 0 25 0 1 0 100403164 16207872 3867 1992294400 134512640 135137933 4294956224 18446744073709551615 134528072 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3957 3867 69 152 0 3803 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 15828
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.10 2/65 17169
/proc/meminfo: memFree=1694384/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=15828 CPUtime=1121.7
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 4047 0 0 0 112164 6 0 0 25 0 1 0 100403164 16207872 3867 1992294400 134512640 135137933 4294956224 18446744073709551615 134548933 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 3957 3867 69 152 0 3803 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 15828
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/65 17169
/proc/meminfo: memFree=1692656/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=17676 CPUtime=1181.69
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 4499 0 0 0 118162 7 0 0 25 0 1 0 100403164 18100224 4319 1992294400 134512640 135137933 4294956224 18446744073709551615 134552165 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 4419 4319 69 152 0 4265 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 17676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.01 1.09 2/65 17169
/proc/meminfo: memFree=1693680/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=16416 CPUtime=1200.09
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 4499 0 0 0 120002 7 0 0 25 0 1 0 100403164 16809984 4013 1992294400 134512640 135137933 4294956224 18446744073709551615 134569801 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 4104 4013 69 152 0 3950 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 16416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.01 1.09 2/65 17169
/proc/meminfo: memFree=1693680/2055920 swapFree=4177028/4192956
[pid=17166] ppid=17164 vsize=16416 CPUtime=1200.09
/proc/17166/stat : 17166 (picosat) R 17164 17166 16855 0 -1 4194304 4499 0 0 0 120002 7 0 0 25 0 1 0 100403164 16809984 4013 1992294400 134512640 135137933 4294956224 18446744073709551615 134569801 0 0 4096 0 0 0 0 17 0 0 0
/proc/17166/statm: 4104 4013 69 152 0 3950 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 16416
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.1
CPU user time (s): 1200.02
CPU system time (s): 0.074988
CPU usage (%): 99.9492
Max. virtual memory (cumulated for all children) (KiB): 17676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.02
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4534
runsolver used 1.04284 second user time and 3.44148 second system time
The end
Begin job on node69 at 2009-04-26 07:29:31
IDJOB=1727361
IDBENCH=24637
IDSOLVER=506
FILE ID=node69/1727361-1240723769
PBS_JOBID= 9186873
Free space on /tmp= 66368 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1727361-1240723769/watcher-1727361-1240723769 -o /tmp/evaluation-result-1727361-1240723769/solver-1727361-1240723769 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1727361-1240723769.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4c4e7e1211c6b5f2d2564e77e64df6f5
RANDOM SEED=1805173297
node69.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1711512 kB
Buffers: 44612 kB
Cached: 220952 kB
SwapCached: 10584 kB
Active: 130696 kB
Inactive: 147936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1711512 kB
SwapTotal: 4192956 kB
SwapFree: 4177028 kB
Dirty: 15116 kB
Writeback: 0 kB
Mapped: 13684 kB
Slab: 51816 kB
Committed_AS: 313524 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66368 MiB
End job on node69 at 2009-04-26 07:49:34