| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.02 | 2519.8999 |
| Name | AllInterval/AllInterval-m1-s1/ AllInterval-035.xml |
| MD5SUM | fe30f006f3af9f6842518347a037ed7d |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.066059001 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 69 |
| Number of constraints | 36 |
| Number of domains | 2 |
| Minimum domain size | 34 |
| Maximum domain size | 35 |
| Distribution of domain sizes | [{"size":34,"count":34},{"size":35,"count":35}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":36},{"degree":3,"count":33}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 35 |
| Distribution of constraint arities | [{"arity":3,"count":34},{"arity":34,"count":1},{"arity":35,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 34 |
| Distribution of constraint types | [{"type":"intension","count":34},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.10 c SAT : Variables: 2381 -- Clauses: 39968 0.00/0.10 c root propagations : 0 0.00/0.10 c restarts enabled, print stats at every restarts 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c This is cosoco 1.12 -- 0.00/0.10 c 0.00/0.10 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265977-1502571361.xml 0.00/0.10 c ========================================[ Problem Statistics ]=========================================== 0.00/0.10 c | 0.00/0.10 c | Parse time : 0.04 s 0.00/0.10 c | 0.00/0.10 c | Variables: 69 0.00/0.10 c | Domain Sizes: 34..35 0.00/0.10 c | 0.00/0.10 c | Constraints: 36 0.00/0.10 c | Arity: 3..35 -- Ternary: 34 0.00/0.10 c | 0.00/0.10 c | Types: 0.00/0.10 c | All Different: 2 0.00/0.10 c | Intension: 34 0.00/0.10 c | 0.00/0.10 c ========================================================================================================= 0.00/0.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.04/0.11 c 10 49 1984 3747 0 1 32 35 29 0.04/0.13 c 20 109 2999 9920 0 7 27 38 30 0.04/0.16 c 30 157 4142 15682 0 12 33 33 30 0.04/0.17 c 40 207 4767 21655 0 22 25 39 29 0.04/0.19 c 50 261 5669 26067 0 32 21 39 31 0.04/0.20 c 60 303 6572 29653 0 34 29 33 28 0.15/0.22 c 70 352 7638 34631 0 43 34 35 31 0.15/0.23 c 80 406 9360 38587 0 45 28 36 28 0.15/0.24 c 90 453 10436 43084 0 54 28 34 29 0.15/0.26 c 100 503 11426 47990 0 59 14 37 30 0.15/0.27 c 101 531 12042 49547 0 60 28 28 14 0.15/0.27 c 110 582 12978 52944 0 68 35 43 33 0.15/0.31 c 120 624 14348 60144 0 72 27 31 27 0.25/0.33 c 130 676 15261 64635 0 82 33 43 33 0.25/0.35 c 140 739 16509 69177 0 88 34 47 35 0.25/0.36 c 150 795 17633 73184 0 94 35 42 34 0.25/0.38 c 160 846 18858 77941 0 98 28 39 32 0.25/0.40 c 170 899 19983 83490 0 107 30 41 33 0.35/0.43 c 180 938 21482 89522 0 111 22 26 21 0.35/0.46 c 190 984 22909 96133 0 112 31 33 28 0.35/0.48 c 200 1026 24142 100224 0 117 24 26 22 0.35/0.49 c 210 1077 25167 104137 0 126 35 38 33 0.35/0.50 c 211 1102 25803 105176 0 127 25 25 12 0.35/0.51 c 220 1152 26739 109711 0 131 29 40 32 0.45/0.53 c 230 1190 27748 113546 0 138 23 26 23 0.45/0.54 c 240 1245 29262 118836 0 145 23 40 31 0.45/0.56 c 250 1298 30698 123070 0 152 32 38 32 0.45/0.58 c 260 1335 32209 126884 0 156 24 26 23 0.45/0.58 conflict 67lvl : 26 bt26-473:0(1471)X170219 0.45/0.58 c 270 1382 33971 130423 0 160 25 30 24 0.45/0.60 c 280 1431 35000 134860 0 166 26 36 31 0.54/0.63 c 290 1489 36160 141100 0 175 30 38 31 0.54/0.64 c 300 1525 37337 144195 0 177 23 25 21 0.54/0.66 c 310 1581 38388 149266 0 186 27 37 29 0.54/0.67 c 320 1618 39563 152548 0 191 24 25 22 0.54/0.68 c 330 1669 40672 156580 0 197 34 40 32 0.54/0.69 c 332 1703 41329 158486 0 199 31 33 21 0.63/0.70 c 340 1747 42195 163123 0 207 29 35 27 0.63/0.72 c 350 1782 43475 167802 0 211 24 25 22 0.63/0.73 c 360 1834 44351 171710 0 214 34 37 31 0.63/0.73 c 370 1882 45073 176942 0 224 26 39 32 0.63/0.74 c 380 1935 46098 180186 0 234 35 44 35 0.63/0.77 c 390 1984 47247 185040 0 244 34 38 33 0.63/0.79 c 400 2044 48355 190234 0 254 30 44 33 0.73/0.81 c 410 2079 49315 194259 0 258 23 24 21 0.73/0.81 c 420 2119 50818 197490 0 260 27 27 24 0.73/0.82 c 430 2163 51371 201065 0 270 22 35 27 0.73/0.85 c 440 2215 52680 206617 0 276 13 34 28 0.73/0.86 c 450 2270 53627 212042 0 279 31 37 31 0.73/0.88 c 460 2320 54762 216625 0 283 37 38 34 0.73/0.89 c 465 2365 55534 219457 0 288 36 38 31 0.83/0.90 c 470 2408 56258 222391 0 293 30 37 28 0.83/0.92 c 480 2461 59499 231395 0 297 25 29 24 0.83/0.95 c 490 2520 60507 237400 0 303 35 38 34 0.83/0.97 c 500 2566 61558 242391 0 311 27 34 29 0.83/0.98 c 510 2607 62331 245994 0 321 15 30 23 0.83/0.99 c 520 2652 63531 248394 0 322 25 28 24 0.94/1.01 c 530 2695 64640 253168 0 324 26 31 27 0.94/1.03 c 540 2739 66576 257853 0 326 24 26 23 0.94/1.04 c 550 2793 68619 262598 0 335 26 31 26 0.94/1.06 c 560 2851 69770 266917 0 341 32 44 36 0.94/1.07 c 570 2903 71285 271070 0 347 25 31 27 0.94/1.09 c 580 2946 72510 276555 0 354 27 30 26 1.04/1.11 c 590 2998 73543 281090 0 364 27 39 30 1.04/1.13 c 600 3050 74602 285733 0 374 27 39 30 1.04/1.16 c 610 3100 75652 291136 0 378 30 38 31 1.04/1.17 c 611 3128 76138 292737 0 379 28 28 14 1.04/1.19 c 620 3188 77569 298511 0 385 34 38 31 1.13/1.21 c 630 3255 78749 302897 0 391 30 40 33 1.13/1.23 c 640 3315 79851 308321 0 401 31 41 33 1.13/1.24 c 650 3368 80921 312778 0 406 34 42 33 1.13/1.27 c 660 3415 82477 319084 0 414 30 34 28 1.13/1.28 c 670 3463 83560 324074 0 421 32 37 32 1.23/1.31 c 680 3514 84715 330462 0 431 32 38 30 1.23/1.32 c 690 3569 85809 335418 0 438 28 39 31 1.23/1.34 c 700 3623 86990 340853 0 447 29 40 30 1.23/1.36 c 710 3678 88084 347296 0 453 32 42 34 1.23/1.37 c 720 3720 89022 351806 0 463 27 33 27 1.23/1.38 c 730 3763 89940 355077 0 467 31 33 29 1.33/1.40 c 740 3818 91849 360754 0 473 24 29 24 1.33/1.41 c 750 3865 92672 364182 0 483 32 38 32 1.33/1.43 c 760 3916 93524 368991 0 493 26 34 27 1.33/1.44 c 770 3970 94553 372388 0 503 34 39 32 1.33/1.44 c 771 4002 95175 373922 0 504 32 32 16 1.33/1.45 c 780 4049 96079 377278 0 513 27 37 27 1.33/1.47 c 790 4109 97364 383540 0 518 35 41 34 1.33/1.49 conflict 67lvl : 27 bt27-24:0(1535)X182926 1.43/1.50 conflict 67lvl : 26 bt26-24:0(1573)X182996 1.43/1.50 conflict 67lvl : 26 bt26-12:0(1504)X183066 1.43/1.50 conflict 132lvl : 26 bt26478:0(1563)X183136 1.43/1.50 c 800 4153 99374 391056 0 522 25 27 23 1.43/1.51 c 810 4211 101122 396570 0 529 26 36 26 1.43/1.53 c 820 4261 102089 401946 0 533 17 36 27 1.43/1.55 c 830 4305 103206 407338 0 543 28 33 29 1.43/1.58 c 840 4354 104353 412844 0 553 28 34 29 1.53/1.60 c 850 4401 105881 418020 0 560 23 27 22 1.53/1.61 c 860 4453 106891 423647 0 569 31 37 31 1.53/1.63 c 870 4514 108998 429760 0 575 24 36 27 1.53/1.65 c 880 4576 110184 434097 0 579 34 51 39 1.53/1.67 c 890 4632 111238 439530 0 586 33 43 35 1.53/1.68 c 900 4694 112306 445060 0 589 31 45 36 1.63/1.70 c 910 4754 113956 449549 0 594 23 37 24 1.63/1.70 c 920 4810 114944 453251 0 603 33 40 33 1.63/1.72 c 930 4860 115819 457464 0 613 31 39 31 1.63/1.73 c 940 4908 117013 462327 0 620 32 33 29 1.63/1.75 c 947 4948 117851 466565 0 627 28 34 26 1.63/1.76 c 950 4987 118718 469691 0 629 34 35 26 1.63/1.78 c 960 5037 119822 475308 0 639 28 37 31 1.63/1.79 c 970 5094 120789 478687 0 647 32 44 35 1.73/1.81 c 980 5142 121598 483837 0 657 29 39 31 1.73/1.83 c 990 5200 123506 490232 0 662 24 34 25 1.73/1.84 c 1000 5250 124257 494017 0 672 33 39 34 1.73/1.85 c 1010 5303 125248 497471 0 677 31 35 29 1.73/1.87 c 1020 5364 126466 503308 0 686 27 38 29 1.73/1.88 c 1030 5409 128198 507573 0 688 25 30 24 1.73/1.90 c 1040 5454 129718 512269 0 690 24 27 23 1.83/1.90 c 1050 5510 131225 515265 0 696 25 36 31 1.83/1.92 c 1060 5563 132285 519492 0 703 28 42 31 1.83/1.94 c 1070 5609 133293 524362 0 713 25 34 28 1.83/1.96 c 1080 5663 134744 527834 0 717 27 36 31 1.83/1.97 c 1090 5705 135638 531546 0 724 30 32 28 1.83/1.98 c 1100 5750 136451 536870 0 734 28 36 28 1.83/1.99 c 1110 5807 137601 541380 0 741 31 41 34 1.94/2.01 c 1120 5858 138601 546200 0 751 28 38 29 1.94/2.04 c 1130 5911 139680 551902 0 760 26 36 27 1.94/2.09 c 1140 5966 141032 558205 0 768 30 39 31 1.94/2.09 c 1141 6001 141613 559916 0 769 35 35 17 2.04/2.13 c 1150 6060 142921 567319 0 777 29 39 32 2.04/2.14 c 1160 6118 143868 570899 0 787 35 47 38 2.04/2.16 c 1170 6168 144905 575890 0 793 31 35 31 2.04/2.17 c 1180 6228 146041 580993 0 803 32 43 34 2.13/2.21 c 1190 6274 147063 587540 0 808 11 33 25 2.13/2.23 c 1200 6314 148378 592613 0 813 23 26 21 2.13/2.25 c 1210 6353 149968 597832 0 817 24 26 22 2.13/2.25 c 1220 6401 150799 601794 0 825 34 36 31 2.13/2.26 c 1230 6455 152046 607234 0 832 32 37 31 2.13/2.27 conflict 67lvl : 27 bt26-192:0(1384)X194265 2.13/2.27 conflict 67lvl : 25 bt25-193:0(1362)X194335 2.13/2.27 c 1240 6494 153327 609835 0 835 25 27 23 2.13/2.29 c 1250 6552 154641 615326 0 842 30 39 31 2.23/2.30 c 1260 6606 156090 619839 0 845 34 41 33 2.23/2.31 conflict 98lvl : 29 bt27-1209:0(1504)X194847 2.23/2.32 c 1270 6652 157991 625479 0 849 27 31 25 2.23/2.34 c 1280 6699 159231 630909 0 851 33 35 31 2.23/2.36 c 1290 6740 160298 635566 0 856 27 32 28 2.23/2.38 c 1300 6789 162006 639983 0 858 28 30 26 2.23/2.39 c 1310 6840 163170 643902 0 861 33 37 31 2.33/2.41 c 1320 6892 164277 648406 0 867 33 37 33 2.33/2.44 c 1330 6950 165523 653230 0 877 33 43 35 2.33/2.45 c 1340 7020 167173 658839 0 887 23 34 25 2.33/2.47 c 1350 7066 168227 662416 0 895 34 35 31 2.33/2.48 c 1352 7104 169113 664991 0 897 33 35 22 2.43/2.50 c 1360 7157 170118 669175 0 904 32 40 32 2.43/2.51 c 1370 7216 171319 673413 0 912 36 42 35 2.43/2.54 c 1380 7271 172763 679945 0 922 29 36 29 2.43/2.57 c 1390 7320 173890 685801 0 932 28 34 29 2.43/2.59 c 1400 7364 175460 691716 0 937 24 33 27 2.53/2.61 c 1410 7417 176463 697686 0 944 9 41 29 2.53/2.62 c 1420 7471 177413 701127 0 954 28 43 33 2.53/2.65 c 1430 7525 178788 706479 0 959 30 39 30 2.53/2.69 c 1440 7570 179922 712254 0 962 32 32 29 2.63/2.71 c 1450 7617 181086 717459 0 963 33 34 30 2.63/2.72 c 1460 7656 182648 722021 0 967 27 27 24 2.63/2.75 c 1470 7707 183794 727498 0 974 29 38 32 2.63/2.76 c 1480 7749 185306 732178 0 978 27 29 25 2.63/2.77 c 1490 7815 186463 737575 0 988 28 45 36 2.73/2.80 c 1500 7866 187595 742770 0 995 29 38 32 2.73/2.81 c 1510 7927 189334 746334 0 996 27 35 27 2.73/2.84 c 1520 7975 190414 751244 0 1004 30 35 30 2.73/2.86 c 1530 8010 192029 756648 0 1008 23 25 22 2.73/2.87 c 1540 8051 193534 760026 0 1012 27 28 25 2.73/2.90 c 1550 8109 194719 765637 0 1019 31 38 32 2.83/2.91 conflict 99lvl : 25 bt25-233:0(1524)X201079 2.83/2.92 c 1560 8162 197236 774336 0 1024 25 37 25 2.83/2.93 c 1570 8205 197896 777927 0 1034 21 34 28 2.83/2.93 c 1580 8255 198542 781940 0 1044 22 37 28 2.83/2.94 c 1585 8283 199433 785153 0 1046 23 23 19 2.83/2.95 c 1590 8314 200414 787776 0 1051 25 26 21 2.83/2.97 c 1600 8363 201576 794002 0 1060 18 33 27 2.83/2.98 c 1610 8421 203144 798364 0 1068 24 37 28 2.83/3.00 c 1620 8472 204021 804270 0 1078 30 36 29 2.94/3.01 c 1630 8511 204799 808869 0 1082 27 29 26 2.94/3.01 c 1640 8560 205453 812993 0 1092 17 40 27 2.94/3.03 c 1650 8623 206440 818040 0 1102 33 42 36 2.94/3.06 c 1660 8686 207666 824986 0 1106 30 40 34 2.94/3.08 c 1670 8726 208980 829120 0 1112 23 28 22 2.94/3.09 c 1680 8764 210330 832558 0 1115 23 24 21 3.04/3.11 c 1690 8813 211343 836606 0 1125 29 40 34 3.04/3.12 c 1700 8870 212463 840785 0 1133 34 44 35 3.04/3.14 c 1710 8915 213349 845647 0 1136 24 33 28 3.04/3.16 c 1720 8965 214801 850467 0 1143 23 30 25 3.04/3.18 c 1730 9013 215971 855433 0 1147 30 36 31 3.13/3.20 c 1740 9059 216953 860209 0 1154 25 36 29 3.13/3.21 c 1750 9102 218198 864962 0 1158 23 26 21 3.13/3.22 c 1760 9163 219385 869622 0 1168 32 43 35 3.13/3.25 c 1770 9217 220530 875479 0 1178 29 39 33 3.13/3.28 c 1780 9274 221822 881956 0 1184 29 39 32 3.23/3.30 c 1790 9320 222657 885515 0 1191 28 37 30 3.23/3.33 c 1800 9377 223930 892081 0 1197 29 39 32 3.23/3.34 c 1810 9435 224962 895816 0 1203 32 47 34 3.23/3.36 c 1820 9475 226330 901647 0 1209 24 27 22 3.23/3.37 c 1830 9529 227300 905291 0 1219 32 42 33 3.23/3.39 c 1840 9585 228204 911255 0 1226 27 39 30 3.23/3.39 c 1841 9617 228796 913252 0 1227 32 32 16 3.33/3.41 c 1850 9676 230466 919162 0 1233 27 35 27 3.33/3.44 c 1860 9733 231730 925674 0 1239 29 39 32 3.33/3.44 c 1870 9784 232501 931403 0 1249 20 38 30 3.33/3.48 c 1880 9844 233812 937804 0 1258 32 38 32 3.33/3.49 c 1890 9900 234711 942555 0 1268 32 43 33 3.33/3.50 c 1900 9948 235447 947181 0 1278 30 39 33 3.43/3.52 c 1910 10001 237290 952006 0 1282 23 31 25 3.43/3.52 c 1920 10049 239069 955832 0 1288 28 31 26 3.43/3.54 c 1930 10093 240106 960128 0 1292 28 34 30 3.43/3.55 conflict 67lvl : 25 bt25-928:0(1476)X210698 3.43/3.56 conflict 67lvl : 24 bt24-542:0(1511)X210768 3.43/3.56 c 1940 10134 241819 965530 0 1298 25 27 24 3.43/3.59 c 1950 10181 242755 970193 0 1304 26 35 30 3.43/3.59 c 1960 10244 244406 973661 0 1308 32 35 31 3.53/3.61 c 1970 10286 245284 977320 0 1313 27 32 28 3.53/3.63 c 1980 10334 246268 981995 0 1323 27 37 29 3.53/3.66 c 1990 10378 247433 987395 0 1333 28 33 29 3.53/3.67 c 2000 10424 249160 991303 0 1338 29 32 27 3.53/3.68 c 2010 10467 250234 995505 0 1344 32 33 29 3.63/3.71 c 2020 10521 251386 1001772 0 1348 34 34 30 3.63/3.74 c 2030 10578 252603 1007503 0 1352 36 36 32 3.63/3.76 c 2040 10634 253591 1011528 0 1359 38 43 37 3.63/3.78 c 2050 10674 254776 1017430 0 1362 28 30 26 3.73/3.81 c 2060 10716 256097 1022990 0 1368 29 31 27 3.73/3.82 c 2070 10773 257162 1027712 0 1373 39 39 35 3.73/3.83 c 2080 10824 258010 1030952 0 1382 35 40 34 3.73/3.85 c 2090 10882 259129 1036355 0 1392 31 37 31 3.73/3.87 c 2100 10948 260667 1041809 0 1400 23 36 28 3.73/3.88 c 2110 11008 261796 1046423 0 1403 29 40 31 3.83/3.91 c 2120 11052 262959 1051677 0 1413 29 30 26 3.83/3.92 c 2122 11080 263523 1053578 0 1415 25 27 17 3.83/3.93 c 2130 11124 264353 1057596 0 1420 24 36 28 3.83/3.93 c 2140 11160 265296 1060858 0 1429 23 26 21 3.83/3.95 c 2150 11210 266421 1065229 0 1433 36 38 33 3.83/3.95 c 2160 11247 267604 1067829 0 1439 26 27 24 3.83/3.97 c 2170 11303 268890 1072711 0 1444 33 38 31 3.83/4.00 c 2180 11347 270168 1078996 0 1448 31 33 29 3.94/4.02 c 2190 11404 271244 1083787 0 1458 29 42 33 3.94/4.05 c 2200 11451 272339 1089561 0 1464 28 34 27 3.94/4.06 c 2210 11512 273398 1093163 0 1471 31 46 36 3.94/4.08 c 2220 11556 274464 1098239 0 1476 31 33 29 3.94/4.09 c 2230 11593 275460 1101911 0 1482 24 25 22 3.94/4.10 c 2240 11640 277071 1106795 0 1487 25 29 25 4.04/4.12 c 2250 11703 278329 1111974 0 1493 34 38 33 4.04/4.14 c 2260 11750 279362 1116405 0 1503 26 35 30 4.04/4.15 c 2270 11785 280776 1120382 0 1509 25 25 22 4.04/4.17 c 2280 11850 282406 1126172 0 1512 31 42 33 4.04/4.18 c 2290 11903 283343 1129660 0 1519 30 41 32 4.13/4.20 c 2300 11944 285054 1136181 0 1524 23 27 22 4.13/4.24 c 2310 11990 286305 1141763 0 1530 29 32 27 4.13/4.25 c 2320 12040 287253 1146066 0 1538 25 39 30 4.13/4.27 c 2330 12102 288552 1151241 0 1541 32 39 31 4.13/4.29 c 2340 12157 289840 1155241 0 1548 32 42 34 4.23/4.31 c 2350 12199 291425 1162439 0 1556 23 26 22 4.23/4.32 c 2360 12257 292552 1166198 0 1564 38 46 36 4.23/4.33 c 2370 12306 293505 1170404 0 1566 37 38 33 4.23/4.35 c 2380 12371 295164 1175682 0 1573 23 38 25 4.23/4.37 c 2390 12417 296102 1180191 0 1583 30 35 30 4.23/4.37 c 2400 12472 297022 1183392 0 1592 34 41 34 4.23/4.38 c 2410 12524 297906 1187092 0 1602 37 41 36 4.33/4.41 c 2420 12586 299059 1193896 0 1606 30 40 33 4.33/4.45 c 2430 12639 300218 1199698 0 1613 30 40 30 4.33/4.45 c 2431 12662 300826 1200471 0 1614 23 23 11 4.33/4.46 c 2440 12695 301889 1203963 0 1623 24 25 22 4.33/4.47 c 2450 12757 302924 1208724 0 1629 31 41 33 4.33/4.48 c 2460 12814 304676 1213549 0 1635 25 32 25 4.43/4.50 c 2470 12871 305827 1218211 0 1644 28 44 33 4.43/4.51 c 2480 12907 306973 1221677 0 1649 23 24 21 4.43/4.52 c 2490 12957 308862 1228333 0 1653 24 31 25 4.43/4.54 c 2500 13015 309715 1233226 0 1663 24 39 30 4.43/4.55 c 2510 13052 310748 1235735 0 1667 25 25 22 4.43/4.56 c 2520 13084 311774 1240564 0 1669 22 22 20 4.43/4.57 c 2530 13119 312741 1244285 0 1674 23 24 21 4.43/4.59 c 2540 13160 313703 1248563 0 1679 29 30 27 4.53/4.60 c 2550 13209 314523 1254782 0 1689 28 38 30 4.53/4.61 c 2560 13264 315455 1259896 0 1699 26 37 28 4.53/4.63 c 2570 13304 316590 1264623 0 1704 23 27 22 4.53/4.65 c 2580 13347 317818 1270048 0 1706 22 25 21 4.53/4.67 c 2590 13385 319705 1278267 0 1708 23 25 21 4.53/4.68 c 2600 13427 320582 1281947 0 1713 29 31 28 4.53/4.69 c 2610 13482 321357 1287017 0 1722 30 42 33 4.63/4.70 conflict 67lvl : 25 bt25-1072:0(1492)X225504 4.63/4.70 conflict 132lvl : 25 bt25-83:0(1548)X225574 4.63/4.70 conflict 195lvl : 24 bt24-1064:0(1557)X225709 4.63/4.70 c 2620 13518 322914 1291400 0 1728 24 26 22 4.63/4.73 c 2630 13574 324078 1296801 0 1738 29 37 29 4.63/4.75 c 2640 13621 325032 1301095 0 1741 27 35 30 4.63/4.76 c 2650 13672 326898 1305155 0 1750 26 32 25 4.63/4.77 c 2660 13725 327833 1313066 0 1758 30 40 31 4.63/4.78 c 2670 13780 328956 1318100 0 1767 27 40 32 4.73/4.81 c 2680 13828 330102 1323941 0 1771 33 33 30 4.73/4.83 c 2690 13887 331319 1329188 0 1780 35 38 33 4.73/4.84 c 2700 13942 332272 1332785 0 1785 36 42 35 4.73/4.85 c 2710 13995 333287 1336814 0 1792 29 40 32 4.73/4.86 c 2720 14052 334264 1340456 0 1795 33 44 36 4.73/4.88 c 2730 14101 335341 1345890 0 1799 29 33 29 4.83/4.91 c 2740 14148 336673 1352482 0 1801 32 34 30 4.83/4.94 c 2750 14197 337830 1357961 0 1805 29 33 29 4.83/4.95 c 2760 14251 338753 1363025 0 1813 27 41 32 4.83/4.97 c 2770 14302 339679 1367390 0 1823 27 40 32 4.83/4.97 c 2771 14344 340369 1369329 0 1824 42 42 21 4.83/5.00 c 2780 14392 341561 1374763 0 1827 33 35 30 4.94/5.02 c 2790 14459 342789 1379572 0 1830 33 37 31 4.94/5.02 c 2800 14505 343649 1383335 0 1836 31 36 32 4.94/5.04 c 2810 14545 344952 1387078 0 1843 25 26 23 4.94/5.06 c 2820 14602 346063 1391915 0 1852 33 38 33 4.94/5.08 c 2830 14656 347537 1397858 0 1856 30 33 28 4.94/5.09 c 2840 14718 348755 1403202 0 1859 37 41 34 4.94/5.10 c 2850 14771 349979 1406537 0 1864 24 28 24 5.04/5.12 c 2860 14809 351713 1412603 0 1869 24 26 22 5.04/5.14 c 2870 14862 352812 1417633 0 1875 31 41 32 5.04/5.15 c 2880 14918 353918 1421377 0 1885 35 43 36 5.04/5.16 c 2890 14972 355016 1424826 0 1895 35 43 36 5.04/5.17 c 2900 15026 356002 1427981 0 1905 37 45 37 5.04/5.19 c 2910 15083 357723 1432963 0 1910 26 30 26 5.13/5.20 c 2920 15139 358759 1436774 0 1915 34 44 37 5.13/5.21 c 2930 15192 360109 1440949 0 1921 24 32 24 5.13/5.23 c 2940 15238 361098 1446401 0 1928 30 33 28 5.13/5.24 c 2950 15288 361909 1450194 0 1938 29 41 31 5.13/5.25 c 2960 15334 362879 1455040 0 1945 30 33 28 5.13/5.27 c 2970 15388 363980 1459584 0 1946 31 39 32 5.13/5.28 c 2980 15421 365204 1463045 0 1950 23 23 20 5.13/5.29 c 2990 15474 366185 1466625 0 1959 37 40 34 5.23/5.30 c 3000 15520 367094 1471719 0 1964 30 34 28 5.23/5.31 c 3010 15557 368357 1475119 0 1969 24 27 24 5.23/5.33 c 3020 15629 370174 1480059 0 1975 29 44 32 5.23/5.34 c 3030 15677 370884 1483641 0 1985 26 37 30 5.23/5.35 c 3040 15733 372039 1488225 0 1993 37 45 36 5.23/5.36 conflict 67lvl : 33 bt33-1034:0(1618)X235579 5.23/5.36 conflict 67lvl : 32 bt32-228:0(1637)X235649 5.23/5.36 conflict 67lvl : 30 bt30-1035:0(1504)X235719 5.23/5.36 conflict 132lvl : 33 bt33226:0(1576)X235789 5.23/5.36 conflict 67lvl : 32 bt32-928:0(1626)X235924 5.23/5.36 conflict 67lvl : 31 bt31-1031:0(1517)X235994 5.23/5.36 c 3050 15791 374941 1495012 0 1998 30 31 28 5.23/5.38 c 3060 15830 376123 1499483 0 2005 24 27 24 5.23/5.39 c 3070 15887 377728 1504577 0 2012 24 38 28 5.33/5.43 c 3080 15924 378751 1509193 0 2013 26 28 23 5.33/5.44 c 3090 15972 380342 1513279 0 2019 25 29 23 5.33/5.46 c 3100 16023 381435 1518486 0 2023 30 35 30 5.33/5.48 c 3110 16079 382586 1522613 0 2032 33 43 34 5.43/5.50 c 3120 16127 383609 1527746 0 2036 33 33 30 5.43/5.52 c 3130 16187 384912 1532703 0 2042 32 43 32 5.43/5.52 c 3140 16227 386220 1538110 0 2051 22 31 21 5.43/5.53 c 3142 16266 386945 1540149 0 2053 30 38 22 5.43/5.54 c 3150 16306 388159 1543921 0 2055 23 27 22 5.43/5.56 c 3160 16373 390652 1550415 0 2059 25 36 26 5.43/5.58 c 3170 16429 391726 1556143 0 2066 27 39 30 5.43/5.59 c 3180 16478 392793 1560840 0 2069 37 38 33 5.53/5.62 c 3190 16546 394198 1566751 0 2075 32 41 34 5.53/5.65 c 3200 16604 395396 1572895 0 2085 29 40 30 5.53/5.68 c 3210 16651 396455 1577869 0 2092 30 35 29 5.63/5.71 c 3220 16714 397901 1583713 0 2100 34 38 32 5.63/5.72 c 3230 16772 399146 1588492 0 2108 35 41 34 5.63/5.74 c 3240 16831 400162 1592989 0 2118 30 42 33 5.63/5.75 c 3250 16878 401143 1597225 0 2125 29 35 30 5.63/5.76 c 3260 16935 402088 1600559 0 2133 32 44 35 5.63/5.77 c 3270 16981 402827 1603933 0 2139 12 37 30 5.63/5.78 c 3280 17020 404583 1609244 0 2144 24 26 22 5.73/5.80 c 3290 17066 405682 1614501 0 2150 32 35 30 5.73/5.81 c 3300 17100 406827 1618038 0 2151 24 25 21 5.73/5.82 c 3310 17156 407840 1623142 0 2158 27 39 30 5.73/5.83 c 3320 17204 408936 1627060 0 2166 38 39 34 5.73/5.85 c 3330 17260 409975 1632116 0 2173 27 39 30 5.73/5.87 c 3340 17313 411126 1636779 0 2180 37 41 34 5.73/5.88 c 3350 17369 412338 1640464 0 2188 37 47 38 5.83/5.90 c 3360 17408 413961 1647672 0 2191 22 25 20 5.83/5.92 c 3370 17448 415331 1652473 0 2194 23 26 21 5.83/5.93 c 3380 17499 416324 1656653 0 2198 34 39 33 5.83/5.94 c 3390 17552 417758 1660993 0 2202 25 39 29 5.83/5.95 c 3400 17605 418862 1664750 0 2210 33 40 33 5.83/5.96 c 3410 17659 420086 1668032 0 2217 24 36 28 5.83/5.97 c 3420 17716 421452 1671484 0 2226 24 32 24 5.83/6.00 c 3430 17767 422658 1677309 0 2234 30 36 31 5.94/6.03 c 3440 17806 424286 1684002 0 2239 22 24 21 5.94/6.07 c 3450 17858 425646 1690935 0 2245 30 36 31 5.94/6.08 c 3460 17916 427064 1696453 0 2252 33 37 32 5.94/6.10 c 3470 17977 428536 1700812 0 2258 34 42 34 6.04/6.12 c 3480 18032 429631 1706460 0 2266 32 42 32 6.04/6.16 c 3490 18075 431009 1713138 0 2273 27 30 25 6.04/6.18 c 3500 18125 431959 1717788 0 2280 24 36 29 6.04/6.19 c 3510 18181 433037 1722937 0 2287 32 36 30 6.13/6.20 c 3520 18231 434620 1726719 0 2291 31 33 29 6.13/6.24 c 3530 18274 435984 1733261 0 2298 27 30 25 6.13/6.26 c 3540 18334 436985 1738387 0 2301 35 37 33 6.13/6.27 c 3550 18390 438182 1742947 0 2309 30 40 31 6.13/6.27 c 3551 18404 438469 1743425 0 2310 14 14 7 6.13/6.28 c 3560 18457 439811 1746707 0 2317 27 39 27 6.13/6.29 c 3570 18504 440679 1750550 0 2326 13 36 28 6.23/6.31 c 3580 18553 442416 1755730 0 2334 26 33 25 6.23/6.32 c 3590 18604 443380 1759269 0 2338 34 39 33 6.23/6.33 c 3600 18639 444577 1762209 0 2340 24 25 21 6.23/6.34 c 3610 18694 445631 1765974 0 2347 31 39 31 6.23/6.35 conflict 67lvl : 26 bt26-51:0(1527)X248258 6.23/6.35 conflict 67lvl : 26 bt26-55:0(1491)X248328 6.23/6.35 c 3620 18745 447490 1770210 0 2350 27 29 24 6.23/6.36 c 3630 18805 448479 1774956 0 2359 31 41 33 6.33/6.42 c 3640 18852 450154 1784202 0 2363 27 29 25 6.33/6.43 c 3650 18899 451873 1787949 0 2368 30 32 28 6.33/6.43 conflict 67lvl : 23 bt23-1173:0(1485)X249119 6.33/6.44 conflict 67lvl : 23 bt23-1033:0(1556)X249189 6.33/6.46 c 3660 18936 453721 1797182 0 2373 23 24 21 6.33/6.47 c 3670 18990 454637 1801581 0 2380 31 43 32 6.33/6.49 c 3680 19025 456306 1807702 0 2383 22 24 21 6.43/6.51 c 3690 19085 457377 1812991 0 2384 35 43 34 6.43/6.52 c 3700 19148 459080 1818222 0 2389 24 36 25 6.43/6.55 c 3710 19190 460212 1823334 0 2394 31 32 29 6.43/6.57 c 3720 19240 461523 1831553 0 2401 26 30 26 6.43/6.59 c 3730 19278 462772 1837670 0 2405 23 25 21 6.53/6.60 c 3740 19342 464511 1842924 0 2408 24 31 24 6.53/6.62 c 3750 19392 465645 1847788 0 2417 30 38 30 6.53/6.65 c 3760 19434 466797 1853085 0 2422 31 32 29 6.53/6.67 c 3770 19499 468170 1859275 0 2428 35 41 35 6.53/6.70 c 3780 19544 469969 1866698 0 2433 21 24 20 6.63/6.71 c 3790 19593 471078 1871682 0 2441 29 34 30 6.63/6.75 c 3800 19634 472827 1879737 0 2445 22 24 20 6.63/6.77 c 3810 19693 474304 1885163 0 2447 34 40 32 6.63/6.78 c 3820 19727 475391 1889546 0 2450 23 24 21 6.73/6.80 c 3830 19787 476785 1894195 0 2454 34 44 35 6.73/6.82 c 3840 19835 478221 1899766 0 2462 24 27 23 6.73/6.84 c 3850 19883 479933 1905461 0 2463 23 30 22 6.73/6.86 c 3860 19949 481886 1911756 0 2466 23 29 24 6.73/6.87 c 3870 19999 482915 1916364 0 2471 30 37 31 6.73/6.89 c 3880 20039 484139 1921399 0 2477 24 27 23 6.83/6.90 c 3890 20078 485142 1924052 0 2487 24 26 23 6.83/6.94 c 3900 20138 486301 1930733 0 2492 30 40 33 6.83/6.94 c 3910 20182 487797 1934047 0 2494 29 32 27 6.83/6.95 c 3920 20229 489401 1937407 0 2499 29 31 27 6.83/6.98 c 3930 20278 490465 1943050 0 2509 29 35 29 6.83/7.00 c 3940 20324 491966 1948088 0 2511 26 30 24 6.94/7.02 c 3950 20370 493275 1954373 0 2513 31 33 29 6.94/7.04 c 3960 20432 495221 1959860 0 2515 24 33 26 6.94/7.05 c 3970 20484 496152 1964558 0 2525 30 43 32 6.94/7.07 c 3980 20536 497103 1970220 0 2531 29 39 31 6.94/7.09 c 3990 20588 498065 1974372 0 2539 34 41 34 7.04/7.11 c 4000 20641 499225 1980193 0 2549 28 40 31 7.04/7.11 c 4001 20673 499851 1981898 0 2550 32 32 16 7.04/7.13 c 4010 20722 500918 1986463 0 2559 27 37 29 7.04/7.15 c 4020 20778 501949 1991261 0 2567 30 41 33 7.04/7.19 c 4030 20836 503238 1997669 0 2577 28 37 29 7.13/7.21 c 4040 20887 504327 2002751 0 2587 30 39 32 7.13/7.22 c 4050 20934 505214 2005741 0 2597 29 38 29 7.13/7.24 c 4060 20992 506348 2011593 0 2604 31 41 32 7.13/7.25 c 4070 21036 507535 2014579 0 2610 30 32 28 7.13/7.26 c 4080 21093 508700 2018747 0 2618 34 44 34 7.13/7.27 c 4090 21142 509702 2022452 0 2622 36 38 32 7.13/7.28 c 4100 21188 510360 2026830 0 2632 29 37 31 7.13/7.29 c 4110 21239 511383 2031006 0 2638 30 38 32 7.23/7.30 c 4120 21287 512281 2034794 0 2647 29 34 28 7.23/7.32 c 4130 21349 513361 2039789 0 2655 26 40 31 7.23/7.33 c 4140 21402 514476 2044410 0 2656 33 43 34 7.23/7.36 c 4150 21471 515706 2050024 0 2661 34 42 36 7.23/7.37 c 4160 21520 516856 2054398 0 2671 31 38 32 7.23/7.39 c 4170 21572 518423 2058800 0 2674 24 27 23 7.33/7.41 c 4180 21610 519594 2063813 0 2679 24 25 22 7.33/7.44 c 4190 21653 520762 2068286 0 2682 26 32 26 7.33/7.45 c 4200 21691 521608 2070525 0 2687 25 25 22 7.33/7.46 c 4210 21733 522817 2073831 0 2692 24 31 27 7.33/7.47 c 4220 21785 523795 2078066 0 2696 29 38 33 7.33/7.48 c 4230 21826 525257 2081557 0 2700 26 31 24 7.33/7.49 c 4240 21876 526192 2085061 0 2705 35 38 33 7.43/7.51 c 4250 21922 527178 2089035 0 2707 29 34 30 7.43/7.53 c 4260 21992 528990 2095717 0 2711 25 33 27 7.43/7.54 c 4270 22045 529932 2101116 0 2715 25 38 31 7.43/7.55 c 4280 22096 530839 2104907 0 2722 15 39 27 7.43/7.57 c 4290 22147 531804 2109703 0 2732 31 40 30 7.43/7.58 c 4300 22196 532654 2113123 0 2742 27 38 32 7.43/7.59 c 4310 22253 533718 2118013 0 2748 31 41 34 7.53/7.62 c 4320 22310 534825 2123831 0 2758 32 42 34 7.53/7.64 c 4330 22361 535875 2128296 0 2766 29 39 33 7.53/7.65 c 4340 22414 536788 2131981 0 2770 33 37 32 7.53/7.66 c 4350 22463 537839 2135605 0 2776 30 39 33 7.53/7.69 c 4360 22523 538998 2142049 0 2786 31 41 33 7.63/7.71 c 4370 22572 539942 2146056 0 2792 29 39 32 7.63/7.75 c 4380 22621 541367 2153044 0 2802 29 35 30 7.63/7.76 c 4390 22660 542725 2156473 0 2804 24 26 22 7.73/7.80 c 4400 22714 543960 2162575 0 2812 29 39 32 7.73/7.81 c 4410 22769 545384 2168694 0 2817 33 41 32 7.73/7.86 c 4420 22818 546778 2175435 0 2827 29 35 30 7.73/7.88 c 4430 22875 548790 2182453 0 2832 24 28 24 7.73/7.89 c 4440 22929 550154 2187630 0 2835 34 38 31 7.83/7.91 c 4450 22983 551207 2193267 0 2841 35 37 33 7.83/7.94 c 4460 23030 552369 2198369 0 2842 33 34 30 7.83/7.96 c 4470 23070 554106 2205121 0 2848 23 27 22 7.83/7.97 c 4480 23119 555131 2210462 0 2852 27 33 28 7.83/8.00 c 4490 23177 556286 2215840 0 2862 30 43 31 7.94/8.01 c 4493 23213 557091 2218899 0 2865 29 34 24 7.94/8.04 c 4500 23258 558169 2223621 0 2871 28 34 27 7.94/8.05 c 4510 23292 559705 2228039 0 2875 24 24 21 7.94/8.06 c 4520 23351 560858 2232118 0 2881 33 42 35 7.94/8.08 c 4530 23393 561935 2236985 0 2886 27 32 28 7.94/8.09 c 4540 23460 563179 2241896 0 2892 29 42 34 8.04/8.11 c 4550 23510 564229 2246892 0 2902 27 38 29 8.04/8.13 c 4560 23573 565333 2252712 0 2905 35 41 35 8.04/8.15 c 4570 23635 566726 2258363 0 2910 22 41 31 8.04/8.17 c 4580 23683 567837 2264981 0 2919 31 33 28 8.04/8.18 c 4590 23740 568967 2268392 0 2927 32 43 35 8.04/8.19 c 4600 23799 569831 2273161 0 2935 32 42 33 8.13/8.24 c 4610 23848 571256 2280132 0 2945 29 35 30 8.13/8.25 c 4620 23891 572617 2283503 0 2947 27 27 24 8.13/8.28 c 4630 23948 573857 2289388 0 2957 28 38 29 8.23/8.30 c 4640 23984 575233 2293932 0 2960 22 24 20 8.23/8.31 c 4650 24020 576139 2296876 0 2964 24 24 21 8.23/8.32 c 4660 24063 577333 2301774 0 2968 25 27 23 8.23/8.36 c 4670 24120 578574 2307659 0 2978 28 38 29 8.23/8.38 c 4680 24163 580332 2314585 0 2981 24 28 23 8.23/8.39 c 4690 24215 582049 2318852 0 2986 24 34 23 8.33/8.41 c 4700 24263 583090 2323317 0 2995 28 34 30 8.33/8.42 c 4710 24325 584372 2327364 0 3001 23 39 32 8.33/8.45 c 4720 24372 585579 2332959 0 3009 31 33 29 8.33/8.48 c 4730 24427 586781 2338774 0 3016 30 39 32 8.43/8.50 conflict 67lvl : 25 bt24-403:0(1385)X271571 8.43/8.51 conflict 67lvl : 26 bt26-437:0(1506)X271641 8.43/8.51 conflict 98lvl : 26 bt26-401:0(1494)X271711 8.43/8.52 conflict 67lvl : 25 bt25-440:0(1547)X271812 8.43/8.52 conflict 98lvl : 26 bt26-334:0(1493)X271882 8.43/8.52 conflict 133lvl : 27 bt27194:0(1500)X271983 8.43/8.52 conflict 99lvl : 26 bt26-440:0(1530)X272119 8.43/8.53 conflict 67lvl : 25 bt25-404:0(1302)X272221 8.43/8.53 conflict 67lvl : 26 bt26-859:0(1430)X272291 8.43/8.53 conflict 160lvl : 26 bt26-861:0(1343)X272361 8.43/8.53 conflict 193lvl : 25 bt25471:0(1377)X272524 8.43/8.54 c 4740 24479 590252 2356425 0 3026 25 26 23 8.43/8.56 c 4750 24520 591371 2361537 0 3031 28 30 27 8.43/8.59 c 4760 24573 592562 2366981 0 3039 29 39 33 8.53/8.61 c 4770 24615 593928 2373078 0 3043 24 26 22 8.53/8.62 c 4780 24653 594968 2376255 0 3047 24 26 22 8.53/8.64 c 4790 24687 596402 2381403 0 3050 23 23 20 8.53/8.65 c 4800 24732 597941 2387487 0 3053 25 27 24 8.53/8.67 c 4810 24784 598781 2391604 0 3063 24 39 31 8.53/8.68 c 4820 24840 599839 2396512 0 3073 31 43 34 8.63/8.71 c 4830 24894 600748 2402463 0 3083 27 41 30 8.63/8.72 c 4840 24937 602180 2405866 0 3086 24 24 21 8.63/8.73 c 4850 24980 603111 2409599 0 3090 31 33 29 8.63/8.75 c 4860 25030 604111 2415871 0 3097 27 33 27 8.63/8.77 c 4870 25088 605178 2421786 0 3099 15 36 30 8.63/8.77 conflict 99lvl : 28 bt28-125:0(1466)X275456 8.63/8.77 conflict 129lvl : 27 bt27-121:0(1488)X275558 8.63/8.77 c 4880 25133 606583 2424589 0 3101 27 29 25 8.63/8.79 c 4890 25182 607602 2429224 0 3106 26 36 29 8.73/8.81 c 4900 25227 608657 2434692 0 3107 32 33 29 8.73/8.85 c 4910 25279 610016 2442789 0 3114 31 34 28 8.73/8.88 c 4920 25326 611145 2447729 0 3124 29 35 30 8.83/8.90 c 4930 25384 612148 2452572 0 3132 30 41 32 8.83/8.91 c 4940 25439 613346 2458337 0 3140 28 38 30 8.83/8.93 c 4950 25484 614353 2462679 0 3147 28 35 30 8.83/8.95 c 4960 25530 615466 2468648 0 3149 28 30 26 8.83/8.97 c 4970 25575 616428 2472844 0 3155 30 35 31 8.83/9.00 c 4980 25629 617594 2478186 0 3159 36 36 32 8.93/9.02 c 4990 25689 618686 2483909 0 3167 33 45 33 8.93/9.08 c 5035 25814 621379 2498650 0 3180 32 44 36 9.53/9.68 c 5631 27292 649541 2713380 0 3194 27 42 36 10.43/10.54 c 6286 28724 684177 2928334 0 3209 29 45 35 11.23/11.36 c 7006 30636 765314 3223562 0 3220 23 41 30 12.03/12.18 c 7798 32826 807438 3506045 0 3225 28 44 36 12.73/12.89 c 8669 35307 850568 3801741 0 3246 28 44 37 13.93/14.04 c 9627 37527 936717 4227988 0 3255 20 36 23 14.43/14.57 c 10680 40784 981352 4768088 0 3267 28 45 39 17.33/17.44 c 11838 43827 1062505 5390921 0 3293 27 39 34 18.64/18.77 c 13111 45774 1119532 5742777 0 3316 27 35 34 19.54/19.61 c 14511 50039 1178245 6113280 0 3342 31 44 42 20.44/20.59 c 16051 53763 1250264 6572551 0 3365 30 44 37 22.14/22.22 c 17745 58442 1333894 7157733 0 3389 27 42 37 22.64/22.76 c 19608 63515 1412896 7670071 0 3415 27 44 35 24.84/24.97 c 21657 69369 1524599 8404819 0 3421 27 44 36 27.54/27.65 c 23910 73993 1658272 9148762 0 3438 26 37 33 30.04/30.16 c 26388 84778 1848843 10051629 0 3466 20 43 34 32.14/32.24 c 29113 91348 1983485 10936905 0 3486 28 47 36 34.14/34.22 c 32110 99407 2201350 11720386 0 3512 22 44 34 37.34/37.43 c 35406 108575 2373116 12895128 0 3527 27 42 36 38.44/38.59 c 39031 116105 2485682 13667263 0 3542 31 45 39 40.44/40.52 c 43018 124756 2644532 14633072 0 3565 30 51 40 44.34/44.46 c 47403 135367 2853780 15956016 0 3596 30 47 39 49.23/49.31 c 52226 146455 3101568 17867570 0 3613 25 43 34 53.54/53.62 c 57531 161404 3395652 19833428 0 3651 27 45 36 58.14/58.20 c 63366 176456 3693016 21681116 0 3671 28 46 39 64.74/64.88 c 69784 194195 4031468 23843852 0 3699 26 47 37 68.14/68.22 c 76843 207412 4529020 25826920 0 3708 24 39 28 76.05/76.18 c 84607 231704 4958571 28483242 0 3741 29 48 40 82.54/82.64 c 93147 254087 5326706 31371273 0 3767 27 47 36 88.74/88.82 c 102541 280658 5746010 33993062 0 3796 31 49 42 98.44/98.50 c 112874 311940 6313298 37416674 0 3817 26 46 38 107.14/107.27 c 124240 337309 6925438 41043836 0 3831 26 46 34 115.64/115.77 c 136742 371823 7590848 45536724 0 3873 26 47 36 125.34/125.46 c 150494 414452 8843118 49922371 0 3920 22 51 31 137.44/137.59 c 165621 457356 9536399 54660160 0 3942 28 43 39 151.64/151.70 c 182260 499726 10265928 60698403 0 3972 26 46 36 166.74/166.85 c 200562 556342 11418879 67949954 0 4000 26 45 35 180.95/181.01 c 220694 609532 12380386 74442490 0 4038 29 49 40 200.54/200.69 c 242839 675770 13426144 83857684 0 4075 27 46 37 217.45/217.57 c 267198 746163 14668591 92039599 0 4096 27 46 37 232.15/232.26 c 293992 826460 16089950 99349495 0 4118 30 50 39 254.55/254.69 c 323465 916460 17519557 108094854 0 4149 29 52 41 281.06/281.12 c 355885 1006116 19069577 118491922 0 4180 25 47 37 308.65/308.76 c 391547 1116954 21071496 131056523 0 4194 26 46 38 331.55/331.69 c 430775 1199561 24146221 142413695 0 4198 20 44 29 363.85/363.90 c 473925 1319294 26275487 154760697 0 4230 30 51 42 403.07/403.18 c 521390 1468970 28755898 169648101 0 4262 29 48 40 442.56/442.62 c 573601 1616553 31095689 187980319 0 4301 25 48 38 491.56/491.61 c 631033 1798258 34121255 206352456 0 4328 14 50 39 544.27/544.35 c 694208 1980504 37057604 229912274 0 4373 27 47 37 580.27/580.31 c 763700 2146542 39554653 248519310 0 4398 28 50 40 640.77/640.83 c 840141 2349190 43520004 275573931 0 4416 15 45 36 717.68/717.72 c 924226 2609612 48004043 303288068 0 4438 26 50 38 791.58/791.69 c 1016719 2904888 52446938 330415905 0 4458 27 50 41 874.59/874.66 c 1118461 3225463 57562291 365958827 0 4508 27 48 39 964.00/964.07 c 1230377 3595779 63972361 404439558 0 4540 26 46 39 1069.40/1069.41 c 1353484 3928628 70403903 441664725 0 4575 28 50 39 1148.61/1148.69 c 1488901 4295335 76449460 485380721 0 4601 26 48 38 1262.42/1262.48 c 1637859 4740208 84053207 541104464 0 4643 25 48 38 1383.32/1383.30 c 1801712 5189157 91955479 594306028 0 4670 26 50 40 1539.04/1539.09 c 1981950 5698185 100652557 650587484 0 4693 26 49 39 1716.85/1716.84 c 2180211 6260283 109985062 718964441 0 4752 26 50 39 1865.56/1865.54 c 2398298 6904755 120549006 785394615 0 4781 24 48 37 2067.18/2067.19 c 2638193 7582945 133368548 862662885 0 4812 24 47 37 2271.39/2271.30 c 2902077 8337596 145392745 949437189 0 4848 27 50 40 2501.01/2500.95 c 3192349 9214006 159224217 1040926467 0 4874 27 49 41 2520.01/2519.90 2520.01/2519.90 c *** INTERRUPTED *** 2520.01/2519.90 c restarts : 584 2520.01/2519.90 c conflicts : 3213279 (1275 /sec) 2520.01/2519.90 c decisions : 9281196 (3683 /sec) 2520.01/2519.90 c propagations : 1047822693 (415803 /sec) 2520.01/2519.90 c root propagations : 0 2520.01/2519.90 c filter calls : 160299356 (63611 /sec) 2520.01/2519.90 c useless filter calls : 61517740 (38 %) 2520.01/2519.90 c 2520.01/2519.90 c clauses : 44911 2520.01/2519.90 c SAT propagations : 2653 2520.01/2519.90 c SAT conflicts : 1 (37 learnts) 2520.01/2519.90 c Memory used : 32.47 MB 2520.01/2519.90 c CPU time : 2520 s 2520.01/2519.90 2520.01/2519.90 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 (14226 MiB free)
memory of node 1: 16384 MiB (15288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265977-1502571361/watcher-4265977-1502571361 -o /tmp/evaluation-result-4265977-1502571361/solver-4265977-1502571361 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265977-1502571361.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=13404, runsolver pid=13401
[startup+0.100692 s]*
/proc/loadavg: 2.09 2.06 2.05 3/187 13405
/proc/meminfo: memFree=30222700/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=32852 memory=5776 CPUtime=0.04 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 1611 0 0 0 4 0 0 0 20 0 1 0 99047410 33640448 1444 18446744073709551615 4194304 5972588 140724669562096 140724669558968 139944855288805 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8213 1444 836 435 0 1576 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 32852 KiB
Current children cumulated memory: 5776 KiB
[startup+0.209471 s]*
/proc/loadavg: 2.09 2.06 2.05 3/187 13405
/proc/meminfo: memFree=30221204/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=32988 memory=5776 CPUtime=0.15 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 1640 0 0 0 15 0 0 0 20 0 1 0 99047410 33779712 1444 18446744073709551615 4194304 5972588 140724669562096 140724669558968 4909694 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8247 1444 836 435 0 1610 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 32988 KiB
Current children cumulated memory: 5776 KiB
[startup+0.309038 s]*
/proc/loadavg: 2.09 2.06 2.05 3/187 13405
/proc/meminfo: memFree=30221204/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=32988 memory=5776 CPUtime=0.25 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 1644 0 0 0 25 0 0 0 20 0 1 0 99047410 33779712 1444 18446744073709551615 4194304 5972588 140724669562096 140724669558968 4968754 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8247 1444 836 435 0 1610 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 32988 KiB
Current children cumulated memory: 5776 KiB
[startup+0.700275 s]
/proc/loadavg: 2.09 2.06 2.05 3/187 13405
/proc/meminfo: memFree=30221204/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=32988 memory=5776 CPUtime=0.63 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 1656 0 0 0 63 0 0 0 20 0 1 0 99047410 33779712 1444 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5071040 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8247 1444 836 435 0 1610 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 32988 KiB
Current children cumulated memory: 5776 KiB
[startup+1.50028 s]
/proc/loadavg: 2.09 2.06 2.05 3/187 13405
/proc/meminfo: memFree=30220928/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=32988 memory=6040 CPUtime=1.43 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 1675 0 0 0 143 0 0 0 20 0 1 0 99047410 33779712 1510 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4962247 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8247 1510 839 435 0 1610 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 32988 KiB
Current children cumulated memory: 6040 KiB
[startup+3.10914 s]
/proc/loadavg: 2.09 2.06 2.05 3/187 13405
/proc/meminfo: memFree=30220712/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=6160 CPUtime=3.04 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 2130 0 0 0 304 0 0 0 20 0 1 0 99047410 33910784 1540 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5070704 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 1540 841 435 0 1642 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 6160 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.04 3/187 13405
/proc/meminfo: memFree=30217928/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=8352 CPUtime=6.23 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 2927 0 0 0 623 0 0 0 20 0 1 0 99047410 33910784 2088 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4965365 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 2088 841 435 0 1642 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 8352 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.04 3/187 13405
/proc/meminfo: memFree=30217788/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=8436 CPUtime=12.63 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 3564 0 0 0 1263 0 0 0 20 0 1 0 99047410 33910784 2109 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4909602 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 2109 841 435 0 1642 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 8436 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.04 3/187 13405
/proc/meminfo: memFree=30217896/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=8456 CPUtime=25.44 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 4644 0 0 0 2543 1 0 0 20 0 1 0 99047410 33910784 2114 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4909657 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 2114 841 435 0 1642 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 8456 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.03 2.04 3/187 13406
/proc/meminfo: memFree=30216500/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=8468 CPUtime=51.04 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 5400 0 0 0 5103 1 0 0 20 0 1 0 99047410 33910784 2117 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 2117 841 435 0 1642 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 8468 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/187 13408
/proc/meminfo: memFree=30214744/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=8476 CPUtime=102.24 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 6007 0 0 0 10223 1 0 0 20 0 1 0 99047410 33910784 2119 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5071761 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 2119 841 435 0 1642 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 8476 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 13410
/proc/meminfo: memFree=30214444/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=8484 CPUtime=162.24 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 6646 0 0 0 16223 1 0 0 20 0 1 0 99047410 33910784 2121 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 2121 841 435 0 1642 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 8484 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/185 13412
/proc/meminfo: memFree=30213220/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33116 memory=8492 CPUtime=222.25 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 7285 0 0 0 22224 1 0 0 20 0 1 0 99047410 33910784 2123 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8279 2123 841 435 0 1642 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 8492 KiB
[startup+282.3 s]
/proc/loadavg: 2.26 2.08 2.06 3/185 13414
/proc/meminfo: memFree=30207304/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8496 CPUtime=282.25 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 7291 0 0 0 28224 1 0 0 20 0 1 0 99047410 34045952 2124 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5070708 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2124 841 435 0 1675 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8496 KiB
[startup+342.3 s]
/proc/loadavg: 2.33 2.15 2.09 3/186 13418
/proc/meminfo: memFree=30206172/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8504 CPUtime=342.25 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 7921 0 0 0 34224 1 0 0 20 0 1 0 99047410 34045952 2126 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2126 841 435 0 1675 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8504 KiB
[startup+402.3 s]
/proc/loadavg: 2.19 2.14 2.09 3/186 13420
/proc/meminfo: memFree=30203624/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8504 CPUtime=402.26 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 7924 0 0 0 40225 1 0 0 20 0 1 0 99047410 34045952 2126 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4968720 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2126 841 435 0 1675 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8504 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.11 2.08 3/186 13422
/proc/meminfo: memFree=30203488/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8508 CPUtime=462.26 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 8468 0 0 0 46225 1 0 0 20 0 1 0 99047410 34045952 2127 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4968804 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2127 841 435 0 1675 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8508 KiB
################
# More data... #
################
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+1842.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 13542
/proc/meminfo: memFree=30195804/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=1842.36 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 14810 0 0 0 184235 1 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4977681 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+1902.3 s]
/proc/loadavg: 2.24 2.08 2.06 3/186 13544
/proc/meminfo: memFree=30195960/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=1902.36 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 15345 0 0 0 190235 1 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4968815 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+1962.3 s]
/proc/loadavg: 2.43 2.18 2.10 3/185 13546
/proc/meminfo: memFree=30196844/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=1962.36 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 15349 0 0 0 196235 1 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4972728 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 1962.36 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+2022.3 s]
/proc/loadavg: 2.21 2.17 2.10 3/186 13549
/proc/meminfo: memFree=30195464/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=2022.37 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 15728 0 0 0 202236 1 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4965428 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.14 2.09 3/185 13552
/proc/meminfo: memFree=30195108/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=2082.37 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 15911 0 0 0 208236 1 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5071785 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.11 2.09 3/185 13554
/proc/meminfo: memFree=30195112/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=2142.38 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 16328 0 0 0 214237 1 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4968754 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/185 13556
/proc/meminfo: memFree=30192560/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=2202.38 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 16347 0 0 0 220237 1 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4975319 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+2262.3 s]
/proc/loadavg: 1.86 2.04 2.06 3/186 13623
/proc/meminfo: memFree=31097976/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8524 CPUtime=2262.39 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 16756 0 0 0 226237 2 0 0 20 0 1 0 99047410 34045952 2131 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5071767 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2131 841 435 0 1675 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8524 KiB
[startup+2322.3 s]
/proc/loadavg: 1.95 2.04 2.06 3/190 13640
/proc/meminfo: memFree=31090124/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8528 CPUtime=2322.4 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 16919 0 0 0 232238 2 0 0 20 0 1 0 99047410 34045952 2132 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4975379 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2132 841 435 0 1675 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8528 KiB
[startup+2382.3 s]
/proc/loadavg: 1.98 2.03 2.05 3/187 13642
/proc/meminfo: memFree=31092524/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8528 CPUtime=2382.4 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 17268 0 0 0 238238 2 0 0 20 0 1 0 99047410 34045952 2132 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5053097 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2132 841 435 0 1675 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8528 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 2.02 2.05 3/187 13644
/proc/meminfo: memFree=31093180/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8528 CPUtime=2442.4 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 17336 0 0 0 244238 2 0 0 20 0 1 0 99047410 34045952 2132 18446744073709551615 4194304 5972588 140724669562096 140724669559400 4978745 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2132 841 435 0 1675 0
Current children cumulated CPU time: 2442.4 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8528 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13646
/proc/meminfo: memFree=31094516/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8528 CPUtime=2502.41 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 17848 0 0 0 250239 2 0 0 20 0 1 0 99047410 34045952 2132 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5053069 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2132 841 435 0 1675 0
Current children cumulated CPU time: 2502.41 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13646
/proc/meminfo: memFree=31094640/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8528 CPUtime=2520.01 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 17869 0 0 0 251999 2 0 0 20 0 1 0 99047410 34045952 2132 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2132 841 435 0 1675 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 13404 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520 s, system=0.022001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13646
/proc/meminfo: memFree=31094640/32770624 swapFree=67108860/67108860
[pid=13404] ppid=13401 vsize=33248 memory=8528 CPUtime=2520.01 cores=1,3,5,7
/proc/13404/stat : 13404 (cosoco) R 13401 13404 12395 0 -1 4202496 17869 0 0 0 251999 2 0 0 20 0 1 0 99047410 34045952 2132 18446744073709551615 4194304 5972588 140724669562096 140724669559400 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 13987840 140724669563332 140724669563432 140724669563432 140724669566926 0
/proc/13404/statm: 8312 2132 841 435 0 1675 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 8528 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.02
CPU user time (s): 2520
CPU system time (s): 0.022001
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 33248
Max. memory (cumulated for all children) (KiB): 8528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.022001
maximum resident set size= 8596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 691
# summary of solver processes directly reported to runsolver:
# pid: 13404
# total CPU time (s): 2520.02
# total CPU user time (s): 2520
# total CPU system time (s): 0.022001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46562 second user time and 15.4203 second system time
The end
Begin job on node135 at 2017-08-12 22:42:07 IDJOB=4265977 IDBENCH=124113 IDSOLVER=2655 FILE ID=node135/4265977-1502571361 RUNJOBID= node135-1502565212-12459 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-035.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265977-1502571361/watcher-4265977-1502571361 -o /tmp/evaluation-result-4265977-1502571361/solver-4265977-1502571361 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265977-1502571361.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fe30f006f3af9f6842518347a037ed7d RANDOM SEED=355914640 node135.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.21 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.21 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.21 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.21 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: 30223120 kB MemAvailable: 31070916 kB Buffers: 306552 kB Cached: 839860 kB SwapCached: 0 kB Active: 1570212 kB Inactive: 533292 kB Active(anon): 957408 kB Inactive(anon): 41332 kB Active(file): 612804 kB Inactive(file): 491960 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2452 kB Writeback: 4 kB AnonPages: 957024 kB Mapped: 54960 kB Shmem: 41656 kB Slab: 144980 kB SReclaimable: 117736 kB SUnreclaim: 27244 kB KernelStack: 3296 kB PageTables: 6668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1253744 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 407552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node135 at 2017-08-12 23:24:07