| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.3799 | 2520.01 |
| Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07h-9_X2.xml |
| MD5SUM | 1a2530643870bd226f8d107acaf48581 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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.02 c SAT : Variables: 2102 -- Clauses: 23658 0.00/0.03 c root propagations : 280 0.00/0.03 c restarts enabled, print stats at every restarts 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c This is cosoco 1.12 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266002-1502583910.xml 0.00/0.03 c ========================================[ Problem Statistics ]=========================================== 0.00/0.03 c | 0.00/0.03 c | Parse time : 0.03 s 0.00/0.03 c | 0.00/0.03 c | Variables: 112 0.00/0.03 c | Domain Sizes: 1..28 0.00/0.03 c | 0.00/0.03 c | Constraints: 1262 0.00/0.03 c | Arity: 2..2 -- Binary: 1262 0.00/0.03 c | 0.00/0.03 c | Types: 0.00/0.03 c | Extension: 1262 (nb tuples: 0..378) -- (shared: 1252) 0.00/0.03 c | 0.00/0.03 c ========================================================================================================= 0.00/0.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c remove useless variable z[0] 0.00/0.03 c 10 77 16359 1562 66 2 53 59 51 0.00/0.03 c 20 161 30920 2801 66 3 61 65 56 0.00/0.04 c 30 250 44732 4022 66 5 53 72 62 0.00/0.04 c 40 346 59965 5230 66 7 57 78 66 0.00/0.04 c 50 444 74375 6522 66 9 17 78 55 0.00/0.04 c 60 546 90275 7839 66 14 14 79 24 0.00/0.04 c 70 657 111268 9551 66 19 17 82 26 0.00/0.05 c 80 712 133095 11093 66 21 20 28 22 0.00/0.05 c 90 751 157977 13184 66 26 18 22 18 0.00/0.05 c 100 801 177640 14825 66 31 22 24 21 0.00/0.05 c 101 825 192420 15879 66 32 24 24 12 0.00/0.06 c 110 865 213350 17548 66 34 22 25 21 0.00/0.06 c 120 907 238214 19923 66 36 23 25 22 0.00/0.06 c 130 967 261116 21438 66 41 26 32 26 0.00/0.07 c 140 1022 290326 23910 66 43 24 29 24 0.00/0.07 c 150 1083 313568 25801 66 47 24 34 25 0.00/0.07 c 160 1129 338502 28625 66 53 22 26 21 0.00/0.08 c 170 1175 363719 30937 66 55 25 29 24 0.00/0.08 c 180 1244 388426 32846 66 59 34 36 31 0.00/0.08 c 190 1300 414795 35126 66 62 23 29 23 0.00/0.09 c 200 1353 447318 38194 66 65 28 30 26 0.00/0.09 c 210 1406 472645 40472 66 69 27 30 25 0.00/0.09 c 211 1431 484999 41471 66 70 25 25 12 0.00/0.10 c 220 1482 501511 42763 66 73 24 29 25 0.00/0.10 c 230 1534 519742 44132 66 74 28 32 26 0.00/0.10 c 240 1589 538457 45436 66 79 26 35 31 0.00/0.10 c 250 1630 562385 47803 66 81 23 26 22 0.10/0.11 c 260 1685 580137 49057 66 83 24 28 23 0.10/0.11 c 270 1737 601319 50946 66 91 22 27 22 0.10/0.11 c 280 1783 621225 52385 66 96 22 24 21 0.10/0.11 c 290 1825 641167 54070 66 100 17 22 18 0.10/0.12 c 300 1888 663287 55628 66 103 22 30 25 0.10/0.12 c 310 1944 696154 58802 66 106 29 31 26 0.10/0.12 c 320 1980 714881 60298 66 107 19 22 18 0.10/0.13 c 330 2024 741046 62824 66 110 19 24 19 0.10/0.13 c 332 2047 753473 63854 66 112 21 21 14 0.10/0.13 c 340 2095 770725 65012 66 116 31 32 28 0.10/0.13 c 350 2165 793077 66662 66 122 20 30 23 0.10/0.14 c 360 2212 812227 67999 66 125 23 24 21 0.10/0.14 c 370 2248 833229 70102 66 126 22 24 20 0.10/0.14 c 380 2292 855070 72747 66 129 21 23 20 0.10/0.15 c 390 2353 886440 75724 66 132 28 34 26 0.10/0.15 c 400 2418 907912 77280 66 136 18 32 26 0.10/0.15 c 410 2481 938692 80251 66 139 29 36 27 0.10/0.16 c 420 2541 964733 82431 66 144 24 28 24 0.10/0.16 c 430 2578 985499 84935 66 147 20 22 19 0.10/0.16 c 440 2628 1009264 87564 66 152 25 29 24 0.10/0.17 c 450 2701 1032626 89108 66 156 29 33 28 0.10/0.17 c 460 2746 1058288 91678 66 157 21 26 21 0.10/0.17 c 465 2779 1079104 93401 66 159 26 26 21 0.10/0.18 c 470 2824 1096374 94539 66 162 31 33 27 0.10/0.18 c 480 2864 1119644 97292 66 165 21 24 20 0.10/0.18 c 490 2919 1152232 100696 66 168 28 31 25 0.10/0.19 c 500 2974 1179283 103480 66 174 22 24 20 0.10/0.19 c 510 3021 1200467 105117 66 175 27 30 26 0.10/0.19 c 520 3072 1227649 107693 66 179 25 29 24 0.10/0.20 c 530 3137 1253523 110006 66 183 29 37 29 0.10/0.20 c 540 3183 1277287 111916 66 186 24 28 23 0.10/0.20 c 550 3234 1295993 113637 66 192 18 26 20 0.10/0.20 c 560 3285 1315746 115222 66 196 29 30 27 0.10/0.21 c 570 3340 1332704 116387 66 201 29 35 31 0.10/0.21 c 580 3390 1360432 118733 66 205 23 27 22 0.10/0.21 c 590 3448 1382578 120441 66 207 22 27 23 0.21/0.22 c 600 3499 1413219 123195 66 210 27 30 26 0.21/0.22 c 610 3542 1436461 125287 66 213 24 26 22 0.21/0.22 c 611 3574 1454055 126458 66 214 32 32 16 0.21/0.23 c 620 3613 1474647 128726 66 219 21 23 20 0.21/0.23 c 630 3671 1507316 131607 66 222 23 27 23 0.21/0.23 c 640 3726 1526619 133186 66 224 22 25 21 0.21/0.24 c 650 3776 1549975 135456 66 228 20 33 21 0.21/0.24 c 660 3824 1571513 137219 66 232 21 24 20 0.21/0.24 c 670 3868 1597231 139394 66 235 25 26 23 0.21/0.24 c 680 3913 1623173 141971 66 236 21 26 21 0.21/0.25 c 690 3953 1648950 144346 66 238 22 23 20 0.21/0.25 c 700 4030 1670087 145809 66 242 29 31 27 0.21/0.25 c 710 4103 1698943 148417 66 245 23 28 24 0.21/0.26 c 720 4150 1728843 151027 66 248 29 30 26 0.21/0.26 c 730 4199 1755589 153882 66 253 21 26 21 0.21/0.26 c 740 4253 1776042 155303 66 257 25 28 24 0.21/0.27 c 750 4337 1799697 156933 66 261 27 31 27 0.21/0.27 c 760 4386 1821212 158763 66 265 22 26 22 0.21/0.27 c 770 4434 1840715 160120 66 269 30 32 28 0.21/0.27 c 771 4458 1854656 161182 66 270 24 24 12 0.21/0.28 c 780 4500 1876335 163204 66 273 23 24 21 0.21/0.28 c 790 4555 1900095 165248 66 276 32 35 30 0.21/0.28 c 800 4602 1926499 167449 66 278 23 27 23 0.21/0.29 c 810 4660 1947942 169372 66 283 21 37 26 0.21/0.29 c 820 4710 1977935 171985 66 286 32 33 29 0.21/0.29 c 830 4757 2001605 174036 66 291 23 27 23 0.21/0.30 c 840 4804 2025233 176306 66 292 24 25 22 0.21/0.30 c 850 4880 2047142 177768 66 294 30 34 30 0.21/0.30 c 860 4931 2078203 180616 66 297 32 34 29 0.21/0.31 c 870 4983 2102139 182724 66 301 24 28 24 0.21/0.31 c 880 5036 2132887 185350 66 304 34 36 31 0.31/0.31 c 890 5086 2160281 188308 66 306 23 26 22 0.31/0.32 c 900 5134 2188241 190913 66 309 30 31 27 0.31/0.32 c 910 5184 2214162 193257 66 312 22 25 21 0.31/0.33 c 920 5236 2241904 195635 66 317 31 33 29 0.31/0.33 c 930 5299 2272169 198336 66 321 22 28 23 0.31/0.33 c 940 5350 2300230 200746 66 323 33 35 30 0.31/0.34 c 947 5385 2321906 202799 66 327 25 27 22 0.31/0.34 c 950 5418 2339611 204453 66 328 29 29 21 0.31/0.34 c 960 5491 2360370 205734 66 334 31 34 30 0.31/0.34 c 970 5537 2387937 208138 66 336 29 31 27 0.31/0.35 c 980 5591 2418680 211005 66 340 25 28 24 0.31/0.35 c 990 5636 2445571 213255 66 341 30 32 27 0.31/0.36 c 1000 5695 2475699 215878 66 344 23 29 23 0.31/0.36 c 1010 5754 2495428 217192 66 348 29 38 33 0.31/0.36 c 1020 5802 2521822 219497 66 350 25 29 23 0.31/0.37 c 1030 5852 2546472 222193 66 355 29 33 28 0.31/0.37 c 1040 5901 2573098 224551 66 359 23 28 22 0.31/0.37 c 1050 5956 2596319 226348 66 363 30 34 29 0.31/0.38 c 1060 6009 2623122 228488 66 368 26 30 26 0.31/0.38 c 1070 6053 2649708 230843 66 371 29 31 27 0.31/0.38 c 1080 6097 2673178 233228 66 373 24 27 23 0.31/0.38 c 1090 6146 2695806 235812 66 379 25 33 24 0.31/0.39 c 1100 6207 2724139 238166 66 382 26 29 25 0.31/0.39 c 1110 6252 2749444 240612 66 384 26 28 25 0.31/0.39 c 1120 6307 2767974 241782 66 388 34 34 30 0.31/0.40 c 1130 6354 2792325 243939 66 396 28 32 26 0.31/0.40 c 1140 6420 2813995 245473 66 398 25 33 27 0.31/0.40 c 1141 6448 2827678 246455 66 399 28 28 14 0.31/0.41 c 1150 6488 2852080 248684 66 400 26 28 24 0.31/0.41 c 1160 6534 2879838 251136 66 402 29 31 27 0.41/0.41 c 1170 6596 2906733 253441 66 406 25 28 24 0.41/0.42 c 1180 6645 2937047 256202 66 411 28 30 26 0.41/0.42 c 1190 6695 2960843 258655 66 419 22 28 22 0.41/0.42 c 1200 6749 2988466 261105 66 425 28 30 26 0.41/0.43 c 1210 6811 3016403 263209 66 428 26 31 26 0.41/0.43 c 1220 6871 3042499 266062 66 431 18 24 20 0.41/0.43 c 1230 6925 3065113 267391 66 434 29 30 26 0.41/0.44 c 1240 7002 3094791 270518 66 436 24 26 22 0.41/0.44 c 1250 7052 3123455 273119 66 439 28 31 27 0.41/0.44 c 1260 7114 3150185 275704 66 442 23 28 23 0.41/0.45 c 1270 7150 3170702 277805 66 447 18 22 18 0.41/0.45 c 1280 7199 3196093 280322 66 452 28 32 27 0.41/0.45 c 1290 7249 3224752 282797 66 455 25 28 24 0.41/0.46 c 1300 7310 3253937 285679 66 457 31 35 29 0.41/0.46 c 1310 7355 3279820 287658 66 462 26 29 25 0.41/0.47 c 1320 7411 3310609 290098 66 465 28 34 29 0.41/0.47 c 1330 7466 3337476 292265 66 469 25 32 25 0.41/0.47 c 1340 7515 3362850 294306 66 470 30 33 28 0.41/0.48 c 1350 7568 3389746 296616 66 477 24 28 23 0.41/0.48 c 1352 7602 3406857 297800 66 479 28 33 20 0.41/0.48 c 1360 7656 3427591 299382 66 483 24 32 25 0.41/0.48 c 1370 7703 3452860 302095 66 490 28 32 27 0.41/0.49 c 1380 7770 3485762 305043 66 493 25 28 24 0.41/0.49 c 1390 7826 3518954 308559 66 496 30 32 27 0.41/0.50 c 1400 7881 3548031 311630 66 500 29 33 27 0.41/0.50 c 1410 7930 3584361 314588 66 503 24 27 22 0.41/0.50 c 1420 7983 3608627 316698 66 505 31 33 29 0.41/0.51 c 1430 8018 3629031 319131 66 508 17 23 19 0.41/0.51 c 1440 8080 3652239 320909 66 511 31 37 31 0.51/0.51 c 1450 8129 3682799 323506 66 515 25 28 23 0.51/0.52 c 1460 8181 3702337 324932 66 519 29 34 29 0.51/0.52 c 1470 8237 3730801 327637 66 523 23 27 23 0.51/0.52 c 1480 8289 3760820 330310 66 526 34 35 31 0.51/0.53 c 1490 8336 3788439 332993 66 530 30 31 27 0.51/0.53 c 1500 8384 3815250 335394 66 534 25 28 24 0.51/0.53 c 1510 8456 3836504 337062 66 539 32 41 34 0.51/0.54 c 1520 8512 3864261 339747 66 544 22 25 21 0.51/0.54 c 1530 8562 3888798 342256 66 548 30 32 28 0.51/0.54 c 1540 8620 3916752 344341 66 552 27 30 25 0.51/0.55 c 1550 8677 3944330 346548 66 558 26 31 25 0.51/0.55 c 1560 8726 3966478 348684 66 559 28 33 27 0.51/0.55 c 1570 8772 3981742 349871 66 563 28 32 27 0.51/0.56 c 1580 8816 4007270 352018 66 565 27 29 25 0.51/0.56 c 1585 8852 4026019 353615 66 568 26 29 22 0.51/0.56 c 1590 8880 4043297 355180 66 571 20 23 18 0.51/0.56 c 1600 8949 4066702 356946 66 575 32 41 32 0.51/0.57 c 1610 8992 4089269 359108 66 582 25 28 24 0.51/0.57 c 1620 9064 4110498 360332 66 586 33 41 36 0.51/0.57 c 1630 9111 4137083 363014 66 592 23 27 22 0.51/0.58 c 1640 9194 4157007 364375 66 595 32 39 34 0.51/0.58 c 1650 9257 4182101 366682 66 599 22 27 22 0.51/0.58 c 1660 9310 4205523 368755 66 602 33 37 31 0.51/0.59 c 1670 9355 4224011 370055 66 605 24 26 23 0.51/0.59 conflict 49lvl : 34 bt34-194:0(726)X350566 0.51/0.59 c 1680 9412 4251737 372561 66 607 31 35 29 0.51/0.59 c 1690 9461 4272273 374058 66 611 26 26 23 0.51/0.60 c 1700 9501 4299102 376612 66 615 23 25 21 0.51/0.60 c 1710 9552 4328194 379242 66 617 26 29 24 0.51/0.60 c 1720 9595 4346178 380835 66 620 25 28 24 0.60/0.60 c 1730 9639 4363542 382193 66 622 24 26 22 0.60/0.61 c 1740 9694 4388967 384795 66 625 23 28 23 0.60/0.61 c 1750 9752 4423656 387942 66 628 32 34 30 0.60/0.62 c 1760 9797 4449081 390331 66 631 25 28 23 0.60/0.62 c 1770 9845 4467717 391822 66 633 24 28 22 0.60/0.62 c 1780 9911 4488151 393194 66 635 25 34 25 0.60/0.62 c 1790 9954 4505707 394701 66 639 22 27 22 0.60/0.63 c 1800 10007 4524443 396036 66 644 21 32 27 0.60/0.63 c 1810 10071 4552161 398365 66 648 24 28 23 0.60/0.63 c 1820 10142 4572831 399773 66 650 28 33 27 0.60/0.64 c 1830 10186 4599066 402275 66 653 23 25 21 0.60/0.64 c 1840 10235 4622382 404315 66 657 30 34 28 0.60/0.64 c 1841 10259 4635374 405297 66 658 24 24 12 0.60/0.64 c 1850 10328 4655292 406508 66 661 30 37 32 0.60/0.65 c 1860 10370 4675044 407923 66 664 21 23 20 0.60/0.65 c 1870 10441 4699347 409849 66 665 32 40 31 0.60/0.65 c 1880 10486 4718779 411389 66 669 24 27 23 0.60/0.65 c 1890 10557 4741702 413049 66 673 30 39 30 0.60/0.66 c 1900 10598 4766099 415430 66 676 22 25 21 0.60/0.66 c 1910 10649 4785502 416802 66 679 24 29 24 0.60/0.66 c 1920 10700 4806851 418132 66 681 27 27 24 0.60/0.67 c 1930 10749 4833473 420229 66 685 25 28 24 0.60/0.67 c 1940 10835 4854941 421737 66 688 29 38 33 0.60/0.67 c 1950 10889 4884823 424338 66 691 24 26 22 0.60/0.68 c 1960 10954 4912931 426835 66 696 31 39 30 0.60/0.68 c 1970 11014 4934297 428250 66 699 27 32 27 0.60/0.68 c 1980 11067 4957092 430028 66 704 29 33 28 0.60/0.69 c 1990 11117 4978262 431534 66 707 22 24 21 0.60/0.69 c 2000 11183 5006033 434023 66 712 32 40 31 0.60/0.69 c 2010 11254 5027884 435365 66 715 27 32 28 0.69/0.70 c 2020 11309 5056846 437761 66 718 31 33 29 0.69/0.70 c 2030 11354 5076989 439244 66 723 23 25 21 0.69/0.70 c 2040 11414 5107248 442133 66 727 32 35 30 0.69/0.71 c 2050 11456 5131687 444235 66 729 22 26 22 0.69/0.71 c 2060 11503 5151007 445551 66 732 26 27 24 0.69/0.71 c 2070 11552 5175081 447562 66 736 21 26 22 0.69/0.71 c 2080 11601 5194385 448831 66 740 25 27 23 0.69/0.72 c 2090 11642 5219748 451213 66 743 22 24 20 0.69/0.72 c 2100 11707 5249506 453542 66 746 31 36 30 0.69/0.72 c 2110 11755 5271138 455240 66 750 23 28 23 0.69/0.73 c 2120 11822 5298339 458034 66 752 28 38 28 0.69/0.73 c 2122 11848 5312580 459106 66 754 21 24 15 0.69/0.73 c 2130 11902 5335397 460769 66 758 29 33 28 0.69/0.74 c 2140 11951 5358179 462535 66 761 23 28 23 0.69/0.74 c 2150 11996 5375109 463933 66 763 27 29 25 0.69/0.74 c 2160 12042 5394740 465551 66 765 19 21 18 0.69/0.74 c 2170 12091 5419360 468020 66 768 22 33 21 0.69/0.75 c 2180 12162 5444613 469745 66 772 29 37 29 0.69/0.75 c 2190 12208 5464730 471077 66 775 21 23 20 0.69/0.75 c 2200 12269 5490494 472985 66 779 31 33 28 0.69/0.76 c 2210 12310 5515327 475369 66 782 22 25 21 0.69/0.76 c 2220 12354 5533951 476847 66 785 24 25 22 0.69/0.76 c 2230 12399 5554165 478319 66 788 21 25 21 0.69/0.77 c 2240 12457 5573349 479664 66 793 21 34 26 0.69/0.77 c 2250 12525 5604584 482384 66 796 31 37 29 0.69/0.77 c 2260 12582 5627139 483830 66 799 26 27 24 0.69/0.78 c 2270 12642 5649094 485421 66 804 32 35 30 0.69/0.78 c 2280 12706 5670904 486790 66 805 29 31 27 0.69/0.78 c 2290 12767 5699807 489107 66 808 23 26 22 0.69/0.79 c 2300 12812 5723120 491008 66 812 22 26 22 0.69/0.79 c 2310 12867 5758212 494099 66 815 29 31 27 0.69/0.79 c 2320 12918 5781709 496117 66 819 22 27 22 0.79/0.80 c 2330 12984 5811981 498765 66 822 29 36 28 0.79/0.80 c 2340 13038 5838149 500597 66 825 23 26 22 0.79/0.80 c 2350 13102 5862510 502457 66 827 31 32 28 0.79/0.81 c 2360 13148 5886707 504593 66 830 22 26 22 0.79/0.81 c 2370 13207 5910427 506371 66 832 30 34 29 0.79/0.81 c 2380 13272 5937166 508432 66 836 23 30 24 0.79/0.82 c 2390 13321 5959688 510179 66 838 26 31 26 0.79/0.82 c 2400 13370 5984127 512163 66 841 21 27 22 0.79/0.82 c 2410 13434 6011723 514537 66 844 26 34 26 0.79/0.83 c 2420 13498 6035218 516082 66 846 28 31 27 0.79/0.83 c 2430 13545 6057101 518015 66 850 25 29 24 0.79/0.83 c 2431 13570 6071368 519001 66 851 25 25 12 0.79/0.83 c 2440 13628 6092602 520841 66 854 25 35 25 0.79/0.84 c 2450 13682 6117421 522741 66 857 22 27 22 0.79/0.84 c 2460 13726 6135319 524276 66 861 25 27 23 0.79/0.84 c 2470 13787 6168716 527081 66 863 25 29 24 0.79/0.85 c 2480 13854 6193944 529584 66 867 27 37 28 0.79/0.85 c 2490 13913 6224569 532140 66 870 25 30 25 0.79/0.85 c 2500 13957 6246522 533968 66 876 25 29 24 0.79/0.86 c 2510 14002 6271514 536210 66 877 22 26 21 0.79/0.86 c 2520 14064 6292770 537642 66 881 25 32 26 0.79/0.86 c 2530 14122 6318646 539876 66 883 23 27 23 0.79/0.87 c 2540 14164 6344059 542169 66 886 25 28 23 0.79/0.87 c 2550 14209 6364142 543529 66 889 23 26 22 0.79/0.87 c 2560 14249 6380312 544932 66 891 22 24 20 0.79/0.88 c 2570 14307 6410168 547768 66 894 28 34 27 0.79/0.88 c 2580 14360 6435511 549498 66 896 26 28 24 0.79/0.88 c 2590 14440 6459088 551150 66 900 28 35 28 0.79/0.89 c 2600 14483 6483577 553103 66 902 23 27 22 0.79/0.89 c 2610 14527 6501911 554550 66 904 25 25 22 0.79/0.89 c 2620 14573 6528982 557089 66 906 26 28 24 0.79/0.89 c 2630 14619 6549278 558414 66 908 23 26 22 0.89/0.90 c 2640 14670 6583359 561553 66 911 25 27 24 0.89/0.90 c 2650 14714 6607852 563510 66 912 23 27 22 0.89/0.90 c 2660 14757 6627307 564863 66 916 26 28 24 0.89/0.91 c 2670 14819 6648902 566278 66 918 27 31 26 0.89/0.91 c 2680 14865 6680775 569174 66 920 25 27 24 0.89/0.91 c 2690 14908 6704421 571127 66 922 23 27 22 0.89/0.92 c 2700 14949 6720597 572531 66 924 23 25 21 0.89/0.92 c 2710 14998 6741592 574018 66 925 26 28 24 0.89/0.92 c 2720 15053 6767104 575708 66 929 28 29 26 0.89/0.93 c 2730 15100 6790494 577549 66 934 24 28 23 0.89/0.93 c 2740 15143 6815071 579782 66 937 25 28 23 0.89/0.93 c 2750 15199 6837414 581607 66 940 17 29 23 0.89/0.94 c 2760 15241 6866077 583974 66 943 25 27 23 0.89/0.94 c 2770 15294 6891534 586278 66 948 22 27 21 0.89/0.94 c 2771 15319 6907787 587274 66 949 25 25 12 0.89/0.94 c 2780 15359 6930668 589166 66 951 26 28 24 0.89/0.95 c 2790 15408 6958254 592603 66 953 23 25 21 0.89/0.95 c 2800 15456 6985401 594847 66 958 25 29 24 0.89/0.95 c 2810 15501 7005046 596351 66 962 20 24 20 0.89/0.96 c 2820 15547 7027223 598076 66 964 26 29 25 0.89/0.96 c 2830 15583 7045810 600213 66 966 22 24 20 0.89/0.96 c 2840 15641 7072559 602501 66 969 30 32 27 0.89/0.97 c 2850 15701 7114179 605578 66 973 25 29 26 0.89/0.97 c 2860 15759 7137409 607459 66 976 25 35 26 0.89/0.98 c 2870 15818 7167934 609490 66 979 29 30 27 0.89/0.98 c 2880 15871 7188578 611044 66 981 25 30 24 0.89/0.98 c 2890 15922 7217703 613549 66 985 22 26 22 0.89/0.98 c 2900 16004 7243387 615317 66 987 26 32 27 0.89/0.99 c 2910 16055 7271055 617828 66 992 25 29 24 0.89/0.99 c 2920 16104 7293530 619318 66 996 24 25 22 0.89/0.99 c 2930 16160 7314022 620593 66 999 26 31 25 0.89/1.00 c 2940 16211 7340334 622649 66 1003 25 28 24 0.89/1.00 c 2950 16256 7366323 624836 66 1005 26 28 24 1.00/1.00 c 2960 16303 7389940 626815 66 1007 24 28 23 1.00/1.01 c 2970 16354 7415934 628999 66 1010 27 28 25 1.00/1.01 c 2980 16400 7442804 631341 66 1014 27 29 25 1.00/1.01 c 2990 16449 7466417 633229 66 1016 25 29 25 1.00/1.02 c 3000 16490 7484568 634607 66 1021 23 25 22 1.00/1.02 c 3010 16555 7510198 636781 66 1024 23 30 24 1.00/1.02 c 3020 16604 7537434 639315 66 1028 23 26 22 1.00/1.03 c 3030 16655 7567800 641679 66 1032 28 30 26 1.00/1.03 c 3040 16693 7590241 643472 66 1035 23 23 20 1.00/1.03 c 3050 16743 7619338 645945 66 1038 25 28 23 1.00/1.04 c 3060 16809 7647832 648099 66 1040 26 33 26 1.00/1.04 c 3070 16861 7672876 650793 66 1042 21 25 21 1.00/1.05 c 3080 16919 7699953 653182 66 1045 28 32 27 1.00/1.05 c 3090 16967 7719372 654498 66 1047 26 28 25 1.00/1.05 c 3100 17008 7741796 656443 66 1053 17 23 19 1.00/1.05 c 3110 17062 7767204 658691 66 1057 26 29 25 1.00/1.06 c 3120 17109 7787252 660123 66 1062 24 29 23 1.00/1.06 c 3130 17165 7812968 662302 66 1067 30 33 29 1.00/1.06 c 3140 17215 7834630 663804 66 1071 23 27 22 1.00/1.07 c 3142 17246 7852906 665043 66 1072 27 28 18 1.00/1.07 c 3150 17291 7876867 667120 66 1077 24 28 22 1.00/1.07 c 3160 17336 7895485 668650 66 1080 25 26 23 1.00/1.07 c 3170 17401 7922908 671148 66 1084 27 36 27 1.00/1.08 c 3180 17452 7948750 673281 66 1088 25 29 24 1.00/1.08 c 3190 17523 7970231 674633 66 1091 30 34 30 1.00/1.08 c 3200 17568 7993886 676591 66 1092 24 28 23 1.00/1.09 c 3210 17641 8017666 678294 66 1095 29 36 29 1.00/1.09 c 3220 17693 8045426 680774 66 1097 23 28 22 1.00/1.09 c 3230 17737 8064989 682320 66 1102 24 26 22 1.00/1.10 c 3240 17778 8091097 684563 66 1105 23 26 22 1.00/1.10 c 3250 17824 8109587 686095 66 1110 26 28 24 1.00/1.10 c 3260 17880 8135518 688188 66 1114 24 27 23 1.10/1.11 c 3270 17928 8154095 689691 66 1116 27 29 25 1.10/1.11 c 3280 17981 8185133 692318 66 1119 27 29 26 1.10/1.11 c 3290 18034 8207669 693903 66 1122 25 28 24 1.10/1.11 c 3300 18082 8226256 695457 66 1125 23 25 22 1.10/1.12 c 3310 18132 8246994 696851 66 1126 26 28 24 1.10/1.12 c 3320 18186 8273981 699311 66 1129 23 27 22 1.10/1.12 c 3330 18235 8297583 701341 66 1133 16 23 19 1.10/1.13 c 3340 18281 8316174 702991 66 1137 23 25 21 1.10/1.13 c 3350 18336 8337399 704328 66 1138 25 27 23 1.10/1.13 c 3360 18367 8356909 706358 66 1142 17 19 16 1.10/1.13 c 3370 18416 8381357 708204 66 1144 24 28 24 1.10/1.14 c 3380 18468 8411960 711019 66 1147 26 29 25 1.10/1.14 c 3390 18518 8441270 713491 66 1150 28 30 25 1.10/1.15 c 3400 18571 8467108 715792 66 1151 24 27 23 1.10/1.15 c 3410 18633 8489988 717381 66 1156 27 33 26 1.10/1.15 c 3420 18684 8513338 719094 66 1162 26 33 26 1.10/1.15 c 3430 18736 8536698 721129 66 1165 24 29 25 1.10/1.16 c 3440 18797 8558545 722640 66 1170 24 33 25 1.10/1.16 c 3450 18854 8580034 724089 66 1173 26 28 24 1.10/1.16 c 3460 18914 8607547 726725 66 1175 28 30 27 1.10/1.17 c 3470 18967 8635083 729002 66 1180 22 26 22 1.10/1.17 c 3480 19025 8662060 731329 66 1183 31 33 28 1.10/1.17 c 3490 19069 8685807 734047 66 1185 20 22 19 1.10/1.18 c 3500 19124 8711106 736067 66 1188 30 32 27 1.10/1.18 c 3510 19179 8738970 738334 66 1190 27 32 26 1.10/1.18 c 3520 19230 8759966 739646 66 1192 27 27 24 1.10/1.19 c 3530 19278 8782367 741973 66 1194 18 23 18 1.10/1.19 c 3540 19323 8800782 743444 66 1197 25 28 24 1.10/1.19 c 3550 19376 8822761 744931 66 1199 27 27 24 1.10/1.20 c 3551 19403 8836817 746027 66 1200 27 27 13 1.19/1.20 c 3560 19448 8857313 747656 66 1203 27 30 25 1.19/1.20 c 3570 19492 8880862 749744 66 1206 25 28 24 1.19/1.20 c 3580 19537 8902476 751993 66 1210 20 24 19 1.19/1.21 c 3590 19599 8926169 753866 66 1220 29 37 28 1.19/1.21 c 3600 19653 8951448 755836 66 1223 25 29 25 1.19/1.21 c 3610 19708 8977655 758325 66 1225 26 30 25 1.19/1.22 c 3620 19761 9001981 760337 66 1229 22 29 23 1.19/1.22 c 3630 19833 9027993 762350 66 1233 25 33 26 1.19/1.22 c 3640 19890 9050260 763977 66 1237 27 29 25 1.19/1.23 c 3650 19942 9076158 766245 66 1242 27 30 25 1.19/1.23 c 3660 20006 9098550 767796 66 1245 26 30 25 1.19/1.23 c 3670 20056 9128105 770216 66 1247 29 31 27 1.19/1.24 c 3680 20107 9154044 772725 66 1251 22 26 21 1.19/1.24 c 3690 20157 9183313 775225 66 1254 27 29 25 1.19/1.24 c 3700 20205 9206411 777722 66 1262 20 23 19 1.19/1.25 c 3710 20258 9232997 780114 66 1266 28 32 26 1.19/1.25 c 3720 20309 9259220 782522 66 1268 23 27 22 1.19/1.26 c 3730 20362 9293348 785664 66 1271 27 29 26 1.19/1.26 c 3740 20418 9314741 787083 66 1272 28 33 27 1.19/1.26 conflict 57lvl : 33 bt33-1387:0(798)X368968 1.19/1.26 -> -1387:X(798)c 3750 20483 9334570 788300 66 1277 34 34 30 1.19/1.26 c 3760 20548 9361019 790486 66 1280 28 36 29 1.19/1.27 c 3770 20591 9380293 791890 66 1283 23 26 22 1.19/1.27 c 3780 20644 9403939 793742 66 1292 25 33 24 1.19/1.27 c 3790 20697 9433637 796215 66 1295 24 29 23 1.19/1.28 c 3800 20742 9462294 798495 66 1297 28 30 26 1.19/1.28 conflict 71lvl : 22 bt22-892:0(716)X369755 1.19/1.28 c 3810 20803 9486458 800312 66 1299 22 32 22 1.19/1.28 c 3820 20849 9505535 802072 66 1302 21 23 20 1.19/1.29 c 3830 20911 9526163 803583 66 1304 27 33 27 1.19/1.29 c 3840 20956 9544132 805041 66 1306 25 28 24 1.19/1.29 c 3850 21002 9566471 806749 66 1307 27 30 25 1.19/1.30 c 3860 21054 9589834 808768 66 1311 23 28 23 1.29/1.30 conflict 49lvl : 26 bt26-1566:0(744)X370193 1.29/1.30 c 3870 21103 9618883 811403 66 1313 25 27 24 1.29/1.30 c 3880 21152 9642712 813368 66 1319 24 29 23 1.29/1.31 c 3890 21201 9674894 816442 66 1320 27 29 25 1.29/1.31 c 3900 21260 9702301 818624 66 1324 24 28 24 1.29/1.31 c 3910 21304 9724793 820506 66 1325 26 29 24 1.29/1.32 c 3920 21359 9750214 822525 66 1328 23 28 23 1.29/1.32 c 3930 21405 9772011 824196 66 1330 26 28 24 1.29/1.32 c 3940 21442 9789217 825583 66 1335 20 22 19 1.29/1.33 c 3950 21492 9815590 827807 66 1338 22 29 23 1.29/1.33 c 3960 21538 9835803 829199 66 1340 28 30 26 1.29/1.33 c 3970 21584 9862972 831504 66 1344 24 27 22 1.29/1.33 c 3980 21631 9881697 833069 66 1347 27 28 25 1.29/1.34 c 3990 21689 9904598 834613 66 1349 25 28 23 1.29/1.34 c 4000 21740 9928217 837075 66 1355 26 34 25 1.29/1.34 c 4001 21763 9941463 838056 66 1356 23 23 11 1.29/1.34 c 4010 21810 9959610 839599 66 1359 26 28 24 1.29/1.35 c 4020 21884 9984252 841420 66 1361 28 36 28 1.29/1.35 c 4030 21959 10006535 842909 66 1364 24 32 28 1.29/1.35 c 4040 22003 10027088 844317 66 1365 25 27 24 1.29/1.36 c 4050 22054 10052919 846437 66 1368 22 28 23 1.29/1.36 c 4060 22107 10076336 848626 66 1371 24 28 23 1.29/1.36 c 4070 22160 10100545 850324 66 1375 25 28 24 1.29/1.37 c 4080 22214 10120887 851938 66 1377 26 29 25 1.29/1.37 c 4090 22284 10153968 854628 66 1382 26 31 25 1.29/1.37 c 4100 22330 10175504 856051 66 1383 27 29 25 1.29/1.38 c 4110 22380 10199526 857767 66 1386 24 29 24 1.29/1.38 c 4120 22431 10220469 859037 66 1390 29 31 27 1.29/1.38 c 4130 22493 10248670 861627 66 1396 22 28 23 1.29/1.39 c 4140 22543 10272616 863534 66 1400 29 31 27 1.29/1.39 c 4150 22601 10302078 865918 66 1403 25 27 23 1.29/1.39 c 4160 22647 10325864 868281 66 1409 18 23 18 1.39/1.40 c 4170 22708 10352002 870599 66 1411 26 34 26 1.39/1.40 c 4180 22757 10378445 872875 66 1414 24 29 24 1.39/1.40 c 4190 22824 10405089 875501 66 1418 24 34 25 1.39/1.41 c 4200 22876 10431024 877964 66 1421 24 28 23 1.39/1.41 c 4210 22924 10449608 879537 66 1426 28 31 27 1.39/1.41 c 4220 22994 10474319 881452 66 1429 26 34 27 1.39/1.42 c 4230 23056 10500120 883583 66 1432 22 32 25 1.39/1.42 c 4240 23096 10516696 885005 66 1434 21 23 20 1.39/1.42 c 4250 23152 10542619 887256 66 1439 23 29 23 1.39/1.42 c 4260 23215 10569146 889645 66 1442 25 33 25 1.39/1.43 c 4270 23266 10589890 890932 66 1444 27 27 24 1.39/1.43 c 4280 23327 10615395 893246 66 1447 19 25 20 1.39/1.43 c 4290 23371 10637874 895043 66 1449 26 28 24 1.39/1.44 c 4300 23430 10660677 896930 66 1450 22 30 24 1.39/1.44 c 4310 23481 10680853 898520 66 1451 26 28 25 1.39/1.44 c 4320 23547 10702856 900070 66 1453 27 34 27 1.39/1.45 c 4330 23601 10729183 902507 66 1455 22 26 21 1.39/1.45 c 4340 23649 10751023 904151 66 1458 27 30 25 1.39/1.45 c 4350 23699 10775254 905906 66 1461 24 27 23 1.39/1.46 c 4360 23748 10799367 907853 66 1464 24 29 24 1.39/1.46 c 4370 23801 10819868 909477 66 1468 28 31 26 1.39/1.46 c 4380 23848 10843229 911378 66 1473 23 27 23 1.39/1.46 c 4390 23902 10867794 913226 66 1478 24 29 24 1.39/1.47 c 4400 23947 10885858 914741 66 1480 27 28 24 1.39/1.47 c 4410 24000 10909023 916740 66 1484 23 32 23 1.39/1.47 c 4420 24069 10932619 918474 66 1488 26 33 26 1.39/1.48 c 4430 24119 10953302 919896 66 1491 25 28 24 1.39/1.48 c 4440 24159 10969884 921309 66 1493 21 23 20 1.39/1.48 c 4450 24208 11000253 923991 66 1497 26 28 25 1.39/1.48 c 4460 24255 11022929 925700 66 1499 25 28 24 1.39/1.49 c 4470 24314 11042945 927029 66 1502 27 32 27 1.39/1.49 c 4480 24363 11068792 929226 66 1507 27 30 25 1.39/1.49 c 4490 24422 11089075 930620 66 1510 26 32 26 1.49/1.50 c 4493 24462 11107707 931926 66 1512 27 33 22 1.49/1.50 c 4500 24504 11128393 933422 66 1515 25 28 23 1.49/1.50 c 4510 24556 11153406 935627 66 1520 25 29 25 1.49/1.51 c 4520 24606 11173649 936934 66 1522 26 26 23 1.49/1.51 c 4530 24647 11191715 938637 66 1523 17 22 17 1.49/1.51 c 4540 24698 11212965 940033 66 1524 23 27 23 1.49/1.51 c 4550 24745 11241456 942574 66 1527 24 26 23 1.49/1.52 c 4560 24787 11265035 945095 66 1531 20 24 20 1.49/1.52 c 4570 24835 11285023 946850 66 1535 22 23 20 1.49/1.52 c 4580 24885 11315089 949378 66 1539 25 27 24 1.49/1.53 c 4590 24937 11335890 950699 66 1543 24 26 23 1.49/1.53 c 4600 24985 11365201 953245 66 1546 25 27 24 1.49/1.53 c 4610 25033 11390873 955614 66 1549 21 25 20 1.49/1.54 c 4620 25089 11417447 957963 66 1552 28 31 27 1.49/1.54 c 4630 25137 11436836 959228 66 1554 24 27 23 1.49/1.54 c 4640 25201 11465404 961720 66 1559 25 33 25 1.49/1.55 c 4650 25267 11492619 963796 66 1564 27 34 28 1.49/1.55 c 4660 25309 11515201 965801 66 1568 22 26 21 1.49/1.55 c 4670 25380 11537066 967315 66 1573 27 34 27 1.49/1.56 c 4680 25433 11559442 968847 66 1578 24 27 23 1.49/1.56 c 4690 25483 11582812 970694 66 1580 27 31 26 1.49/1.56 c 4700 25527 11606526 972659 66 1582 24 28 24 1.49/1.57 c 4710 25577 11638771 975583 66 1583 26 28 25 1.49/1.57 c 4720 25628 11668308 978124 66 1590 25 29 23 1.49/1.57 c 4730 25672 11691873 980805 66 1595 22 26 21 1.49/1.58 c 4740 25737 11712521 982194 66 1598 27 32 27 1.49/1.58 c 4750 25789 11734230 983458 66 1601 30 32 28 1.49/1.58 c 4760 25857 11754948 984829 66 1605 27 32 28 1.49/1.58 c 4770 25915 11775455 986439 66 1609 27 30 26 1.49/1.59 c 4780 25969 11796736 988017 66 1613 21 24 20 1.49/1.59 c 4790 26016 11827003 990866 66 1617 26 27 24 1.59/1.60 c 4800 26071 11859548 993621 66 1619 25 29 24 1.59/1.60 c 4810 26120 11879190 995383 66 1625 27 30 25 1.59/1.60 c 4820 26158 11900777 997176 66 1628 23 23 20 1.59/1.61 c 4830 26214 11929642 999645 66 1630 23 29 24 1.59/1.61 c 4840 26259 11960348 1002266 66 1632 27 29 25 1.59/1.61 c 4850 26313 11986123 1004826 66 1641 23 28 23 1.59/1.62 c 4860 26359 12007371 1006504 66 1645 27 30 25 1.59/1.62 c 4870 26416 12029018 1007922 66 1646 29 34 28 1.59/1.62 c 4880 26467 12046516 1009348 66 1650 20 32 24 1.59/1.62 c 4890 26522 12070104 1011555 66 1655 24 27 23 1.59/1.63 c 4900 26573 12091097 1012984 66 1657 24 24 21 1.59/1.63 c 4910 26628 12125220 1016023 66 1661 26 27 24 1.59/1.63 c 4920 26678 12148203 1017847 66 1664 20 26 22 1.59/1.64 c 4930 26743 12177121 1020241 66 1669 24 33 25 1.59/1.64 c 4940 26812 12206141 1022684 66 1673 25 28 24 1.59/1.65 c 4950 26875 12233889 1025171 66 1678 24 32 24 1.59/1.65 c 4960 26939 12262585 1027562 66 1680 23 28 23 1.59/1.65 c 4970 26991 12290560 1029953 66 1683 23 30 23 1.59/1.66 c 4980 27041 12320032 1032458 66 1686 25 27 24 1.59/1.66 c 4990 27079 12346305 1034697 66 1688 21 23 20 1.59/1.67 c 5035 27230 12425828 1042747 66 1691 24 29 26 1.69/1.74 c 5631 29428 13083634 1098980 66 1697 20 33 27 1.79/1.82 c 6286 31634 13827422 1178584 66 1708 26 37 30 1.79/1.89 c 7006 33830 14503572 1230419 66 1721 20 30 25 1.89/1.98 c 7798 36433 15318668 1306858 66 1727 25 35 29 2.00/2.09 c 8669 39515 16271572 1397857 66 1741 19 30 24 2.19/2.22 c 9627 43255 17506820 1517904 66 1749 20 31 26 2.29/2.34 c 10680 46701 18629920 1619814 66 1761 20 30 25 2.39/2.47 c 11838 51355 19780576 1710574 66 1771 17 31 25 2.59/2.64 c 13111 55516 21312062 1872486 66 1773 17 28 22 2.79/2.80 c 14511 60063 22810165 2009116 66 1782 14 26 20 2.89/2.99 c 16051 65316 24588885 2176580 66 1791 19 31 25 3.10/3.19 c 17745 71482 26393167 2336276 66 1802 21 32 28 3.39/3.43 c 19608 78645 28649268 2538809 66 1829 18 31 25 3.69/3.70 c 21657 85780 31146369 2799863 66 1838 16 29 23 3.89/3.97 c 23910 94212 33529483 3018687 66 1851 22 35 29 4.19/4.28 c 26388 103156 36439480 3282892 66 1868 19 30 25 4.49/4.58 c 29113 112115 39204560 3529446 66 1886 21 33 26 4.89/4.97 c 32110 121808 42782957 3869606 66 1896 17 29 23 5.29/5.36 c 35406 133622 46421979 4177337 66 1908 12 27 22 5.69/5.78 c 39031 144630 50299880 4555757 66 1929 18 29 22 6.19/6.24 c 43018 158097 54645327 4955694 66 1940 17 29 23 6.69/6.73 c 47403 173953 59048469 5355831 66 1951 15 27 22 7.19/7.26 c 52226 190805 64150621 5787433 66 1969 18 29 24 7.78/7.88 c 57531 210489 69778377 6305616 66 1981 14 28 22 8.58/8.69 c 63366 232341 77308063 7036461 66 1999 17 30 24 9.28/9.34 c 69784 253674 83336821 7551235 66 2009 13 28 22 10.09/10.16 c 76843 279107 91072277 8224130 66 2031 17 29 24 10.99/11.05 c 84607 307349 99186673 8954250 66 2042 16 30 24 12.18/12.22 c 93147 337270 109920574 10094409 66 2068 16 30 23 13.38/13.44 c 102541 371124 120917385 11259991 66 2076 21 33 27 14.58/14.61 c 112874 407759 131980799 12206917 66 2089 17 29 24 15.78/15.84 c 124240 450408 143131213 13198774 66 2112 19 32 27 17.09/17.17 c 136742 491577 155765983 14207820 66 2128 17 30 25 18.48/18.52 c 150494 540464 168463735 15134686 66 2152 15 30 24 20.48/20.52 c 165621 597518 187118096 16835660 66 2166 16 29 24 22.38/22.44 c 182260 657962 204652222 18419360 66 2188 20 34 27 24.68/24.79 c 200562 717614 226774952 20529227 66 2203 15 28 22 26.99/27.10 c 220694 793677 248083710 22299395 66 2231 19 32 26 29.78/29.87 c 242839 879709 273475935 24544706 66 2241 15 28 23 32.38/32.49 c 267198 966259 297834105 26559139 66 2255 19 33 28 35.38/35.47 c 293992 1059391 326118814 28969287 66 2272 16 29 24 38.58/38.66 c 323465 1168672 355812053 31356914 66 2291 19 33 27 42.47/42.51 c 355885 1289171 391732093 34419943 66 2305 15 28 23 46.77/46.81 c 391547 1409024 431251002 38124398 66 2320 16 30 24 51.37/51.49 c 430775 1542227 475179002 41842728 66 2333 13 28 21 56.17/56.21 c 473925 1694481 519715206 45571928 66 2345 15 29 24 61.57/61.66 c 521390 1853494 569216099 50321389 66 2360 19 33 26 67.57/67.63 c 573601 2036348 625537899 55204947 66 2376 13 28 22 73.87/73.92 c 631033 2248068 682974466 60262552 66 2394 15 29 23 82.07/82.12 c 694208 2484386 759175469 67173424 66 2415 14 28 22 90.26/90.36 c 763700 2723998 834577929 74341747 66 2440 16 31 24 100.16/100.28 c 840141 2988533 925303313 82968885 66 2454 14 29 23 109.36/109.40 c 924226 3318774 1011433621 89630982 66 2472 11 28 22 119.65/119.75 c 1016719 3652096 1106897214 97819032 66 2489 15 30 23 132.06/132.12 c 1118461 4022100 1221683375 107898620 66 2498 15 29 24 143.65/143.79 c 1230377 4447514 1330648901 116121012 66 2510 15 31 25 157.25/157.38 c 1353484 4895477 1459899768 126752839 66 2532 15 28 23 172.14/172.22 c 1488901 5400939 1596747513 138130490 66 2551 14 29 23 172.14/172.22 conflict 32lvl : 26 bt22-1671:0(738)X398252 187.95/188.02 c 1637859 5960409 1742609326 149904399 66 2570 14 29 24 205.84/205.92 c 1801712 6577278 1911595198 163478563 66 2585 11 28 21 226.24/226.38 c 1981950 7258402 2100731431 179037002 66 2595 17 32 26 250.23/250.32 c 2180211 7997338 2322636532 198590653 66 2609 11 28 22 275.42/275.56 c 2398298 8800662 2557859874 218574026 66 2615 10 26 20 302.52/302.63 c 2638193 9679011 2808190258 239465223 66 2644 12 29 21 330.92/331.05 c 2902077 10578042 3079558693 261725786 66 2669 11 28 22 362.60/362.72 c 3192349 11669041 3374451432 285263567 66 2687 9 26 21 397.90/398.02 c 3511648 12843861 3700039526 312193670 66 2714 15 32 24 435.38/435.56 c 3862876 14119677 4053820716 339022302 66 2734 10 28 20 478.98/479.16 c 4249226 15461547 4456808490 373443983 66 2766 15 32 24 524.87/525.04 c 4674211 16983229 4892790973 408597904 66 2783 13 28 23 576.35/576.53 c 5141694 18718634 5369158246 448153281 66 2802 14 30 24 640.73/640.97 c 5655925 20637410 5967928527 501319551 66 2828 13 28 22 702.93/703.11 c 6221579 22728451 6540218060 549441573 66 2846 11 29 21 773.61/773.87 c 6843798 25007945 7193912526 604021196 66 2862 11 28 20 847.90/848.19 c 7528238 27390030 7900491258 662299740 66 2896 13 28 23 934.97/935.25 c 8281122 30062961 8704647948 732116023 66 2933 12 29 21 1017.95/1018.29 c 9109294 32949105 9499513544 791504180 66 2951 11 29 21 1113.23/1113.56 c 10020283 36329028 10405773413 860744536 66 2966 13 28 24 1222.50/1222.80 c 11022370 40081744 11420916270 940813868 66 2982 10 26 20 1336.47/1336.82 c 12124665 44081231 12510052165 1021884824 66 2989 9 27 20 1472.24/1472.66 c 13337189 48548427 13769532074 1123770246 66 3022 13 28 22 1613.72/1614.15 c 14670965 53589342 15118973778 1226428591 66 3045 10 28 20 1769.07/1769.58 c 16138118 58816014 16583779431 1341587505 66 3065 11 28 22 1931.43/1931.94 c 17751986 65233147 18132384872 1444246810 66 3095 10 28 21 2109.49/2110.03 c 19527240 71690993 19841155048 1568219336 66 3114 9 28 21 2300.63/2301.21 c 21480019 78827162 21660694690 1696651943 66 3144 9 26 21 2519.36/2520.00 2519.36/2520.00 c *** INTERRUPTED *** 2519.36/2520.00 c restarts : 604 2519.36/2520.00 c conflicts : 23355992 (9271 /sec) 2519.36/2520.00 c decisions : 85573216 (33967 /sec) 2519.36/2520.00 c propagations : 1871249527 (742754 /sec) 2519.36/2520.00 c root propagations : 280 2519.36/2520.00 c filter calls : 23730647768 (9419391 /sec) 2519.36/2520.00 c useless filter calls : 22578725079 (95 %) 2519.36/2520.00 c 2519.36/2520.00 c clauses : 74187 2519.36/2520.00 c SAT propagations : 2322 2519.36/2520.00 c SAT conflicts : 0 (5 learnts) 2519.36/2520.00 c Memory used : 34.39 MB 2519.36/2520.00 c CPU time : 2519.34 s 2519.36/2520.00 2519.36/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 (14264 MiB free)
memory of node 1: 16384 MiB (14342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266002-1502583910/watcher-4266002-1502583910 -o /tmp/evaluation-result-4266002-1502583910/solver-4266002-1502583910 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266002-1502583910.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=26520, runsolver pid=26517
[startup+0.10011 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287320/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9204 CPUtime=0.1 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 1992 0 0 0 10 0 0 0 20 0 1 0 91479283 35926016 2301 33554432000 4194304 5972588 140734707497120 140734707493768 140642033638496 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2301 756 435 0 2134 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9204 KiB
[startup+0.20944 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287320/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9204 CPUtime=0.21 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 1992 0 0 0 21 0 0 0 20 0 1 0 91479283 35926016 2301 33554432000 4194304 5972588 140734707497120 140734707493768 140642033638496 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2301 756 435 0 2134 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9204 KiB
[startup+0.308857 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287320/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9204 CPUtime=0.31 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 1992 0 0 0 31 0 0 0 20 0 1 0 91479283 35926016 2301 33554432000 4194304 5972588 140734707497120 140734707493768 4913437 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2301 756 435 0 2134 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9204 KiB
[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287320/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9204 CPUtime=0.69 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 2000 0 0 0 69 0 0 0 20 0 1 0 91479283 35926016 2301 33554432000 4194304 5972588 140734707497120 140734707493768 4908847 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2301 756 435 0 2134 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9204 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287228/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9204 CPUtime=1.49 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 2006 0 0 0 149 0 0 0 20 0 1 0 91479283 35926016 2301 33554432000 4194304 5972588 140734707497120 140734707494424 4913533 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2301 756 435 0 2134 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9204 KiB
[startup+3.10883 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287228/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9440 CPUtime=3.1 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 2778 0 0 0 310 0 0 0 20 0 1 0 91479283 35926016 2360 33554432000 4194304 5972588 140734707497120 140734707494424 4908840 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2360 778 435 0 2134 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9440 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287620/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9448 CPUtime=6.29 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 3551 0 0 0 629 0 0 0 20 0 1 0 91479283 35926016 2362 33554432000 4194304 5972588 140734707497120 140734707494424 4913675 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2362 778 435 0 2134 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9448 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287644/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9456 CPUtime=12.68 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 4327 0 0 0 1268 0 0 0 20 0 1 0 91479283 35926016 2364 33554432000 4194304 5972588 140734707497120 140734707494424 4913578 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2364 778 435 0 2134 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9456 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287644/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9468 CPUtime=25.48 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 5863 0 0 0 2548 0 0 0 20 0 1 0 91479283 35926016 2367 33554432000 4194304 5972588 140734707497120 140734707494424 5338173 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2367 778 435 0 2134 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9468 KiB
[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287548/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9476 CPUtime=51.08 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 6651 0 0 0 5108 0 0 0 20 0 1 0 91479283 35926016 2369 33554432000 4194304 5972588 140734707497120 140734707494424 4913729 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2369 778 435 0 2134 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9476 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26522
/proc/meminfo: memFree=29287176/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9484 CPUtime=102.26 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 7436 0 0 0 10226 0 0 0 20 0 1 0 91479283 35926016 2371 33554432000 4194304 5972588 140734707497120 140734707494424 4913600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2371 778 435 0 2134 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9484 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26523
/proc/meminfo: memFree=29287052/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9492 CPUtime=162.25 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 8217 0 0 0 16225 0 0 0 20 0 1 0 91479283 35926016 2373 33554432000 4194304 5972588 140734707497120 140734707494424 4913675 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2373 778 435 0 2134 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9492 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26524
/proc/meminfo: memFree=29286788/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9496 CPUtime=222.24 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 9002 0 0 0 22223 1 0 0 20 0 1 0 91479283 35926016 2374 33554432000 4194304 5972588 140734707497120 140734707494424 4913582 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2374 778 435 0 2134 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9496 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26525
/proc/meminfo: memFree=29287092/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9500 CPUtime=282.22 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 9791 0 0 0 28221 1 0 0 20 0 1 0 91479283 35926016 2375 33554432000 4194304 5972588 140734707497120 140734707494424 5320283 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2375 778 435 0 2134 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9500 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 26526
/proc/meminfo: memFree=29286456/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9500 CPUtime=342.21 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 10573 0 0 0 34220 1 0 0 20 0 1 0 91479283 35926016 2375 33554432000 4194304 5972588 140734707497120 140734707494424 4913729 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2375 778 435 0 2134 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9500 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26527
/proc/meminfo: memFree=29286812/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9508 CPUtime=402.19 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 11357 0 0 0 40218 1 0 0 20 0 1 0 91479283 35926016 2377 33554432000 4194304 5972588 140734707497120 140734707494424 4913724 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2377 778 435 0 2134 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9508 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 26528
/proc/meminfo: memFree=29286424/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35084 memory=9508 CPUtime=462.18 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 12134 0 0 0 46217 1 0 0 20 0 1 0 91479283 35926016 2377 33554432000 4194304 5972588 140734707497120 140734707494424 4913675 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8771 2377 778 435 0 2134 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9508 KiB
################
# More data... #
################
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 1721.89 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26576
/proc/meminfo: memFree=29284572/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=1781.87 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 27461 0 0 0 178184 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4908987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 1781.87 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26577
/proc/meminfo: memFree=29284660/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=1841.86 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 27879 0 0 0 184183 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4908860 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 1841.86 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26578
/proc/meminfo: memFree=29284916/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=1901.84 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 28306 0 0 0 190181 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4909111 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 1901.84 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26579
/proc/meminfo: memFree=29285040/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=1961.83 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 28778 0 0 0 196180 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 1961.83 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26580
/proc/meminfo: memFree=29285032/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2021.81 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 29203 0 0 0 202178 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2021.81 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26642
/proc/meminfo: memFree=29825124/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2081.8 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 29638 0 0 0 208177 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913346 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2081.8 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26643
/proc/meminfo: memFree=29825480/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2141.78 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 30116 0 0 0 214175 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 5328649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2141.78 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2202.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/187 26644
/proc/meminfo: memFree=29825488/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2201.76 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 30540 0 0 0 220173 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913636 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2201.76 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2262.3 s]
/proc/loadavg: 2.32 2.14 2.09 3/187 26645
/proc/meminfo: memFree=29825892/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2261.74 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 30956 0 0 0 226171 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 5319911 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2261.74 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2322.3 s]
/proc/loadavg: 2.12 2.11 2.08 3/187 26646
/proc/meminfo: memFree=29825644/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2321.72 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 31432 0 0 0 232169 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 5273261 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2321.72 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/187 26654
/proc/meminfo: memFree=29825504/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2381.7 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 31864 0 0 0 238167 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913729 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2381.7 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/187 26655
/proc/meminfo: memFree=29825844/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2441.68 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 32297 0 0 0 244165 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913377 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2441.68 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 26656
/proc/meminfo: memFree=29825860/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2501.66 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 32729 0 0 0 250163 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913533 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2501.66 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 26656
/proc/meminfo: memFree=29825860/32770624 swapFree=67108860/67108860
[pid=26520] ppid=26517 vsize=35212 memory=9652 CPUtime=2519.36 cores=0,2,4,6
/proc/26520/stat : 26520 (cosoco) R 26517 26520 24168 0 -1 4202496 33145 0 0 0 251933 3 0 0 20 0 1 0 91479283 36057088 2413 33554432000 4194304 5972588 140734707497120 140734707494424 4913328 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10874880 140734707500218 140734707500318 140734707500318 140734707503054 0
/proc/26520/statm: 8803 2413 778 435 0 2166 0
Current children cumulated CPU time: 2519.36 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 9652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 26520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.34 s, system=0.03999 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.38
CPU user time (s): 2519.34
CPU system time (s): 0.03999
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 35212
Max. memory (cumulated for all children) (KiB): 9652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.03999
maximum resident set size= 9728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33195
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= 11
involuntary context switches= 2720
# summary of solver processes directly reported to runsolver:
# pid: 26520
# total CPU time (s): 2519.38
# total CPU user time (s): 2519.34
# total CPU system time (s): 0.03999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17041 second user time and 16.3624 second system time
The end
Begin job on node103 at 2017-08-13 02:10:52 IDJOB=4266002 IDBENCH=134579 IDSOLVER=2655 FILE ID=node103/4266002-1502583910 RUNJOBID= node103-1502567255-24252 PBS_JOBID= 20628288 Free space on /tmp= 61792 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-9_X2.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266002-1502583910/watcher-4266002-1502583910 -o /tmp/evaluation-result-4266002-1502583910/solver-4266002-1502583910 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266002-1502583910.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a2530643870bd226f8d107acaf48581 RANDOM SEED=297127395 node103.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.56 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.56 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.56 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.56 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: 29294272 kB MemAvailable: 31455252 kB Buffers: 126908 kB Cached: 2330080 kB SwapCached: 0 kB Active: 1041984 kB Inactive: 2011744 kB Active(anon): 599796 kB Inactive(anon): 25212 kB Active(file): 442188 kB Inactive(file): 1986532 kB Unevictable: 6344 kB Mlocked: 6344 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2496 kB Writeback: 0 kB AnonPages: 603436 kB Mapped: 44664 kB Shmem: 25228 kB Slab: 121172 kB SReclaimable: 96192 kB SUnreclaim: 24980 kB KernelStack: 3312 kB PageTables: 6240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 928452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 536576 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= 61788 MiB End job on node103 at 2017-08-13 02:52:52