0.00/0.02 c SAT : Variables: 324 -- Clauses: 1332
0.00/0.02 c root propagations : 123
0.00/0.02 c restarts enabled, print stats at every restarts
0.00/0.02 c
0.00/0.02 c
0.00/0.02 c
0.00/0.02 c This is cosoco 1.0 --
0.00/0.02 c
0.00/0.02 c ========================================[ Problem Statistics ]===========================================
0.00/0.02 c |
0.00/0.02 c | Parse time : 0.02 s
0.00/0.02 c |
0.00/0.02 c | Variables: 36
0.00/0.02 c | Domain Sizes: 9..9
0.00/0.02 c |
0.00/0.02 c | Constraints: 153
0.00/0.02 c | Arity: 2..4 -- Binary: 144
0.00/0.02 c |
0.00/0.02 c | Types:
0.00/0.02 c | Extension: 153 (nb tuples: 9..558) -- (shared: 143)
0.00/0.02 c |
0.00/0.02 c =========================================================================================================
0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.02 c 10 50 2229 539 33 5 22 24 20
0.00/0.02 c 20 92 3759 863 33 7 11 16 12
0.00/0.02 c 30 125 5079 1188 33 10 7 14 11
0.00/0.03 c 40 164 6328 1445 33 12 17 21 17
0.00/0.03 c 50 200 7702 1768 33 14 11 13 11
0.00/0.03 c 60 236 8983 2049 33 16 9 18 14
0.00/0.03 c 70 277 10794 2485 33 19 13 15 12
0.00/0.03 c 80 328 12354 2782 33 21 28 33 28
0.00/0.03 c 90 372 13793 3094 33 23 12 19 15
0.00/0.03 c 100 417 15333 3398 33 28 13 22 19
0.00/0.03 c 101 432 15878 3510 33 29 15 15 7
0.00/0.03 c 110 469 17154 3792 33 30 19 21 18
0.00/0.03 c 120 502 18795 4251 33 34 7 8 6
0.00/0.03 c 130 543 20111 4509 33 36 16 20 17
0.00/0.03 c 140 583 21556 4835 33 40 8 18 13
0.00/0.03 c 150 619 23269 5296 33 44 8 9 7
0.00/0.03 c 160 652 24780 5750 33 48 8 8 7
0.00/0.03 c 170 689 26071 6036 33 52 16 17 15
0.00/0.04 c 180 727 28047 6508 33 56 11 11 10
0.00/0.04 c 190 772 29520 6828 33 61 10 24 17
0.00/0.04 c 200 815 30915 7148 33 64 13 17 14
0.00/0.04 c 210 866 32282 7431 33 66 20 21 18
0.00/0.04 c 211 878 32772 7530 33 67 12 12 6
0.00/0.04 c 220 937 34495 7883 33 69 12 20 17
0.00/0.04 c 230 980 35876 8152 33 71 19 21 18
0.00/0.04 c 240 1019 37627 8631 33 75 11 15 11
0.00/0.04 c 250 1054 39128 9121 33 79 10 10 9
0.00/0.04 c 260 1098 40458 9395 33 81 18 21 18
0.00/0.04 c 270 1145 41919 9714 33 84 15 20 15
0.00/0.04 c 280 1190 43986 10233 33 87 14 19 14
0.00/0.04 c 290 1233 45741 10760 33 89 9 14 10
0.00/0.04 c 300 1280 47518 11232 33 94 12 15 11
0.00/0.04 c 310 1318 49129 11746 33 95 8 14 9
0.00/0.04 c 320 1348 50574 12227 33 96 8 11 8
0.00/0.05 c 330 1371 51760 12689 33 99 5 7 5
0.00/0.05 c 332 1389 52390 12820 33 101 16 16 10
0.00/0.05 conflict 6lvl : 10 bt9-213:0(44)X13593
0.00/0.05 c 340 1432 53997 13227 33 102 12 12 10
0.00/0.05 c 350 1477 55460 13516 33 104 21 23 20
0.00/0.05 conflict 11lvl : 10 bt9-133:0(42)X13658
0.00/0.05 c 360 1534 57557 14028 33 107 11 20 12
0.00/0.05 c 370 1571 59206 14532 33 110 10 12 10
0.00/0.05 c 380 1603 60517 14908 33 112 6 8 6
0.00/0.05 c 390 1643 61830 15181 33 115 17 18 16
0.00/0.05 c 400 1681 63441 15627 33 118 10 11 9
0.00/0.05 c 410 1720 64737 15888 33 120 16 18 15
0.00/0.05 c 420 1763 66159 16170 33 124 22 22 20
0.00/0.05 c 430 1805 67734 16564 33 127 11 15 12
0.00/0.05 c 440 1853 69679 17065 33 132 11 16 12
0.00/0.05 c 450 1904 71100 17386 33 135 15 15 13
0.00/0.05 c 460 1934 72216 17682 33 138 9 12 9
0.00/0.05 c 465 1968 73354 17936 33 141 8 23 14
0.00/0.06 c 470 1995 74292 18114 33 144 17 17 14
0.00/0.06 c 480 2042 75931 18524 33 147 9 23 14
0.00/0.06 c 490 2094 77431 18839 33 151 10 23 19
0.00/0.06 c 500 2136 79080 19276 33 154 17 17 15
0.00/0.06 c 510 2181 80560 19566 33 158 24 24 21
0.00/0.06 c 520 2234 82020 19905 33 160 17 17 15
0.00/0.06 c 530 2283 83630 20288 33 163 10 15 12
0.00/0.06 c 540 2335 85364 20711 33 166 15 17 14
0.00/0.06 c 550 2376 87118 21176 33 169 8 9 8
0.00/0.06 c 560 2414 88506 21515 33 173 14 17 13
0.00/0.06 c 570 2457 89905 21853 33 176 13 14 12
0.00/0.06 c 580 2498 91317 22183 33 177 14 17 14
0.00/0.06 c 590 2544 93394 22754 33 180 11 13 10
0.00/0.06 c 600 2592 95201 23220 33 185 8 18 10
0.00/0.06 c 610 2632 96515 23507 33 188 17 18 16
0.00/0.06 c 611 2643 96998 23605 33 189 11 11 5
0.00/0.07 c 620 2694 98743 24030 33 193 8 23 13
0.00/0.07 c 630 2737 100183 24314 33 195 19 21 18
0.00/0.07 conflict 9lvl : 14 bt14-105:0(44)X15069
0.00/0.07 c 640 2793 101825 24671 33 197 19 19 17
0.00/0.07 c 650 2836 103246 24955 33 201 22 22 20
0.00/0.07 c 660 2879 104595 25225 33 204 20 21 18
0.00/0.07 c 670 2923 106580 25769 33 205 11 13 10
0.00/0.07 c 680 2974 108511 26220 33 208 11 15 13
0.00/0.07 c 690 3016 110339 26745 33 209 9 11 9
0.00/0.07 c 700 3063 112112 27146 33 212 13 16 12
0.00/0.07 c 710 3106 113573 27432 33 216 22 23 20
0.00/0.07 c 720 3159 115473 27804 33 219 19 19 17
0.00/0.07 c 730 3219 117534 28295 33 223 12 18 15
0.00/0.07 c 740 3267 119351 28748 33 226 12 14 11
0.00/0.07 c 750 3310 120739 29030 33 230 22 22 20
0.00/0.07 c 760 3358 122171 29326 33 234 9 23 19
0.00/0.07 c 770 3403 123876 29800 33 236 11 13 10
0.00/0.07 conflict 10lvl : 11 bt11-22:0(48)X15812
0.00/0.07 c 771 3418 124511 29932 33 238 14 14 7
0.00/0.08 c 780 3457 126327 30327 33 243 13 19 14
0.00/0.08 c 790 3492 127971 30814 33 245 7 10 7
0.00/0.08 c 800 3537 129377 31092 33 248 22 23 20
0.00/0.08 c 810 3581 131170 31590 33 251 9 13 10
0.00/0.08 c 820 3626 132838 32000 33 253 10 14 12
0.00/0.08 c 830 3669 134286 32282 33 257 22 22 20
0.00/0.08 c 840 3723 136760 32865 33 261 12 19 14
0.00/0.08 c 850 3772 138492 33282 33 265 10 16 12
0.00/0.08 c 860 3819 140152 33703 33 267 13 16 13
0.00/0.08 c 870 3862 141574 33990 33 271 22 23 20
0.00/0.08 c 880 3903 143503 34446 33 275 14 14 12
0.00/0.08 c 890 3953 145265 34862 33 278 13 15 12
0.00/0.08 conflict 15lvl : 22 bt22-44:0(62)X16497
0.00/0.08 c 900 3999 146843 35168 33 283 23 23 20
0.00/0.08 conflict 10lvl : 15 bt15-105:0(44)X16635
0.00/0.08 c 910 4044 148380 35461 33 286 20 22 19
0.00/0.08 c 920 4081 150168 35975 33 289 7 10 8
0.00/0.08 conflict 20lvl : 15 bt11-19:0(57)X16739
0.00/0.08 c 930 4130 152258 36502 33 294 10 15 11
0.00/0.09 c 940 4178 153779 36840 33 296 17 18 16
0.00/0.09 c 947 4213 155179 37172 33 298 18 18 15
0.00/0.09 c 950 4230 155915 37333 33 301 11 11 8
0.00/0.09 c 960 4268 157382 37741 33 304 11 12 10
0.00/0.09 c 970 4307 158872 38125 33 306 10 11 9
0.00/0.09 c 980 4353 160425 38454 33 310 8 20 17
0.00/0.09 c 990 4405 162175 38816 33 313 14 24 16
0.00/0.09 c 1000 4451 163764 39137 33 316 18 19 16
0.00/0.09 c 1010 4487 165082 39596 33 318 11 11 10
0.00/0.09 c 1020 4532 166558 39887 33 322 24 24 21
0.00/0.09 c 1030 4578 168719 40421 33 323 13 15 12
0.00/0.09 c 1040 4632 170230 40766 33 325 18 18 16
0.00/0.09 c 1050 4673 171556 41040 33 327 17 17 15
0.00/0.09 c 1060 4715 172953 41322 33 329 12 21 18
0.00/0.09 c 1070 4760 174489 41622 33 334 23 23 20
0.00/0.09 c 1080 4812 176352 42052 33 337 12 19 14
0.00/0.09 c 1090 4845 177691 42488 33 341 9 11 9
0.00/0.09 c 1100 4888 179078 42763 33 345 22 22 20
0.09/0.10 c 1110 4935 181105 43336 33 348 10 14 11
0.09/0.10 c 1120 4978 182740 43748 33 350 9 14 10
0.09/0.10 c 1130 5032 184348 44076 33 353 18 19 16
0.09/0.10 c 1140 5071 186055 44567 33 356 10 17 13
0.09/0.10 c 1141 5091 186732 44694 33 357 20 20 10
0.09/0.10 c 1150 5132 188664 45187 33 363 12 14 11
0.09/0.10 c 1160 5175 190099 45470 33 367 22 22 20
0.09/0.10 c 1170 5216 191417 45745 33 368 15 20 17
0.09/0.10 c 1180 5260 193206 46225 33 373 12 13 11
0.09/0.10 conflict 5lvl : 20 bt8-280:0(61)X18141
0.09/0.10 c 1190 5319 195012 46575 33 376 18 21 18
0.09/0.10 c 1200 5373 196926 47041 33 378 12 18 14
0.09/0.10 c 1210 5419 198288 47314 33 380 16 16 14
0.09/0.10 c 1220 5460 199602 47615 33 383 15 17 14
0.09/0.10 c 1230 5504 201083 47925 33 386 12 21 16
0.09/0.10 c 1240 5545 202616 48374 33 389 10 13 10
0.09/0.10 c 1250 5586 203931 48677 33 392 14 15 12
0.09/0.10 c 1260 5625 205298 48963 33 396 18 18 16
0.09/0.10 c 1270 5671 207513 49507 33 401 11 14 10
0.09/0.11 c 1280 5712 208940 49816 33 405 9 19 14
0.09/0.11 c 1290 5765 210913 50329 33 407 12 14 11
0.09/0.11 c 1300 5806 212428 50692 33 412 8 17 13
0.09/0.11 c 1310 5850 214355 51226 33 413 11 13 10
0.09/0.11 c 1320 5902 216123 51669 33 417 12 15 12
0.09/0.11 c 1330 5952 217760 52040 33 419 17 18 15
0.09/0.11 c 1340 5997 219072 52309 33 421 21 21 19
0.09/0.11 c 1350 6054 220873 52695 33 423 14 20 16
0.09/0.11 c 1352 6068 221470 52827 33 425 10 10 6
0.09/0.11 c 1360 6103 222903 53221 33 430 10 12 9
0.09/0.11 c 1370 6150 224513 53604 33 431 12 14 12
0.09/0.11 c 1380 6203 226278 53965 33 434 13 20 16
0.09/0.11 conflict 15lvl : 10 bt8-19:0(47)X19023
0.09/0.11 c 1390 6237 228074 54452 33 437 8 11 8
0.09/0.11 c 1400 6283 229732 54830 33 442 10 22 16
0.09/0.11 conflict 10lvl : 12 bt12-19:0(41)X19164
0.09/0.11 c 1410 6339 231736 55316 33 446 14 15 12
0.09/0.11 c 1420 6380 233427 55773 33 447 10 12 10
0.09/0.11 c 1430 6429 235070 56165 33 448 12 14 12
0.09/0.11 c 1440 6492 237498 56718 33 453 14 19 15
0.09/0.12 c 1450 6535 238988 57044 33 455 15 18 15
0.09/0.12 c 1460 6580 240364 57342 33 457 15 15 13
0.09/0.12 c 1470 6627 242428 57857 33 462 14 17 14
0.09/0.12 c 1480 6680 244160 58218 33 466 13 23 16
0.09/0.12 c 1490 6731 245817 58558 33 470 16 18 16
0.09/0.12 c 1500 6776 247580 58980 33 474 10 16 13
0.09/0.12 c 1510 6813 249352 59430 33 475 15 17 15
0.09/0.12 c 1520 6866 251037 59775 33 478 15 24 16
0.09/0.12 conflict 9lvl : 22 bt15-213:0(67)X19748
0.09/0.12 c 1530 6921 252780 60131 33 481 20 23 19
0.09/0.12 c 1540 6965 254250 60445 33 484 10 20 15
0.09/0.12 c 1550 7009 255812 60764 33 489 17 21 18
0.09/0.12 c 1560 7056 257252 61043 33 492 21 23 20
0.09/0.12 c 1570 7107 258841 61375 33 495 15 24 16
0.09/0.12 c 1580 7151 260735 61823 33 498 12 16 13
0.09/0.12 c 1585 7184 261801 62023 33 501 23 23 19
0.09/0.12 c 1590 7216 263066 62362 33 503 11 13 10
0.09/0.12 c 1600 7263 264611 62680 33 508 7 24 14
0.09/0.12 c 1610 7308 266088 62994 33 512 14 19 16
0.09/0.12 conflict 9lvl : 9 bt9-64:0(25)X20402
0.09/0.12 -> -64:X(25)c 1620 7347 267718 63427 33 517 10 12 10
0.09/0.12 c 1630 7399 269448 63785 33 521 15 24 20
0.09/0.12 c 1640 7449 270942 64102 33 522 16 20 17
0.09/0.12 c 1650 7486 272409 64548 33 525 10 13 10
0.09/0.13 c 1660 7548 274266 64974 33 528 12 23 14
0.09/0.13 c 1670 7608 275911 65315 33 529 18 18 16
0.09/0.13 c 1680 7654 277495 65649 33 530 12 18 15
0.09/0.13 c 1690 7698 278897 65933 33 534 23 23 20
0.09/0.13 c 1700 7758 280747 66373 33 537 17 20 16
0.09/0.13 c 1710 7801 282090 66639 33 539 19 20 18
0.09/0.13 c 1720 7846 283790 67037 33 542 12 18 15
0.09/0.13 c 1730 7889 285238 67325 33 546 22 23 20
0.09/0.13 c 1740 7926 286740 67790 33 549 14 15 13
0.09/0.13 c 1750 7969 288115 68083 33 553 9 19 16
0.09/0.13 c 1760 8010 289806 68523 33 556 10 12 10
0.09/0.13 c 1770 8054 291146 68818 33 558 14 14 12
0.09/0.13 c 1780 8101 292592 69101 33 562 21 23 20
0.09/0.13 c 1790 8143 294586 69657 33 563 10 14 11
0.09/0.13 c 1800 8194 296193 70007 33 566 14 23 17
0.09/0.13 c 1810 8236 297818 70434 33 571 12 17 15
0.09/0.13 c 1820 8286 299420 70768 33 574 14 23 16
0.09/0.13 c 1830 8335 300819 71067 33 576 19 19 17
0.09/0.13 c 1840 8381 302417 71481 33 579 9 11 9
0.09/0.13 c 1841 8397 303038 71600 33 580 16 16 8
0.09/0.13 c 1850 8439 304328 71864 33 581 19 20 17
0.09/0.13 c 1860 8499 306173 72346 33 586 10 20 14
0.09/0.14 c 1870 8555 308183 72878 33 589 10 14 11
0.09/0.14 c 1880 8599 309672 73165 33 593 23 23 20
0.09/0.14 c 1890 8646 311284 73539 33 595 13 16 13
0.09/0.14 c 1900 8692 312779 73853 33 597 16 19 16
0.09/0.14 conflict 13lvl : 21 bt15-69:0(65)X21870
0.09/0.14 c 1910 8747 314327 74200 33 598 17 22 15
0.09/0.14 c 1920 8782 315928 74641 33 600 5 8 6
0.09/0.14 c 1930 8838 317899 75111 33 603 15 18 14
0.09/0.14 c 1940 8887 319649 75500 33 606 15 19 16
0.09/0.14 conflict 9lvl : 13 bt10-172:0(40)X21996
0.09/0.14 c 1950 8933 321154 75854 33 607 13 14 12
0.09/0.14 c 1960 8986 322847 76275 33 611 13 16 13
0.09/0.14 c 1970 9033 324408 76603 33 615 12 24 18
0.09/0.14 c 1980 9076 326396 77103 33 619 11 14 11
0.09/0.14 c 1990 9120 328067 77529 33 622 11 14 10
0.09/0.14 c 2000 9170 329805 77968 33 626 12 15 12
0.09/0.14 c 2010 9211 331622 78479 33 629 8 8 7
0.09/0.14 c 2020 9251 332952 78752 33 631 15 16 14
0.09/0.14 c 2030 9307 334848 79180 33 636 14 23 16
0.09/0.14 c 2040 9346 336343 79589 33 640 10 16 13
0.09/0.14 c 2050 9392 338063 79999 33 644 11 16 12
0.09/0.14 c 2060 9439 340062 80492 33 647 12 16 13
0.09/0.15 c 2070 9483 341528 80779 33 651 23 23 20
0.09/0.15 c 2080 9525 343067 81092 33 654 17 17 15
0.09/0.15 c 2090 9560 344377 81378 33 658 14 14 12
0.09/0.15 c 2100 9597 345715 81728 33 661 9 11 9
0.09/0.15 c 2110 9644 347216 82037 33 663 17 17 15
0.09/0.15 c 2120 9686 348570 82351 33 665 11 16 13
0.09/0.15 c 2122 9708 349311 82494 33 667 20 20 13
0.09/0.15 c 2130 9747 350948 82900 33 670 11 14 11
0.09/0.15 c 2140 9796 352950 83357 33 674 13 18 13
0.09/0.15 c 2150 9839 354496 83761 33 676 9 11 8
0.09/0.15 c 2160 9884 355904 84044 33 678 16 24 21
0.09/0.15 c 2170 9923 357099 84317 33 681 16 17 15
0.09/0.15 c 2180 9966 358492 84601 33 683 19 20 18
0.09/0.15 c 2190 10008 359887 84880 33 687 11 23 19
0.09/0.15 c 2200 10062 362035 85402 33 689 12 18 14
0.09/0.15 conflict 17lvl : 22 bt22-44:0(62)X23289
0.09/0.15 conflict 19lvl : 22 bt22-149:0(62)X23309
0.09/0.15 -> -149:X(62)c 2210 10110 363643 85709 33 692 23 23 20
0.09/0.15 conflict 6lvl : 18 bt9-64:0(57)X23402
0.09/0.15 c 2220 10161 365504 86293 33 696 12 16 11
0.09/0.15 c 2230 10199 366942 86633 33 701 10 16 13
0.09/0.15 c 2240 10234 368298 87038 33 702 11 12 10
0.09/0.15 c 2250 10279 370030 87481 33 707 10 14 10
0.09/0.15 c 2260 10323 371413 87773 33 708 15 19 16
0.09/0.15 c 2270 10356 372857 88205 33 710 8 9 7
0.09/0.16 c 2280 10400 374287 88487 33 714 23 23 20
0.09/0.16 c 2290 10434 375625 88823 33 715 8 14 11
0.09/0.16 c 2300 10487 377589 89214 33 718 18 19 16
0.09/0.16 c 2310 10534 379045 89507 33 720 23 24 21
0.09/0.16 c 2320 10589 381184 90019 33 722 14 19 15
0.09/0.16 c 2330 10644 382990 90442 33 726 12 18 15
0.09/0.16 c 2340 10686 384677 90861 33 730 13 18 15
0.09/0.16 c 2350 10730 386116 91142 33 734 23 23 20
0.09/0.16 conflict 13lvl : 16 bt16-282:0(45)X24107
0.09/0.16 -> -282:X(45)conflict 13lvl : 15 bt15-282:0(46)X24123
0.09/0.16 -> -282:X(46)c 2360 10785 387990 91538 33 737 17 19 16
0.09/0.16 c 2370 10829 389382 91816 33 741 19 20 17
0.09/0.16 c 2380 10869 391210 92340 33 746 11 13 10
0.09/0.16 c 2390 10920 392816 92657 33 749 23 24 21
0.09/0.16 c 2400 10965 395186 93211 33 752 10 17 12
0.09/0.16 c 2410 11008 396883 93668 33 755 7 8 7
0.09/0.16 c 2420 11066 398603 94079 33 756 10 14 12
0.09/0.16 c 2430 11112 400073 94395 33 759 15 18 14
0.09/0.16 c 2431 11127 400601 94498 33 760 15 15 7
0.09/0.16 c 2440 11161 401896 94942 33 762 11 11 9
0.09/0.16 c 2450 11194 403402 95331 33 767 7 10 8
0.09/0.16 c 2460 11241 404881 95627 33 770 23 24 21
0.09/0.16 c 2470 11282 406779 96161 33 775 11 13 10
0.09/0.17 c 2480 11330 408459 96570 33 779 10 14 11
0.09/0.17 c 2490 11383 410393 96945 33 783 19 19 17
0.09/0.17 c 2500 11422 411976 97345 33 789 10 16 12
0.09/0.17 conflict 8lvl : 10 bt10-216:0(48)X24955
0.09/0.17 c 2510 11461 413551 97855 33 793 13 13 11
0.09/0.17 c 2520 11510 415293 98239 33 796 13 20 15
0.09/0.17 c 2530 11554 416734 98525 33 800 23 23 20
0.09/0.17 c 2540 11602 418402 98925 33 802 12 14 12
0.09/0.17 c 2550 11646 419847 99211 33 806 23 23 20
0.09/0.17 c 2560 11692 421393 99617 33 810 10 15 12
0.09/0.17 conflict 5lvl : 9 bt9-64:0(9)X25328
0.09/0.17 -> -64:X(9)conflict 5lvl : 9 bt9-64:0(15)X25336
0.09/0.17 -> -64:X(15)c 2570 11737 423235 100121 33 814 10 11 9
0.09/0.17 c 2580 11784 424682 100444 33 817 15 15 13
0.09/0.17 c 2590 11822 426178 100853 33 821 10 11 9
0.09/0.17 c 2600 11878 428154 101394 33 825 12 14 11
0.09/0.17 conflict 18lvl : 7 bt5-19:0(40)X25510
0.09/0.17 c 2610 11924 430036 101895 33 827 7 8 7
0.09/0.17 c 2620 11969 431579 102210 33 830 18 18 16
0.09/0.17 c 2630 12017 433117 102533 33 832 17 18 16
0.09/0.17 c 2640 12070 435089 103032 33 836 11 15 12
0.09/0.17 c 2650 12117 436562 103325 33 838 23 24 21
0.09/0.17 c 2660 12167 438351 103767 33 841 9 14 11
0.09/0.17 c 2670 12217 440516 104385 33 844 9 14 11
0.09/0.18 c 2680 12269 441952 104693 33 847 18 18 16
0.09/0.18 c 2690 12303 443349 105046 33 852 12 17 14
0.09/0.18 c 2700 12351 444922 105419 33 854 11 15 12
0.09/0.18 c 2710 12384 446371 105784 33 858 13 16 14
0.09/0.18 c 2720 12427 448177 106264 33 863 9 15 11
0.09/0.18 c 2730 12463 450166 106865 33 865 11 12 10
0.09/0.18 c 2740 12514 451808 107262 33 873 10 20 15
0.09/0.18 c 2750 12556 453244 107563 33 875 13 13 11
0.09/0.18 c 2760 12602 454850 107890 33 879 12 23 17
0.09/0.18 c 2770 12635 456421 108287 33 883 12 16 14
0.09/0.18 conflict 20lvl : 10 bt10239:0(36)X26399
0.09/0.18 c 2771 12651 457114 108437 33 885 15 15 7
0.09/0.18 c 2780 12688 458616 108810 33 889 13 17 14
0.09/0.18 c 2790 12721 460377 109361 33 891 9 11 9
0.09/0.18 c 2800 12779 462521 109970 33 895 11 14 11
0.09/0.18 c 2810 12825 464433 110441 33 897 15 17 15
0.09/0.18 c 2820 12870 465888 110731 33 901 24 24 21
0.09/0.18 c 2830 12899 467486 111153 33 902 12 12 10
0.09/0.18 c 2840 12940 469099 111564 33 905 16 17 15
0.09/0.18 c 2850 12978 470890 112093 33 907 9 12 10
0.09/0.18 c 2860 13005 472381 112477 33 910 12 12 10
0.09/0.19 c 2870 13047 473671 112740 33 912 18 18 16
0.09/0.19 c 2880 13088 475092 113136 33 915 12 17 13
0.09/0.19 c 2890 13120 476364 113559 33 916 11 14 11
0.09/0.19 c 2900 13153 477839 114027 33 918 9 11 9
0.09/0.19 c 2910 13191 479418 114539 33 921 11 14 10
0.09/0.19 c 2920 13236 480835 114822 33 925 18 24 18
0.09/0.19 c 2930 13272 482859 115448 33 928 13 14 12
0.09/0.19 c 2940 13317 484342 115737 33 932 24 24 21
0.09/0.19 c 2950 13359 485613 115998 33 934 18 18 16
0.09/0.19 c 2960 13400 487246 116514 33 937 11 16 12
0.09/0.19 c 2970 13440 488839 116922 33 940 9 10 8
0.09/0.19 c 2980 13477 490378 117356 33 946 10 14 10
0.09/0.19 c 2990 13521 491814 117649 33 949 18 18 16
0.09/0.19 c 3000 13569 493809 118204 33 955 9 13 10
0.09/0.19 c 3010 13615 495426 118595 33 958 9 14 11
0.09/0.19 c 3020 13652 496995 119100 33 960 10 13 10
0.09/0.19 c 3030 13697 498459 119390 33 964 24 24 21
0.09/0.19 c 3040 13750 499976 119730 33 966 17 17 15
0.09/0.19 c 3050 13797 501482 120074 33 969 14 14 12
0.09/0.19 c 3060 13845 503088 120395 33 972 16 19 15
0.09/0.19 c 3070 13882 504612 120869 33 974 10 13 10
0.09/0.19 c 3080 13930 506105 121173 33 976 18 18 16
0.09/0.19 c 3090 13976 507475 121455 33 980 12 19 16
0.19/0.20 c 3100 14015 509098 121861 33 983 8 14 10
0.19/0.20 c 3110 14061 510733 122290 33 986 9 13 10
0.19/0.20 c 3120 14103 512080 122566 33 988 18 18 16
0.19/0.20 c 3130 14147 514002 123073 33 989 12 17 13
0.19/0.20 conflict 10lvl : 15 bt13-244:0(39)X28027
0.19/0.20 c 3140 14187 515623 123449 33 992 16 18 15
0.19/0.20 c 3142 14201 516216 123592 33 993 11 11 7
0.19/0.20 c 3150 14242 517822 123991 33 996 10 15 12
0.19/0.20 c 3160 14281 519506 124488 33 999 11 12 10
0.19/0.20 c 3170 14326 520985 124778 33 1003 24 24 21
0.19/0.20 c 3180 14383 522665 125142 33 1006 13 17 14
0.19/0.20 c 3190 14421 524464 125687 33 1007 8 10 8
0.19/0.20 c 3200 14466 526033 126072 33 1010 8 14 11
0.19/0.20 c 3210 14505 527685 126525 33 1011 8 14 11
0.19/0.20 c 3220 14539 529167 126987 33 1013 9 12 9
0.19/0.20 c 3230 14575 530753 127489 33 1015 11 11 10
0.19/0.20 c 3240 14614 532329 127909 33 1019 7 8 7
0.19/0.20 c 3250 14659 533750 128192 33 1023 18 24 18
0.19/0.20 c 3260 14689 534969 128624 33 1024 10 12 10
0.19/0.20 conflict 7lvl : 9 bt8-249:0(25)X28522
0.19/0.20 c 3270 14735 536982 129157 33 1030 10 15 11
0.19/0.20 c 3280 14776 538258 129429 33 1032 16 17 15
0.19/0.21 c 3290 14805 539460 129851 33 1033 9 11 9
0.19/0.21 c 3300 14849 541368 130398 33 1038 10 15 11
0.19/0.21 c 3310 14890 542771 130703 33 1042 9 18 13
0.19/0.21 c 3320 14933 544502 131185 33 1047 11 14 11
0.19/0.21 c 3330 14960 545775 131626 33 1050 5 7 6
0.19/0.21 c 3340 15002 547086 131901 33 1052 18 18 16
0.19/0.21 c 3350 15050 548422 132174 33 1054 18 18 16
0.19/0.21 c 3360 15084 549779 132582 33 1056 10 14 10
0.19/0.21 c 3370 15125 551231 132899 33 1059 13 16 13
0.19/0.21 c 3380 15174 552726 133242 33 1062 11 18 15
0.19/0.21 c 3390 15213 554400 133701 33 1065 8 10 8
0.19/0.21 c 3400 15242 555919 134082 33 1069 12 12 10
0.19/0.21 conflict 4lvl : 6 bt6-246:0(14)X29120
0.19/0.21 -> -246:X(14)c 3410 15288 557833 134579 33 1074 9 10 9
0.19/0.21 conflict 3lvl : 8 bt5-64:0(25)X29172
0.19/0.21 c 3420 15329 559366 134945 33 1076 12 15 12
0.19/0.21 c 3430 15377 561427 135542 33 1078 10 14 11
0.19/0.21 c 3440 15415 562892 135914 33 1081 9 10 8
0.19/0.21 c 3450 15467 564571 136313 33 1084 10 14 12
0.19/0.21 c 3460 15501 565955 136783 33 1087 9 12 9
0.19/0.21 c 3470 15541 567740 137252 33 1091 8 10 8
0.19/0.22 c 3480 15592 569611 137718 33 1093 13 15 12
0.19/0.22 c 3490 15629 571080 138160 33 1096 11 12 10
0.19/0.22 conflict 3lvl : 5 bt4-64:0(15)X29422
0.19/0.22 -> -64:X(15)c 3500 15681 572886 138548 33 1103 7 24 13
0.19/0.22 c 3510 15737 574612 138946 33 1106 14 16 13
0.19/0.22 c 3520 15778 576204 139327 33 1111 7 16 11
0.19/0.22 c 3530 15817 577774 139761 33 1116 11 14 11
0.19/0.22 c 3540 15848 579291 140285 33 1119 7 7 6
0.19/0.22 c 3550 15893 580697 140569 33 1123 16 24 16
0.19/0.22 c 3551 15909 581511 140744 33 1125 13 13 6
0.19/0.22 c 3560 15948 582999 141144 33 1129 7 14 10
0.19/0.22 c 3570 15989 584699 141647 33 1132 11 12 10
0.19/0.22 c 3580 16034 586191 141939 33 1136 24 24 21
0.19/0.22 c 3590 16075 587571 142237 33 1139 11 17 13
0.19/0.22 c 3600 16113 588955 142594 33 1141 8 14 11
0.19/0.22 c 3610 16150 590454 143000 33 1146 8 14 10
0.19/0.22 c 3620 16197 591837 143291 33 1149 16 17 14
0.19/0.22 c 3630 16239 593607 143763 33 1151 10 11 9
0.19/0.22 c 3640 16281 595300 144259 33 1153 12 12 10
0.19/0.22 c 3650 16320 596980 144744 33 1157 8 10 8
0.19/0.22 c 3660 16372 598627 145128 33 1162 11 14 12
0.19/0.22 c 3670 16417 600046 145419 33 1166 24 24 21
0.19/0.23 c 3680 16464 601692 145834 33 1169 9 15 12
0.19/0.23 c 3690 16506 603377 146258 33 1172 10 15 11
0.19/0.23 c 3700 16543 605135 146733 33 1173 9 11 9
0.19/0.23 c 3710 16595 606997 147185 33 1175 11 14 11
0.19/0.23 c 3720 16646 608708 147575 33 1177 11 14 12
0.19/0.23 c 3730 16684 610276 147964 33 1182 13 16 13
0.19/0.23 c 3740 16743 612235 148436 33 1184 13 17 13
0.19/0.23 c 3750 16781 613597 148736 33 1189 11 16 12
0.19/0.23 c 3760 16826 615115 149027 33 1193 24 24 21
0.19/0.23 c 3770 16872 616969 149541 33 1196 10 14 11
0.19/0.23 c 3780 16918 618541 149896 33 1199 11 15 13
0.19/0.23 c 3790 16970 620247 150259 33 1202 13 24 16
0.19/0.23 c 3800 17012 622378 150906 33 1206 8 14 10
0.19/0.23 c 3810 17053 623918 151318 33 1210 7 14 10
0.19/0.23 c 3820 17093 625478 151838 33 1212 10 15 11
0.19/0.23 c 3830 17142 626805 152130 33 1215 16 16 14
0.19/0.23 c 3840 17176 628279 152595 33 1217 10 13 10
0.19/0.23 c 3850 17219 629694 152901 33 1220 10 18 14
0.19/0.23 c 3860 17271 631464 153304 33 1223 12 24 17
0.19/0.24 c 3870 17327 633500 153840 33 1227 12 14 11
0.19/0.24 c 3880 17371 635204 154275 33 1229 9 10 9
0.19/0.24 conflict 12lvl : 10 bt1032:0(38)X31307
0.19/0.24 c 3890 17421 637153 154713 33 1232 11 24 17
0.19/0.24 c 3900 17468 638906 155137 33 1236 7 14 12
0.19/0.24 c 3910 17512 640628 155589 33 1239 7 11 8
0.19/0.24 c 3920 17550 642069 155934 33 1244 11 16 12
0.19/0.24 c 3930 17598 643872 156370 33 1247 9 14 10
0.19/0.24 conflict 10lvl : 11 bt7-213:0(45)X31572
0.19/0.24 c 3940 17660 646166 156995 33 1250 12 14 11
0.19/0.24 c 3950 17705 647616 157286 33 1254 24 24 21
0.19/0.24 conflict 12lvl : 10 bt10-205:0(42)X31717
0.19/0.24 conflict 9lvl : 9 bt9-133:0(55)X31732
0.19/0.24 c 3960 17749 649764 157894 33 1257 12 14 11
0.19/0.24 c 3970 17794 651172 158187 33 1259 16 18 15
0.19/0.24 c 3980 17846 653063 158668 33 1263 11 17 11
0.19/0.24 c 3990 17896 654822 159099 33 1267 14 16 13
0.19/0.24 c 4000 17948 656690 159548 33 1271 10 24 13
0.19/0.24 c 4001 17961 657337 159689 33 1272 13 13 6
0.19/0.24 c 4010 18001 658837 160071 33 1274 8 10 8
0.19/0.24 c 4020 18041 660694 160626 33 1277 10 14 10
0.19/0.24 c 4030 18079 662111 160955 33 1279 11 16 13
0.19/0.24 c 4040 18125 663551 161262 33 1282 13 17 14
0.19/0.25 c 4050 18169 665103 161644 33 1285 12 17 13
0.19/0.25 c 4060 18210 666838 162164 33 1287 9 14 11
0.19/0.25 c 4070 18254 668655 162595 33 1291 13 17 13
0.19/0.25 c 4080 18288 670354 163079 33 1295 5 9 7
0.19/0.25 c 4090 18337 671971 163396 33 1299 24 24 21
0.19/0.25 conflict 14lvl : 13 bt10-274:0(41)X32374
0.19/0.25 c 4100 18390 674229 164025 33 1301 9 14 11
0.19/0.25 c 4110 18421 675479 164376 33 1303 11 14 11
0.19/0.25 c 4120 18458 677122 164791 33 1306 12 12 10
0.19/0.25 conflict 6lvl : 6 bt5-190:0(18)X32479
0.19/0.25 conflict 6lvl : 6 bt5-190:0(18)X32488
0.19/0.25 conflict 9lvl : 11 bt11-127:0(43)X32497
0.19/0.25 conflict 16lvl : 13 bt11-127:0(36)X32509
0.19/0.25 c 4130 18519 679720 165412 33 1312 12 14 12
0.19/0.25 c 4140 18560 681158 165729 33 1317 12 18 14
0.19/0.25 c 4150 18605 682695 166081 33 1320 13 15 12
0.19/0.25 conflict 2lvl : 10 bt9-64:0(6)X32728
0.19/0.25 c 4160 18659 684711 166612 33 1325 12 15 12
0.19/0.25 conflict 12lvl : 8 bt8-277:0(30)X32796
0.19/0.25 c 4170 18708 686557 167082 33 1329 10 14 11
0.19/0.25 c 4180 18741 687967 167540 33 1330 10 13 10
0.19/0.25 c 4190 18780 689444 168042 33 1333 10 12 9
0.19/0.25 c 4200 18830 690945 168367 33 1336 18 18 16
0.19/0.25 conflict 7lvl : 15 bt9-249:0(60)X32950
0.19/0.25 c 4210 18875 692522 168746 33 1338 11 16 11
0.19/0.25 c 4220 18919 694031 169046 33 1343 14 24 20
0.19/0.25 c 4230 18962 695541 169391 33 1345 9 14 11
0.19/0.26 c 4240 19013 697146 169722 33 1348 14 24 16
0.19/0.26 conflict 23lvl : 11 bt11207:0(53)X33187
0.19/0.26 c 4250 19065 699691 170362 33 1350 12 14 11
0.19/0.26 c 4260 19102 701325 170861 33 1352 9 11 9
0.19/0.26 c 4270 19138 702829 171316 33 1354 7 12 9
0.19/0.26 c 4280 19183 704287 171603 33 1358 24 24 21
0.19/0.26 c 4290 19236 706344 172088 33 1361 12 22 14
0.19/0.26 c 4300 19290 707804 172392 33 1365 20 20 18
0.19/0.26 c 4310 19345 709902 172885 33 1368 11 24 14
0.19/0.26 c 4320 19386 711584 173327 33 1370 13 14 12
0.19/0.26 c 4330 19431 713468 173855 33 1372 9 10 8
0.19/0.26 c 4340 19482 715311 174299 33 1375 11 15 12
0.19/0.26 c 4350 19521 716861 174797 33 1378 9 11 9
0.19/0.26 conflict 6lvl : 6 bt6-210:0(14)X33678
0.19/0.26 -> -210:X(14)conflict 20lvl : 8 bt8239:0(30)X33687
0.19/0.26 c 4360 19571 719792 175674 33 1382 8 10 8
0.19/0.26 c 4370 19603 721165 175999 33 1385 10 13 10
0.19/0.26 c 4380 19642 722607 176335 33 1387 7 11 9
0.19/0.26 c 4390 19687 724057 176619 33 1391 18 24 18
0.19/0.26 c 4400 19743 726034 177072 33 1395 16 16 14
0.19/0.26 c 4410 19789 727552 177397 33 1399 11 24 19
0.19/0.27 conflict 20lvl : 12 bt12206:0(51)X34034
0.19/0.27 c 4420 19835 729640 177946 33 1401 10 20 15
0.19/0.27 conflict 4lvl : 8 bt8-282:0(8)X34088
0.19/0.27 c 4430 19877 731275 178358 33 1405 9 10 9
0.19/0.27 c 4440 19924 733415 178900 33 1407 10 11 9
0.19/0.27 c 4450 19969 735171 179344 33 1408 10 14 10
0.19/0.27 conflict 15lvl : 9 bt921:0(52)X34163
0.19/0.27 c 4460 20009 737014 179828 33 1411 10 11 9
0.19/0.27 conflict 15lvl : 7 bt5-277:0(47)X34212
0.19/0.27 c 4470 20053 739397 180501 33 1414 5 10 7
0.19/0.27 c 4480 20098 741375 180974 33 1417 10 15 11
0.19/0.27 conflict 2lvl : 9 bt7-64:0(18)X34293
0.19/0.27 c 4490 20143 743055 181478 33 1420 6 11 9
0.19/0.27 c 4493 20163 744059 181749 33 1423 10 10 7
0.19/0.27 conflict 12lvl : 9 bt9-22:0(55)X34354
0.19/0.27 conflict 16lvl : 8 bt827:0(54)X34369
0.19/0.27 conflict 12lvl : 9 bt9-19:0(51)X34388
0.19/0.27 conflict 15lvl : 8 bt8128:0(54)X34403
0.19/0.27 c 4500 20208 746860 182499 33 1425 8 11 8
0.19/0.27 c 4510 20251 748949 183092 33 1428 7 10 8
0.19/0.27 c 4520 20297 750311 183365 33 1430 22 22 20
0.19/0.27 c 4530 20341 751891 183679 33 1435 12 24 19
0.19/0.27 conflict 18lvl : 11 bt11206:0(58)X34616
0.19/0.27 c 4540 20383 753848 184204 33 1439 12 17 13
0.19/0.27 c 4550 20428 755344 184495 33 1443 24 24 21
0.19/0.27 c 4560 20474 757373 184945 33 1445 12 17 12
0.19/0.28 c 4570 20520 759205 185402 33 1447 16 18 15
0.19/0.28 c 4580 20561 760589 185688 33 1450 15 18 14
0.19/0.28 conflict 12lvl : 5 bt5-274:0(32)X34903
0.19/0.28 c 4590 20611 762357 186074 33 1455 8 24 15
0.19/0.28 c 4600 20677 764186 186506 33 1460 12 18 15
0.19/0.28 c 4610 20728 765822 186843 33 1463 14 24 16
0.19/0.28 c 4620 20777 768079 187400 33 1465 12 17 14
0.19/0.28 conflict 5lvl : 7 bt6-67:0(13)X35169
0.19/0.28 c 4630 20828 770033 187875 33 1469 9 14 10
0.19/0.28 c 4640 20874 771465 188203 33 1472 14 14 12
0.19/0.28 c 4650 20916 773036 188540 33 1475 17 17 15
0.19/0.28 c 4660 20967 774767 188959 33 1479 9 14 11
0.19/0.28 c 4670 21021 776744 189468 33 1481 13 14 12
0.19/0.28 c 4680 21069 778191 189787 33 1484 16 16 14
0.19/0.28 c 4690 21106 779834 190202 33 1487 12 12 10
0.19/0.28 c 4700 21151 781762 190676 33 1490 11 18 14
0.19/0.28 c 4710 21200 783853 191189 33 1493 12 13 11
0.19/0.28 c 4720 21245 785361 191480 33 1497 24 24 21
0.19/0.28 conflict 8lvl : 9 bt9-82:0(22)X35632
0.19/0.28 -> -82:X(22)conflict 20lvl : 9 bt924:0(58)X35643
0.19/0.28 conflict 19lvl : 9 bt921:0(62)X35666
0.19/0.28 c 4730 21282 787375 192046 33 1501 8 12 8
0.19/0.28 conflict 8lvl : 8 bt6-247:0(23)X35732
0.19/0.28 c 4740 21330 789272 192520 33 1503 10 14 10
0.19/0.28 c 4750 21370 790812 192892 33 1505 8 22 15
0.19/0.29 c 4760 21412 792302 193265 33 1509 12 13 11
0.19/0.29 c 4770 21457 794029 193706 33 1510 10 14 10
0.19/0.29 conflict 7lvl : 20 bt11-282:0(62)X35852
0.19/0.29 c 4780 21512 795787 194074 33 1515 13 17 14
0.19/0.29 c 4790 21566 797764 194583 33 1517 13 14 12
0.19/0.29 c 4800 21615 799181 194888 33 1520 13 18 14
0.19/0.29 c 4810 21653 800573 195299 33 1522 13 16 13
0.19/0.29 c 4820 21689 802205 195762 33 1525 7 10 8
0.19/0.29 c 4830 21737 803788 196081 33 1530 24 24 21
0.19/0.29 c 4840 21783 805502 196523 33 1536 11 16 12
0.19/0.29 c 4850 21825 807272 196959 33 1539 15 18 15
0.19/0.29 c 4860 21870 809072 197418 33 1540 10 14 10
0.19/0.29 c 4870 21915 810531 197726 33 1544 13 17 14
0.19/0.29 c 4880 21968 812458 198242 33 1546 13 15 12
0.19/0.29 c 4890 22021 814278 198634 33 1550 14 24 18
0.19/0.29 c 4900 22075 815979 199003 33 1552 17 21 17
0.19/0.29 c 4910 22124 817672 199335 33 1555 24 24 21
0.19/0.29 c 4920 22172 819464 199771 33 1558 15 20 15
0.19/0.29 c 4930 22220 821085 200090 33 1563 24 24 21
0.19/0.29 c 4940 22262 822522 200417 33 1567 13 17 14
0.19/0.29 c 4950 22307 823990 200725 33 1571 13 17 14
0.19/0.30 c 4960 22352 825723 201169 33 1572 10 14 10
0.29/0.30 c 4970 22404 827453 201538 33 1576 17 21 17
0.29/0.30 c 4980 22452 829086 201852 33 1579 24 24 21
0.29/0.30 c 4990 22497 830947 202344 33 1583 9 12 10
0.29/0.30 c 5035 22702 837879 204119 33 1588 14 20 18
0.29/0.31 c 5631 24972 902108 218568 33 1601 9 24 18
0.29/0.32 c 6286 27596 967381 233659 33 1607 8 21 16
0.29/0.32 conflict 13lvl : 11 bt10-241:0(41)X37409
0.29/0.32 conflict 13lvl : 11 bt8-238:0(45)X37425
0.29/0.33 conflict 4lvl : 13 bt13-288:0(37)X37441
0.29/0.34 conflict 7lvl : 13 bt13-249:0(37)X37448
0.29/0.34 conflict 19lvl : 13 bt1121:0(41)X37458
0.29/0.34 conflict 13lvl : 10 bt10-235:0(38)X37480
0.29/0.34 c 7006 30505 1062916 257622 33 1614 8 20 16
0.29/0.35 conflict 16lvl : 18 bt11-130:0(48)X37575
0.29/0.35 conflict 11lvl : 11 bt10-22:0(39)X37594
0.29/0.35 conflict 13lvl : 12 bt12-241:0(46)X37608
0.29/0.35 conflict 18lvl : 12 bt12236:0(46)X37624
0.29/0.36 conflict 17lvl : 11 bt11207:0(48)X37645
0.29/0.36 conflict 15lvl : 19 bt15-22:0(55)X37665
0.29/0.36 conflict 15lvl : 17 bt16-25:0(57)X37683
0.29/0.36 c 7798 33862 1171907 286517 33 1619 7 21 16
0.29/0.36 conflict 8lvl : 9 bt7-247:0(25)X37773
0.29/0.38 conflict 6lvl : 19 bt19-102:0(44)X37784
0.29/0.38 conflict 9lvl : 18 bt16-105:0(45)X37793
0.29/0.38 conflict 10lvl : 17 bt16-216:0(44)X37805
0.29/0.38 conflict 7lvl : 15 bt15-175:0(40)X37818
0.29/0.39 c 8669 37398 1293475 318113 33 1628 10 21 16
0.39/0.40 conflict 19lvl : 12 bt12272:0(44)X37961
0.39/0.40 conflict 14lvl : 11 bt10-277:0(35)X37983
0.39/0.40 conflict 13lvl : 13 bt8-274:0(50)X38000
0.39/0.42 c 9627 41283 1428590 355023 33 1638 8 21 15
0.39/0.43 c 10680 44603 1524906 375355 33 1645 12 24 18
0.39/0.43 conflict 7lvl : 12 bt9-64:0(53)X38197
0.39/0.43 conflict 6lvl : 12 bt11-64:0(17)X38207
0.39/0.43 conflict 7lvl : 12 bt11-64:0(16)X38216
0.39/0.43 -> -64:X(16)conflict 6lvl : 16 bt16-67:0(31)X38226
0.39/0.44 conflict 7lvl : 18 bt18-67:0(33)X38235
0.39/0.44 conflict 7lvl : 19 bt10-64:0(31)X38245
0.39/0.44 conflict 8lvl : 10 bt9-64:0(17)X38255
0.39/0.44 conflict 6lvl : 12 bt12-246:0(13)X38266
0.39/0.44 conflict 7lvl : 12 bt12-36:0(10)X38275
0.39/0.44 conflict 7lvl : 12 bt11-30:0(21)X38285
0.39/0.44 conflict 5lvl : 11 bt10-64:0(13)X38295
0.39/0.44 conflict 7lvl : 9 bt9105:0(22)X38303
0.39/0.44 conflict 7lvl : 10 bt10-283:0(7)X38313
0.39/0.44 conflict 6lvl : 11 bt8-280:0(20)X38323
0.39/0.44 conflict 4lvl : 15 bt15-249:0(14)X38332
0.39/0.45 conflict 9lvl : 17 bt17108:0(18)X38339
0.39/0.45 conflict 7lvl : 17 bt17-280:0(8)X38351
0.39/0.45 conflict 8lvl : 18 bt18-67:0(9)X38361
0.39/0.45 conflict 9lvl : 15 bt15-105:0(14)X38372
0.39/0.45 conflict 8lvl : 13 bt12-141:0(7)X38384
0.39/0.45 conflict 10lvl : 12 bt10-175:0(8)X38395
0.39/0.46 conflict 6lvl : 16 bt15-252:0(11)X38408
0.39/0.46 conflict 7lvl : 16 bt14-141:0(12)X38417
0.39/0.46 c 11838 49163 1659158 404165 33 1652 6 21 16
0.39/0.48 c 13111 53994 1777911 429831 33 1661 8 21 17
0.39/0.48 conflict 18lvl : 12 bt1297:0(53)X38605
0.39/0.48 conflict 17lvl : 10 bt10133:0(53)X38626
0.39/0.48 conflict 16lvl : 10 bt10278:0(48)X38646
0.49/0.50 conflict 12lvl : 13 bt11-210:0(41)X38665
0.49/0.50 conflict 13lvl : 9 bt8-271:0(40)X38680
0.49/0.51 conflict 14lvl : 9 bt8-199:0(29)X38696
0.49/0.51 conflict 13lvl : 14 bt8-202:0(51)X38713
0.49/0.51 conflict 18lvl : 8 bt897:0(46)X38729
0.49/0.51 conflict 17lvl : 13 bt8133:0(51)X38750
0.49/0.51 conflict 18lvl : 8 bt821:0(19)X38770
0.49/0.51 conflict 16lvl : 9 bt9206:0(50)X38791
0.49/0.51 conflict 14lvl : 14 bt10-199:0(46)X38810
0.49/0.51 conflict 13lvl : 13 bt8-199:0(45)X38827
0.49/0.54 conflict 4lvl : 9 bt9-52:0(32)X38843
0.49/0.54 conflict 7lvl : 11 bt10-280:0(38)X38850
0.49/0.54 conflict 7lvl : 11 bt9-280:0(40)X38860
0.49/0.54 conflict 10lvl : 14 bt14178:0(47)X38870
0.49/0.54 conflict 6lvl : 15 bt15-136:0(45)X38883
0.49/0.55 -> -136:X(45)conflict 9lvl : 15 bt15-178:0(43)X38892
0.49/0.55 conflict 7lvl : 14 bt10-136:0(38)X38904
0.49/0.55 c 14511 60613 2065308 509846 33 1673 6 21 14
0.49/0.56 conflict 2lvl : 11 bt9-217:0(55)X39040
0.59/0.64 c 16051 67226 2412455 606032 33 1684 5 24 15
0.59/0.67 conflict 14lvl : 13 bt12208:0(53)X39231
0.59/0.67 conflict 14lvl : 11 bt10-280:0(49)X39248
0.59/0.67 conflict 4lvl : 14 bt13-210:0(44)X39265
0.59/0.69 conflict 12lvl : 10 bt9-130:0(37)X39272
0.59/0.69 conflict 14lvl : 10 bt9-133:0(41)X39287
0.59/0.69 c 17745 74714 2666787 673454 33 1693 8 20 15
0.59/0.70 conflict 3lvl : 13 bt12-216:0(41)X39394
0.69/0.70 conflict 8lvl : 13 bt12211:0(42)X39400
0.69/0.70 conflict 4lvl : 14 bt13-216:0(26)X39411
0.69/0.70 conflict 4lvl : 14 bt14-249:0(29)X39418
0.69/0.70 conflict 4lvl : 13 bt12-288:0(30)X39425
0.69/0.72 conflict 13lvl : 14 bt13-141:0(29)X39432
0.69/0.74 c 19608 81746 2908392 730923 33 1705 9 24 18
0.69/0.76 conflict 3lvl : 17 bt15-217:0(9)X39609
0.69/0.77 conflict 8lvl : 13 bt11-217:0(16)X39615
0.69/0.77 c 21657 90275 3114689 775102 33 1710 5 20 17
0.79/0.81 conflict 13lvl : 17 bt17216:0(52)X39689
0.79/0.81 conflict 12lvl : 15 bt15252:0(51)X39705
0.79/0.81 conflict 11lvl : 15 bt15137:0(47)X39720
0.79/0.82 conflict 3lvl : 15 bt14-216:0(42)X39734
0.79/0.83 c 23910 99895 3425904 856258 33 1720 8 22 17
0.79/0.85 conflict 15lvl : 13 bt11-127:0(43)X39843
0.79/0.85 conflict 15lvl : 13 bt10-127:0(44)X39861
0.79/0.86 conflict 10lvl : 10 bt9-241:0(54)X39879
0.79/0.86 conflict 10lvl : 10 bt8-238:0(58)X39892
0.79/0.87 conflict 14lvl : 13 bt10-238:0(37)X39905
0.79/0.87 conflict 14lvl : 11 bt9-241:0(41)X39922
0.79/0.87 conflict 14lvl : 15 bt10-235:0(49)X39939
0.79/0.89 conflict 16lvl : 14 bt14128:0(39)X39956
0.79/0.89 c 26388 108748 3728450 929139 33 1730 8 23 16
0.89/0.91 conflict 14lvl : 16 bt12-22:0(40)X40075
0.89/0.91 conflict 15lvl : 15 bt13-25:0(44)X40092
0.89/0.91 conflict 14lvl : 16 bt14-19:0(35)X40110
0.89/0.97 c 29113 119905 4102396 1016536 33 1741 8 19 16
0.89/0.97 conflict 6lvl : 15 bt15-214:0(34)X40278
0.89/0.99 conflict 5lvl : 18 bt18-249:0(50)X40287
0.99/1.03 c 32110 133546 4479243 1109208 33 1752 8 22 17
0.99/1.04 conflict 7lvl : 20 bt15-285:0(40)X40437
0.99/1.04 conflict 9lvl : 18 bt17-246:0(42)X40447
0.99/1.04 conflict 12lvl : 17 bt17108:0(42)X40459
0.99/1.04 conflict 21lvl : 17 bt17216:0(40)X40474
0.99/1.04 conflict 20lvl : 15 bt15252:0(39)X40498
0.99/1.04 conflict 19lvl : 13 bt13143:0(34)X40521
0.99/1.04 conflict 5lvl : 18 bt17-67:0(41)X40543
0.99/1.04 conflict 5lvl : 18 bt18-214:0(39)X40551
0.99/1.06 conflict 11lvl : 18 bt17136:0(45)X40559
0.99/1.08 conflict 6lvl : 12 bt11-139:0(36)X40573
0.99/1.08 conflict 6lvl : 9 bt9-136:0(33)X40582
0.99/1.08 conflict 9lvl : 16 bt15-172:0(43)X40591
0.99/1.08 conflict 9lvl : 14 bt14-175:0(42)X40603
0.99/1.09 conflict 9lvl : 11 bt11288:0(31)X40615
0.99/1.09 conflict 17lvl : 16 bt12-175:0(33)X40627
0.99/1.09 conflict 5lvl : 15 bt12-280:0(17)X40647
0.99/1.09 conflict 9lvl : 14 bt12-288:0(46)X40655
0.99/1.09 conflict 10lvl : 9 bt9-102:0(36)X40667
0.99/1.10 -> -102:X(36)conflict 12lvl : 17 bt16-280:0(8)X40680
0.99/1.10 conflict 11lvl : 14 bt14178:0(41)X40695
0.99/1.10 conflict 10lvl : 13 bt13214:0(39)X40709
1.09/1.10 conflict 10lvl : 13 bt12-172:0(42)X40722
1.09/1.10 conflict 14lvl : 13 bt13178:0(47)X40735
1.09/1.11 conflict 12lvl : 11 bt11-280:0(22)X40752
1.09/1.11 c 35406 147242 4923971 1222453 33 1763 6 21 16
1.09/1.13 conflict 9lvl : 14 bt13-220:0(23)X40903
1.09/1.15 conflict 10lvl : 14 bt14-220:0(54)X40915
1.09/1.15 conflict 9lvl : 12 bt11-74:0(54)X40928
1.09/1.15 conflict 9lvl : 12 bt11-74:0(50)X40940
1.09/1.15 conflict 9lvl : 12 bt11-74:0(53)X40952
1.09/1.19 c 39031 161444 5329153 1316135 33 1770 5 21 17
1.29/1.30 conflict 4lvl : 12 bt11-6:0(10)X41025
1.29/1.30 c 43018 177726 5879455 1453005 33 1779 7 20 16
1.29/1.34 conflict 9lvl : 12 bt12-74:0(50)X41138
1.29/1.34 -> -74:X(50)conflict 9lvl : 12 bt12-77:0(50)X41150
1.39/1.42 -> -77:X(50)c 47403 195173 6440222 1588986 33 1789 7 21 16
1.39/1.44 conflict 4lvl : 13 bt12-46:0(51)X41262
1.39/1.46 conflict 9lvl : 7 bt7-247:0(43)X41269
1.39/1.46 conflict 8lvl : 8 bt8105:0(39)X41281
1.39/1.47 conflict 13lvl : 6 bt635:0(34)X41292
1.49/1.52 conflict 3lvl : 16 bt15-52:0(49)X41308
1.49/1.52 conflict 3lvl : 16 bt13-49:0(52)X41314
1.49/1.52 conflict 5lvl : 19 bt9-121:0(44)X41320
1.49/1.52 conflict 3lvl : 13 bt13-46:0(45)X41328
1.49/1.52 c 52226 213657 6975394 1718091 33 1798 5 21 16
1.49/1.52 conflict 18lvl : 11 bt7-130:0(41)X41408
1.49/1.52 conflict 14lvl : 16 bt9-235:0(53)X41429
1.49/1.53 conflict 15lvl : 9 bt8-241:0(39)X41446
1.49/1.53 conflict 6lvl : 13 bt11-221:0(42)X41464
1.49/1.53 conflict 8lvl : 12 bt10-224:0(56)X41473
1.49/1.53 conflict 8lvl : 9 bt99:0(59)X41484
1.49/1.53 conflict 18lvl : 8 bt827:0(29)X41495
1.49/1.53 conflict 17lvl : 7 bt727:0(28)X41516
1.49/1.54 conflict 14lvl : 13 bt12-238:0(31)X41536
1.49/1.54 conflict 14lvl : 13 bt11-241:0(41)X41553
1.49/1.54 conflict 2lvl : 16 bt12-66:0(26)X41570
1.49/1.56 conflict 6lvl : 10 bt9-254:0(52)X41575
1.49/1.57 conflict 16lvl : 17 bt11-127:0(42)X41584
1.49/1.57 conflict 2lvl : 12 bt11-66:0(18)X41603
1.49/1.57 conflict 15lvl : 15 bt11-130:0(41)X41608
1.49/1.57 conflict 16lvl : 13 bt10-130:0(32)X41626
1.49/1.57 conflict 15lvl : 11 bt9-133:0(45)X41645
1.49/1.57 conflict 14lvl : 11 bt1125:0(32)X41663
1.49/1.58 conflict 6lvl : 13 bt12-149:0(39)X41680
1.49/1.59 conflict 9lvl : 20 bt19-246:0(50)X41689
1.49/1.59 -> -246:X(50)conflict 10lvl : 19 bt19-249:0(49)X41701
1.59/1.60 conflict 9lvl : 20 bt16-282:0(43)X41714
1.59/1.67 c 57531 236310 7702210 1894957 33 1806 6 21 16
1.59/1.67 conflict 4lvl : 18 bt17-216:0(27)X41814
1.59/1.69 conflict 3lvl : 17 bt16-288:0(40)X41821
1.59/1.69 conflict 12lvl : 16 bt16108:0(44)X41827
1.69/1.71 conflict 5lvl : 18 bt18-249:0(27)X41842
1.69/1.72 conflict 5lvl : 19 bt19-252:0(29)X41850
1.69/1.73 conflict 6lvl : 18 bt17-213:0(47)X41858
1.69/1.73 conflict 4lvl : 17 bt17-46:0(40)X41867
1.69/1.73 conflict 16lvl : 16 bt15-102:0(43)X41874
1.69/1.73 conflict 7lvl : 17 bt17-208:0(37)X41893
1.69/1.77 conflict 7lvl : 12 bt11-102:0(40)X41903
1.79/1.84 c 63366 262002 8607915 2127356 33 1817 8 21 16
1.79/1.89 conflict 12lvl : 14 bt1488:0(56)X42045
1.79/1.89 conflict 11lvl : 14 bt14196:0(42)X42060
1.79/1.89 conflict 7lvl : 14 bt7-118:0(37)X42074
1.89/1.90 conflict 3lvl : 10 bt10-208:0(4)X42084
1.89/1.92 conflict 6lvl : 9 bt9-39:0(28)X42090
1.89/1.92 conflict 5lvl : 9 bt7-39:0(19)X42099
1.89/1.95 conflict 14lvl : 13 bt12-274:0(46)X42107
1.89/1.95 conflict 14lvl : 15 bt12-277:0(52)X42124
1.89/1.95 conflict 14lvl : 12 bt9-271:0(42)X42141
1.89/1.95 conflict 14lvl : 13 bt9-202:0(38)X42158
1.89/1.96 conflict 17lvl : 10 bt10129:0(42)X42175
1.89/1.96 conflict 14lvl : 12 bt10-205:0(38)X42195
1.99/2.00 conflict 18lvl : 18 bt16-127:0(45)X42212
1.99/2.00 conflict 18lvl : 18 bt16-130:0(46)X42233
1.99/2.00 conflict 18lvl : 17 bt16-133:0(50)X42254
1.99/2.00 conflict 14lvl : 16 bt15-271:0(40)X42275
1.99/2.00 conflict 16lvl : 16 bt15-81:0(45)X42292
1.99/2.01 c 69784 285507 9418025 2327990 33 1829 5 22 16
1.99/2.04 conflict 2lvl : 15 bt7-66:0(53)X42438
1.99/2.07 conflict 2lvl : 16 bt12-66:0(51)X42443
1.99/2.07 conflict 2lvl : 16 bt11-66:0(53)X42448
2.09/2.10 conflict 10lvl : 11 bt11120:0(33)X42453
2.09/2.11 conflict 5lvl : 9 bt8-118:0(13)X42466
2.09/2.12 conflict 5lvl : 13 bt8-124:0(19)X42474
2.09/2.12 conflict 10lvl : 16 bt13-105:0(25)X42482
2.09/2.12 conflict 8lvl : 13 bt13-250:0(23)X42495
2.09/2.14 conflict 10lvl : 13 bt1370:0(22)X42506
2.09/2.15 conflict 9lvl : 13 bt7-280:0(39)X42519
2.09/2.15 conflict 10lvl : 14 bt14-138:0(31)X42531
2.09/2.15 conflict 7lvl : 15 bt15-138:0(4)X42544
2.09/2.15 conflict 9lvl : 13 bt10-285:0(33)X42554
2.09/2.15 conflict 12lvl : 11 bt11137:0(16)X42566
2.09/2.15 conflict 11lvl : 11 bt11143:0(38)X42581
2.09/2.15 conflict 6lvl : 12 bt12-138:0(29)X42595
2.09/2.15 conflict 19lvl : 11 bt11143:0(28)X42604
2.09/2.15 conflict 11lvl : 10 bt10-280:0(39)X42626
2.09/2.16 conflict 14lvl : 10 bt10286:0(27)X42640
2.19/2.20 c 76843 314432 10458424 2594208 33 1834 6 21 15
2.19/2.21 conflict 3lvl : 11 bt7-247:0(36)X42693
2.19/2.21 conflict 10lvl : 10 bt967:0(59)X42699
2.19/2.21 conflict 7lvl : 8 bt7-66:0(61)X42712
2.19/2.21 conflict 8lvl : 12 bt11-136:0(57)X42722
2.19/2.21 conflict 10lvl : 10 bt10280:0(54)X42733
2.19/2.21 conflict 9lvl : 10 bt10208:0(57)X42746
2.19/2.21 conflict 8lvl : 11 bt9-102:0(33)X42758
2.19/2.24 conflict 8lvl : 16 bt13-33:0(27)X42769
2.19/2.24 conflict 19lvl : 12 bt12214:0(11)X42780
2.19/2.24 conflict 7lvl : 16 bt14-36:0(27)X42802
2.19/2.24 conflict 5lvl : 18 bt13-252:0(41)X42812
2.19/2.25 conflict 7lvl : 14 bt12-33:0(20)X42820
2.19/2.28 conflict 5lvl : 16 bt12-175:0(41)X42830
2.19/2.30 conflict 8lvl : 11 bt11-6:0(34)X42838
2.19/2.30 conflict 6lvl : 10 bt10-3:0(35)X42849
2.19/2.30 conflict 9lvl : 10 bt1044:0(39)X42858
2.19/2.30 conflict 16lvl : 10 bt8-127:0(35)X42870
2.19/2.30 conflict 11lvl : 7 bt7-19:0(38)X42889
2.19/2.30 conflict 6lvl : 13 bt9-224:0(28)X42903
2.29/2.32 conflict 11lvl : 8 bt7-133:0(32)X42912
2.29/2.32 conflict 10lvl : 7 bt6-141:0(22)X42926
2.29/2.33 conflict 11lvl : 13 bt11-127:0(37)X42939
2.29/2.33 conflict 15lvl : 12 bt10-130:0(45)X42953
2.29/2.33 conflict 16lvl : 13 bt12-130:0(32)X42971
2.29/2.33 conflict 16lvl : 13 bt12-133:0(39)X42990
2.29/2.34 conflict 13lvl : 9 bt935:0(34)X43009
2.29/2.34 conflict 6lvl : 9 bt8-66:0(44)X43025
2.29/2.34 conflict 8lvl : 10 bt10-74:0(14)X43034
2.29/2.35 conflict 8lvl : 9 bt9-283:0(24)X43045
2.29/2.36 conflict 8lvl : 10 bt10-221:0(3)X43056
2.29/2.36 conflict 7lvl : 10 bt10-221:0(16)X43067
2.29/2.38 conflict 6lvl : 11 bt11-255:0(14)X43077
2.29/2.38 conflict 9lvl : 10 bt1044:0(12)X43086
2.29/2.38 conflict 9lvl : 11 bt1141:0(15)X43098
2.29/2.38 conflict 11lvl : 12 bt1245:0(22)X43110
2.29/2.39 conflict 15lvl : 12 bt12-133:0(37)X43124
2.39/2.40 conflict 8lvl : 10 bt8-74:0(20)X43142
2.39/2.40 conflict 15lvl : 15 bt14-130:0(39)X43153
2.39/2.40 conflict 7lvl : 9 bt9-257:0(6)X43171
2.39/2.41 c 84607 345136 11503483 2851440 33 1842 5 21 15
2.39/2.42 conflict 10lvl : 8 bt8142:0(27)X43286
2.39/2.42 conflict 6lvl : 8 bt8-142:0(26)X43299
2.39/2.42 conflict 10lvl : 7 bt7210:0(25)X43308
2.39/2.42 conflict 12lvl : 12 bt12-249:0(8)X43321
2.39/2.42 conflict 10lvl : 12 bt12-249:0(10)X43336
2.39/2.42 conflict 10lvl : 8 bt8178:0(35)X43349
2.39/2.42 conflict 11lvl : 9 bt9214:0(18)X43362
2.39/2.42 conflict 10lvl : 9 bt9286:0(20)X43376
2.39/2.44 conflict 6lvl : 7 bt6-144:0(20)X43389
2.39/2.44 conflict 8lvl : 7 bt7-69:0(21)X43398
2.39/2.44 conflict 7lvl : 9 bt9-144:0(11)X43409
2.39/2.44 conflict 15lvl : 14 bt14-72:0(48)X43419
2.39/2.44 conflict 18lvl : 14 bt14-69:0(50)X43437
2.39/2.44 conflict 11lvl : 12 bt12-67:0(45)X43458
2.39/2.45 conflict 7lvl : 15 bt15-67:0(47)X43472
2.39/2.45 conflict 9lvl : 13 bt10-280:0(45)X43482
2.39/2.45 conflict 14lvl : 8 bt7-252:0(43)X43494
2.39/2.45 conflict 8lvl : 7 bt7140:0(24)X43511
2.39/2.45 conflict 17lvl : 7 bt7139:0(30)X43522
2.39/2.45 conflict 18lvl : 6 bt6214:0(29)X43542
2.39/2.45 conflict 16lvl : 5 bt5214:0(31)X43563
2.39/2.48 conflict 7lvl : 13 bt12-69:0(46)X43582
2.39/2.48 conflict 7lvl : 12 bt11-69:0(46)X43592
2.49/2.50 conflict 8lvl : 12 bt12-102:0(49)X43602
2.49/2.51 conflict 11lvl : 11 bt11216:0(39)X43613
2.49/2.53 conflict 10lvl : 11 bt10-288:0(34)X43627
2.49/2.53 conflict 8lvl : 9 bt8-139:0(42)X43640
2.49/2.55 conflict 5lvl : 13 bt13-288:0(23)X43651
2.49/2.56 conflict 7lvl : 14 bt14-286:0(14)X43659
2.49/2.57 conflict 16lvl : 14 bt14108:0(42)X43669
2.49/2.57 conflict 5lvl : 9 bt9-286:0(14)X43688
2.49/2.57 conflict 9lvl : 12 bt12143:0(22)X43696
2.49/2.57 conflict 11lvl : 8 bt8286:0(25)X43708
2.49/2.57 conflict 8lvl : 10 bt10-288:0(26)X43722
2.49/2.57 conflict 10lvl : 7 bt7288:0(17)X43733
2.49/2.57 conflict 5lvl : 13 bt12-280:0(12)X43746
2.49/2.57 conflict 12lvl : 13 bt13-280:0(11)X43754
2.49/2.57 conflict 6lvl : 12 bt12-70:0(15)X43769
2.49/2.58 conflict 16lvl : 11 bt11140:0(20)X43778
2.49/2.58 conflict 9lvl : 10 bt10-69:0(43)X43797
2.49/2.58 conflict 12lvl : 10 bt10283:0(42)X43809
2.59/2.60 conflict 5lvl : 14 bt14-249:0(40)X43824
2.59/2.61 conflict 19lvl : 11 bt9-252:0(49)X43832
2.59/2.61 conflict 16lvl : 10 bt9-252:0(37)X43854
2.59/2.61 conflict 10lvl : 9 bt8-144:0(38)X43873
2.59/2.61 conflict 14lvl : 13 bt10-252:0(47)X43886
2.59/2.61 conflict 14lvl : 10 bt10140:0(19)X43903
2.59/2.61 conflict 18lvl : 9 bt9140:0(24)X43920
2.59/2.61 conflict 8lvl : 10 bt9-252:0(37)X43941
2.59/2.63 conflict 8lvl : 8 bt7-136:0(48)X43952
2.59/2.64 conflict 9lvl : 11 bt9-144:0(32)X43963
2.59/2.65 conflict 8lvl : 9 bt9-69:0(22)X43975
2.59/2.65 conflict 9lvl : 8 bt8285:0(21)X43986
2.59/2.65 conflict 2lvl : 8 bt8-69:0(9)X43998
2.59/2.65 conflict 6lvl : 6 bt6-250:0(16)X44003
2.59/2.66 conflict 11lvl : 5 bt572:0(15)X44012
2.59/2.68 conflict 5lvl : 9 bt7-139:0(42)X44026
2.59/2.68 conflict 12lvl : 7 bt6-67:0(30)X44034
2.59/2.68 conflict 13lvl : 6 bt6143:0(11)X44049
2.59/2.69 conflict 10lvl : 7 bt6-288:0(37)X44065
2.59/2.69 c 93147 378702 12899984 3201705 33 1848 4 19 13
2.69/2.70 conflict 6lvl : 13 bt13-149:0(36)X44165
2.69/2.74 conflict 14lvl : 10 bt1081:0(46)X44174
2.69/2.74 conflict 11lvl : 12 bt10-112:0(43)X44191
2.69/2.77 conflict 11lvl : 12 bt7-127:0(31)X44205
2.69/2.78 conflict 8lvl : 10 bt9-39:0(16)X44219
2.69/2.78 conflict 8lvl : 10 bt8-39:0(21)X44230
2.69/2.78 conflict 7lvl : 9 bt9-42:0(21)X44241
2.69/2.78 conflict 10lvl : 10 bt8-221:0(29)X44251
2.69/2.78 conflict 10lvl : 10 bt7-221:0(32)X44264
2.69/2.78 conflict 6lvl : 10 bt8-221:0(29)X44277
2.69/2.78 conflict 6lvl : 8 bt7-224:0(26)X44286
2.69/2.78 conflict 11lvl : 13 bt8-130:0(35)X44295
2.79/2.80 -> -130:X(35)conflict 12lvl : 14 bt14-72:0(52)X44309
2.79/2.81 conflict 12lvl : 12 bt12-72:0(52)X44324
2.79/2.81 conflict 13lvl : 15 bt14-144:0(49)X44339
2.79/2.81 conflict 13lvl : 14 bt13-144:0(50)X44355
2.79/2.81 conflict 10lvl : 14 bt13-144:0(48)X44371
2.79/2.81 conflict 10lvl : 13 bt12-144:0(50)X44384
2.79/2.82 conflict 8lvl : 12 bt9-146:0(33)X44397
2.79/2.82 conflict 17lvl : 13 bt12-33:0(38)X44408
2.79/2.83 conflict 3lvl : 16 bt11-36:0(31)X44428
2.79/2.84 conflict 7lvl : 14 bt12-280:0(24)X44434
2.79/2.84 conflict 7lvl : 13 bt13-280:0(31)X44444
2.79/2.84 conflict 8lvl : 9 bt8-39:0(12)X44454
2.79/2.84 conflict 8lvl : 9 bt7-39:0(17)X44465
2.79/2.84 conflict 10lvl : 13 bt13-36:0(32)X44476
2.79/2.84 conflict 6lvl : 17 bt16-72:0(31)X44489
2.79/2.84 conflict 9lvl : 16 bt15-69:0(33)X44498
2.79/2.84 conflict 5lvl : 15 bt13-69:0(26)X44510
2.79/2.85 conflict 11lvl : 15 bt15-70:0(20)X44518
2.79/2.85 conflict 8lvl : 11 bt10-144:0(23)X44532
2.79/2.85 conflict 8lvl : 10 bt9-144:0(24)X44543
2.79/2.86 conflict 8lvl : 9 bt8-218:0(24)X44554
2.79/2.86 conflict 7lvl : 10 bt10-218:0(17)X44565
2.79/2.86 conflict 7lvl : 8 bt7-39:0(9)X44575
2.79/2.86 conflict 11lvl : 11 bt10-72:0(36)X44585
2.79/2.86 conflict 13lvl : 10 bt1029:0(32)X44599
2.79/2.88 conflict 15lvl : 14 bt13-252:0(38)X44615
2.79/2.88 conflict 10lvl : 14 bt14-286:0(43)X44633
2.79/2.88 conflict 12lvl : 13 bt13-36:0(42)X44646
2.79/2.88 conflict 11lvl : 14 bt14-67:0(30)X44661
2.79/2.88 conflict 5lvl : 13 bt8-70:0(24)X44675
2.79/2.89 conflict 8lvl : 9 bt9-254:0(31)X44683
2.79/2.89 conflict 8lvl : 9 bt9-255:0(35)X44694
2.79/2.89 conflict 10lvl : 8 bt88:0(27)X44705
2.79/2.89 conflict 10lvl : 14 bt14-70:0(24)X44718
2.89/2.90 conflict 11lvl : 9 bt98:0(28)X44731
2.89/2.90 conflict 10lvl : 9 bt944:0(32)X44745
2.89/2.92 conflict 7lvl : 9 bt9-257:0(11)X44758
2.89/2.94 conflict 9lvl : 15 bt14-136:0(27)X44768
2.89/2.94 -> -136:X(27)conflict 8lvl : 15 bt11-138:0(39)X44780
2.89/2.95 conflict 3lvl : 14 bt13-144:0(15)X44791
2.89/2.95 conflict 3lvl : 13 bt12-144:0(17)X44797
2.89/2.95 conflict 2lvl : 15 bt14-282:0(29)X44803
2.89/2.97 c 102541 415327 14247004 3543797 33 1856 3 20 14
2.89/2.97 conflict 14lvl : 10 bt10286:0(38)X44856
2.89/2.97 conflict 14lvl : 10 bt10143:0(46)X44873
2.89/2.97 conflict 11lvl : 9 bt9286:0(46)X44890
2.89/2.97 conflict 15lvl : 12 bt11-282:0(45)X44904
2.89/2.97 conflict 17lvl : 12 bt11-282:0(44)X44922
2.89/2.97 conflict 14lvl : 14 bt14108:0(49)X44942
2.89/2.98 conflict 2lvl : 9 bt9-250:0(37)X44959
2.99/3.00 conflict 9lvl : 14 bt13146:0(51)X44964
2.99/3.00 conflict 9lvl : 14 bt12146:0(54)X44976
2.99/3.00 conflict 9lvl : 15 bt15-178:0(41)X44988
2.99/3.00 conflict 20lvl : 15 bt15-282:0(46)X45000
2.99/3.01 conflict 9lvl : 10 bt10-247:0(49)X45023
2.99/3.01 conflict 11lvl : 15 bt14-69:0(47)X45035
2.99/3.01 conflict 11lvl : 15 bt13-69:0(48)X45049
2.99/3.01 conflict 14lvl : 14 bt14288:0(53)X45063
2.99/3.01 conflict 13lvl : 14 bt12-247:0(47)X45080
2.99/3.01 conflict 5lvl : 11 bt11-208:0(35)X45096
2.99/3.02 conflict 8lvl : 10 bt10-175:0(36)X45104
2.99/3.02 conflict 4lvl : 14 bt9-139:0(31)X45115
2.99/3.02 conflict 2lvl : 8 bt8-136:0(33)X45122
2.99/3.02 conflict 5lvl : 11 bt11-136:0(23)X45127
2.99/3.02 conflict 5lvl : 11 bt10-136:0(24)X45135
2.99/3.03 conflict 10lvl : 16 bt16-138:0(5)X45143
2.99/3.03 conflict 9lvl : 16 bt16-138:0(5)X45156
2.99/3.03 -> -138:X(5)conflict 10lvl : 11 bt10-66:0(24)X45168
2.99/3.03 conflict 7lvl : 8 bt8-136:0(24)X45181
2.99/3.03 conflict 13lvl : 13 bt7-250:0(34)X45191
2.99/3.03 conflict 7lvl : 9 bt9-136:0(47)X45207
2.99/3.03 conflict 10lvl : 15 bt9-69:0(52)X45217
2.99/3.03 conflict 10lvl : 15 bt7-66:0(50)X45230
2.99/3.04 conflict 5lvl : 11 bt7-208:0(34)X45243
2.99/3.04 conflict 9lvl : 7 bt7143:0(26)X45251
2.99/3.04 conflict 13lvl : 9 bt9143:0(34)X45263
2.99/3.04 conflict 16lvl : 10 bt8-208:0(23)X45279
2.99/3.04 conflict 12lvl : 14 bt14-208:0(42)X45298
2.99/3.04 conflict 14lvl : 13 bt13-172:0(48)X45313
2.99/3.04 conflict 13lvl : 12 bt8286:0(40)X45330
2.99/3.04 conflict 12lvl : 13 bt8-250:0(25)X45346
2.99/3.04 -> -250:X(25)conflict 11lvl : 7 bt6-66:0(33)X45361
2.99/3.04 conflict 10lvl : 7 bt769:0(33)X45375
2.99/3.05 conflict 9lvl : 15 bt8-250:0(25)X45388
2.99/3.05 conflict 9lvl : 12 bt9-247:0(24)X45400
2.99/3.05 conflict 8lvl : 15 bt9-247:0(33)X45412
2.99/3.05 conflict 8lvl : 17 bt17-69:0(24)X45423
2.99/3.06 conflict 15lvl : 9 bt8-250:0(33)X45434
2.99/3.06 conflict 11lvl : 7 bt7-247:0(23)X45452
2.99/3.06 conflict 15lvl : 12 bt12140:0(50)X45466
2.99/3.06 conflict 11lvl : 12 bt12213:0(31)X45484
2.99/3.06 conflict 14lvl : 11 bt11140:0(38)X45498
2.99/3.06 conflict 6lvl : 13 bt8-141:0(29)X45515
2.99/3.06 conflict 14lvl : 9 bt9140:0(51)X45524
2.99/3.06 conflict 12lvl : 9 bt9-288:0(22)X45541
2.99/3.09 conflict 16lvl : 9 bt9178:0(30)X45556
2.99/3.09 conflict 16lvl : 9 bt9-178:0(30)X45575
2.99/3.09 conflict 15lvl : 9 bt9137:0(11)X45594
3.09/3.10 conflict 5lvl : 10 bt8-252:0(33)X45612
3.09/3.11 conflict 11lvl : 12 bt12-210:0(39)X45620
3.09/3.12 conflict 5lvl : 12 bt12-216:0(40)X45634
3.09/3.13 conflict 7lvl : 8 bt8143:0(39)X45642
3.09/3.14 conflict 14lvl : 9 bt9108:0(38)X45652
3.09/3.14 conflict 14lvl : 6 bt667:0(43)X45669
3.09/3.15 conflict 7lvl : 7 bt6-102:0(37)X45686
3.09/3.15 conflict 5lvl : 6 bt6-69:0(18)X45696
3.09/3.15 conflict 6lvl : 12 bt11-144:0(28)X45704
3.09/3.16 conflict 5lvl : 11 bt10-144:0(8)X45713
3.09/3.16 conflict 2lvl : 16 bt15-288:0(49)X45721
3.09/3.16 conflict 8lvl : 15 bt15-144:0(50)X45726
3.09/3.16 conflict 7lvl : 15 bt12-141:0(24)X45737
3.09/3.18 conflict 11lvl : 12 bt11-141:0(36)X45747
3.19/3.22 conflict 10lvl : 17 bt17-39:0(13)X45761
3.19/3.22 conflict 10lvl : 18 bt17-39:0(25)X45774
3.19/3.22 conflict 6lvl : 17 bt16-36:0(18)X45787
3.19/3.22 conflict 5lvl : 15 bt9-72:0(42)X45796
3.19/3.22 conflict 2lvl : 15 bt9-36:0(34)X45804
3.19/3.23 conflict 6lvl : 17 bt17-39:0(26)X45809
3.19/3.23 conflict 4lvl : 8 bt7-144:0(7)X45818
3.19/3.25 conflict 14lvl : 5 bt5285:0(35)X45825
3.19/3.25 conflict 9lvl : 3 bt2-66:0(26)X45842
3.19/3.26 conflict 7lvl : 8 bt7-67:0(10)X45854
3.19/3.26 conflict 8lvl : 7 bt6-70:0(14)X45864
3.19/3.26 conflict 3lvl : 7 bt5-33:0(11)X45875
3.19/3.26 conflict 7lvl : 13 bt13-33:0(32)X45881
3.19/3.26 conflict 10lvl : 12 bt12-70:0(35)X45891
3.19/3.27 conflict 8lvl : 13 bt11-33:0(36)X45904
3.19/3.27 conflict 4lvl : 15 bt15-36:0(51)X45915
3.19/3.27 conflict 3lvl : 14 bt14-33:0(22)X45922
3.19/3.27 conflict 6lvl : 14 bt13-36:0(24)X45928
3.19/3.27 conflict 9lvl : 13 bt13-36:0(24)X45937
3.19/3.27 conflict 10lvl : 7 bt7-70:0(9)X45949
3.19/3.27 conflict 9lvl : 6 bt6216:0(18)X45962
3.19/3.27 conflict 8lvl : 7 bt7-69:0(15)X45974
3.19/3.27 conflict 13lvl : 6 bt6178:0(18)X45985
3.19/3.27 conflict 8lvl : 7 bt5-66:0(23)X46001
3.19/3.27 conflict 9lvl : 12 bt10-30:0(35)X46012
3.19/3.27 conflict 10lvl : 13 bt11-30:0(38)X46024
3.19/3.27 conflict 9lvl : 12 bt12-30:0(37)X46037
3.19/3.27 conflict 12lvl : 13 bt13-30:0(18)X46049
3.19/3.27 conflict 9lvl : 12 bt12-67:0(21)X46064
3.19/3.27 conflict 8lvl : 7 bt7252:0(17)X46076
3.19/3.27 conflict 9lvl : 7 bt7-64:0(16)X46087
3.19/3.27 conflict 7lvl : 10 bt8-66:0(25)X46099
3.19/3.28 conflict 8lvl : 12 bt12-30:0(35)X46109
3.19/3.28 conflict 7lvl : 12 bt12-30:0(42)X46120
3.19/3.28 conflict 5lvl : 13 bt10-30:0(23)X46130
3.19/3.28 conflict 7lvl : 13 bt13-30:0(28)X46138
3.19/3.28 conflict 12lvl : 14 bt1472:0(43)X46148
3.19/3.28 conflict 10lvl : 15 bt15-33:0(41)X46163
3.19/3.28 conflict 4lvl : 13 bt10-33:0(15)X46176
3.19/3.28 conflict 6lvl : 13 bt10-33:0(17)X46183
3.19/3.29 conflict 9lvl : 12 bt11-30:0(35)X46192
3.19/3.29 conflict 5lvl : 6 bt5-33:0(6)X46204
3.19/3.29 conflict 3lvl : 7 bt7288:0(10)X46212
3.19/3.29 -> 288:X(10)conflict 5lvl : 7 bt6-67:0(15)X46218
3.19/3.29 conflict 2lvl : 12 bt8-33:0(21)X46226
3.19/3.29 conflict 10lvl : 6 bt4-30:0(32)X46231
3.19/3.29 conflict 14lvl : 5 bt5178:0(13)X46244
3.19/3.29 conflict 10lvl : 8 bt8-36:0(42)X46261
3.19/3.29 conflict 9lvl : 9 bt9102:0(46)X46274
3.19/3.29 conflict 11lvl : 11 bt8-105:0(33)X46286
3.19/3.29 conflict 16lvl : 6 bt6214:0(12)X46300
3.19/3.29 conflict 8lvl : 12 bt11-36:0(29)X46319
3.19/3.29 conflict 10lvl : 8 bt6282:0(16)X46330
3.19/3.29 conflict 12lvl : 11 bt1172:0(49)X46343
3.19/3.29 conflict 8lvl : 12 bt9-30:0(27)X46358
3.19/3.29 conflict 12lvl : 7 bt772:0(23)X46369
3.19/3.30 conflict 6lvl : 15 bt15288:0(42)X46384
3.19/3.30 conflict 5lvl : 14 bt14288:0(45)X46393
3.19/3.30 conflict 3lvl : 13 bt11288:0(42)X46401
3.19/3.30 conflict 2lvl : 9 bt6288:0(41)X46407
3.19/3.30 conflict 8lvl : 7 bt6-33:0(28)X46412
3.19/3.30 conflict 5lvl : 4 bt4-33:0(6)X46423
3.19/3.30 conflict 4lvl : 10 bt8-72:0(36)X46431
3.19/3.30 conflict 8lvl : 8 bt864:0(33)X46438
3.29/3.32 conflict 6lvl : 7 bt7-30:0(16)X46449
3.29/3.32 conflict 12lvl : 6 bt4-172:0(23)X46458
3.29/3.32 conflict 6lvl : 7 bt7-30:0(21)X46473
3.29/3.32 conflict 13lvl : 6 bt3208:0(28)X46482
3.29/3.32 conflict 10lvl : 11 bt11286:0(41)X46498
3.29/3.32 conflict 10lvl : 12 bt12-282:0(29)X46511
3.29/3.32 conflict 11lvl : 8 bt8286:0(21)X46524
3.29/3.32 conflict 2lvl : 9 bt8108:0(37)X46538
3.29/3.32 conflict 10lvl : 11 bt10-33:0(46)X46543
3.29/3.33 conflict 4lvl : 4 bt429:0(10)X46556
3.29/3.33 conflict 13lvl : 7 bt6-149:0(40)X46563
3.29/3.34 conflict 8lvl : 2 bt2-67:0(23)X46579
3.29/3.34 conflict 9lvl : 8 bt8140:0(38)X46590
3.29/3.34 conflict 14lvl : 9 bt9213:0(33)X46602
3.29/3.34 conflict 14lvl : 8 bt8140:0(31)X46619
3.29/3.34 conflict 2lvl : 6 bt6-33:0(21)X46636
3.29/3.34 conflict 9lvl : 6 bt6288:0(30)X46641
3.29/3.34 conflict 9lvl : 7 bt7178:0(31)X46653
3.29/3.34 conflict 12lvl : 5 bt5-250:0(46)X46665
3.29/3.35 conflict 9lvl : 10 bt10140:0(27)X46680
3.29/3.35 conflict 15lvl : 9 bt9143:0(49)X46692
3.29/3.36 c 112874 461268 16065513 4014332 33 1873 3 20 13
3.29/3.36 conflict 13lvl : 8 bt8218:0(34)X46837
3.29/3.36 conflict 6lvl : 5 bt529:0(22)X46853
3.29/3.37 conflict 6lvl : 5 bt5285:0(34)X46862
3.29/3.37 conflict 5lvl : 4 bt4282:0(35)X46871
3.29/3.37 conflict 9lvl : 10 bt10-214:0(29)X46879
3.29/3.37 conflict 8lvl : 15 bt10-72:0(29)X46891
3.29/3.37 conflict 7lvl : 11 bt9-142:0(45)X46902
3.29/3.37 conflict 9lvl : 11 bt11-280:0(17)X46912
3.29/3.37 conflict 10lvl : 11 bt11-216:0(38)X46924
3.29/3.37 conflict 17lvl : 11 bt1167:0(40)X46937
3.29/3.37 conflict 14lvl : 6 bt6286:0(34)X46957
3.29/3.37 conflict 9lvl : 11 bt11178:0(24)X46974
3.29/3.37 conflict 11lvl : 11 bt11210:0(37)X46986
3.29/3.37 conflict 15lvl : 11 bt11137:0(32)X47000
3.29/3.37 conflict 13lvl : 6 bt6283:0(33)X47018
3.29/3.37 conflict 10lvl : 8 bt8-115:0(54)X47034
3.29/3.37 conflict 13lvl : 7 bt777:0(46)X47047
3.29/3.37 conflict 14lvl : 9 bt9140:0(67)X47063
3.29/3.37 conflict 11lvl : 8 bt8288:0(41)X47080
3.29/3.38 conflict 13lvl : 13 bt9-247:0(46)X47094
3.29/3.38 conflict 13lvl : 6 bt6286:0(31)X47110
3.29/3.38 conflict 12lvl : 6 bt6283:0(30)X47126
3.29/3.38 conflict 11lvl : 6 bt6280:0(31)X47141
3.29/3.38 conflict 11lvl : 15 bt13-136:0(47)X47155
3.29/3.38 conflict 7lvl : 7 bt7-142:0(11)X47169
3.29/3.38 conflict 6lvl : 10 bt5-142:0(52)X47179
3.29/3.39 conflict 14lvl : 12 bt12140:0(32)X47188
3.29/3.39 conflict 12lvl : 13 bt8-108:0(51)X47205
3.29/3.39 conflict 12lvl : 14 bt13-141:0(49)X47220
3.29/3.39 conflict 12lvl : 12 bt12137:0(27)X47235
3.29/3.39 conflict 12lvl : 9 bt9-213:0(44)X47250
3.29/3.39 conflict 7lvl : 14 bt14-141:0(26)X47265
3.29/3.39 conflict 10lvl : 9 bt9143:0(38)X47275
3.29/3.39 conflict 2lvl : 14 bt11-141:0(26)X47288
3.29/3.39 conflict 8lvl : 7 bt7137:0(19)X47293
3.29/3.39 conflict 13lvl : 9 bt7252:0(60)X47304
3.29/3.39 conflict 17lvl : 7 bt7108:0(55)X47320
3.29/3.39 conflict 15lvl : 7 bt7108:0(57)X47340
3.29/3.39 conflict 11lvl : 5 bt5-247:0(14)X47358
3.29/3.39 conflict 15lvl : 10 bt10143:0(40)X47372
3.29/3.39 conflict 14lvl : 10 bt10-286:0(52)X47390
3.29/3.39 conflict 3lvl : 12 bt8-141:0(41)X47407
3.29/3.39 conflict 9lvl : 7 bt6-67:0(26)X47413
3.29/3.39 conflict 12lvl : 6 bt629:0(8)X47425
3.29/3.39 conflict 14lvl : 6 bt5178:0(15)X47440
3.29/3.39 conflict 8lvl : 10 bt7-72:0(30)X47457
3.29/3.40 conflict 7lvl : 12 bt11-138:0(23)X47468
3.29/3.40 conflict 14lvl : 5 bt529:0(12)X47478
3.29/3.40 conflict 12lvl : 10 bt8-144:0(44)X47495
3.29/3.40 conflict 12lvl : 8 bt7-70:0(31)X47510
3.29/3.40 conflict 5lvl : 6 bt6-64:0(26)X47525
3.29/3.40 conflict 9lvl : 5 bt5-250:0(37)X47533
3.29/3.40 conflict 8lvl : 5 bt4285:0(35)X47545
3.39/3.40 conflict 7lvl : 4 bt435:0(10)X47556
3.39/3.41 conflict 5lvl : 4 bt4-216:0(19)X47566
3.39/3.41 conflict 4lvl : 5 bt3-282:0(35)X47574
3.39/3.41 c restarts : 549
3.39/3.41 c conflicts : 113656 (33363 /sec)
3.39/3.41 c decisions : 465215 (136560 /sec)
3.39/3.41 c propagations : 4073919 (1195862 /sec)
3.39/3.41 c root propagations : 123
3.39/3.41 c filter calls : 16274646 (4777276 /sec)
3.39/3.41 c useless filter calls : 14229957 (87 %)
3.39/3.41 c
3.39/3.41 c clauses : 4494
3.39/3.41 c SAT propagations : 43717
3.39/3.41 c SAT conflicts : 11247 (627 learnts)
3.39/3.41 c Memory used : 31.14 MB
3.39/3.41 c CPU time : 3.40663 s
3.39/3.41
3.39/3.41 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240404-1500626184/watcher-4240404-1500626184 -o /tmp/evaluation-result-4240404-1500626184/solver-4240404-1500626184 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240404-1500626184.xml
pid=4967
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.06 1.89 3/186 4970
/proc/meminfo: memFree=30687400/32770624 swapFree=6240/1301468
[pid=4970] ppid=4967 vsize=26992 CPUtime=0 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 971 0 0 0 0 0 0 0 20 0 1 0 15894712 27639808 766 33554432000 4194304 5970956 140726126029760 140726126026408 5417598 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 6748 766 684 434 0 112 0
[startup+0.100138 s]
/proc/loadavg: 2.09 2.06 1.89 3/186 4970
/proc/meminfo: memFree=30687400/32770624 swapFree=6240/1301468
[pid=4970] ppid=4967 vsize=31748 CPUtime=0.09 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1150 0 0 0 9 0 0 0 20 0 1 0 15894712 32509952 964 33554432000 4194304 5970956 140726126029760 140726126027096 140471248665696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7937 964 760 434 0 1301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31748
[startup+0.200293 s]
/proc/loadavg: 2.09 2.06 1.89 3/186 4970
/proc/meminfo: memFree=30687400/32770624 swapFree=6240/1301468
[pid=4970] ppid=4967 vsize=31880 CPUtime=0.19 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1167 0 0 0 19 0 0 0 20 0 1 0 15894712 32645120 964 33554432000 4194304 5970956 140726126029760 140726126027096 140471248665696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7970 964 760 434 0 1334 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31880
[startup+0.300316 s]
/proc/loadavg: 2.09 2.06 1.89 3/186 4970
/proc/meminfo: memFree=30687400/32770624 swapFree=6240/1301468
[pid=4970] ppid=4967 vsize=31880 CPUtime=0.29 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1182 0 0 0 29 0 0 0 20 0 1 0 15894712 32645120 964 33554432000 4194304 5970956 140726126029760 140726126027096 140471248665696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7970 964 760 434 0 1334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31880
[startup+0.700291 s]
/proc/loadavg: 2.09 2.06 1.89 3/186 4970
/proc/meminfo: memFree=30687400/32770624 swapFree=6240/1301468
[pid=4970] ppid=4967 vsize=31880 CPUtime=0.69 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1188 0 0 0 69 0 0 0 20 0 1 0 15894712 32645120 964 33554432000 4194304 5970956 140726126029760 140726126027192 140471248665696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7970 964 760 434 0 1334 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31880
[startup+1.50026 s]
/proc/loadavg: 2.09 2.06 1.89 3/187 4971
/proc/meminfo: memFree=30686492/32770624 swapFree=6240/1301484
[pid=4970] ppid=4967 vsize=31880 CPUtime=1.49 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1194 0 0 0 149 0 0 0 20 0 1 0 15894712 32645120 1030 33554432000 4194304 5970956 140726126029760 140726126027192 5272560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7970 1030 777 434 0 1334 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31880
[startup+3.10029 s]
/proc/loadavg: 2.09 2.06 1.89 3/187 4971
/proc/meminfo: memFree=30685872/32770624 swapFree=6240/1301484
[pid=4970] ppid=4967 vsize=31880 CPUtime=3.09 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1395 0 0 0 309 0 0 0 20 0 1 0 15894712 32645120 1036 33554432000 4194304 5970956 140726126029760 140726126027192 4908655 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7970 1036 777 434 0 1334 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31880
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4970 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20034 s]
/proc/loadavg: 2.09 2.06 1.89 3/187 4971
/proc/meminfo: memFree=30685872/32770624 swapFree=6240/1301484
[pid=4970] ppid=4967 vsize=31880 CPUtime=3.19 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1396 0 0 0 319 0 0 0 20 0 1 0 15894712 32645120 1036 33554432000 4194304 5970956 140726126029760 140726126027192 4912747 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7970 1036 777 434 0 1334 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 31880
[startup+3.40611 s]
/proc/loadavg: 2.09 2.06 1.89 3/187 4971
/proc/meminfo: memFree=30685712/32770624 swapFree=6240/1301484
[pid=4970] ppid=4967 vsize=31880 CPUtime=3.39 cores=0,2,4,6
/proc/4970/stat : 4970 (cosoco) R 4967 4970 4382 0 -1 4202496 1400 0 0 0 339 0 0 0 20 0 1 0 15894712 32645120 1036 33554432000 4194304 5970956 140726126029760 140726126027192 140471248665696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13041664 140726126032060 140726126032195 140726126032195 140726126034894 0
/proc/4970/statm: 7970 1036 777 434 0 1334 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 31880
Child status: 0
Real time (s): 3.41451
CPU time (s): 3.41268
CPU user time (s): 3.40668
CPU system time (s): 0.005999
CPU usage (%): 99.9463
Max. virtual memory (cumulated for all children) (KiB): 31880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.40668
system time used= 0.005999
maximum resident set size= 4272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1441
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= 6
involuntary context switches= 176
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040137 second user time and 0.056192 second system time
The end
Begin job on node130 at 2017-07-21 10:36:24
IDJOB=4240404
IDBENCH=122874
IDSOLVER=2621
FILE ID=node130/4240404-1500626184
RUNJOBID= node130-1500623778-4413
PBS_JOBID= 20623003
Free space on /tmp= 61964 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-7_X2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240404-1500626184/watcher-4240404-1500626184 -o /tmp/evaluation-result-4240404-1500626184/solver-4240404-1500626184 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240404-1500626184.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 5e218b581bf3702f20459c06ac876610
RANDOM SEED=69866507
node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2400.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30687400 kB
MemAvailable: 32005532 kB
Buffers: 157364 kB
Cached: 1439144 kB
SwapCached: 0 kB
Active: 346976 kB
Inactive: 1310268 kB
Active(anon): 63604 kB
Inactive(anon): 8800 kB
Active(file): 283372 kB
Inactive(file): 1301468 kB
Unevictable: 6240 kB
Mlocked: 6240 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2280 kB
Writeback: 0 kB
AnonPages: 66420 kB
Mapped: 33764 kB
Shmem: 8852 kB
Slab: 123604 kB
SReclaimable: 98252 kB
SUnreclaim: 25352 kB
KernelStack: 3328 kB
PageTables: 5440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 336896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61960 MiB
End job on node130 at 2017-07-21 10:36:28