| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.8501 | 2520.01 |
| Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07h-5_X2.xml |
| MD5SUM | 0d344e361328211ed16699cc315bd3d7 |
| 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.13 c SAT : Variables: 2102 -- Clauses: 23658 0.00/0.14 c root propagations : 280 0.00/0.14 c restarts enabled, print stats at every restarts 0.00/0.14 c 0.00/0.14 c 0.00/0.14 c 0.00/0.14 c This is cosoco 1.12 -- 0.00/0.14 c 0.00/0.14 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266001-1502583875.xml 0.00/0.14 c ========================================[ Problem Statistics ]=========================================== 0.00/0.14 c | 0.00/0.14 c | Parse time : 0.03 s 0.00/0.14 c | 0.00/0.14 c | Variables: 112 0.00/0.14 c | Domain Sizes: 1..28 0.00/0.14 c | 0.00/0.14 c | Constraints: 1262 0.00/0.14 c | Arity: 2..2 -- Binary: 1262 0.00/0.14 c | 0.00/0.14 c | Types: 0.00/0.14 c | Extension: 1262 (nb tuples: 0..378) -- (shared: 1252) 0.00/0.14 c | 0.00/0.14 c ========================================================================================================= 0.00/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.14 c remove useless variable z[0] 0.00/0.14 c 10 77 16429 1562 66 2 53 59 51 0.00/0.14 c 20 161 30990 2801 66 3 61 65 56 0.00/0.14 c 30 250 44802 4022 66 5 53 72 62 0.00/0.15 c 40 346 60035 5230 66 7 57 78 66 0.00/0.15 c 50 444 74445 6522 66 9 17 78 55 0.00/0.15 c 60 546 90345 7839 66 14 14 79 24 0.00/0.15 c 70 657 111338 9551 66 19 17 82 26 0.00/0.16 c 80 712 133165 11093 66 21 20 28 22 0.00/0.16 c 90 751 158047 13184 66 26 18 22 18 0.00/0.16 c 100 801 177710 14825 66 31 22 24 21 0.00/0.16 c 101 825 192490 15879 66 32 24 24 12 0.00/0.17 c 110 865 213420 17548 66 34 22 25 21 0.00/0.17 c 120 907 238284 19923 66 36 23 25 22 0.00/0.17 c 130 967 261186 21438 66 41 26 32 26 0.00/0.18 c 140 1022 290396 23910 66 43 24 29 24 0.00/0.18 c 150 1083 313638 25801 66 47 24 34 25 0.00/0.18 c 160 1129 338572 28625 66 53 22 26 21 0.00/0.19 c 170 1175 363789 30937 66 55 25 29 24 0.00/0.19 c 180 1244 388496 32846 66 59 34 36 31 0.00/0.19 c 190 1300 414865 35126 66 62 23 29 23 0.00/0.20 c 200 1353 447388 38194 66 65 28 30 26 0.00/0.20 c 210 1406 472715 40472 66 69 27 30 25 0.00/0.20 c 211 1431 485069 41471 66 70 25 25 12 0.00/0.21 c 220 1482 501581 42763 66 73 24 29 25 0.00/0.21 c 230 1534 519812 44132 66 74 28 32 26 0.00/0.21 c 240 1589 538527 45436 66 79 26 35 31 0.00/0.21 c 250 1630 562455 47803 66 81 23 26 22 0.10/0.22 c 260 1685 580207 49057 66 83 24 28 23 0.10/0.22 c 270 1737 601389 50946 66 91 22 27 22 0.10/0.22 c 280 1783 621295 52385 66 96 22 24 21 0.10/0.22 c 290 1825 641237 54070 66 100 17 22 18 0.10/0.23 c 300 1888 663357 55628 66 103 22 30 25 0.10/0.23 c 310 1944 696224 58802 66 106 29 31 26 0.10/0.23 c 320 1980 714951 60298 66 107 19 22 18 0.10/0.24 c 330 2024 741116 62824 66 110 19 24 19 0.10/0.24 c 332 2047 753543 63854 66 112 21 21 14 0.10/0.24 c 340 2095 770795 65012 66 116 31 32 28 0.10/0.24 c 350 2165 793147 66662 66 122 20 30 23 0.10/0.25 c 360 2212 812297 67999 66 125 23 24 21 0.10/0.25 c 370 2248 833299 70102 66 126 22 24 20 0.10/0.25 c 380 2292 855140 72747 66 129 21 23 20 0.10/0.26 c 390 2353 886510 75724 66 132 28 34 26 0.10/0.26 c 400 2418 907982 77280 66 136 18 32 26 0.10/0.26 c 410 2481 938762 80251 66 139 29 36 27 0.10/0.27 c 420 2541 964803 82431 66 144 24 28 24 0.10/0.27 c 430 2578 985569 84935 66 147 20 22 19 0.10/0.27 c 440 2628 1009334 87564 66 152 25 29 24 0.10/0.28 c 450 2701 1032696 89108 66 156 29 33 28 0.10/0.28 c 460 2746 1058358 91678 66 157 21 26 21 0.10/0.28 c 465 2779 1079174 93401 66 159 26 26 21 0.10/0.28 c 470 2824 1096444 94539 66 162 31 33 27 0.10/0.29 c 480 2864 1119714 97292 66 165 21 24 20 0.10/0.29 c 490 2919 1152302 100696 66 168 28 31 25 0.10/0.30 c 500 2974 1179353 103480 66 174 22 24 20 0.10/0.30 c 510 3021 1200537 105117 66 175 27 30 26 0.10/0.30 c 520 3072 1227719 107693 66 179 25 29 24 0.10/0.30 c 530 3137 1253593 110006 66 183 29 37 29 0.10/0.31 c 540 3183 1277357 111916 66 186 24 28 23 0.10/0.31 c 550 3234 1296063 113637 66 192 18 26 20 0.10/0.31 c 560 3285 1315816 115222 66 196 29 30 27 0.20/0.32 c 570 3340 1332774 116387 66 201 29 35 31 0.20/0.32 c 580 3390 1360502 118733 66 205 23 27 22 0.20/0.32 c 590 3448 1382648 120441 66 207 22 27 23 0.20/0.33 c 600 3499 1413289 123195 66 210 27 30 26 0.20/0.33 c 610 3542 1436531 125287 66 213 24 26 22 0.20/0.33 c 611 3574 1454125 126458 66 214 32 32 16 0.20/0.33 c 620 3613 1474717 128726 66 219 21 23 20 0.20/0.34 c 630 3671 1507386 131607 66 222 23 27 23 0.20/0.34 c 640 3726 1526689 133186 66 224 22 25 21 0.20/0.34 c 650 3776 1550045 135456 66 228 20 33 21 0.20/0.35 c 660 3824 1571583 137219 66 232 21 24 20 0.20/0.35 c 670 3868 1597301 139394 66 235 25 26 23 0.20/0.35 c 680 3913 1623243 141971 66 236 21 26 21 0.20/0.36 c 690 3953 1649020 144346 66 238 22 23 20 0.20/0.36 c 700 4030 1670157 145809 66 242 29 31 27 0.20/0.36 c 710 4103 1699013 148417 66 245 23 28 24 0.20/0.37 c 720 4150 1728913 151027 66 248 29 30 26 0.20/0.37 c 730 4199 1755659 153882 66 253 21 26 21 0.20/0.37 c 740 4253 1776112 155303 66 257 25 28 24 0.20/0.38 c 750 4337 1799767 156933 66 261 27 31 27 0.20/0.38 c 760 4386 1821282 158763 66 265 22 26 22 0.20/0.38 c 770 4434 1840785 160120 66 269 30 32 28 0.20/0.38 c 771 4458 1854726 161182 66 270 24 24 12 0.20/0.39 c 780 4500 1876405 163204 66 273 23 24 21 0.20/0.39 c 790 4555 1900165 165248 66 276 32 35 30 0.20/0.39 c 800 4602 1926569 167449 66 278 23 27 23 0.20/0.40 c 810 4660 1948012 169372 66 283 21 37 26 0.20/0.40 c 820 4710 1978005 171985 66 286 32 33 29 0.20/0.40 c 830 4757 2001675 174036 66 291 23 27 23 0.20/0.41 c 840 4804 2025303 176306 66 292 24 25 22 0.20/0.41 c 850 4880 2047212 177768 66 294 30 34 30 0.20/0.41 c 860 4931 2078273 180616 66 297 32 34 29 0.30/0.42 c 870 4983 2102209 182724 66 301 24 28 24 0.30/0.42 c 880 5036 2132957 185350 66 304 34 36 31 0.30/0.42 c 890 5086 2160351 188308 66 306 23 26 22 0.30/0.43 c 900 5134 2188311 190913 66 309 30 31 27 0.30/0.43 c 910 5184 2214232 193257 66 312 22 25 21 0.30/0.43 c 920 5236 2241974 195635 66 317 31 33 29 0.30/0.44 c 930 5299 2272239 198336 66 321 22 28 23 0.30/0.44 c 940 5350 2300300 200746 66 323 33 35 30 0.30/0.44 c 947 5385 2321976 202799 66 327 25 27 22 0.30/0.45 c 950 5418 2339681 204453 66 328 29 29 21 0.30/0.45 c 960 5491 2360440 205734 66 334 31 34 30 0.30/0.45 c 970 5537 2388007 208138 66 336 29 31 27 0.30/0.46 c 980 5591 2418750 211005 66 340 25 28 24 0.30/0.46 c 990 5636 2445641 213255 66 341 30 32 27 0.30/0.46 c 1000 5695 2475769 215878 66 344 23 29 23 0.30/0.47 c 1010 5754 2495498 217192 66 348 29 38 33 0.30/0.47 c 1020 5802 2521892 219497 66 350 25 29 23 0.30/0.47 c 1030 5852 2546542 222193 66 355 29 33 28 0.30/0.48 c 1040 5901 2573168 224551 66 359 23 28 22 0.30/0.48 c 1050 5956 2596389 226348 66 363 30 34 29 0.30/0.48 c 1060 6009 2623192 228488 66 368 26 30 26 0.30/0.49 c 1070 6053 2649778 230843 66 371 29 31 27 0.30/0.49 c 1080 6097 2673248 233228 66 373 24 27 23 0.30/0.49 c 1090 6146 2695876 235812 66 379 25 33 24 0.30/0.50 c 1100 6207 2724209 238166 66 382 26 29 25 0.30/0.50 c 1110 6252 2749514 240612 66 384 26 28 25 0.30/0.50 c 1120 6307 2768044 241782 66 388 34 34 30 0.30/0.51 c 1130 6354 2792395 243939 66 396 28 32 26 0.30/0.51 c 1140 6420 2814065 245473 66 398 25 33 27 0.30/0.51 c 1141 6448 2827748 246455 66 399 28 28 14 0.30/0.51 c 1150 6488 2852150 248684 66 400 26 28 24 0.40/0.52 c 1160 6534 2879908 251136 66 402 29 31 27 0.40/0.52 c 1170 6596 2906803 253441 66 406 25 28 24 0.40/0.52 c 1180 6645 2937117 256202 66 411 28 30 26 0.40/0.53 c 1190 6695 2960913 258655 66 419 22 28 22 0.40/0.53 c 1200 6749 2988536 261105 66 425 28 30 26 0.40/0.53 c 1210 6811 3016473 263209 66 428 26 31 26 0.40/0.54 c 1220 6871 3042569 266062 66 431 18 24 20 0.40/0.54 c 1230 6925 3065183 267391 66 434 29 30 26 0.40/0.55 c 1240 7002 3094861 270518 66 436 24 26 22 0.40/0.55 c 1250 7052 3123525 273119 66 439 28 31 27 0.40/0.55 c 1260 7114 3150255 275704 66 442 23 28 23 0.40/0.56 c 1270 7150 3170772 277805 66 447 18 22 18 0.40/0.56 c 1280 7199 3196163 280322 66 452 28 32 27 0.40/0.56 c 1290 7249 3224822 282797 66 455 25 28 24 0.40/0.57 c 1300 7310 3254007 285679 66 457 31 35 29 0.40/0.57 c 1310 7355 3279890 287658 66 462 26 29 25 0.40/0.57 c 1320 7411 3310679 290098 66 465 28 34 29 0.40/0.58 c 1330 7466 3337546 292265 66 469 25 32 25 0.40/0.58 c 1340 7515 3362920 294306 66 470 30 33 28 0.40/0.58 c 1350 7568 3389816 296616 66 477 24 28 23 0.40/0.59 c 1352 7602 3406927 297800 66 479 28 33 20 0.40/0.59 c 1360 7656 3427661 299382 66 483 24 32 25 0.40/0.59 c 1370 7703 3452930 302095 66 490 28 32 27 0.40/0.60 c 1380 7770 3485832 305043 66 493 25 28 24 0.40/0.60 c 1390 7826 3519024 308559 66 496 30 32 27 0.40/0.60 c 1400 7881 3548101 311630 66 500 29 33 27 0.49/0.61 c 1410 7930 3584431 314588 66 503 24 27 22 0.49/0.61 c 1420 7983 3608697 316698 66 505 31 33 29 0.49/0.61 c 1430 8018 3629101 319131 66 508 17 23 19 0.49/0.62 c 1440 8080 3652309 320909 66 511 31 37 31 0.49/0.62 c 1450 8129 3682869 323506 66 515 25 28 23 0.49/0.62 c 1460 8181 3702407 324932 66 519 29 34 29 0.49/0.63 c 1470 8237 3730871 327637 66 523 23 27 23 0.49/0.63 c 1480 8289 3760890 330310 66 526 34 35 31 0.49/0.63 c 1490 8336 3788509 332993 66 530 30 31 27 0.49/0.64 c 1500 8384 3815320 335394 66 534 25 28 24 0.49/0.64 c 1510 8456 3836574 337062 66 539 32 41 34 0.49/0.64 c 1520 8512 3864331 339747 66 544 22 25 21 0.49/0.65 c 1530 8562 3888868 342256 66 548 30 32 28 0.49/0.65 c 1540 8620 3916822 344341 66 552 27 30 25 0.49/0.65 c 1550 8677 3944400 346548 66 558 26 31 25 0.49/0.66 c 1560 8726 3966548 348684 66 559 28 33 27 0.49/0.66 c 1570 8772 3981812 349871 66 563 28 32 27 0.49/0.66 c 1580 8816 4007340 352018 66 565 27 29 25 0.49/0.67 c 1585 8852 4026089 353615 66 568 26 29 22 0.49/0.67 c 1590 8880 4043367 355180 66 571 20 23 18 0.49/0.67 c 1600 8949 4066772 356946 66 575 32 41 32 0.49/0.67 c 1610 8992 4089339 359108 66 582 25 28 24 0.49/0.68 c 1620 9064 4110568 360332 66 586 33 41 36 0.49/0.68 c 1630 9111 4137153 363014 66 592 23 27 22 0.49/0.68 c 1640 9194 4157077 364375 66 595 32 39 34 0.49/0.69 c 1650 9257 4182171 366682 66 599 22 27 22 0.49/0.69 c 1660 9310 4205593 368755 66 602 33 37 31 0.49/0.69 c 1670 9355 4224081 370055 66 605 24 26 23 0.49/0.69 conflict 49lvl : 34 bt34-194:0(726)X350566 0.49/0.70 c 1680 9412 4251807 372561 66 607 31 35 29 0.58/0.70 c 1690 9461 4272343 374058 66 611 26 26 23 0.58/0.70 c 1700 9501 4299172 376612 66 615 23 25 21 0.58/0.71 c 1710 9552 4328264 379242 66 617 26 29 24 0.58/0.71 c 1720 9595 4346248 380835 66 620 25 28 24 0.58/0.71 c 1730 9639 4363612 382193 66 622 24 26 22 0.58/0.71 c 1740 9694 4389037 384795 66 625 23 28 23 0.58/0.72 c 1750 9752 4423726 387942 66 628 32 34 30 0.58/0.72 c 1760 9797 4449151 390331 66 631 25 28 23 0.58/0.72 c 1770 9845 4467787 391822 66 633 24 28 22 0.58/0.73 c 1780 9911 4488221 393194 66 635 25 34 25 0.58/0.73 c 1790 9954 4505777 394701 66 639 22 27 22 0.58/0.73 c 1800 10007 4524513 396036 66 644 21 32 27 0.58/0.73 c 1810 10071 4552231 398365 66 648 24 28 23 0.58/0.74 c 1820 10142 4572901 399773 66 650 28 33 27 0.58/0.74 c 1830 10186 4599136 402275 66 653 23 25 21 0.58/0.74 c 1840 10235 4622452 404315 66 657 30 34 28 0.58/0.75 c 1841 10259 4635444 405297 66 658 24 24 12 0.58/0.75 c 1850 10328 4655362 406508 66 661 30 37 32 0.58/0.75 c 1860 10370 4675114 407923 66 664 21 23 20 0.58/0.75 c 1870 10441 4699417 409849 66 665 32 40 31 0.58/0.76 c 1880 10486 4718849 411389 66 669 24 27 23 0.58/0.76 c 1890 10557 4741772 413049 66 673 30 39 30 0.58/0.76 c 1900 10598 4766169 415430 66 676 22 25 21 0.58/0.77 c 1910 10649 4785572 416802 66 679 24 29 24 0.58/0.77 c 1920 10700 4806921 418132 66 681 27 27 24 0.58/0.77 c 1930 10749 4833543 420229 66 685 25 28 24 0.58/0.78 c 1940 10835 4855011 421737 66 688 29 38 33 0.58/0.78 c 1950 10889 4884893 424338 66 691 24 26 22 0.58/0.78 c 1960 10954 4913001 426835 66 696 31 39 30 0.58/0.79 c 1970 11014 4934367 428250 66 699 27 32 27 0.58/0.79 c 1980 11067 4957162 430028 66 704 29 33 28 0.58/0.79 c 1990 11117 4978332 431534 66 707 22 24 21 0.58/0.80 c 2000 11183 5006103 434023 66 712 32 40 31 0.68/0.80 c 2010 11254 5027954 435365 66 715 27 32 28 0.68/0.80 c 2020 11309 5056916 437761 66 718 31 33 29 0.68/0.80 c 2030 11354 5077059 439244 66 723 23 25 21 0.68/0.81 c 2040 11414 5107318 442133 66 727 32 35 30 0.68/0.81 c 2050 11456 5131757 444235 66 729 22 26 22 0.68/0.81 c 2060 11503 5151077 445551 66 732 26 27 24 0.68/0.82 c 2070 11552 5175151 447562 66 736 21 26 22 0.68/0.82 c 2080 11601 5194455 448831 66 740 25 27 23 0.68/0.82 c 2090 11642 5219818 451213 66 743 22 24 20 0.68/0.83 c 2100 11707 5249576 453542 66 746 31 36 30 0.68/0.83 c 2110 11755 5271208 455240 66 750 23 28 23 0.68/0.83 c 2120 11822 5298409 458034 66 752 28 38 28 0.68/0.84 c 2122 11848 5312650 459106 66 754 21 24 15 0.68/0.84 c 2130 11902 5335467 460769 66 758 29 33 28 0.68/0.84 c 2140 11951 5358249 462535 66 761 23 28 23 0.68/0.84 c 2150 11996 5375179 463933 66 763 27 29 25 0.68/0.85 c 2160 12042 5394810 465551 66 765 19 21 18 0.68/0.85 c 2170 12091 5419430 468020 66 768 22 33 21 0.68/0.85 c 2180 12162 5444683 469745 66 772 29 37 29 0.68/0.86 c 2190 12208 5464800 471077 66 775 21 23 20 0.68/0.86 c 2200 12269 5490564 472985 66 779 31 33 28 0.68/0.86 c 2210 12310 5515397 475369 66 782 22 25 21 0.68/0.87 c 2220 12354 5534021 476847 66 785 24 25 22 0.68/0.87 c 2230 12399 5554235 478319 66 788 21 25 21 0.68/0.87 c 2240 12457 5573419 479664 66 793 21 34 26 0.68/0.87 c 2250 12525 5604654 482384 66 796 31 37 29 0.68/0.88 c 2260 12582 5627209 483830 66 799 26 27 24 0.68/0.88 c 2270 12642 5649164 485421 66 804 32 35 30 0.68/0.88 c 2280 12706 5670974 486790 66 805 29 31 27 0.68/0.89 c 2290 12767 5699877 489107 66 808 23 26 22 0.68/0.89 c 2300 12812 5723190 491008 66 812 22 26 22 0.68/0.89 c 2310 12867 5758282 494099 66 815 29 31 27 0.78/0.90 c 2320 12918 5781779 496117 66 819 22 27 22 0.78/0.90 c 2330 12984 5812051 498765 66 822 29 36 28 0.78/0.91 c 2340 13038 5838219 500597 66 825 23 26 22 0.78/0.91 c 2350 13102 5862580 502457 66 827 31 32 28 0.78/0.91 c 2360 13148 5886777 504593 66 830 22 26 22 0.78/0.91 c 2370 13207 5910497 506371 66 832 30 34 29 0.78/0.92 c 2380 13272 5937236 508432 66 836 23 30 24 0.78/0.92 c 2390 13321 5959758 510179 66 838 26 31 26 0.78/0.92 c 2400 13370 5984197 512163 66 841 21 27 22 0.78/0.93 c 2410 13434 6011793 514537 66 844 26 34 26 0.78/0.93 c 2420 13498 6035288 516082 66 846 28 31 27 0.78/0.93 c 2430 13545 6057171 518015 66 850 25 29 24 0.78/0.94 c 2431 13570 6071438 519001 66 851 25 25 12 0.78/0.94 c 2440 13628 6092672 520841 66 854 25 35 25 0.78/0.94 c 2450 13682 6117491 522741 66 857 22 27 22 0.78/0.94 c 2460 13726 6135389 524276 66 861 25 27 23 0.78/0.95 c 2470 13787 6168786 527081 66 863 25 29 24 0.78/0.95 c 2480 13854 6194014 529584 66 867 27 37 28 0.78/0.96 c 2490 13913 6224639 532140 66 870 25 30 25 0.78/0.96 c 2500 13957 6246592 533968 66 876 25 29 24 0.78/0.96 c 2510 14002 6271584 536210 66 877 22 26 21 0.78/0.97 c 2520 14064 6292840 537642 66 881 25 32 26 0.78/0.97 c 2530 14122 6318716 539876 66 883 23 27 23 0.78/0.97 c 2540 14164 6344129 542169 66 886 25 28 23 0.78/0.97 c 2550 14209 6364212 543529 66 889 23 26 22 0.78/0.98 c 2560 14249 6380382 544932 66 891 22 24 20 0.78/0.98 c 2570 14307 6410238 547768 66 894 28 34 27 0.78/0.98 c 2580 14360 6435581 549498 66 896 26 28 24 0.78/0.99 c 2590 14440 6459158 551150 66 900 28 35 28 0.78/0.99 c 2600 14483 6483647 553103 66 902 23 27 22 0.78/0.99 c 2610 14527 6501981 554550 66 904 25 25 22 0.78/1.00 c 2620 14573 6529052 557089 66 906 26 28 24 0.78/1.00 c 2630 14619 6549348 558414 66 908 23 26 22 0.78/1.00 c 2640 14670 6583429 561553 66 911 25 27 24 0.89/1.01 c 2650 14714 6607922 563510 66 912 23 27 22 0.89/1.01 c 2660 14757 6627377 564863 66 916 26 28 24 0.89/1.01 c 2670 14819 6648972 566278 66 918 27 31 26 0.89/1.02 c 2680 14865 6680845 569174 66 920 25 27 24 0.89/1.02 c 2690 14908 6704491 571127 66 922 23 27 22 0.89/1.02 c 2700 14949 6720667 572531 66 924 23 25 21 0.89/1.02 c 2710 14998 6741662 574018 66 925 26 28 24 0.89/1.03 c 2720 15053 6767174 575708 66 929 28 29 26 0.89/1.03 c 2730 15100 6790564 577549 66 934 24 28 23 0.89/1.03 c 2740 15143 6815141 579782 66 937 25 28 23 0.89/1.04 c 2750 15199 6837484 581607 66 940 17 29 23 0.89/1.04 c 2760 15241 6866147 583974 66 943 25 27 23 0.89/1.04 c 2770 15294 6891604 586278 66 948 22 27 21 0.89/1.05 c 2771 15319 6907857 587274 66 949 25 25 12 0.89/1.05 c 2780 15359 6930738 589166 66 951 26 28 24 0.89/1.05 c 2790 15408 6958324 592603 66 953 23 25 21 0.89/1.06 c 2800 15456 6985471 594847 66 958 25 29 24 0.89/1.06 c 2810 15501 7005116 596351 66 962 20 24 20 0.89/1.06 c 2820 15547 7027293 598076 66 964 26 29 25 0.89/1.06 c 2830 15583 7045880 600213 66 966 22 24 20 0.89/1.07 c 2840 15641 7072629 602501 66 969 30 32 27 0.89/1.07 c 2850 15701 7114249 605578 66 973 25 29 26 0.89/1.08 c 2860 15759 7137479 607459 66 976 25 35 26 0.89/1.08 c 2870 15818 7168004 609490 66 979 29 30 27 0.89/1.08 c 2880 15871 7188648 611044 66 981 25 30 24 0.89/1.09 c 2890 15922 7217773 613549 66 985 22 26 22 0.89/1.09 c 2900 16004 7243457 615317 66 987 26 32 27 0.89/1.09 c 2910 16055 7271125 617828 66 992 25 29 24 0.89/1.10 c 2920 16104 7293600 619318 66 996 24 25 22 0.89/1.10 c 2930 16160 7314092 620593 66 999 26 31 25 0.89/1.10 c 2940 16211 7340404 622649 66 1003 25 28 24 0.89/1.10 c 2950 16256 7366393 624836 66 1005 26 28 24 0.99/1.11 c 2960 16303 7390010 626815 66 1007 24 28 23 0.99/1.11 c 2970 16354 7416004 628999 66 1010 27 28 25 0.99/1.11 c 2980 16400 7442874 631341 66 1014 27 29 25 0.99/1.12 c 2990 16449 7466487 633229 66 1016 25 29 25 0.99/1.12 c 3000 16490 7484638 634607 66 1021 23 25 22 0.99/1.12 c 3010 16555 7510268 636781 66 1024 23 30 24 0.99/1.13 c 3020 16604 7537504 639315 66 1028 23 26 22 0.99/1.13 c 3030 16655 7567870 641679 66 1032 28 30 26 0.99/1.13 c 3040 16693 7590311 643472 66 1035 23 23 20 0.99/1.14 c 3050 16743 7619408 645945 66 1038 25 28 23 0.99/1.14 c 3060 16809 7647902 648099 66 1040 26 33 26 0.99/1.14 c 3070 16861 7672946 650793 66 1042 21 25 21 0.99/1.15 c 3080 16919 7700023 653182 66 1045 28 32 27 0.99/1.15 c 3090 16967 7719442 654498 66 1047 26 28 25 0.99/1.15 c 3100 17008 7741866 656443 66 1053 17 23 19 0.99/1.16 c 3110 17062 7767274 658691 66 1057 26 29 25 0.99/1.16 c 3120 17109 7787322 660123 66 1062 24 29 23 0.99/1.16 c 3130 17165 7813038 662302 66 1067 30 33 29 0.99/1.17 c 3140 17215 7834700 663804 66 1071 23 27 22 0.99/1.17 c 3142 17246 7852976 665043 66 1072 27 28 18 0.99/1.17 c 3150 17291 7876937 667120 66 1077 24 28 22 0.99/1.19 c 3160 17336 7895555 668650 66 1080 25 26 23 0.99/1.19 c 3170 17401 7922978 671148 66 1084 27 36 27 0.99/1.19 c 3180 17452 7948820 673281 66 1088 25 29 24 0.99/1.19 c 3190 17523 7970301 674633 66 1091 30 34 30 0.99/1.19 c 3200 17568 7993956 676591 66 1092 24 28 23 0.99/1.19 c 3210 17641 8017736 678294 66 1095 29 36 29 1.08/1.20 c 3220 17693 8045496 680774 66 1097 23 28 22 1.08/1.20 c 3230 17737 8065059 682320 66 1102 24 26 22 1.08/1.20 c 3240 17778 8091167 684563 66 1105 23 26 22 1.08/1.20 c 3250 17824 8109657 686095 66 1110 26 28 24 1.08/1.21 c 3260 17880 8135588 688188 66 1114 24 27 23 1.08/1.21 c 3270 17928 8154165 689691 66 1116 27 29 25 1.08/1.21 c 3280 17981 8185203 692318 66 1119 27 29 26 1.08/1.22 c 3290 18034 8207739 693903 66 1122 25 28 24 1.08/1.22 c 3300 18082 8226326 695457 66 1125 23 25 22 1.08/1.22 c 3310 18132 8247064 696851 66 1126 26 28 24 1.08/1.23 c 3320 18186 8274051 699311 66 1129 23 27 22 1.08/1.23 c 3330 18235 8297653 701341 66 1133 16 23 19 1.08/1.23 c 3340 18281 8316244 702991 66 1137 23 25 21 1.08/1.23 c 3350 18336 8337469 704328 66 1138 25 27 23 1.08/1.24 c 3360 18367 8356979 706358 66 1142 17 19 16 1.08/1.24 c 3370 18416 8381427 708204 66 1144 24 28 24 1.08/1.24 c 3380 18468 8412030 711019 66 1147 26 29 25 1.08/1.25 c 3390 18518 8441340 713491 66 1150 28 30 25 1.08/1.25 c 3400 18571 8467178 715792 66 1151 24 27 23 1.08/1.25 c 3410 18633 8490058 717381 66 1156 27 33 26 1.08/1.26 c 3420 18684 8513408 719094 66 1162 26 33 26 1.08/1.26 c 3430 18736 8536768 721129 66 1165 24 29 25 1.08/1.26 c 3440 18797 8558615 722640 66 1170 24 33 25 1.08/1.27 c 3450 18854 8580104 724089 66 1173 26 28 24 1.08/1.27 c 3460 18914 8607617 726725 66 1175 28 30 27 1.08/1.27 c 3470 18967 8635153 729002 66 1180 22 26 22 1.08/1.28 c 3480 19025 8662130 731329 66 1183 31 33 28 1.08/1.28 c 3490 19069 8685877 734047 66 1185 20 22 19 1.08/1.28 c 3500 19124 8711176 736067 66 1188 30 32 27 1.08/1.29 c 3510 19179 8739040 738334 66 1190 27 32 26 1.08/1.29 c 3520 19230 8760036 739646 66 1192 27 27 24 1.08/1.29 c 3530 19278 8782437 741973 66 1194 18 23 18 1.08/1.30 c 3540 19323 8800852 743444 66 1197 25 28 24 1.18/1.30 c 3550 19376 8822831 744931 66 1199 27 27 24 1.18/1.30 c 3551 19403 8836887 746027 66 1200 27 27 13 1.18/1.30 c 3560 19448 8857383 747656 66 1203 27 30 25 1.18/1.31 c 3570 19492 8880932 749744 66 1206 25 28 24 1.18/1.31 c 3580 19537 8902546 751993 66 1210 20 24 19 1.18/1.31 c 3590 19599 8926239 753866 66 1220 29 37 28 1.18/1.32 c 3600 19653 8951518 755836 66 1223 25 29 25 1.18/1.32 c 3610 19708 8977725 758325 66 1225 26 30 25 1.18/1.32 c 3620 19761 9002051 760337 66 1229 22 29 23 1.18/1.33 c 3630 19833 9028063 762350 66 1233 25 33 26 1.18/1.33 c 3640 19890 9050330 763977 66 1237 27 29 25 1.18/1.33 c 3650 19942 9076228 766245 66 1242 27 30 25 1.18/1.34 c 3660 20006 9098620 767796 66 1245 26 30 25 1.18/1.34 c 3670 20056 9128175 770216 66 1247 29 31 27 1.18/1.34 c 3680 20107 9154114 772725 66 1251 22 26 21 1.18/1.35 c 3690 20157 9183383 775225 66 1254 27 29 25 1.18/1.35 c 3700 20205 9206481 777722 66 1262 20 23 19 1.18/1.35 c 3710 20258 9233067 780114 66 1266 28 32 26 1.18/1.36 c 3720 20309 9259290 782522 66 1268 23 27 22 1.18/1.36 c 3730 20362 9293418 785664 66 1271 27 29 26 1.18/1.36 c 3740 20418 9314811 787083 66 1272 28 33 27 1.18/1.37 conflict 57lvl : 33 bt33-1387:0(798)X368968 1.18/1.37 -> -1387:X(798)c 3750 20483 9334640 788300 66 1277 34 34 30 1.18/1.37 c 3760 20548 9361089 790486 66 1280 28 36 29 1.18/1.37 c 3770 20591 9380363 791890 66 1283 23 26 22 1.18/1.38 c 3780 20644 9404009 793742 66 1292 25 33 24 1.18/1.38 c 3790 20697 9433707 796215 66 1295 24 29 23 1.18/1.38 c 3800 20742 9462364 798495 66 1297 28 30 26 1.18/1.38 conflict 71lvl : 22 bt22-892:0(716)X369755 1.18/1.39 c 3810 20803 9486528 800312 66 1299 22 32 22 1.18/1.39 c 3820 20849 9505605 802072 66 1302 21 23 20 1.18/1.39 c 3830 20911 9526233 803583 66 1304 27 33 27 1.18/1.39 c 3840 20956 9544202 805041 66 1306 25 28 24 1.28/1.40 c 3850 21002 9566541 806749 66 1307 27 30 25 1.28/1.40 c 3860 21054 9589904 808768 66 1311 23 28 23 1.28/1.40 conflict 49lvl : 26 bt26-1566:0(744)X370193 1.28/1.40 c 3870 21103 9618953 811403 66 1313 25 27 24 1.28/1.41 c 3880 21152 9642782 813368 66 1319 24 29 23 1.28/1.41 c 3890 21201 9674964 816442 66 1320 27 29 25 1.28/1.41 c 3900 21260 9702371 818624 66 1324 24 28 24 1.28/1.42 c 3910 21304 9724863 820506 66 1325 26 29 24 1.28/1.42 c 3920 21359 9750284 822525 66 1328 23 28 23 1.28/1.42 c 3930 21405 9772081 824196 66 1330 26 28 24 1.28/1.43 c 3940 21442 9789287 825583 66 1335 20 22 19 1.28/1.43 c 3950 21492 9815660 827807 66 1338 22 29 23 1.28/1.43 c 3960 21538 9835873 829199 66 1340 28 30 26 1.28/1.44 c 3970 21584 9863042 831504 66 1344 24 27 22 1.28/1.44 c 3980 21631 9881767 833069 66 1347 27 28 25 1.28/1.44 c 3990 21689 9904668 834613 66 1349 25 28 23 1.28/1.44 c 4000 21740 9928287 837075 66 1355 26 34 25 1.28/1.45 c 4001 21763 9941533 838056 66 1356 23 23 11 1.28/1.45 c 4010 21810 9959680 839599 66 1359 26 28 24 1.28/1.45 c 4020 21884 9984322 841420 66 1361 28 36 28 1.28/1.46 c 4030 21959 10006605 842909 66 1364 24 32 28 1.28/1.46 c 4040 22003 10027158 844317 66 1365 25 27 24 1.28/1.46 c 4050 22054 10052989 846437 66 1368 22 28 23 1.28/1.46 c 4060 22107 10076406 848626 66 1371 24 28 23 1.28/1.47 c 4070 22160 10100615 850324 66 1375 25 28 24 1.28/1.47 c 4080 22214 10120957 851938 66 1377 26 29 25 1.28/1.47 c 4090 22284 10154038 854628 66 1382 26 31 25 1.28/1.48 c 4100 22330 10175574 856051 66 1383 27 29 25 1.28/1.48 c 4110 22380 10199596 857767 66 1386 24 29 24 1.28/1.48 c 4120 22431 10220539 859037 66 1390 29 31 27 1.28/1.49 c 4130 22493 10248740 861627 66 1396 22 28 23 1.28/1.49 c 4140 22543 10272686 863534 66 1400 29 31 27 1.28/1.49 c 4150 22601 10302148 865918 66 1403 25 27 23 1.38/1.50 c 4160 22647 10325934 868281 66 1409 18 23 18 1.38/1.50 c 4170 22708 10352072 870599 66 1411 26 34 26 1.38/1.50 c 4180 22757 10378515 872875 66 1414 24 29 24 1.38/1.51 c 4190 22824 10405159 875501 66 1418 24 34 25 1.38/1.51 c 4200 22876 10431094 877964 66 1421 24 28 23 1.38/1.51 c 4210 22924 10449678 879537 66 1426 28 31 27 1.38/1.52 c 4220 22994 10474389 881452 66 1429 26 34 27 1.38/1.52 c 4230 23056 10500190 883583 66 1432 22 32 25 1.38/1.52 c 4240 23096 10516766 885005 66 1434 21 23 20 1.38/1.53 c 4250 23152 10542689 887256 66 1439 23 29 23 1.38/1.53 c 4260 23215 10569216 889645 66 1442 25 33 25 1.38/1.53 c 4270 23266 10589960 890932 66 1444 27 27 24 1.38/1.53 c 4280 23327 10615465 893246 66 1447 19 25 20 1.38/1.54 c 4290 23371 10637944 895043 66 1449 26 28 24 1.38/1.54 c 4300 23430 10660747 896930 66 1450 22 30 24 1.38/1.54 c 4310 23481 10680923 898520 66 1451 26 28 25 1.38/1.55 c 4320 23547 10702926 900070 66 1453 27 34 27 1.38/1.55 c 4330 23601 10729253 902507 66 1455 22 26 21 1.38/1.55 c 4340 23649 10751093 904151 66 1458 27 30 25 1.38/1.56 c 4350 23699 10775324 905906 66 1461 24 27 23 1.38/1.56 c 4360 23748 10799437 907853 66 1464 24 29 24 1.38/1.56 c 4370 23801 10819938 909477 66 1468 28 31 26 1.38/1.57 c 4380 23848 10843299 911378 66 1473 23 27 23 1.38/1.57 c 4390 23902 10867864 913226 66 1478 24 29 24 1.38/1.57 c 4400 23947 10885928 914741 66 1480 27 28 24 1.38/1.57 c 4410 24000 10909093 916740 66 1484 23 32 23 1.38/1.58 c 4420 24069 10932689 918474 66 1488 26 33 26 1.38/1.58 c 4430 24119 10953372 919896 66 1491 25 28 24 1.38/1.58 c 4440 24159 10969954 921309 66 1493 21 23 20 1.38/1.59 c 4450 24208 11000323 923991 66 1497 26 28 25 1.38/1.59 c 4460 24255 11022999 925700 66 1499 25 28 24 1.38/1.59 c 4470 24314 11043015 927029 66 1502 27 32 27 1.38/1.59 c 4480 24363 11068862 929226 66 1507 27 30 25 1.47/1.60 c 4490 24422 11089145 930620 66 1510 26 32 26 1.47/1.60 c 4493 24462 11107777 931926 66 1512 27 33 22 1.47/1.60 c 4500 24504 11128463 933422 66 1515 25 28 23 1.47/1.61 c 4510 24556 11153476 935627 66 1520 25 29 25 1.47/1.61 c 4520 24606 11173719 936934 66 1522 26 26 23 1.47/1.61 c 4530 24647 11191785 938637 66 1523 17 22 17 1.47/1.61 c 4540 24698 11213035 940033 66 1524 23 27 23 1.47/1.62 c 4550 24745 11241526 942574 66 1527 24 26 23 1.47/1.62 c 4560 24787 11265105 945095 66 1531 20 24 20 1.47/1.62 c 4570 24835 11285093 946850 66 1535 22 23 20 1.47/1.63 c 4580 24885 11315159 949378 66 1539 25 27 24 1.47/1.63 c 4590 24937 11335960 950699 66 1543 24 26 23 1.47/1.63 c 4600 24985 11365271 953245 66 1546 25 27 24 1.47/1.64 c 4610 25033 11390943 955614 66 1549 21 25 20 1.47/1.64 c 4620 25089 11417517 957963 66 1552 28 31 27 1.47/1.64 c 4630 25137 11436906 959228 66 1554 24 27 23 1.47/1.65 c 4640 25201 11465474 961720 66 1559 25 33 25 1.47/1.65 c 4650 25267 11492689 963796 66 1564 27 34 28 1.47/1.65 c 4660 25309 11515271 965801 66 1568 22 26 21 1.47/1.66 c 4670 25380 11537136 967315 66 1573 27 34 27 1.47/1.66 c 4680 25433 11559512 968847 66 1578 24 27 23 1.47/1.66 c 4690 25483 11582882 970694 66 1580 27 31 26 1.47/1.67 c 4700 25527 11606596 972659 66 1582 24 28 24 1.47/1.67 c 4710 25577 11638841 975583 66 1583 26 28 25 1.47/1.67 c 4720 25628 11668378 978124 66 1590 25 29 23 1.47/1.68 c 4730 25672 11691943 980805 66 1595 22 26 21 1.47/1.68 c 4740 25737 11712591 982194 66 1598 27 32 27 1.47/1.68 c 4750 25789 11734300 983458 66 1601 30 32 28 1.47/1.69 c 4760 25857 11755018 984829 66 1605 27 32 28 1.47/1.69 c 4770 25915 11775525 986439 66 1609 27 30 26 1.47/1.69 c 4780 25969 11796806 988017 66 1613 21 24 20 1.47/1.69 c 4790 26016 11827073 990866 66 1617 26 27 24 1.57/1.70 c 4800 26071 11859618 993621 66 1619 25 29 24 1.57/1.70 c 4810 26120 11879260 995383 66 1625 27 30 25 1.57/1.70 c 4820 26158 11900847 997176 66 1628 23 23 20 1.57/1.71 c 4830 26214 11929712 999645 66 1630 23 29 24 1.57/1.71 c 4840 26259 11960418 1002266 66 1632 27 29 25 1.57/1.71 c 4850 26313 11986193 1004826 66 1641 23 28 23 1.57/1.72 c 4860 26359 12007441 1006504 66 1645 27 30 25 1.57/1.72 c 4870 26416 12029088 1007922 66 1646 29 34 28 1.57/1.72 c 4880 26467 12046586 1009348 66 1650 20 32 24 1.57/1.73 c 4890 26522 12070174 1011555 66 1655 24 27 23 1.57/1.73 c 4900 26573 12091167 1012984 66 1657 24 24 21 1.57/1.73 c 4910 26628 12125290 1016023 66 1661 26 27 24 1.57/1.74 c 4920 26678 12148273 1017847 66 1664 20 26 22 1.57/1.74 c 4930 26743 12177191 1020241 66 1669 24 33 25 1.57/1.74 c 4940 26812 12206211 1022684 66 1673 25 28 24 1.57/1.75 c 4950 26875 12233959 1025171 66 1678 24 32 24 1.57/1.75 c 4960 26939 12262655 1027562 66 1680 23 28 23 1.57/1.75 c 4970 26991 12290630 1029953 66 1683 23 30 23 1.57/1.76 c 4980 27041 12320102 1032458 66 1686 25 27 24 1.57/1.76 c 4990 27079 12346375 1034697 66 1688 21 23 20 1.57/1.77 c 5035 27230 12425898 1042747 66 1691 24 29 26 1.67/1.84 c 5631 29428 13083704 1098980 66 1697 20 33 27 1.77/1.92 c 6286 31634 13827492 1178584 66 1708 26 37 30 1.77/1.99 c 7006 33830 14503642 1230419 66 1721 20 30 25 1.88/2.08 c 7798 36433 15318738 1306858 66 1727 25 35 29 1.98/2.19 c 8669 39515 16271642 1397857 66 1741 19 30 24 2.17/2.32 c 9627 43255 17506890 1517904 66 1749 20 31 26 2.27/2.44 c 10680 46701 18629990 1619814 66 1761 20 30 25 2.37/2.57 c 11838 51355 19780646 1710574 66 1771 17 31 25 2.57/2.73 c 13111 55516 21312132 1872486 66 1773 17 28 22 2.77/2.90 c 14511 60063 22810235 2009116 66 1782 14 26 20 2.88/3.09 c 16051 65316 24588955 2176580 66 1791 19 31 25 3.07/3.28 c 17745 71482 26393237 2336276 66 1802 21 32 28 3.37/3.52 c 19608 78645 28649338 2538809 66 1829 18 31 25 3.57/3.80 c 21657 85780 31146439 2799863 66 1838 16 29 23 3.88/4.06 c 23910 94212 33529553 3018687 66 1851 22 35 29 4.17/4.37 c 26388 103156 36439550 3282892 66 1868 19 30 25 4.47/4.67 c 29113 112115 39204630 3529446 66 1886 21 33 26 4.88/5.05 c 32110 121808 42783027 3869606 66 1896 17 29 23 5.27/5.44 c 35406 133622 46422049 4177337 66 1908 12 27 22 5.67/5.85 c 39031 144630 50299950 4555757 66 1929 18 29 22 6.17/6.32 c 43018 158097 54645397 4955694 66 1940 17 29 23 6.67/6.80 c 47403 173953 59048539 5355831 66 1951 15 27 22 7.17/7.33 c 52226 190805 64150691 5787433 66 1969 18 29 24 7.77/7.95 c 57531 210489 69778447 6305616 66 1981 14 28 22 8.57/8.76 c 63366 232341 77308133 7036461 66 1999 17 30 24 9.27/9.40 c 69784 253674 83336891 7551235 66 2009 13 28 22 10.07/10.22 c 76843 279107 91072347 8224130 66 2031 17 29 24 10.88/11.10 c 84607 307349 99186743 8954250 66 2042 16 30 24 12.08/12.27 c 93147 337270 109920644 10094409 66 2068 16 30 23 13.28/13.48 c 102541 371124 120917455 11259991 66 2076 21 33 27 14.48/14.64 c 112874 407759 131980869 12206917 66 2089 17 29 24 15.68/15.86 c 124240 450408 143131283 13198774 66 2112 19 32 27 16.99/17.18 c 136742 491577 155766053 14207820 66 2128 17 30 25 18.38/18.53 c 150494 540464 168463805 15134686 66 2152 15 30 24 20.38/20.52 c 165621 597518 187118166 16835660 66 2166 16 29 24 22.28/22.43 c 182260 657962 204652292 18419360 66 2188 20 34 27 24.57/24.76 c 200562 717614 226775022 20529227 66 2203 15 28 22 26.88/27.06 c 220694 793677 248083780 22299395 66 2231 19 32 26 29.67/29.81 c 242839 879709 273476005 24544706 66 2241 15 28 23 32.27/32.42 c 267198 966259 297834175 26559139 66 2255 19 33 28 35.17/35.37 c 293992 1059391 326118884 28969287 66 2272 16 29 24 38.37/38.55 c 323465 1168672 355812123 31356914 66 2291 19 33 27 42.17/42.37 c 355885 1289171 391732163 34419943 66 2305 15 28 23 46.47/46.65 c 391547 1409024 431251072 38124398 66 2320 16 30 24 51.07/51.28 c 430775 1542227 475179072 41842728 66 2333 13 28 21 55.77/55.97 c 473925 1694481 519715276 45571928 66 2345 15 29 24 61.17/61.38 c 521390 1853494 569216169 50321389 66 2360 19 33 26 67.17/67.30 c 573601 2036348 625537969 55204947 66 2376 13 28 22 73.37/73.55 c 631033 2248068 682974536 60262552 66 2394 15 29 23 81.47/81.70 c 694208 2484386 759175539 67173424 66 2415 14 28 22 89.67/89.88 c 763700 2723998 834577999 74341747 66 2440 16 31 24 99.57/99.74 c 840141 2988533 925303383 82968885 66 2454 14 29 23 108.57/108.77 c 924226 3318774 1011433691 89630982 66 2472 11 28 22 118.88/119.07 c 1016719 3652096 1106897284 97819032 66 2489 15 30 23 131.17/131.34 c 1118461 4022100 1221683445 107898620 66 2498 15 29 24 142.77/142.95 c 1230377 4447514 1330648971 116121012 66 2510 15 31 25 156.27/156.44 c 1353484 4895477 1459899838 126752839 66 2532 15 28 23 170.98/171.19 c 1488901 5400939 1596747583 138130490 66 2551 14 29 23 170.98/171.19 conflict 32lvl : 26 bt22-1671:0(738)X398252 186.77/186.90 c 1637859 5960409 1742609396 149904399 66 2570 14 29 24 204.47/204.67 c 1801712 6577278 1911595268 163478563 66 2585 11 28 21 224.87/225.02 c 1981950 7258402 2100731501 179037002 66 2595 17 32 26 248.67/248.81 c 2180211 7997338 2322636602 198590653 66 2609 11 28 22 273.77/273.91 c 2398298 8800662 2557859944 218574026 66 2615 10 26 20 300.67/300.83 c 2638193 9679011 2808190328 239465223 66 2644 12 29 21 328.87/329.04 c 2902077 10578042 3079558763 261725786 66 2669 11 28 22 360.37/360.53 c 3192349 11669041 3374451502 285263567 66 2687 9 26 21 395.46/395.65 c 3511648 12843861 3700039596 312193670 66 2714 15 32 24 432.76/432.93 c 3862876 14119677 4053820786 339022302 66 2734 10 28 20 476.06/476.28 c 4249226 15461547 4456808560 373443983 66 2766 15 32 24 521.66/521.85 c 4674211 16983229 4892791043 408597904 66 2783 13 28 23 572.97/573.14 c 5141694 18718634 5369158316 448153281 66 2802 14 30 24 636.97/637.17 c 5655925 20637410 5967928597 501319551 66 2828 13 28 22 698.87/699.02 c 6221579 22728451 6540218130 549441573 66 2846 11 29 21 769.26/769.41 c 6843798 25007945 7193912596 604021196 66 2862 11 28 20 843.06/843.22 c 7528238 27390030 7900491328 662299740 66 2896 13 28 23 929.66/929.80 c 8281122 30062961 8704648018 732116023 66 2933 12 29 21 1012.05/1012.23 c 9109294 32949105 9499513614 791504180 66 2951 11 29 21 1106.65/1106.86 c 10020283 36329028 10405773483 860744536 66 2966 13 28 24 1215.35/1215.51 c 11022370 40081744 11420916340 940813868 66 2982 10 26 20 1328.45/1328.66 c 12124665 44081231 12510052235 1021884824 66 2989 9 27 20 1463.54/1463.74 c 13337189 48548427 13769532144 1123770246 66 3022 13 28 22 1604.74/1604.99 c 14670965 53589342 15118973848 1226428591 66 3045 10 28 20 1760.44/1760.64 c 16138118 58816014 16583779501 1341587505 66 3065 11 28 22 1922.94/1923.18 c 17751986 65233147 18132384942 1444246810 66 3095 10 28 21 2101.03/2101.23 c 19527240 71690993 19841155118 1568219336 66 3114 9 28 21 2292.53/2292.73 c 21480019 78827162 21660694760 1696651943 66 3144 9 26 21 2519.84/2520.00 2519.84/2520.00 c *** INTERRUPTED *** 2519.84/2520.00 c restarts : 604 2519.84/2520.00 c conflicts : 23430337 (9298 /sec) 2519.84/2520.00 c decisions : 85844722 (34068 /sec) 2519.84/2520.00 c propagations : 1877997346 (745288 /sec) 2519.84/2520.00 c root propagations : 280 2519.84/2520.00 c filter calls : 23811400441 (9449615 /sec) 2519.84/2520.00 c useless filter calls : 22655322823 (95 %) 2519.84/2520.00 c 2519.84/2520.00 c clauses : 74187 2519.84/2520.00 c SAT propagations : 2322 2519.84/2520.00 c SAT conflicts : 0 (5 learnts) 2519.84/2520.00 c Memory used : 34.39 MB 2519.84/2520.00 c CPU time : 2519.83 s 2519.84/2520.00 2519.84/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 (14754 MiB free)
memory of node 1: 16384 MiB (15291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266001-1502583875/watcher-4266001-1502583875 -o /tmp/evaluation-result-4266001-1502583875/solver-4266001-1502583875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266001-1502583875.xml
running on 4 cores: 1,3,5,7
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=12526, runsolver pid=12523
[startup+0.100109 s]*
/proc/loadavg: 1.88 1.96 2.02 2/188 12527
/proc/meminfo: memFree=30766656/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/12526/stat : 12526 (runsolver) D 12523 12526 7084 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 158040334 34791424 113 18446744073709551615 4194304 4346622 140729008864512 140729008861144 139624947618519 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 38457344 140729008865432 140729008865828 140729008865828 140729008869322 0
/proc/12526/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209624 s]*
/proc/loadavg: 1.88 1.96 2.02 3/188 12527
/proc/meminfo: memFree=30761188/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9072 CPUtime=0.1 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 1959 0 0 0 10 0 0 0 20 0 1 0 158040334 35926016 2268 18446744073709551615 4194304 5972588 140735009686512 140735009683160 4913533 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2268 756 435 0 2134 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9072 KiB
[startup+0.309838 s]*
/proc/loadavg: 1.88 1.96 2.02 3/188 12527
/proc/meminfo: memFree=30761188/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9072 CPUtime=0.2 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 1959 0 0 0 20 0 0 0 20 0 1 0 158040334 35926016 2268 18446744073709551615 4194304 5972588 140735009686512 140735009683160 140213644344416 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2268 756 435 0 2134 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9072 KiB
[startup+0.700244 s]
/proc/loadavg: 1.88 1.96 2.02 3/188 12527
/proc/meminfo: memFree=30760908/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9072 CPUtime=0.58 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 1966 0 0 0 58 0 0 0 20 0 1 0 158040334 35926016 2268 18446744073709551615 4194304 5972588 140735009686512 140735009683816 140213644344416 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2268 756 435 0 2134 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9072 KiB
[startup+1.50024 s]
/proc/loadavg: 1.88 1.96 2.02 3/188 12527
/proc/meminfo: memFree=30760940/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9072 CPUtime=1.38 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 1973 0 0 0 138 0 0 0 20 0 1 0 158040334 35926016 2268 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913437 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2268 756 435 0 2134 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9072 KiB
[startup+3.10944 s]
/proc/loadavg: 1.89 1.96 2.02 3/188 12527
/proc/meminfo: memFree=30760652/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9308 CPUtime=2.98 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 2710 0 0 0 298 0 0 0 20 0 1 0 158040334 35926016 2327 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913487 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2327 778 435 0 2134 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9308 KiB
[startup+6.30023 s]
/proc/loadavg: 1.89 1.96 2.02 2/183 12574
/proc/meminfo: memFree=31065676/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9320 CPUtime=6.17 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 3449 0 0 0 617 0 0 0 20 0 1 0 158040334 35926016 2330 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913437 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2330 778 435 0 2134 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9320 KiB
[startup+12.7002 s]
/proc/loadavg: 1.90 1.96 2.02 3/188 12588
/proc/meminfo: memFree=31057552/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9324 CPUtime=12.58 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 4192 0 0 0 1257 1 0 0 20 0 1 0 158040334 35926016 2331 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913645 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2331 778 435 0 2134 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9324 KiB
[startup+25.5002 s]
/proc/loadavg: 1.92 1.97 2.02 3/188 12589
/proc/meminfo: memFree=31058580/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9336 CPUtime=25.37 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 5663 0 0 0 2536 1 0 0 20 0 1 0 158040334 35926016 2334 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913651 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2334 778 435 0 2134 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9336 KiB
[startup+51.1092 s]
/proc/loadavg: 2.03 1.98 2.03 3/188 12589
/proc/meminfo: memFree=31058768/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9344 CPUtime=50.98 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 6413 0 0 0 5097 1 0 0 20 0 1 0 158040334 35926016 2336 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913437 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2336 778 435 0 2134 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9344 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=12526] ppid=12523 vsize=35084 memory=9348 CPUtime=102.17 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 7164 0 0 0 10216 1 0 0 20 0 1 0 158040334 35926016 2337 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2337 778 435 0 2134 0
Current children cumulated CPU time: 102.17 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9348 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 12594
/proc/meminfo: memFree=31064080/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9360 CPUtime=162.17 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 7911 0 0 0 16216 1 0 0 20 0 1 0 158040334 35926016 2340 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2340 778 435 0 2134 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9360 KiB
[startup+222.3 s]
/proc/loadavg: 1.94 1.97 2.02 3/185 12596
/proc/meminfo: memFree=31063848/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9360 CPUtime=222.17 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 8663 0 0 0 22216 1 0 0 20 0 1 0 158040334 35926016 2340 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913437 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2340 778 435 0 2134 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9360 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 1.97 2.02 3/185 12598
/proc/meminfo: memFree=31064348/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35084 memory=9368 CPUtime=282.17 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 9417 0 0 0 28216 1 0 0 20 0 1 0 158040334 35926016 2342 18446744073709551615 4194304 5972588 140735009686512 140735009683816 5328649 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2342 778 435 0 2134 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9368 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=12526] ppid=12523 vsize=35084 memory=9368 CPUtime=342.17 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 10166 0 0 0 34216 1 0 0 20 0 1 0 158040334 35926016 2342 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913342 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2342 778 435 0 2134 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9368 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=12526] ppid=12523 vsize=35084 memory=9376 CPUtime=402.16 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 10916 0 0 0 40215 1 0 0 20 0 1 0 158040334 35926016 2344 18446744073709551615 4194304 5972588 140735009686512 140735009683816 5251141 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2344 778 435 0 2134 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9376 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=12526] ppid=12523 vsize=35084 memory=9376 CPUtime=462.16 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 11660 0 0 0 46215 1 0 0 20 0 1 0 158040334 35926016 2344 18446744073709551615 4194304 5972588 140735009686512 140735009683816 5338173 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8771 2344 778 435 0 2134 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 35084 KiB
Current children cumulated memory: 9376 KiB
################
# More data... #
################
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+1782.3 s]
/proc/loadavg: 2.10 2.10 2.06 3/185 12684
/proc/meminfo: memFree=31063124/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=1782.14 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 27465 0 0 0 178213 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4909333 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.08 2.06 3/188 12700
/proc/meminfo: memFree=31057596/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=1842.14 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 28138 0 0 0 184213 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/185 12702
/proc/meminfo: memFree=31060808/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=1902.14 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 28823 0 0 0 190213 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/185 12704
/proc/meminfo: memFree=31061380/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=1962.14 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 29560 0 0 0 196213 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913533 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 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=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=2022.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 30227 0 0 0 202212 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913726 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 12708
/proc/meminfo: memFree=31061764/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=2082.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 30935 0 0 0 208212 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 5319899 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 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=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=2142.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 31684 0 0 0 214212 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913724 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 12713
/proc/meminfo: memFree=31061476/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=2202.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 32362 0 0 0 220212 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913724 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+2262.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/185 12715
/proc/meminfo: memFree=31061848/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9400 CPUtime=2262.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 33037 0 0 0 226212 1 0 0 20 0 1 0 158040334 36061184 2350 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913651 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2350 778 435 0 2167 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9400 KiB
[startup+2322.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/186 12718
/proc/meminfo: memFree=31061776/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9404 CPUtime=2322.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 33792 0 0 0 232212 1 0 0 20 0 1 0 158040334 36061184 2351 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2351 778 435 0 2167 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9404 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=12526] ppid=12523 vsize=35216 memory=9404 CPUtime=2382.14 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 34477 0 0 0 238212 2 0 0 20 0 1 0 158040334 36061184 2351 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2351 778 435 0 2167 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9404 KiB
[startup+2442.3 s]
/proc/loadavg: 2.39 2.09 2.07 3/190 12759
/proc/meminfo: memFree=31055736/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9408 CPUtime=2442.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 35162 0 0 0 244211 2 0 0 20 0 1 0 158040334 36061184 2352 18446744073709551615 4194304 5972588 140735009686512 140735009683816 4908843 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2352 778 435 0 2167 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9408 KiB
[startup+2502.3 s]
/proc/loadavg: 2.25 2.12 2.08 3/186 12761
/proc/meminfo: memFree=31058344/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9408 CPUtime=2502.13 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 35846 0 0 0 250211 2 0 0 20 0 1 0 158040334 36061184 2352 18446744073709551615 4194304 5972588 140735009686512 140735009683816 5327968 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2352 778 435 0 2167 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9408 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.18 2.11 2.07 3/186 12761
/proc/meminfo: memFree=31058344/32770624 swapFree=67108860/67108860
[pid=12526] ppid=12523 vsize=35216 memory=9408 CPUtime=2519.84 cores=1,3,5,7
/proc/12526/stat : 12526 (cosoco) R 12523 12526 7084 0 -1 4202496 36520 0 0 0 251982 2 0 0 20 0 1 0 158040334 36061184 2352 18446744073709551615 4194304 5972588 140735009686512 140735009683816 5244017 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 8650752 140735009690052 140735009690152 140735009690152 140735009693646 0
/proc/12526/statm: 8804 2352 778 435 0 2167 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 35216 KiB
Current children cumulated memory: 9408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 12526 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.83 s, system=0.022999 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.85
CPU user time (s): 2519.83
CPU system time (s): 0.022999
CPU usage (%): 99.9937
Max. virtual memory (cumulated for all children) (KiB): 35216
Max. memory (cumulated for all children) (KiB): 9408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.83
system time used= 0.022999
maximum resident set size= 9484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36571
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= 8
involuntary context switches= 743
# summary of solver processes directly reported to runsolver:
# pid: 12526
# total CPU time (s): 2519.85
# total CPU user time (s): 2519.83
# total CPU system time (s): 0.022999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27837 second user time and 16.8226 second system time
The end
Begin job on node132 at 2017-08-13 02:10:11 IDJOB=4266001 IDBENCH=134572 IDSOLVER=2655 FILE ID=node132/4266001-1502583875 RUNJOBID= node132-1502565147-7149 PBS_JOBID= Free space on /tmp= 62000 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-5_X2.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266001-1502583875/watcher-4266001-1502583875 -o /tmp/evaluation-result-4266001-1502583875/solver-4266001-1502583875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266001-1502583875.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d344e361328211ed16699cc315bd3d7 RANDOM SEED=906552307 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: 30766656 kB MemAvailable: 31685040 kB Buffers: 311764 kB Cached: 915064 kB SwapCached: 0 kB Active: 1028872 kB Inactive: 532156 kB Active(anon): 334776 kB Inactive(anon): 49012 kB Active(file): 694096 kB Inactive(file): 483144 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2484 kB Writeback: 4 kB AnonPages: 334000 kB Mapped: 65916 kB Shmem: 49852 kB Slab: 140916 kB SReclaimable: 113956 kB SUnreclaim: 26960 kB KernelStack: 3312 kB PageTables: 6420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 632420 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 264192 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:11