X | 16 |
---|---|
Y | 16 |
Army | 19 |
Rule | 8-move |
Bound | ≥ 45 moves |
Heuristics | None |
Host | iffyiron |
Main memory | 16.802 GB (15.648 GiB) |
Swap space | 250.058 GB (232.885 GiB) |
Logical CPUs | 8 x Intel(R) Xeon(R) CPU E3-1230 V2 @ 3.30GHz |
Threads | 8 |
Start | 2017-06-25 20:34:18 +0200 |
Stop | 2017-06-25 20:45:33 +0200 |
Commit id | f5ddb39f5bf479d8b33b72f86913dd7b85b06b3e |
Commit time | 2017-06-24 16:50:01 +0200 |
Moves left |
Boards | Armies | Boards per blue army |
Largest subset |
Seconds | CPU seconds |
CPU busy |
Virtual Memory (MB) |
Allocated (MB) |
Mmapped (MB) |
Mmaps | Mlocked (MB) |
Mlocks | Late prunes |
Late prune ratio |
Army resize overflow |
Army front inserts |
Army front ratio |
Army inserts | Army ratio |
Board inserts | Board ratio |
Red base edge | Edge ratio |
Army immediate | Army immediate ratio |
Army probes |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
47 | 22 | 22 | 22 | 41 | 0 | 0 | 168 | 0 | 134 | 1,024 | 0 | 0 | 0 | 0% | 0 | 12 / 41 | 29 | 22 / 29 | 75% | 22 / 41 | 53% | 0 / 41 | 0% | 29 / 29 | 100% | 1.00 | |
46 | 845 | 22 | 41 | 44 | 0 | 0 | 168 | 0 | 134 | 1,024 | 0 | 0 | 0 | 0% | 0 | 838 / 902 | 92 | 22 / 64 | 34% | 845 / 902 | 93% | 0 / 902 | 0% | 64 / 64 | 100% | 1.00 | |
45 | 22,526 | 561 | 1,023 | 2,217 | 0 | 0 | 57.156% | 169 | 0 | 134 | 1,024 | 0 | 0 | 0 | 0% | 0 | 24,901 / 45,693 | 54 | 561 / 20,792 | 2% | 22,526 / 45,693 | 49% | 0 / 45,693 | 0% | 15,615 / 20,792 | 75% | 1.43 |
44 | 293,482 | 346 | 1,646 | 14,613 | 0 | 0 | 39.809% | 172 | 3 | 134 | 1,024 | 0 | 0 | 0 | 0% | 0 | 152,837 / 569,751 | 26 | 346 / 416,914 | 0% | 293,482 / 569,751 | 51% | 0 / 569,751 | 0% | 343,832 / 416,914 | 82% | 1.22 |
43 | 2,107,470 | 11,884 | 6,090 | 71,860 | 0 | 3 | 90.320% | 178 | 8 | 134 | 1,024 | 0 | 0 | 7,163 | 1% | 8 | 2,461,478 / 4,810,477 | 51 | 11,884 / 2,348,999 | 0% | 2,107,470 / 4,810,477 | 43% | 0 / 4,810,477 | 0% | 1,946,679 / 2,348,999 | 83% | 1.29 |
42 | 1,795,610 | 1,359 | 2,658 | 30,656 | 1 | 11 | 91.694% | 193 | 19 | 136 | 1,037 | 0 | 0 | 125,658 | 5% | 3 | 2,509,925 / 3,612,509 | 69 | 1,359 / 1,102,584 | 0% | 1,795,610 / 3,612,509 | 49% | 0 / 3,612,509 | 0% | 728,021 / 1,102,584 | 66% | 1.79 |
41 | 7,373,142 | 116,965 | 5,425 | 318,732 | 2 | 17 | 91.272% | 206 | 16 | 147 | 1,081 | 0 | 0 | 127,290 | 3% | 7 | 10,451,572 / 16,368,394 | 63 | 116,965 / 5,916,822 | 1% | 7,373,142 / 16,368,394 | 45% | 0 / 16,368,394 | 0% | 4,864,388 / 5,916,822 | 82% | 1.30 |
40 | 3,653,372 | 1,714 | 3,949 | 196,900 | 5 | 42 | 93.521% | 223 | 12 | 163 | 1,155 | 0 | 0 | 505,497 | 6% | 8 | 5,915,817 / 6,769,082 | 87 | 1,714 / 853,265 | 0% | 3,653,372 / 6,769,082 | 53% | 0 / 6,769,082 | 0% | 580,569 / 853,265 | 68% | 1.67 |
39 | 12,454,752 | 572,826 | 7,266 | 1,368,000 | 5 | 37 | 88.773% | 236 | 12 | 175 | 1,140 | 0 | 0 | 206,105 | 3% | 7 | 19,120,320 / 29,565,516 | 64 | 572,826 / 10,445,196 | 5% | 12,454,752 / 29,565,516 | 42% | 0 / 29,565,516 | 0% | 8,015,511 / 10,445,196 | 77% | 1.46 |
38 | 4,760,898 | 764 | 7,836 | 415,340 | 9 | 72 | 94.467% | 234 | 4 | 174 | 1,093 | 0 | 0 | 921,916 | 7% | 7 | 5,574,387 / 5,986,789 | 93 | 764 / 412,402 | 0% | 4,760,898 / 5,986,789 | 79% | 4,706 / 5,986,789 | 0% | 183,722 / 412,402 | 45% | 3.12 |
37 | 1,897,371 | 173,726 | 2,483 | 530,660 | 6 | 40 | 77.682% | 209 | 3 | 150 | 1,037 | 0 | 0 | 378,666 | 6% | 8 | 2,413,574 / 4,297,278 | 56 | 173,726 / 1,883,704 | 9% | 1,897,371 / 4,297,278 | 44% | 287,448 / 4,297,278 | 6% | 1,197,614 / 1,883,704 | 64% | 1.82 |
36 | 2,749,243 | 4,067 | 1,529 | 220,231 | 1 | 9 | 71.546% | 217 | 12 | 158 | 1,063 | 0 | 0 | 0 | 0% | 7 | 5,830,938 / 6,218,911 | 93 | 4,067 / 387,973 | 1% | 2,749,243 / 6,218,911 | 44% | 393,810 / 6,218,911 | 6% | 251,639 / 387,973 | 65% | 1.79 |
35 | 35,379,615 | 2,253,373 | 8,699 | 2,787,191 | 16 | 121 | 92.785% | 373 | 24 | 309 | 1,224 | 0 | 0 | 16,018 | 0% | 18 | 57,530,009 / 79,977,946 | 71 | 2,253,373 / 22,447,937 | 10% | 35,379,615 / 79,977,946 | 44% | 8,959,831 / 79,977,946 | 11% | 15,618,554 / 22,447,937 | 70% | 1.61 |
34 | 15,418,624 | 9,974 | 6,765 | 4,424,220 | 20 | 141 | 85.466% | 596 | 28 | 527 | 1,317 | 0 | 0 | 0 | 0% | 8 | 66,256,129 / 67,478,109 | 98 | 9,974 / 1,221,980 | 0% | 15,418,624 / 67,478,109 | 22% | 3,734,244 / 67,478,109 | 5% | 632,920 / 1,221,980 | 52% | 2.31 |
33 | 116,287,257 | 9,185,812 | 11,659 | 12,860,366 | 80 | 603 | 93.533% | 934 | 58 | 836 | 1,383 | 4 | 16 | 778,478 | 1% | 11 | 216,257,043 / 298,759,660 | 72 | 9,185,812 / 82,502,617 | 11% | 116,287,257 / 298,759,660 | 38% | 42,875,853 / 298,759,660 | 14% | 55,295,509 / 82,502,617 | 67% | 1.73 |
32 | 27,392,992 | 12,511 | 10,992 | 24,973,715 | 53 | 391 | 91.788% | 1,100 | 142 | 921 | 1,203 | 0 | 0 | 0 | 0% | 18 | 134,645,115 / 137,527,293 | 97 | 12,511 / 2,882,178 | 0% | 27,392,992 / 137,527,293 | 19% | 3,084,648 / 137,527,293 | 2% | 1,233,542 / 2,882,178 | 43% | 2.65 |
31 | 138,950,034 | 8,496,361 | 11,106 | 7,431,035 | 150 | 822 | 68.261% | 1,148 | 317 | 777 | 1,173 | 4 | 16 | 0 | 0% | 11 | 263,421,310 / 337,503,169 | 78 | 8,496,361 / 74,081,859 | 11% | 138,950,034 / 337,503,169 | 41% | 18,099,684 / 337,503,169 | 5% | 54,497,785 / 74,081,859 | 74% | 1.51 |
30 | 35,248,556 | 5,131 | 32,792 | 12,237,521 | 57 | 427 | 92.407% | 1,585 | 32 | 1,241 | 3,869 | 0 | 0 | 0 | 0% | 11 | 165,495,438 / 168,258,437 | 98 | 5,131 / 2,762,999 | 0% | 35,248,556 / 168,258,437 | 20% | 0 / 168,258,437 | 0% | 1,426,617 / 2,762,999 | 52% | 2.20 |
29 | 132,352,388 | 425,410 | 25,794 | 276,263 | 115 | 914 | 99.262% | 1,023 | 150 | 676 | 2,593 | 0 | 0 | 0 | 0% | 18 | 211,411,004 / 322,554,598 | 65 | 425,410 / 111,143,594 | 0% | 132,352,388 / 322,554,598 | 41% | 0 / 322,554,598 | 0% | 88,293,646 / 111,143,594 | 79% | 1.33 |
28 | 19,787,999 | 3,534 | 32,380 | 915,828 | 46 | 352 | 95.689% | 1,133 | 11 | 789 | 1,306 | 0 | 0 | 0 | 0% | 11 | 113,888,891 / 114,431,520 | 99 | 3,534 / 542,629 | 0% | 19,787,999 / 114,431,520 | 17% | 0 / 114,431,520 | 0% | 279,538 / 542,629 | 52% | 1.80 |
27 | 10,248,777 | 230,005 | 2,900 | 108,602 | 52 | 418 | 98.907% | 488 | 39 | 145 | 1,041 | 0 | 0 | 0 | 0% | 11 | 9,187,856 / 14,175,684 | 64 | 230,005 / 4,987,828 | 4% | 10,248,777 / 14,175,684 | 72% | 0 / 14,175,684 | 0% | 3,461,355 / 4,987,828 | 69% | 1.58 |
26 | 2,791,201 | 1,799 | 6,270 | 426,538 | 3 | 26 | 91.148% | 539 | 10 | 195 | 1,199 | 0 | 0 | 0 | 0% | 18 | 10,875,982 / 11,280,964 | 96 | 1,799 / 404,982 | 0% | 2,791,201 / 11,280,964 | 24% | 0 / 11,280,964 | 0% | 214,887 / 404,982 | 53% | 2.00 |
25 | 14,843,944 | 540,442 | 8,251 | 115,540 | 10 | 77 | 95.291% | 530 | 13 | 186 | 1,209 | 0 | 0 | 0 | 0% | 11 | 7,888,595 / 17,749,227 | 44 | 540,442 / 9,860,632 | 5% | 14,843,944 / 17,749,227 | 83% | 0 / 17,749,227 | 0% | 6,727,725 / 9,860,632 | 68% | 1.60 |
24 | 3,368,646 | 825 | 19,892 | 969,597 | 4 | 35 | 90.241% | 558 | 16 | 219 | 1,080 | 0 | 0 | 0 | 0% | 11 | 14,665,354 / 16,411,582 | 89 | 825 / 1,746,228 | 0% | 3,368,646 / 16,411,582 | 20% | 0 / 16,411,582 | 0% | 983,756 / 1,746,228 | 56% | 1.70 |
23 | 8,272,184 | 930,353 | 10,026 | 446,406 | 10 | 77 | 92.186% | 507 | 12 | 168 | 1,077 | 0 | 0 | 0 | 0% | 18 | 6,575,598 / 10,551,662 | 62 | 930,353 / 3,976,064 | 23% | 8,272,184 / 10,551,662 | 78% | 0 / 10,551,662 | 0% | 2,449,112 / 3,976,064 | 62% | 1.86 |
22 | 1,958,714 | 1,167 | 7,798 | 4,198,057 | 2 | 17 | 79.561% | 550 | 0 | 211 | 1,077 | 0 | 0 | 0 | 0% | 11 | 9,048,735 / 9,101,291 | 99 | 1,167 / 52,556 | 2% | 1,958,714 / 9,101,291 | 21% | 0 / 9,101,291 | 0% | 51,782 / 52,556 | 99% | 1.03 |
21 | 1,314,698 | 404,881 | 1,126 | 339,041 | 8 | 36 | 50.592% | 494 | 2 | 156 | 1,029 | 0 | 0 | 0 | 0% | 12 | 654,836 / 1,648,281 | 39 | 404,881 / 993,445 | 40% | 1,314,698 / 1,648,281 | 79% | 0 / 1,648,281 | 0% | 583,787 / 993,445 | 59% | 1.97 |
20 | 416,243 | 387 | 3,407 | 1,241,442 | 0 | 2 | 51.952% | 488 | 0 | 150 | 1,027 | 0 | 0 | 0 | 0% | 18 | 1,316,508 / 1,318,858 | 99 | 387 / 2,350 | 16% | 416,243 / 1,318,858 | 31% | 0 / 1,318,858 | 0% | 2,160 / 2,350 | 92% | 1.10 |
19 | 17,588 | 3,126 | 45 | 922 | 4 | 5 | 14.226% | 480 | 0 | 141 | 1,025 | 0 | 0 | 0 | 0% | 11 | 6,082 / 19,741 | 30 | 3,126 / 13,659 | 22% | 17,588 / 19,741 | 89% | 0 / 19,741 | 0% | 7,971 / 13,659 | 58% | 1.92 |
18 | 16,088 | 340 | 81 | 1,932 | 0 | 0 | 77.212% | 472 | 0 | 134 | 1,024 | 0 | 0 | 0 | 0% | 12 | 24,155 / 27,610 | 87 | 340 / 3,455 | 9% | 16,088 / 27,610 | 58% | 0 / 27,610 | 0% | 2,859 / 3,455 | 83% | 1.27 |
17 | 60,418 | 8,955 | 177 | 2,952 | 0 | 0 | 75.039% | 472 | 0 | 134 | 1,024 | 0 | 0 | 0 | 0% | 18 | 22,674 / 89,174 | 25 | 8,955 / 66,500 | 13% | 60,418 / 89,174 | 67% | 0 / 89,174 | 0% | 47,628 / 66,500 | 72% | 1.53 |
16 | 32,942 | 59 | 1,445 | 4,159 | 0 | 0 | 82.528% | 472 | 0 | 134 | 1,025 | 0 | 0 | 0 | 0% | 11 | 78,045 / 85,299 | 91 | 59 / 7,254 | 0% | 32,942 / 85,299 | 38% | 0 / 85,299 | 0% | 7,091 / 7,254 | 98% | 1.02 |
15 | 92,847 | 24,796 | 1,573 | 9,409 | 0 | 1 | 89.225% | 472 | 0 | 134 | 1,025 | 0 | 0 | 0 | 0% | 12 | 33,822 / 156,024 | 21 | 24,796 / 122,202 | 20% | 92,847 / 156,024 | 59% | 0 / 156,024 | 0% | 85,205 / 122,202 | 70% | 1.63 |
14 | 31,765 | 13 | 7,602 | 13,236 | 0 | 0 | 78.082% | 472 | 0 | 134 | 1,025 | 0 | 0 | 0 | 0% | 18 | 94,482 / 98,829 | 95 | 13 / 4,347 | 0% | 31,765 / 98,829 | 32% | 0 / 98,829 | 0% | 4,347 / 4,347 | 100% | 1.00 |
13 | 0 | 0 | 0 | 0 | 0 | 1 | 78.725% | 458 | 0 | 134 | 1,025 | 0 | 0 | 0 | 0% | 11 | 0 / 0 | 0 / 0 | 0 / 0 | 0 / 0 | 0 / 0 |