| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.6899 | 2520.01 |
| Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07-6_X2.xml |
| MD5SUM | fad96b2eb778b7f693e68e3d100e5397 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2382.8 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 112 |
| Number of constraints | 1262 |
| Number of domains | 4 |
| Minimum domain size | 1 |
| Maximum domain size | 28 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 56 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":1262}] |
| Number of extensional constraints | 1262 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1262}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.07 c SAT : Variables: 2102 -- Clauses: 23658 0.00/0.08 c root propagations : 280 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c This is cosoco 1.12 -- 0.00/0.08 c 0.00/0.08 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266000-1502583882.xml 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.03 s 0.00/0.08 c | 0.00/0.08 c | Variables: 112 0.00/0.08 c | Domain Sizes: 1..28 0.00/0.08 c | 0.00/0.08 c | Constraints: 1262 0.00/0.08 c | Arity: 2..2 -- Binary: 1262 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | Extension: 1262 (nb tuples: 0..378) -- (shared: 1252) 0.00/0.08 c | 0.00/0.08 c ========================================================================================================= 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c remove useless variable z[0] 0.00/0.08 c 10 77 16471 1562 66 2 53 59 51 0.00/0.08 c 20 161 31032 2801 66 3 61 65 56 0.00/0.08 c 30 250 44844 4022 66 5 53 72 62 0.00/0.08 c 40 346 60077 5230 66 7 57 78 66 0.00/0.09 c 50 444 74487 6522 66 9 17 78 55 0.00/0.09 c 60 546 90387 7839 66 14 14 79 24 0.00/0.09 c 70 657 111380 9551 66 19 17 82 26 0.00/0.09 c 80 712 133207 11093 66 21 20 28 22 0.00/0.10 c 90 751 158089 13184 66 26 18 22 18 0.00/0.10 c 100 801 177752 14825 66 31 22 24 21 0.00/0.10 c 101 825 192532 15879 66 32 24 24 12 0.05/0.11 c 110 865 213462 17548 66 34 22 25 21 0.05/0.11 c 120 907 238326 19923 66 36 23 25 22 0.05/0.11 c 130 967 261228 21438 66 41 26 32 26 0.05/0.12 c 140 1022 290438 23910 66 43 24 29 24 0.05/0.12 c 150 1083 313680 25801 66 47 24 34 25 0.05/0.12 c 160 1129 338614 28625 66 53 22 26 21 0.05/0.13 c 170 1175 363831 30937 66 55 25 29 24 0.05/0.13 c 180 1244 388538 32846 66 59 34 36 31 0.05/0.13 c 190 1300 414907 35126 66 62 23 29 23 0.05/0.14 c 200 1353 447430 38194 66 65 28 30 26 0.05/0.14 c 210 1406 472757 40472 66 69 27 30 25 0.05/0.14 c 211 1431 485111 41471 66 70 25 25 12 0.05/0.14 c 220 1482 501623 42763 66 73 24 29 25 0.05/0.15 c 230 1534 519854 44132 66 74 28 32 26 0.05/0.15 c 240 1589 538569 45436 66 79 26 35 31 0.05/0.15 c 250 1630 562497 47803 66 81 23 26 22 0.05/0.15 c 260 1685 580249 49057 66 83 24 28 23 0.05/0.16 c 270 1737 601431 50946 66 91 22 27 22 0.05/0.16 c 280 1783 621337 52385 66 96 22 24 21 0.05/0.16 c 290 1825 641279 54070 66 100 17 22 18 0.05/0.17 c 300 1888 663399 55628 66 103 22 30 25 0.05/0.17 c 310 1944 696266 58802 66 106 29 31 26 0.05/0.17 c 320 1980 714993 60298 66 107 19 22 18 0.05/0.18 c 330 2024 741158 62824 66 110 19 24 19 0.05/0.18 c 332 2047 753585 63854 66 112 21 21 14 0.05/0.18 c 340 2095 770837 65012 66 116 31 32 28 0.05/0.18 c 350 2165 793189 66662 66 122 20 30 23 0.05/0.19 c 360 2212 812339 67999 66 125 23 24 21 0.05/0.19 c 370 2248 833341 70102 66 126 22 24 20 0.05/0.19 c 380 2292 855182 72747 66 129 21 23 20 0.05/0.20 c 390 2353 886552 75724 66 132 28 34 26 0.05/0.20 c 400 2418 908024 77280 66 136 18 32 26 0.05/0.20 c 410 2481 938804 80251 66 139 29 36 27 0.05/0.21 c 420 2541 964845 82431 66 144 24 28 24 0.05/0.21 c 430 2578 985611 84935 66 147 20 22 19 0.05/0.21 c 440 2628 1009376 87564 66 152 25 29 24 0.16/0.22 c 450 2701 1032738 89108 66 156 29 33 28 0.16/0.22 c 460 2746 1058400 91678 66 157 21 26 21 0.16/0.22 c 465 2779 1079216 93401 66 159 26 26 21 0.16/0.22 c 470 2824 1096486 94539 66 162 31 33 27 0.16/0.23 c 480 2864 1119756 97292 66 165 21 24 20 0.16/0.23 c 490 2919 1152344 100696 66 168 28 31 25 0.16/0.24 c 500 2974 1179395 103480 66 174 22 24 20 0.16/0.24 c 510 3021 1200579 105117 66 175 27 30 26 0.16/0.24 c 520 3072 1227761 107693 66 179 25 29 24 0.16/0.25 c 530 3137 1253635 110006 66 183 29 37 29 0.16/0.25 c 540 3183 1277399 111916 66 186 24 28 23 0.16/0.25 c 550 3234 1296105 113637 66 192 18 26 20 0.16/0.25 c 560 3285 1315858 115222 66 196 29 30 27 0.16/0.26 c 570 3340 1332816 116387 66 201 29 35 31 0.16/0.26 c 580 3390 1360544 118733 66 205 23 27 22 0.16/0.26 c 590 3448 1382690 120441 66 207 22 27 23 0.16/0.27 c 600 3499 1413331 123195 66 210 27 30 26 0.16/0.27 c 610 3542 1436573 125287 66 213 24 26 22 0.16/0.27 c 611 3574 1454167 126458 66 214 32 32 16 0.16/0.27 c 620 3613 1474759 128726 66 219 21 23 20 0.16/0.28 c 630 3671 1507428 131607 66 222 23 27 23 0.16/0.28 c 640 3726 1526731 133186 66 224 22 25 21 0.16/0.28 c 650 3776 1550087 135456 66 228 20 33 21 0.16/0.29 c 660 3824 1571625 137219 66 232 21 24 20 0.16/0.29 c 670 3868 1597343 139394 66 235 25 26 23 0.16/0.29 c 680 3913 1623285 141971 66 236 21 26 21 0.16/0.30 c 690 3953 1649062 144346 66 238 22 23 20 0.16/0.30 c 700 4030 1670199 145809 66 242 29 31 27 0.16/0.30 c 710 4103 1699055 148417 66 245 23 28 24 0.16/0.31 c 720 4150 1728955 151027 66 248 29 30 26 0.16/0.31 c 730 4199 1755701 153882 66 253 21 26 21 0.16/0.31 c 740 4253 1776154 155303 66 257 25 28 24 0.26/0.32 c 750 4337 1799809 156933 66 261 27 31 27 0.26/0.32 c 760 4386 1821324 158763 66 265 22 26 22 0.26/0.32 c 770 4434 1840827 160120 66 269 30 32 28 0.26/0.32 c 771 4458 1854768 161182 66 270 24 24 12 0.26/0.33 c 780 4500 1876447 163204 66 273 23 24 21 0.26/0.33 c 790 4555 1900207 165248 66 276 32 35 30 0.26/0.33 c 800 4602 1926611 167449 66 278 23 27 23 0.26/0.34 c 810 4660 1948054 169372 66 283 21 37 26 0.26/0.34 c 820 4710 1978047 171985 66 286 32 33 29 0.26/0.34 c 830 4757 2001717 174036 66 291 23 27 23 0.26/0.35 c 840 4804 2025345 176306 66 292 24 25 22 0.26/0.35 c 850 4880 2047254 177768 66 294 30 34 30 0.26/0.35 c 860 4931 2078315 180616 66 297 32 34 29 0.26/0.36 c 870 4983 2102251 182724 66 301 24 28 24 0.26/0.36 c 880 5036 2132999 185350 66 304 34 36 31 0.26/0.36 c 890 5086 2160393 188308 66 306 23 26 22 0.26/0.37 c 900 5134 2188353 190913 66 309 30 31 27 0.26/0.37 c 910 5184 2214274 193257 66 312 22 25 21 0.26/0.37 c 920 5236 2242016 195635 66 317 31 33 29 0.26/0.38 c 930 5299 2272281 198336 66 321 22 28 23 0.26/0.38 c 940 5350 2300342 200746 66 323 33 35 30 0.26/0.38 c 947 5385 2322018 202799 66 327 25 27 22 0.26/0.39 c 950 5418 2339723 204453 66 328 29 29 21 0.26/0.39 c 960 5491 2360482 205734 66 334 31 34 30 0.26/0.39 c 970 5537 2388049 208138 66 336 29 31 27 0.26/0.40 c 980 5591 2418792 211005 66 340 25 28 24 0.26/0.40 c 990 5636 2445683 213255 66 341 30 32 27 0.26/0.40 c 1000 5695 2475811 215878 66 344 23 29 23 0.26/0.41 c 1010 5754 2495540 217192 66 348 29 38 33 0.26/0.41 c 1020 5802 2521934 219497 66 350 25 29 23 0.36/0.41 c 1030 5852 2546584 222193 66 355 29 33 28 0.36/0.42 c 1040 5901 2573210 224551 66 359 23 28 22 0.36/0.42 c 1050 5956 2596431 226348 66 363 30 34 29 0.36/0.42 c 1060 6009 2623234 228488 66 368 26 30 26 0.36/0.43 c 1070 6053 2649820 230843 66 371 29 31 27 0.36/0.43 c 1080 6097 2673290 233228 66 373 24 27 23 0.36/0.43 c 1090 6146 2695918 235812 66 379 25 33 24 0.36/0.44 c 1100 6207 2724251 238166 66 382 26 29 25 0.36/0.44 c 1110 6252 2749556 240612 66 384 26 28 25 0.36/0.44 c 1120 6307 2768086 241782 66 388 34 34 30 0.36/0.45 c 1130 6354 2792437 243939 66 396 28 32 26 0.36/0.45 c 1140 6420 2814107 245473 66 398 25 33 27 0.36/0.45 c 1141 6448 2827790 246455 66 399 28 28 14 0.36/0.45 c 1150 6488 2852192 248684 66 400 26 28 24 0.36/0.46 c 1160 6534 2879950 251136 66 402 29 31 27 0.36/0.46 c 1170 6596 2906845 253441 66 406 25 28 24 0.36/0.47 c 1180 6645 2937159 256202 66 411 28 30 26 0.36/0.47 c 1190 6695 2960955 258655 66 419 22 28 22 0.36/0.47 c 1200 6749 2988578 261105 66 425 28 30 26 0.36/0.48 c 1210 6811 3016515 263209 66 428 26 31 26 0.36/0.48 c 1220 6871 3042611 266062 66 431 18 24 20 0.36/0.48 c 1230 6925 3065225 267391 66 434 29 30 26 0.36/0.49 c 1240 7002 3094903 270518 66 436 24 26 22 0.36/0.49 c 1250 7052 3123567 273119 66 439 28 31 27 0.36/0.49 c 1260 7114 3150297 275704 66 442 23 28 23 0.36/0.50 c 1270 7150 3170814 277805 66 447 18 22 18 0.36/0.50 c 1280 7199 3196205 280322 66 452 28 32 27 0.36/0.50 c 1290 7249 3224864 282797 66 455 25 28 24 0.36/0.51 c 1300 7310 3254049 285679 66 457 31 35 29 0.36/0.51 c 1310 7355 3279932 287658 66 462 26 29 25 0.46/0.51 c 1320 7411 3310721 290098 66 465 28 34 29 0.46/0.52 c 1330 7466 3337588 292265 66 469 25 32 25 0.46/0.52 c 1340 7515 3362962 294306 66 470 30 33 28 0.46/0.52 c 1350 7568 3389858 296616 66 477 24 28 23 0.46/0.53 c 1352 7602 3406969 297800 66 479 28 33 20 0.46/0.53 c 1360 7656 3427703 299382 66 483 24 32 25 0.46/0.53 c 1370 7703 3452972 302095 66 490 28 32 27 0.46/0.54 c 1380 7770 3485874 305043 66 493 25 28 24 0.46/0.54 c 1390 7826 3519066 308559 66 496 30 32 27 0.46/0.54 c 1400 7881 3548143 311630 66 500 29 33 27 0.46/0.55 c 1410 7930 3584473 314588 66 503 24 27 22 0.46/0.55 c 1420 7983 3608739 316698 66 505 31 33 29 0.46/0.56 c 1430 8018 3629143 319131 66 508 17 23 19 0.46/0.56 c 1440 8080 3652351 320909 66 511 31 37 31 0.46/0.56 c 1450 8129 3682911 323506 66 515 25 28 23 0.46/0.56 c 1460 8181 3702449 324932 66 519 29 34 29 0.46/0.57 c 1470 8237 3730913 327637 66 523 23 27 23 0.46/0.57 c 1480 8289 3760932 330310 66 526 34 35 31 0.46/0.58 c 1490 8336 3788551 332993 66 530 30 31 27 0.46/0.58 c 1500 8384 3815362 335394 66 534 25 28 24 0.46/0.58 c 1510 8456 3836616 337062 66 539 32 41 34 0.46/0.59 c 1520 8512 3864373 339747 66 544 22 25 21 0.46/0.59 c 1530 8562 3888910 342256 66 548 30 32 28 0.46/0.59 c 1540 8620 3916864 344341 66 552 27 30 25 0.46/0.60 c 1550 8677 3944442 346548 66 558 26 31 25 0.46/0.60 c 1560 8726 3966590 348684 66 559 28 33 27 0.46/0.60 c 1570 8772 3981854 349871 66 563 28 32 27 0.46/0.60 c 1580 8816 4007382 352018 66 565 27 29 25 0.55/0.61 c 1585 8852 4026131 353615 66 568 26 29 22 0.55/0.61 c 1590 8880 4043409 355180 66 571 20 23 18 0.55/0.61 c 1600 8949 4066814 356946 66 575 32 41 32 0.55/0.62 c 1610 8992 4089381 359108 66 582 25 28 24 0.55/0.62 c 1620 9064 4110610 360332 66 586 33 41 36 0.55/0.62 c 1630 9111 4137195 363014 66 592 23 27 22 0.55/0.62 c 1640 9194 4157119 364375 66 595 32 39 34 0.55/0.63 c 1650 9257 4182213 366682 66 599 22 27 22 0.55/0.63 c 1660 9310 4205635 368755 66 602 33 37 31 0.55/0.63 c 1670 9355 4224123 370055 66 605 24 26 23 0.55/0.64 conflict 49lvl : 34 bt34-194:0(726)X350566 0.55/0.64 c 1680 9412 4251849 372561 66 607 31 35 29 0.55/0.64 c 1690 9461 4272385 374058 66 611 26 26 23 0.55/0.64 c 1700 9501 4299214 376612 66 615 23 25 21 0.55/0.65 c 1710 9552 4328306 379242 66 617 26 29 24 0.55/0.65 c 1720 9595 4346290 380835 66 620 25 28 24 0.55/0.65 c 1730 9639 4363654 382193 66 622 24 26 22 0.55/0.66 c 1740 9694 4389079 384795 66 625 23 28 23 0.55/0.66 c 1750 9752 4423768 387942 66 628 32 34 30 0.55/0.66 c 1760 9797 4449193 390331 66 631 25 28 23 0.55/0.67 c 1770 9845 4467829 391822 66 633 24 28 22 0.55/0.67 c 1780 9911 4488263 393194 66 635 25 34 25 0.55/0.67 c 1790 9954 4505819 394701 66 639 22 27 22 0.55/0.67 c 1800 10007 4524555 396036 66 644 21 32 27 0.55/0.68 c 1810 10071 4552273 398365 66 648 24 28 23 0.55/0.68 c 1820 10142 4572943 399773 66 650 28 33 27 0.55/0.68 c 1830 10186 4599178 402275 66 653 23 25 21 0.55/0.69 c 1840 10235 4622494 404315 66 657 30 34 28 0.55/0.69 c 1841 10259 4635486 405297 66 658 24 24 12 0.55/0.69 c 1850 10328 4655404 406508 66 661 30 37 32 0.55/0.69 c 1860 10370 4675156 407923 66 664 21 23 20 0.64/0.70 c 1870 10441 4699459 409849 66 665 32 40 31 0.64/0.70 c 1880 10486 4718891 411389 66 669 24 27 23 0.64/0.70 c 1890 10557 4741814 413049 66 673 30 39 30 0.64/0.71 c 1900 10598 4766211 415430 66 676 22 25 21 0.64/0.71 c 1910 10649 4785614 416802 66 679 24 29 24 0.64/0.71 c 1920 10700 4806963 418132 66 681 27 27 24 0.64/0.71 c 1930 10749 4833585 420229 66 685 25 28 24 0.64/0.72 c 1940 10835 4855053 421737 66 688 29 38 33 0.64/0.72 c 1950 10889 4884935 424338 66 691 24 26 22 0.64/0.72 c 1960 10954 4913043 426835 66 696 31 39 30 0.64/0.73 c 1970 11014 4934409 428250 66 699 27 32 27 0.64/0.73 c 1980 11067 4957204 430028 66 704 29 33 28 0.64/0.73 c 1990 11117 4978374 431534 66 707 22 24 21 0.64/0.74 c 2000 11183 5006145 434023 66 712 32 40 31 0.64/0.74 c 2010 11254 5027996 435365 66 715 27 32 28 0.64/0.74 c 2020 11309 5056958 437761 66 718 31 33 29 0.64/0.75 c 2030 11354 5077101 439244 66 723 23 25 21 0.64/0.75 c 2040 11414 5107360 442133 66 727 32 35 30 0.64/0.75 c 2050 11456 5131799 444235 66 729 22 26 22 0.64/0.76 c 2060 11503 5151119 445551 66 732 26 27 24 0.64/0.76 c 2070 11552 5175193 447562 66 736 21 26 22 0.64/0.76 c 2080 11601 5194497 448831 66 740 25 27 23 0.64/0.77 c 2090 11642 5219860 451213 66 743 22 24 20 0.64/0.77 c 2100 11707 5249618 453542 66 746 31 36 30 0.64/0.77 c 2110 11755 5271250 455240 66 750 23 28 23 0.64/0.78 c 2120 11822 5298451 458034 66 752 28 38 28 0.64/0.78 c 2122 11848 5312692 459106 66 754 21 24 15 0.64/0.78 c 2130 11902 5335509 460769 66 758 29 33 28 0.64/0.78 c 2140 11951 5358291 462535 66 761 23 28 23 0.64/0.79 c 2150 11996 5375221 463933 66 763 27 29 25 0.64/0.79 c 2160 12042 5394852 465551 66 765 19 21 18 0.64/0.79 c 2170 12091 5419472 468020 66 768 22 33 21 0.64/0.80 c 2180 12162 5444725 469745 66 772 29 37 29 0.74/0.80 c 2190 12208 5464842 471077 66 775 21 23 20 0.74/0.80 c 2200 12269 5490606 472985 66 779 31 33 28 0.74/0.81 c 2210 12310 5515439 475369 66 782 22 25 21 0.74/0.81 c 2220 12354 5534063 476847 66 785 24 25 22 0.74/0.81 c 2230 12399 5554277 478319 66 788 21 25 21 0.74/0.81 c 2240 12457 5573461 479664 66 793 21 34 26 0.74/0.82 c 2250 12525 5604696 482384 66 796 31 37 29 0.74/0.82 c 2260 12582 5627251 483830 66 799 26 27 24 0.74/0.82 c 2270 12642 5649206 485421 66 804 32 35 30 0.74/0.83 c 2280 12706 5671016 486790 66 805 29 31 27 0.74/0.83 c 2290 12767 5699919 489107 66 808 23 26 22 0.74/0.83 c 2300 12812 5723232 491008 66 812 22 26 22 0.74/0.84 c 2310 12867 5758324 494099 66 815 29 31 27 0.74/0.84 c 2320 12918 5781821 496117 66 819 22 27 22 0.74/0.84 c 2330 12984 5812093 498765 66 822 29 36 28 0.74/0.85 c 2340 13038 5838261 500597 66 825 23 26 22 0.74/0.85 c 2350 13102 5862622 502457 66 827 31 32 28 0.74/0.85 c 2360 13148 5886819 504593 66 830 22 26 22 0.74/0.86 c 2370 13207 5910539 506371 66 832 30 34 29 0.74/0.86 c 2380 13272 5937278 508432 66 836 23 30 24 0.74/0.86 c 2390 13321 5959800 510179 66 838 26 31 26 0.74/0.87 c 2400 13370 5984239 512163 66 841 21 27 22 0.74/0.87 c 2410 13434 6011835 514537 66 844 26 34 26 0.74/0.87 c 2420 13498 6035330 516082 66 846 28 31 27 0.74/0.88 c 2430 13545 6057213 518015 66 850 25 29 24 0.74/0.88 c 2431 13570 6071480 519001 66 851 25 25 12 0.74/0.88 c 2440 13628 6092714 520841 66 854 25 35 25 0.74/0.88 c 2450 13682 6117533 522741 66 857 22 27 22 0.74/0.89 c 2460 13726 6135431 524276 66 861 25 27 23 0.74/0.89 c 2470 13787 6168828 527081 66 863 25 29 24 0.74/0.89 c 2480 13854 6194056 529584 66 867 27 37 28 0.84/0.90 c 2490 13913 6224681 532140 66 870 25 30 25 0.84/0.90 c 2500 13957 6246634 533968 66 876 25 29 24 0.84/0.91 c 2510 14002 6271626 536210 66 877 22 26 21 0.84/0.91 c 2520 14064 6292882 537642 66 881 25 32 26 0.84/0.91 c 2530 14122 6318758 539876 66 883 23 27 23 0.84/0.91 c 2540 14164 6344171 542169 66 886 25 28 23 0.84/0.92 c 2550 14209 6364254 543529 66 889 23 26 22 0.84/0.92 c 2560 14249 6380424 544932 66 891 22 24 20 0.84/0.92 c 2570 14307 6410280 547768 66 894 28 34 27 0.84/0.93 c 2580 14360 6435623 549498 66 896 26 28 24 0.84/0.93 c 2590 14440 6459200 551150 66 900 28 35 28 0.84/0.93 c 2600 14483 6483689 553103 66 902 23 27 22 0.84/0.94 c 2610 14527 6502023 554550 66 904 25 25 22 0.84/0.94 c 2620 14573 6529094 557089 66 906 26 28 24 0.84/0.94 c 2630 14619 6549390 558414 66 908 23 26 22 0.84/0.95 c 2640 14670 6583471 561553 66 911 25 27 24 0.84/0.95 c 2650 14714 6607964 563510 66 912 23 27 22 0.84/0.95 c 2660 14757 6627419 564863 66 916 26 28 24 0.84/0.95 c 2670 14819 6649014 566278 66 918 27 31 26 0.84/0.96 c 2680 14865 6680887 569174 66 920 25 27 24 0.84/0.96 c 2690 14908 6704533 571127 66 922 23 27 22 0.84/0.96 c 2700 14949 6720709 572531 66 924 23 25 21 0.84/0.97 c 2710 14998 6741704 574018 66 925 26 28 24 0.84/0.97 c 2720 15053 6767216 575708 66 929 28 29 26 0.84/0.97 c 2730 15100 6790606 577549 66 934 24 28 23 0.84/0.98 c 2740 15143 6815183 579782 66 937 25 28 23 0.84/0.98 c 2750 15199 6837526 581607 66 940 17 29 23 0.84/0.98 c 2760 15241 6866189 583974 66 943 25 27 23 0.84/0.99 c 2770 15294 6891646 586278 66 948 22 27 21 0.84/0.99 c 2771 15319 6907899 587274 66 949 25 25 12 0.84/0.99 c 2780 15359 6930780 589166 66 951 26 28 24 0.84/1.00 c 2790 15408 6958366 592603 66 953 23 25 21 0.84/1.00 c 2800 15456 6985513 594847 66 958 25 29 24 0.84/1.00 c 2810 15501 7005158 596351 66 962 20 24 20 0.84/1.00 c 2820 15547 7027335 598076 66 964 26 29 25 0.95/1.01 c 2830 15583 7045922 600213 66 966 22 24 20 0.95/1.01 c 2840 15641 7072671 602501 66 969 30 32 27 0.95/1.02 c 2850 15701 7114291 605578 66 973 25 29 26 0.95/1.02 c 2860 15759 7137521 607459 66 976 25 35 26 0.95/1.02 c 2870 15818 7168046 609490 66 979 29 30 27 0.95/1.03 c 2880 15871 7188690 611044 66 981 25 30 24 0.95/1.03 c 2890 15922 7217815 613549 66 985 22 26 22 0.95/1.03 c 2900 16004 7243499 615317 66 987 26 32 27 0.95/1.04 c 2910 16055 7271167 617828 66 992 25 29 24 0.95/1.04 c 2920 16104 7293642 619318 66 996 24 25 22 0.95/1.04 c 2930 16160 7314134 620593 66 999 26 31 25 0.95/1.05 c 2940 16211 7340446 622649 66 1003 25 28 24 0.95/1.05 c 2950 16256 7366435 624836 66 1005 26 28 24 0.95/1.05 c 2960 16303 7390052 626815 66 1007 24 28 23 0.95/1.05 c 2970 16354 7416046 628999 66 1010 27 28 25 0.95/1.06 c 2980 16400 7442916 631341 66 1014 27 29 25 0.95/1.06 c 2990 16449 7466529 633229 66 1016 25 29 25 0.95/1.06 c 3000 16490 7484680 634607 66 1021 23 25 22 0.95/1.07 c 3010 16555 7510310 636781 66 1024 23 30 24 0.95/1.07 c 3020 16604 7537546 639315 66 1028 23 26 22 0.95/1.07 c 3030 16655 7567912 641679 66 1032 28 30 26 0.95/1.08 c 3040 16693 7590353 643472 66 1035 23 23 20 0.95/1.08 c 3050 16743 7619450 645945 66 1038 25 28 23 0.95/1.08 c 3060 16809 7647944 648099 66 1040 26 33 26 0.95/1.09 c 3070 16861 7672988 650793 66 1042 21 25 21 0.95/1.09 c 3080 16919 7700065 653182 66 1045 28 32 27 0.95/1.09 c 3090 16967 7719484 654498 66 1047 26 28 25 0.95/1.10 c 3100 17008 7741908 656443 66 1053 17 23 19 0.95/1.10 c 3110 17062 7767316 658691 66 1057 26 29 25 0.95/1.10 c 3120 17109 7787364 660123 66 1062 24 29 23 1.05/1.11 c 3130 17165 7813080 662302 66 1067 30 33 29 1.05/1.11 c 3140 17215 7834742 663804 66 1071 23 27 22 1.05/1.11 c 3142 17246 7853018 665043 66 1072 27 28 18 1.05/1.12 c 3150 17291 7876979 667120 66 1077 24 28 22 1.05/1.12 c 3160 17336 7895597 668650 66 1080 25 26 23 1.05/1.12 c 3170 17401 7923020 671148 66 1084 27 36 27 1.05/1.12 c 3180 17452 7948862 673281 66 1088 25 29 24 1.05/1.13 c 3190 17523 7970343 674633 66 1091 30 34 30 1.05/1.13 c 3200 17568 7993998 676591 66 1092 24 28 23 1.05/1.13 c 3210 17641 8017778 678294 66 1095 29 36 29 1.05/1.14 c 3220 17693 8045538 680774 66 1097 23 28 22 1.05/1.14 c 3230 17737 8065101 682320 66 1102 24 26 22 1.05/1.14 c 3240 17778 8091209 684563 66 1105 23 26 22 1.05/1.15 c 3250 17824 8109699 686095 66 1110 26 28 24 1.05/1.15 c 3260 17880 8135630 688188 66 1114 24 27 23 1.05/1.15 c 3270 17928 8154207 689691 66 1116 27 29 25 1.05/1.16 c 3280 17981 8185245 692318 66 1119 27 29 26 1.05/1.16 c 3290 18034 8207781 693903 66 1122 25 28 24 1.05/1.16 c 3300 18082 8226368 695457 66 1125 23 25 22 1.05/1.16 c 3310 18132 8247106 696851 66 1126 26 28 24 1.05/1.17 c 3320 18186 8274093 699311 66 1129 23 27 22 1.05/1.17 c 3330 18235 8297695 701341 66 1133 16 23 19 1.05/1.17 c 3340 18281 8316286 702991 66 1137 23 25 21 1.05/1.18 c 3350 18336 8337511 704328 66 1138 25 27 23 1.05/1.18 c 3360 18367 8357021 706358 66 1142 17 19 16 1.05/1.18 c 3370 18416 8381469 708204 66 1144 24 28 24 1.05/1.19 c 3380 18468 8412072 711019 66 1147 26 29 25 1.05/1.19 c 3390 18518 8441382 713491 66 1150 28 30 25 1.05/1.19 c 3400 18571 8467220 715792 66 1151 24 27 23 1.05/1.20 c 3410 18633 8490100 717381 66 1156 27 33 26 1.14/1.20 c 3420 18684 8513450 719094 66 1162 26 33 26 1.14/1.20 c 3430 18736 8536810 721129 66 1165 24 29 25 1.14/1.20 c 3440 18797 8558657 722640 66 1170 24 33 25 1.14/1.21 c 3450 18854 8580146 724089 66 1173 26 28 24 1.14/1.21 c 3460 18914 8607659 726725 66 1175 28 30 27 1.14/1.21 c 3470 18967 8635195 729002 66 1180 22 26 22 1.14/1.22 c 3480 19025 8662172 731329 66 1183 31 33 28 1.14/1.22 c 3490 19069 8685919 734047 66 1185 20 22 19 1.14/1.23 c 3500 19124 8711218 736067 66 1188 30 32 27 1.14/1.23 c 3510 19179 8739082 738334 66 1190 27 32 26 1.14/1.23 c 3520 19230 8760078 739646 66 1192 27 27 24 1.14/1.23 c 3530 19278 8782479 741973 66 1194 18 23 18 1.14/1.24 c 3540 19323 8800894 743444 66 1197 25 28 24 1.14/1.24 c 3550 19376 8822873 744931 66 1199 27 27 24 1.14/1.24 c 3551 19403 8836929 746027 66 1200 27 27 13 1.14/1.24 c 3560 19448 8857425 747656 66 1203 27 30 25 1.14/1.25 c 3570 19492 8880974 749744 66 1206 25 28 24 1.14/1.25 c 3580 19537 8902588 751993 66 1210 20 24 19 1.14/1.25 c 3590 19599 8926281 753866 66 1220 29 37 28 1.14/1.26 c 3600 19653 8951560 755836 66 1223 25 29 25 1.14/1.26 c 3610 19708 8977767 758325 66 1225 26 30 25 1.14/1.26 c 3620 19761 9002093 760337 66 1229 22 29 23 1.14/1.27 c 3630 19833 9028105 762350 66 1233 25 33 26 1.14/1.27 c 3640 19890 9050372 763977 66 1237 27 29 25 1.14/1.27 c 3650 19942 9076270 766245 66 1242 27 30 25 1.14/1.28 c 3660 20006 9098662 767796 66 1245 26 30 25 1.14/1.28 c 3670 20056 9128217 770216 66 1247 29 31 27 1.14/1.28 c 3680 20107 9154156 772725 66 1251 22 26 21 1.14/1.29 c 3690 20157 9183425 775225 66 1254 27 29 25 1.14/1.29 c 3700 20205 9206523 777722 66 1262 20 23 19 1.14/1.29 c 3710 20258 9233109 780114 66 1266 28 32 26 1.24/1.30 c 3720 20309 9259332 782522 66 1268 23 27 22 1.24/1.30 c 3730 20362 9293460 785664 66 1271 27 29 26 1.24/1.31 c 3740 20418 9314853 787083 66 1272 28 33 27 1.24/1.31 conflict 57lvl : 33 bt33-1387:0(798)X368968 1.24/1.31 -> -1387:X(798)c 3750 20483 9334682 788300 66 1277 34 34 30 1.24/1.31 c 3760 20548 9361131 790486 66 1280 28 36 29 1.24/1.31 c 3770 20591 9380405 791890 66 1283 23 26 22 1.24/1.32 c 3780 20644 9404051 793742 66 1292 25 33 24 1.24/1.32 c 3790 20697 9433749 796215 66 1295 24 29 23 1.24/1.32 c 3800 20742 9462406 798495 66 1297 28 30 26 1.24/1.33 conflict 71lvl : 22 bt22-892:0(716)X369755 1.24/1.33 c 3810 20803 9486570 800312 66 1299 22 32 22 1.24/1.33 c 3820 20849 9505647 802072 66 1302 21 23 20 1.24/1.33 c 3830 20911 9526275 803583 66 1304 27 33 27 1.24/1.34 c 3840 20956 9544244 805041 66 1306 25 28 24 1.24/1.34 c 3850 21002 9566583 806749 66 1307 27 30 25 1.24/1.34 c 3860 21054 9589946 808768 66 1311 23 28 23 1.24/1.34 conflict 49lvl : 26 bt26-1566:0(744)X370193 1.24/1.35 c 3870 21103 9618995 811403 66 1313 25 27 24 1.24/1.35 c 3880 21152 9642824 813368 66 1319 24 29 23 1.24/1.35 c 3890 21201 9675006 816442 66 1320 27 29 25 1.24/1.36 c 3900 21260 9702413 818624 66 1324 24 28 24 1.24/1.36 c 3910 21304 9724905 820506 66 1325 26 29 24 1.24/1.36 c 3920 21359 9750326 822525 66 1328 23 28 23 1.24/1.37 c 3930 21405 9772123 824196 66 1330 26 28 24 1.24/1.37 c 3940 21442 9789329 825583 66 1335 20 22 19 1.24/1.37 c 3950 21492 9815702 827807 66 1338 22 29 23 1.24/1.37 c 3960 21538 9835915 829199 66 1340 28 30 26 1.24/1.38 c 3970 21584 9863084 831504 66 1344 24 27 22 1.24/1.38 c 3980 21631 9881809 833069 66 1347 27 28 25 1.24/1.38 c 3990 21689 9904710 834613 66 1349 25 28 23 1.24/1.39 c 4000 21740 9928329 837075 66 1355 26 34 25 1.24/1.39 c 4001 21763 9941575 838056 66 1356 23 23 11 1.24/1.39 c 4010 21810 9959722 839599 66 1359 26 28 24 1.24/1.39 c 4020 21884 9984364 841420 66 1361 28 36 28 1.34/1.40 c 4030 21959 10006647 842909 66 1364 24 32 28 1.34/1.40 c 4040 22003 10027200 844317 66 1365 25 27 24 1.34/1.40 c 4050 22054 10053031 846437 66 1368 22 28 23 1.34/1.41 c 4060 22107 10076448 848626 66 1371 24 28 23 1.34/1.41 c 4070 22160 10100657 850324 66 1375 25 28 24 1.34/1.41 c 4080 22214 10120999 851938 66 1377 26 29 25 1.34/1.42 c 4090 22284 10154080 854628 66 1382 26 31 25 1.34/1.42 c 4100 22330 10175616 856051 66 1383 27 29 25 1.34/1.42 c 4110 22380 10199638 857767 66 1386 24 29 24 1.34/1.43 c 4120 22431 10220581 859037 66 1390 29 31 27 1.34/1.43 c 4130 22493 10248782 861627 66 1396 22 28 23 1.34/1.43 c 4140 22543 10272728 863534 66 1400 29 31 27 1.34/1.44 c 4150 22601 10302190 865918 66 1403 25 27 23 1.34/1.44 c 4160 22647 10325976 868281 66 1409 18 23 18 1.34/1.44 c 4170 22708 10352114 870599 66 1411 26 34 26 1.34/1.45 c 4180 22757 10378557 872875 66 1414 24 29 24 1.34/1.45 c 4190 22824 10405201 875501 66 1418 24 34 25 1.34/1.45 c 4200 22876 10431136 877964 66 1421 24 28 23 1.34/1.46 c 4210 22924 10449720 879537 66 1426 28 31 27 1.34/1.46 c 4220 22994 10474431 881452 66 1429 26 34 27 1.34/1.46 c 4230 23056 10500232 883583 66 1432 22 32 25 1.34/1.46 c 4240 23096 10516808 885005 66 1434 21 23 20 1.34/1.47 c 4250 23152 10542731 887256 66 1439 23 29 23 1.34/1.47 c 4260 23215 10569258 889645 66 1442 25 33 25 1.34/1.47 c 4270 23266 10590002 890932 66 1444 27 27 24 1.34/1.48 c 4280 23327 10615507 893246 66 1447 19 25 20 1.34/1.48 c 4290 23371 10637986 895043 66 1449 26 28 24 1.34/1.48 c 4300 23430 10660789 896930 66 1450 22 30 24 1.34/1.49 c 4310 23481 10680965 898520 66 1451 26 28 25 1.34/1.49 c 4320 23547 10702968 900070 66 1453 27 34 27 1.34/1.49 c 4330 23601 10729295 902507 66 1455 22 26 21 1.34/1.50 c 4340 23649 10751135 904151 66 1458 27 30 25 1.44/1.50 c 4350 23699 10775366 905906 66 1461 24 27 23 1.44/1.50 c 4360 23748 10799479 907853 66 1464 24 29 24 1.44/1.50 c 4370 23801 10819980 909477 66 1468 28 31 26 1.44/1.51 c 4380 23848 10843341 911378 66 1473 23 27 23 1.44/1.51 c 4390 23902 10867906 913226 66 1478 24 29 24 1.44/1.51 c 4400 23947 10885970 914741 66 1480 27 28 24 1.44/1.52 c 4410 24000 10909135 916740 66 1484 23 32 23 1.44/1.52 c 4420 24069 10932731 918474 66 1488 26 33 26 1.44/1.52 c 4430 24119 10953414 919896 66 1491 25 28 24 1.44/1.52 c 4440 24159 10969996 921309 66 1493 21 23 20 1.44/1.53 c 4450 24208 11000365 923991 66 1497 26 28 25 1.44/1.53 c 4460 24255 11023041 925700 66 1499 25 28 24 1.44/1.53 c 4470 24314 11043057 927029 66 1502 27 32 27 1.44/1.54 c 4480 24363 11068904 929226 66 1507 27 30 25 1.44/1.54 c 4490 24422 11089187 930620 66 1510 26 32 26 1.44/1.54 c 4493 24462 11107819 931926 66 1512 27 33 22 1.44/1.55 c 4500 24504 11128505 933422 66 1515 25 28 23 1.44/1.55 c 4510 24556 11153518 935627 66 1520 25 29 25 1.44/1.55 c 4520 24606 11173761 936934 66 1522 26 26 23 1.44/1.55 c 4530 24647 11191827 938637 66 1523 17 22 17 1.44/1.56 c 4540 24698 11213077 940033 66 1524 23 27 23 1.44/1.56 c 4550 24745 11241568 942574 66 1527 24 26 23 1.44/1.56 c 4560 24787 11265147 945095 66 1531 20 24 20 1.44/1.57 c 4570 24835 11285135 946850 66 1535 22 23 20 1.44/1.57 c 4580 24885 11315201 949378 66 1539 25 27 24 1.44/1.57 c 4590 24937 11336002 950699 66 1543 24 26 23 1.44/1.58 c 4600 24985 11365313 953245 66 1546 25 27 24 1.44/1.58 c 4610 25033 11390985 955614 66 1549 21 25 20 1.44/1.58 c 4620 25089 11417559 957963 66 1552 28 31 27 1.44/1.59 c 4630 25137 11436948 959228 66 1554 24 27 23 1.44/1.59 c 4640 25201 11465516 961720 66 1559 25 33 25 1.44/1.59 c 4650 25267 11492731 963796 66 1564 27 34 28 1.54/1.60 c 4660 25309 11515313 965801 66 1568 22 26 21 1.54/1.60 c 4670 25380 11537178 967315 66 1573 27 34 27 1.54/1.60 c 4680 25433 11559554 968847 66 1578 24 27 23 1.54/1.61 c 4690 25483 11582924 970694 66 1580 27 31 26 1.54/1.61 c 4700 25527 11606638 972659 66 1582 24 28 24 1.54/1.61 c 4710 25577 11638883 975583 66 1583 26 28 25 1.54/1.62 c 4720 25628 11668420 978124 66 1590 25 29 23 1.54/1.62 c 4730 25672 11691985 980805 66 1595 22 26 21 1.54/1.62 c 4740 25737 11712633 982194 66 1598 27 32 27 1.54/1.63 c 4750 25789 11734342 983458 66 1601 30 32 28 1.54/1.63 c 4760 25857 11755060 984829 66 1605 27 32 28 1.54/1.63 c 4770 25915 11775567 986439 66 1609 27 30 26 1.54/1.63 c 4780 25969 11796848 988017 66 1613 21 24 20 1.54/1.64 c 4790 26016 11827115 990866 66 1617 26 27 24 1.54/1.64 c 4800 26071 11859660 993621 66 1619 25 29 24 1.54/1.64 c 4810 26120 11879302 995383 66 1625 27 30 25 1.54/1.65 c 4820 26158 11900889 997176 66 1628 23 23 20 1.54/1.65 c 4830 26214 11929754 999645 66 1630 23 29 24 1.54/1.65 c 4840 26259 11960460 1002266 66 1632 27 29 25 1.54/1.66 c 4850 26313 11986235 1004826 66 1641 23 28 23 1.54/1.66 c 4860 26359 12007483 1006504 66 1645 27 30 25 1.54/1.66 c 4870 26416 12029130 1007922 66 1646 29 34 28 1.54/1.67 c 4880 26467 12046628 1009348 66 1650 20 32 24 1.54/1.67 c 4890 26522 12070216 1011555 66 1655 24 27 23 1.54/1.67 c 4900 26573 12091209 1012984 66 1657 24 24 21 1.54/1.68 c 4910 26628 12125332 1016023 66 1661 26 27 24 1.54/1.68 c 4920 26678 12148315 1017847 66 1664 20 26 22 1.54/1.68 c 4930 26743 12177233 1020241 66 1669 24 33 25 1.54/1.69 c 4940 26812 12206253 1022684 66 1673 25 28 24 1.54/1.69 c 4950 26875 12234001 1025171 66 1678 24 32 24 1.54/1.69 c 4960 26939 12262697 1027562 66 1680 23 28 23 1.64/1.70 c 4970 26991 12290672 1029953 66 1683 23 30 23 1.64/1.70 c 4980 27041 12320144 1032458 66 1686 25 27 24 1.64/1.71 c 4990 27079 12346417 1034697 66 1688 21 23 20 1.64/1.71 c 5035 27230 12425940 1042747 66 1691 24 29 26 1.64/1.78 c 5631 29428 13083746 1098980 66 1697 20 33 27 1.74/1.87 c 6286 31634 13827534 1178584 66 1708 26 37 30 1.84/1.94 c 7006 33830 14503684 1230419 66 1721 20 30 25 1.95/2.03 c 7798 36433 15318780 1306858 66 1727 25 35 29 2.05/2.13 c 8669 39515 16271684 1397857 66 1741 19 30 24 2.14/2.27 c 9627 43255 17506932 1517904 66 1749 20 31 26 2.24/2.39 c 10680 46701 18630032 1619814 66 1761 20 30 25 2.44/2.51 c 11838 51355 19780688 1710574 66 1771 17 31 25 2.54/2.68 c 13111 55516 21312174 1872486 66 1773 17 28 22 2.74/2.84 c 14511 60063 22810277 2009116 66 1782 14 26 20 2.95/3.03 c 16051 65316 24588997 2176580 66 1791 19 31 25 3.14/3.23 c 17745 71482 26393279 2336276 66 1802 21 32 28 3.34/3.47 c 19608 78645 28649380 2538809 66 1829 18 31 25 3.64/3.74 c 21657 85780 31146481 2799863 66 1838 16 29 23 3.95/4.01 c 23910 94212 33529595 3018687 66 1851 22 35 29 4.24/4.32 c 26388 103156 36439592 3282892 66 1868 19 30 25 4.54/4.62 c 29113 112115 39204672 3529446 66 1886 21 33 26 4.84/5.00 c 32110 121808 42783069 3869606 66 1896 17 29 23 5.24/5.38 c 35406 133622 46422091 4177337 66 1908 12 27 22 5.64/5.78 c 39031 144630 50299992 4555757 66 1929 18 29 22 6.14/6.24 c 43018 158097 54645439 4955694 66 1940 17 29 23 6.64/6.71 c 47403 173953 59048581 5355831 66 1951 15 27 22 7.14/7.23 c 52226 190805 64150733 5787433 66 1969 18 29 24 7.74/7.82 c 57531 210489 69778489 6305616 66 1981 14 28 22 8.54/8.62 c 63366 232341 77308175 7036461 66 1999 17 30 24 9.14/9.25 c 69784 253674 83336933 7551235 66 2009 13 28 22 9.95/10.05 c 76843 279107 91072389 8224130 66 2031 17 29 24 10.84/10.91 c 84607 307349 99186785 8954250 66 2042 16 30 24 11.95/12.06 c 93147 337270 109920686 10094409 66 2068 16 30 23 13.14/13.24 c 102541 371124 120917497 11259991 66 2076 21 33 27 14.24/14.38 c 112874 407759 131980911 12206917 66 2089 17 29 24 15.44/15.56 c 124240 450408 143131325 13198774 66 2112 19 32 27 16.74/16.86 c 136742 491577 155766095 14207820 66 2128 17 30 25 18.05/18.17 c 150494 540464 168463847 15134686 66 2152 15 30 24 20.05/20.12 c 165621 597518 187118208 16835660 66 2166 16 29 24 21.84/21.98 c 182260 657962 204652334 18419360 66 2188 20 34 27 24.14/24.27 c 200562 717614 226775064 20529227 66 2203 15 28 22 26.44/26.50 c 220694 793677 248083822 22299395 66 2231 19 32 26 29.14/29.20 c 242839 879709 273476047 24544706 66 2241 15 28 23 31.63/31.74 c 267198 966259 297834217 26559139 66 2255 19 33 28 34.53/34.65 c 293992 1059391 326118926 28969287 66 2272 16 29 24 37.63/37.75 c 323465 1168672 355812165 31356914 66 2291 19 33 27 41.43/41.50 c 355885 1289171 391732205 34419943 66 2305 15 28 23 45.53/45.67 c 391547 1409024 431251114 38124398 66 2320 16 30 24 50.13/50.23 c 430775 1542227 475179114 41842728 66 2333 13 28 21 54.73/54.84 c 473925 1694481 519715318 45571928 66 2345 15 29 24 60.04/60.11 c 521390 1853494 569216211 50321389 66 2360 19 33 26 65.83/65.95 c 573601 2036348 625538011 55204947 66 2376 13 28 22 71.94/72.05 c 631033 2248068 682974578 60262552 66 2394 15 29 23 79.94/80.06 c 694208 2484386 759175581 67173424 66 2415 14 28 22 87.93/88.03 c 763700 2723998 834578041 74341747 66 2440 16 31 24 97.63/97.70 c 840141 2988533 925303425 82968885 66 2454 14 29 23 106.52/106.61 c 924226 3318774 1011433733 89630982 66 2472 11 28 22 116.52/116.63 c 1016719 3652096 1106897326 97819032 66 2489 15 30 23 128.52/128.64 c 1118461 4022100 1221683487 107898620 66 2498 15 29 24 139.82/139.97 c 1230377 4447514 1330649013 116121012 66 2510 15 31 25 153.12/153.23 c 1353484 4895477 1459899880 126752839 66 2532 15 28 23 167.41/167.59 c 1488901 5400939 1596747625 138130490 66 2551 14 29 23 167.41/167.59 conflict 32lvl : 26 bt22-1671:0(738)X398252 182.81/182.90 c 1637859 5960409 1742609438 149904399 66 2570 14 29 24 200.21/200.35 c 1801712 6577278 1911595310 163478563 66 2585 11 28 21 219.92/220.06 c 1981950 7258402 2100731543 179037002 66 2595 17 32 26 243.21/243.31 c 2180211 7997338 2322636644 198590653 66 2609 11 28 22 267.60/267.73 c 2398298 8800662 2557859986 218574026 66 2615 10 26 20 293.80/293.90 c 2638193 9679011 2808190370 239465223 66 2644 12 29 21 321.50/321.69 c 2902077 10578042 3079558805 261725786 66 2669 11 28 22 352.19/352.34 c 3192349 11669041 3374451544 285263567 66 2687 9 26 21 386.29/386.48 c 3511648 12843861 3700039638 312193670 66 2714 15 32 24 422.89/423.02 c 3862876 14119677 4053820828 339022302 66 2734 10 28 20 464.89/465.03 c 4249226 15461547 4456808602 373443983 66 2766 15 32 24 509.28/509.46 c 4674211 16983229 4892791085 408597904 66 2783 13 28 23 558.88/559.10 c 5141694 18718634 5369158358 448153281 66 2802 14 30 24 621.57/621.72 c 5655925 20637410 5967928639 501319551 66 2828 13 28 22 681.66/681.88 c 6221579 22728451 6540218172 549441573 66 2846 11 29 21 750.15/750.33 c 6843798 25007945 7193912638 604021196 66 2862 11 28 20 822.64/822.87 c 7528238 27390030 7900491370 662299740 66 2896 13 28 23 906.63/906.81 c 8281122 30062961 8704648060 732116023 66 2933 12 29 21 987.43/987.60 c 9109294 32949105 9499513656 791504180 66 2951 11 29 21 1079.93/1080.17 c 10020283 36329028 10405773525 860744536 66 2966 13 28 24 1185.11/1185.36 c 11022370 40081744 11420916382 940813868 66 2982 10 26 20 1295.81/1296.10 c 12124665 44081231 12510052277 1021884824 66 2989 9 27 20 1426.69/1426.96 c 13337189 48548427 13769532186 1123770246 66 3022 13 28 22 1564.89/1565.14 c 14670965 53589342 15118973890 1226428591 66 3045 10 28 20 1715.78/1716.03 c 16138118 58816014 16583779543 1341587505 66 3065 11 28 22 1874.65/1874.91 c 17751986 65233147 18132384984 1444246810 66 3095 10 28 21 2048.94/2049.20 c 19527240 71690993 19841155160 1568219336 66 3114 9 28 21 2235.21/2235.51 c 21480019 78827162 21660694802 1696651943 66 3144 9 26 21 2479.38/2479.76 c 23628075 86552605 24017144187 1894529206 66 3163 12 28 23 2519.68/2520.00 2519.68/2520.00 c *** INTERRUPTED *** 2519.68/2520.00 c restarts : 605 2519.68/2520.00 c conflicts : 23999788 (9525 /sec) 2519.68/2520.00 c decisions : 87897019 (34884 /sec) 2519.68/2520.00 c propagations : 1927006164 (764784 /sec) 2519.68/2520.00 c root propagations : 280 2519.68/2520.00 c filter calls : 24400446155 (9683970 /sec) 2519.68/2520.00 c useless filter calls : 23215078581 (95 %) 2519.68/2520.00 c 2519.68/2520.00 c clauses : 74206 2519.68/2520.00 c SAT propagations : 2322 2519.68/2520.00 c SAT conflicts : 0 (5 learnts) 2519.68/2520.00 c Memory used : 34.39 MB 2519.68/2520.00 c CPU time : 2519.67 s 2519.68/2520.00 2519.68/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15050 MiB free)
memory of node 1: 16384 MiB (15285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266000-1502583882/watcher-4266000-1502583882 -o /tmp/evaluation-result-4266000-1502583882/solver-4266000-1502583882 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266000-1502583882.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12587, runsolver pid=12584
[startup+0.100106 s]*
/proc/loadavg: 1.89 1.96 2.02 3/188 12588
/proc/meminfo: memFree=31058644/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=34952 memory=9076 CPUtime=0.05 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 1959 0 0 0 5 0 0 0 20 0 1 0 158040949 35790848 2269 18446744073709551615 4194304 5972588 140727353522048 140727353518696 4913632 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8738 2269 756 435 0 2101 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 34952 KiB
Current children cumulated memory: 9076 KiB
[startup+0.209872 s]*
/proc/loadavg: 1.89 1.96 2.02 3/188 12588
/proc/meminfo: memFree=31058396/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9076 CPUtime=0.16 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 1960 0 0 0 16 0 0 0 20 0 1 0 158040949 35926016 2269 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913622 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2269 756 435 0 2134 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9076 KiB
[startup+0.309183 s]*
/proc/loadavg: 1.89 1.96 2.02 3/188 12588
/proc/meminfo: memFree=31057904/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9076 CPUtime=0.26 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 1960 0 0 0 26 0 0 0 20 0 1 0 158040949 35926016 2269 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913533 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2269 756 435 0 2134 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9076 KiB
[startup+0.700231 s]
/proc/loadavg: 1.89 1.96 2.02 3/188 12588
/proc/meminfo: memFree=31057904/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9076 CPUtime=0.64 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 1968 0 0 0 64 0 0 0 20 0 1 0 158040949 35926016 2269 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913537 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2269 756 435 0 2134 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9076 KiB
[startup+1.50023 s]
/proc/loadavg: 1.89 1.96 2.02 3/188 12588
/proc/meminfo: memFree=31057904/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9076 CPUtime=1.44 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 1974 0 0 0 144 0 0 0 20 0 1 0 158040949 35926016 2269 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913600 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2269 756 435 0 2134 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9076 KiB
[startup+3.10914 s]
/proc/loadavg: 1.90 1.96 2.02 4/188 12588
/proc/meminfo: memFree=31057904/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9312 CPUtime=3.05 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 2712 0 0 0 305 0 0 0 20 0 1 0 158040949 35926016 2328 18446744073709551615 4194304 5972588 140727353522048 140727353519352 5328641 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2328 778 435 0 2134 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9312 KiB
[startup+6.30022 s]
/proc/loadavg: 1.90 1.96 2.02 3/188 12588
/proc/meminfo: memFree=31057552/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9336 CPUtime=6.24 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 3446 0 0 0 624 0 0 0 20 0 1 0 158040949 35926016 2334 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913651 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2334 778 435 0 2134 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9336 KiB
[startup+12.7002 s]
/proc/loadavg: 1.91 1.96 2.02 3/188 12589
/proc/meminfo: memFree=31058480/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9344 CPUtime=12.64 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 3748 0 0 0 1264 0 0 0 20 0 1 0 158040949 35926016 2336 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913437 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2336 778 435 0 2134 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9344 KiB
[startup+25.5002 s]
/proc/loadavg: 1.93 1.97 2.02 3/188 12589
/proc/meminfo: memFree=31058580/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9356 CPUtime=25.44 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 4343 0 0 0 2544 0 0 0 20 0 1 0 158040949 35926016 2339 18446744073709551615 4194304 5972588 140727353522048 140727353519352 5320505 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2339 778 435 0 2134 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9356 KiB
[startup+51.1092 s]
/proc/loadavg: 2.02 1.98 2.03 3/188 12589
/proc/meminfo: memFree=31058768/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9360 CPUtime=51.04 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 4650 0 0 0 5104 0 0 0 20 0 1 0 158040949 35926016 2340 18446744073709551615 4194304 5972588 140727353522048 140727353519352 5320524 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2340 778 435 0 2134 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9360 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/185 12591
/proc/meminfo: memFree=31063032/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9372 CPUtime=102.22 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 4957 0 0 0 10222 0 0 0 20 0 1 0 158040949 35926016 2343 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913651 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2343 778 435 0 2134 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9372 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 12594
/proc/meminfo: memFree=31064084/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9380 CPUtime=162.21 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 5263 0 0 0 16221 0 0 0 20 0 1 0 158040949 35926016 2345 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913675 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2345 778 435 0 2134 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9380 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.97 2.02 3/185 12596
/proc/meminfo: memFree=31063848/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9384 CPUtime=222.21 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 5568 0 0 0 22221 0 0 0 20 0 1 0 158040949 35926016 2346 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913600 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2346 778 435 0 2134 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9384 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 1.98 2.02 3/185 12598
/proc/meminfo: memFree=31064348/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9388 CPUtime=282.2 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 5879 0 0 0 28220 0 0 0 20 0 1 0 158040949 35926016 2347 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4909333 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2347 778 435 0 2134 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9388 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/185 12600
/proc/meminfo: memFree=31064480/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9388 CPUtime=342.19 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 6189 0 0 0 34219 0 0 0 20 0 1 0 158040949 35926016 2347 18446744073709551615 4194304 5972588 140727353522048 140727353519352 5242113 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2347 778 435 0 2134 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9388 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 12603
/proc/meminfo: memFree=31064588/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9396 CPUtime=402.18 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 6497 0 0 0 40218 0 0 0 20 0 1 0 158040949 35926016 2349 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913724 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2349 778 435 0 2134 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9396 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/185 12605
/proc/meminfo: memFree=31064260/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35084 memory=9396 CPUtime=462.18 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 6805 0 0 0 46218 0 0 0 20 0 1 0 158040949 35926016 2349 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913632 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8771 2349 778 435 0 2134 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9396 KiB
################
# More data... #
################
/proc/12587/statm: 8803 2355 778 435 0 2166 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9420 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.10 2.06 3/185 12684
/proc/meminfo: memFree=31063124/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9420 CPUtime=1782.06 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 13243 0 0 0 178205 1 0 0 20 0 1 0 158040949 36057088 2355 18446744073709551615 4194304 5972588 140727353522048 140727353519352 5328641 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2355 778 435 0 2166 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9420 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/188 12700
/proc/meminfo: memFree=31057596/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9420 CPUtime=1842.05 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 13519 0 0 0 184204 1 0 0 20 0 1 0 158040949 36057088 2355 18446744073709551615 4194304 5972588 140727353522048 140727353519352 5244128 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2355 778 435 0 2166 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9420 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/185 12702
/proc/meminfo: memFree=31061056/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9420 CPUtime=1902.04 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 13822 0 0 0 190203 1 0 0 20 0 1 0 158040949 36057088 2355 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913724 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2355 778 435 0 2166 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9420 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/184 12704
/proc/meminfo: memFree=31061520/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=1962.04 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 14089 0 0 0 196203 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913729 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 12706
/proc/meminfo: memFree=31061772/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2022.04 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 14364 0 0 0 202203 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913442 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 12708
/proc/meminfo: memFree=31061984/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2082.03 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 14679 0 0 0 208202 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913632 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 12710
/proc/meminfo: memFree=31062112/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2142.03 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 14957 0 0 0 214202 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913709 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2202.3 s]
/proc/loadavg: 1.93 2.01 2.04 3/185 12713
/proc/meminfo: memFree=31061476/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2202.02 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 15228 0 0 0 220201 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913719 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2262.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 12715
/proc/meminfo: memFree=31061848/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2262.01 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 15540 0 0 0 226200 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913724 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2322.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/186 12718
/proc/meminfo: memFree=31061776/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2322 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 15822 0 0 0 232199 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913578 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/186 12720
/proc/meminfo: memFree=31062048/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2381.99 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 16101 0 0 0 238198 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4909251 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2442.3 s]
/proc/loadavg: 2.44 2.10 2.07 3/190 12759
/proc/meminfo: memFree=31055860/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9424 CPUtime=2441.98 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 16382 0 0 0 244197 1 0 0 20 0 1 0 158040949 36057088 2356 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4909230 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2356 778 435 0 2166 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9424 KiB
[startup+2502.3 s]
/proc/loadavg: 2.23 2.11 2.08 3/186 12761
/proc/meminfo: memFree=31058344/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9428 CPUtime=2501.97 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 16696 0 0 0 250196 1 0 0 20 0 1 0 158040949 36057088 2357 18446744073709551615 4194304 5972588 140727353522048 140727353519352 4913434 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2357 778 435 0 2166 0
Current children cumulated CPU time: 2501.97 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9428 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.16 2.11 2.07 3/186 12822
/proc/meminfo: memFree=31061556/32770624 swapFree=67108860/67108860
[pid=12587] ppid=12584 vsize=35212 memory=9428 CPUtime=2519.68 cores=0,2,4,6
/proc/12587/stat : 12587 (cosoco) R 12584 12587 7084 0 -1 4202496 16927 0 0 0 251967 1 0 0 20 0 1 0 158040949 36057088 2357 18446744073709551615 4194304 5972588 140727353522048 140727353519352 5328649 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 8070896 8075904 9854976 140727353528772 140727353528872 140727353528872 140727353532366 0
/proc/12587/statm: 8803 2357 778 435 0 2166 0
Current children cumulated CPU time: 2519.68 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 12587 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.67 s, system=0.013998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.69
CPU user time (s): 2519.67
CPU system time (s): 0.013998
CPU usage (%): 99.9872
Max. virtual memory (cumulated for all children) (KiB): 35212
Max. memory (cumulated for all children) (KiB): 9428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.67
system time used= 0.013998
maximum resident set size= 9504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16977
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= 7
involuntary context switches= 3211
# summary of solver processes directly reported to runsolver:
# pid: 12587
# total CPU time (s): 2519.69
# total CPU user time (s): 2519.67
# total CPU system time (s): 0.013998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.62497 second user time and 16.5038 second system time
The end
Begin job on node132 at 2017-08-13 02:10:17 IDJOB=4266000 IDBENCH=134578 IDSOLVER=2655 FILE ID=node132/4266000-1502583882 RUNJOBID= node132-1502565147-7148 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-6_X2.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266000-1502583882/watcher-4266000-1502583882 -o /tmp/evaluation-result-4266000-1502583882/solver-4266000-1502583882 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266000-1502583882.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fad96b2eb778b7f693e68e3d100e5397 RANDOM SEED=1227193417 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.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.74 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 : 2668.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.74 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 : 2668.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 : 2668.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.74 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 : 2668.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 : 2668.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.74 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 : 2668.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: 31063240 kB MemAvailable: 31953420 kB Buffers: 311764 kB Cached: 886844 kB SwapCached: 0 kB Active: 733536 kB Inactive: 532092 kB Active(anon): 67600 kB Inactive(anon): 49012 kB Active(file): 665936 kB Inactive(file): 483080 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2312 kB Writeback: 188 kB AnonPages: 66496 kB Mapped: 65928 kB Shmem: 49852 kB Slab: 141256 kB SReclaimable: 113996 kB SUnreclaim: 27260 kB KernelStack: 3344 kB PageTables: 5856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 362620 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 62028 MiB End job on node132 at 2017-08-13 02:52:17