| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.8999 | 2520.01 |
| Name | Crossword/ Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-13-13.xml |
| MD5SUM | d4dde8f3e9f2541e7949826ca81c8251 |
| 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 | 169 |
| Number of constraints | 26 |
| Number of domains | 1 |
| Minimum domain size | 26 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":26,"count":169}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":169}] |
| Minimum constraint arity | 13 |
| Maximum constraint arity | 13 |
| Distribution of constraint arities | [{"arity":13,"count":26}] |
| Number of extensional constraints | 26 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":26}] |
| Optimization problem | NO |
| Type of objective |
0.79/0.84 c SAT : Variables: 4394 -- Clauses: 55094 0.89/0.92 c root propagations : 0 0.89/0.92 c restarts enabled, print stats at every restarts 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c This is cosoco 1.12 -- 0.89/0.92 c 0.89/0.92 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266550-1502593993.xml 0.89/0.92 c ========================================[ Problem Statistics ]=========================================== 0.89/0.92 c | 0.89/0.92 c | Parse time : 0.83 s 0.89/0.92 c | 0.89/0.92 c | Variables: 169 0.89/0.92 c | Domain Sizes: 26..26 0.89/0.92 c | 0.89/0.92 c | Constraints: 26 0.89/0.92 c | Arity: 13..13 0.89/0.92 c | 0.89/0.92 c | Types: 0.89/0.92 c | Extension: 26 (nb tuples: 65954..65954) -- (shared: 25) 0.89/0.92 c | 0.89/0.92 c ========================================================================================================= 0.89/0.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.19/1.26 c 10 59 1252 17071 0 7 28 38 29 1.49/1.56 c 20 99 2215 37660 0 14 26 30 25 1.89/1.92 c 30 137 3085 55878 0 16 16 28 22 2.19/2.20 c 40 176 4034 73981 0 21 27 29 25 2.49/2.52 c 50 217 4900 95200 0 22 27 30 25 3.00/3.05 c 60 250 5773 115357 0 29 17 20 16 3.29/3.37 c 70 288 6620 132464 0 33 27 29 25 3.59/3.65 c 80 326 7475 151335 0 36 26 28 24 3.89/3.98 c 90 363 8465 168593 0 43 21 27 23 4.49/4.51 c 100 406 9664 190593 0 45 16 27 16 4.69/4.78 c 101 433 9953 193379 0 46 27 27 13 5.19/5.20 c 110 493 11150 215004 0 49 27 28 24 5.59/5.63 c 120 563 12568 236759 0 53 27 28 24 5.89/5.99 c 130 608 13515 254252 0 58 28 33 26 6.39/6.48 c 140 638 14545 275240 0 65 16 19 16 6.79/6.88 c 150 688 15931 295953 0 71 27 28 25 7.19/7.21 c 160 737 17124 317315 0 74 26 30 25 7.49/7.56 c 170 779 18223 336541 0 78 29 32 26 7.89/7.94 c 180 854 20128 360894 0 81 27 38 29 8.18/8.29 c 190 891 20879 373465 0 83 27 27 24 8.58/8.63 c 200 945 22232 396428 0 86 27 30 26 8.99/9.04 c 210 982 23182 412503 0 96 6 28 22 9.28/9.35 c 211 1000 23440 415848 0 97 18 18 9 9.88/9.91 c 220 1038 24344 430101 0 102 17 28 21 10.28/10.32 c 230 1080 25764 452213 0 106 27 29 25 10.58/10.68 c 240 1125 26438 467764 0 109 27 27 24 11.28/11.39 c 250 1171 27612 493245 0 115 16 29 18 11.68/11.75 c 260 1212 28478 510575 0 121 27 30 25 12.09/12.13 c 270 1252 29393 528046 0 124 27 29 25 12.38/12.49 c 280 1302 30445 546690 0 128 27 28 25 12.78/12.86 c 290 1340 31333 563894 0 136 27 28 24 13.18/13.29 c 300 1386 32512 581791 0 139 18 29 25 13.89/13.99 c 310 1437 33719 611504 0 148 16 29 18 14.29/14.38 c 320 1476 34903 630273 0 150 28 29 25 14.69/14.74 c 330 1525 36223 652045 0 154 26 28 24 15.00/15.07 c 332 1554 36757 657740 0 156 27 28 18 15.39/15.44 c 340 1591 37672 670033 0 160 6 29 23 15.79/15.80 c 350 1650 39071 692961 0 162 26 31 24 16.19/16.22 c 360 1690 40032 709505 0 165 29 29 26 16.59/16.68 c 370 1724 40807 725497 0 175 6 22 15 16.89/17.00 c 380 1765 41931 745524 0 177 28 30 26 17.39/17.45 c 390 1814 43161 763010 0 181 28 30 26 17.79/17.84 c 400 1890 44818 788228 0 186 26 28 24 18.09/18.11 c 410 1929 45618 806079 0 191 28 29 26 18.38/18.41 c 420 1968 46658 822955 0 196 27 29 25 18.68/18.75 c 430 2008 48026 844728 0 203 27 29 25 18.99/19.03 c 440 2053 49066 861981 0 207 26 27 23 19.28/19.37 c 450 2097 50456 883878 0 211 27 29 25 19.58/19.66 c 460 2137 51483 902428 0 215 27 30 25 19.88/20.00 c 465 2169 52044 910940 0 216 28 28 23 20.18/20.25 c 470 2201 52789 921263 0 218 27 27 22 20.68/20.74 c 480 2301 55085 952259 0 220 18 28 23 20.99/21.02 c 490 2346 56386 976534 0 225 28 30 25 21.28/21.37 c 500 2391 57911 1001001 0 229 27 29 25 21.88/21.92 c 510 2444 59168 1025376 0 233 17 29 20 22.38/22.42 c 520 2475 60054 1046694 0 240 17 19 16 22.68/22.71 c 530 2514 60742 1064178 0 247 27 29 25 22.99/23.01 c 540 2553 61739 1084715 0 251 27 28 24 23.38/23.43 c 550 2601 62882 1102807 0 252 17 28 21 23.68/23.73 c 560 2640 63818 1120893 0 256 27 29 25 23.99/24.05 c 570 2680 64582 1137695 0 260 17 27 21 24.68/24.73 c 580 2738 66006 1164767 0 261 16 27 19 24.88/24.99 c 590 2781 67110 1184132 0 265 28 32 26 25.28/25.36 c 600 2821 68069 1202438 0 273 28 29 26 25.58/25.67 c 610 2862 68861 1219768 0 282 28 30 26 25.88/25.93 c 611 2890 69181 1222219 0 283 28 28 14 26.18/26.21 c 620 2927 69687 1235810 0 292 27 29 24 26.48/26.53 c 630 2966 70486 1254422 0 299 27 30 25 26.78/26.88 c 640 3017 71766 1273937 0 302 27 29 25 27.18/27.23 c 650 3090 73152 1294894 0 306 38 40 35 27.48/27.53 c 660 3141 74481 1318309 0 308 27 29 25 27.78/27.87 c 670 3221 76065 1338785 0 311 38 40 34 28.09/28.17 c 680 3283 77219 1357427 0 317 23 29 24 28.38/28.40 c 690 3324 78110 1374905 0 325 27 29 25 28.58/28.68 c 700 3361 78867 1390849 0 330 26 28 24 28.88/29.00 c 710 3410 80100 1410085 0 333 27 28 25 29.18/29.27 c 720 3452 81375 1431855 0 334 26 30 24 29.48/29.53 c 730 3493 82693 1450212 0 340 27 29 25 29.78/29.85 c 740 3531 83602 1468863 0 344 27 28 25 30.18/30.22 c 750 3581 84650 1486985 0 348 26 29 25 30.48/30.54 c 760 3622 85801 1504706 0 350 27 28 25 30.88/30.91 c 770 3668 86939 1528410 0 356 16 30 20 30.99/31.09 c 771 3685 87101 1530048 0 357 17 17 8 31.28/31.33 c 780 3734 88002 1547416 0 359 26 30 24 31.58/31.69 c 790 3781 89196 1570240 0 363 16 33 18 31.88/31.94 c 800 3823 90433 1590719 0 367 26 29 25 32.18/32.20 c 810 3866 91464 1608729 0 375 27 32 25 32.48/32.57 c 820 3919 92724 1630309 0 376 27 28 25 33.18/33.25 c 830 3965 93865 1653072 0 379 16 28 18 33.58/33.60 c 840 4005 94973 1672460 0 384 26 29 24 33.78/33.87 c 850 4046 95885 1690136 0 390 27 30 26 34.09/34.17 c 860 4086 96673 1712128 0 400 27 29 24 34.38/34.49 c 870 4135 97893 1735324 0 403 16 29 23 34.68/34.75 c 880 4177 99094 1755694 0 408 26 28 24 34.88/35.00 c 890 4218 99915 1771386 0 415 27 30 25 35.28/35.37 c 900 4288 101618 1797771 0 419 18 29 24 35.58/35.68 c 910 4338 103138 1821268 0 421 28 33 26 35.88/35.97 c 920 4376 104083 1841837 0 425 26 28 24 36.18/36.27 c 930 4419 105377 1862979 0 427 28 30 25 36.48/36.53 c 940 4459 106206 1881879 0 432 26 29 24 36.78/36.83 c 947 4495 107007 1895959 0 437 27 30 24 36.99/37.08 c 950 4524 107370 1901272 0 440 27 27 20 37.38/37.40 c 960 4568 108550 1921154 0 450 26 30 25 37.68/37.75 c 970 4617 109861 1942180 0 454 29 33 28 37.88/37.99 c 980 4657 110894 1958303 0 458 26 28 24 38.28/38.31 c 990 4710 112280 1982368 0 463 27 30 25 38.48/38.58 c 1000 4759 113571 2003056 0 466 26 30 25 38.78/38.85 c 1010 4803 114846 2024509 0 472 28 31 25 38.99/39.10 c 1020 4843 115635 2040589 0 479 27 30 25 39.28/39.33 c 1030 4893 116633 2062261 0 480 28 38 27 39.58/39.66 c 1040 4941 117852 2084553 0 483 27 30 25 39.88/39.98 c 1050 4980 119005 2104408 0 488 26 28 24 40.28/40.32 c 1060 5034 121115 2132751 0 491 27 34 26 40.58/40.61 c 1070 5074 122257 2154800 0 494 26 29 25 40.88/40.92 c 1080 5113 123219 2172505 0 495 27 29 25 41.18/41.24 c 1090 5152 124198 2192978 0 499 26 28 24 41.48/41.57 c 1100 5196 125532 2215170 0 506 28 31 26 41.78/41.88 c 1110 5239 126720 2239657 0 513 27 30 25 42.09/42.19 c 1120 5290 127743 2257112 0 519 27 38 29 42.58/42.65 c 1130 5332 128979 2283390 0 525 16 27 17 42.88/42.96 c 1140 5371 129858 2301864 0 529 27 29 25 43.18/43.22 c 1141 5405 130271 2304194 0 530 34 34 17 43.68/43.79 c 1150 5443 131326 2327518 0 539 17 24 16 43.99/44.10 c 1160 5491 132841 2351009 0 548 28 32 26 44.48/44.56 c 1170 5519 133821 2368506 0 552 17 19 16 44.78/44.89 c 1180 5565 134757 2387601 0 557 26 27 24 45.09/45.20 c 1190 5637 137050 2418502 0 565 28 38 29 45.48/45.53 c 1200 5679 138241 2440794 0 574 27 32 25 45.78/45.84 c 1210 5718 139205 2458557 0 577 26 29 24 46.09/46.13 c 1220 5760 140225 2475521 0 581 26 28 25 46.38/46.44 c 1230 5803 141155 2492733 0 588 26 27 23 46.68/46.77 c 1240 5848 142451 2510703 0 592 28 32 27 47.09/47.15 c 1250 5910 143847 2531175 0 595 27 28 24 47.38/47.44 c 1260 5950 144804 2549367 0 600 27 29 25 47.68/47.70 c 1270 5991 145648 2566172 0 606 27 30 25 47.99/48.07 c 1280 6049 146870 2588346 0 610 27 30 25 48.38/48.41 c 1290 6092 147942 2610727 0 614 26 31 25 48.68/48.70 c 1300 6133 149017 2631187 0 621 27 29 25 48.88/48.98 c 1310 6171 149991 2651464 0 626 27 28 25 49.18/49.29 c 1320 6215 151439 2677494 0 627 28 31 25 49.48/49.58 c 1330 6255 152616 2700777 0 632 27 29 25 49.78/49.85 c 1340 6293 153389 2717773 0 637 27 28 25 50.09/50.16 c 1350 6337 154796 2739576 0 644 28 30 26 50.28/50.39 c 1352 6365 155194 2744310 0 645 27 27 18 50.58/50.65 c 1360 6400 155942 2756834 0 647 27 28 24 50.88/50.93 c 1370 6438 156882 2776572 0 651 26 28 24 51.18/51.26 c 1380 6490 158938 2803817 0 658 28 34 27 51.48/51.56 c 1390 6529 159850 2819724 0 659 28 29 26 51.78/51.89 c 1400 6575 160832 2838036 0 664 16 28 22 52.18/52.20 c 1410 6622 161933 2855748 0 672 27 36 26 52.48/52.53 c 1420 6663 163203 2876953 0 673 27 32 26 52.78/52.87 c 1430 6705 164512 2899916 0 681 28 29 26 53.08/53.19 c 1440 6755 166001 2922424 0 687 28 32 27 53.38/53.46 c 1450 6793 166718 2937774 0 697 27 29 25 53.78/53.81 c 1460 6839 167773 2958902 0 702 26 31 26 54.08/54.16 c 1470 6879 169010 2978656 0 706 26 28 24 54.38/54.50 c 1480 6923 170098 2998968 0 715 27 31 26 54.68/54.79 c 1490 6963 171456 3017933 0 718 27 29 25 54.98/55.10 c 1500 7000 172238 3036360 0 722 26 27 24 55.28/55.37 c 1510 7039 173211 3056682 0 730 26 28 24 55.58/55.64 c 1520 7077 173944 3072979 0 740 28 29 25 55.88/55.95 c 1530 7138 175041 3091896 0 747 26 38 27 56.18/56.25 c 1540 7179 176157 3111257 0 753 27 29 25 56.68/56.71 c 1550 7238 177378 3130733 0 757 16 38 28 56.88/57.00 c 1560 7279 178444 3147632 0 761 27 29 25 57.28/57.37 c 1570 7324 179928 3170567 0 769 27 30 25 57.68/57.70 c 1580 7367 180838 3189589 0 775 29 31 27 57.98/58.01 c 1585 7404 181768 3202055 0 777 29 30 24 58.28/58.31 c 1590 7441 182537 3215497 0 782 27 31 23 58.58/58.68 c 1600 7483 183710 3237017 0 790 26 30 25 58.88/58.94 c 1610 7523 184757 3256255 0 793 28 29 25 59.18/59.25 c 1620 7563 185714 3271607 0 797 29 30 26 59.48/59.59 c 1630 7605 187208 3292311 0 799 28 29 26 59.78/59.86 c 1640 7644 188158 3308315 0 803 27 29 25 60.18/60.23 c 1650 7694 189533 3330086 0 810 26 28 24 60.48/60.57 c 1660 7732 190508 3350087 0 811 27 28 24 61.08/61.14 c 1670 7783 191646 3369770 0 817 17 30 19 61.38/61.46 c 1680 7825 193022 3391558 0 823 28 31 26 61.68/61.76 c 1690 7867 194327 3413700 0 829 27 29 25 62.28/62.37 c 1700 7903 195269 3435862 0 836 18 23 17 62.58/62.68 c 1710 7948 196601 3458452 0 843 28 32 26 62.98/63.02 c 1720 7996 198229 3483128 0 848 27 31 26 63.28/63.35 c 1730 8041 199684 3506297 0 852 27 32 25 63.58/63.69 c 1740 8107 200996 3521608 0 854 38 39 34 63.98/64.05 c 1750 8152 202657 3543415 0 855 28 34 26 64.28/64.39 c 1760 8193 203665 3567136 0 862 27 29 25 64.68/64.73 c 1770 8236 205211 3587545 0 866 28 30 25 64.98/65.05 c 1780 8279 206463 3605520 0 874 28 30 26 65.48/65.54 c 1790 8341 207635 3622757 0 879 16 38 25 65.78/65.85 c 1800 8383 208730 3641246 0 884 27 31 25 66.08/66.19 c 1810 8423 209801 3661097 0 890 28 30 26 66.48/66.54 c 1820 8471 211042 3681071 0 892 26 28 24 66.78/66.85 c 1830 8510 211680 3696774 0 902 27 30 25 67.18/67.21 c 1840 8558 213163 3722412 0 909 27 30 25 67.38/67.48 c 1841 8585 213559 3726681 0 910 27 27 13 67.78/67.80 c 1850 8626 214551 3746943 0 919 27 30 25 67.98/68.10 c 1860 8665 215422 3765780 0 925 27 29 25 68.48/68.53 c 1870 8706 216410 3779570 0 934 17 29 22 68.78/68.86 c 1880 8750 217423 3798245 0 940 27 33 26 69.17/69.21 c 1890 8790 218365 3815544 0 948 28 29 25 69.48/69.54 c 1900 8835 219468 3831473 0 950 28 31 26 69.78/69.88 c 1910 8880 220653 3854416 0 951 27 31 25 70.17/70.24 c 1920 8946 222407 3878170 0 959 28 38 28 70.48/70.53 c 1930 8985 223090 3894215 0 964 27 30 25 70.77/70.89 c 1940 9034 224817 3919816 0 968 29 33 27 71.17/71.24 c 1950 9077 226401 3941767 0 969 29 31 27 71.47/71.57 c 1960 9129 227956 3965443 0 975 27 29 25 71.77/71.89 c 1970 9173 229157 3981301 0 981 26 31 25 72.17/72.26 c 1980 9218 230779 4005374 0 986 28 30 26 72.57/72.62 c 1990 9260 232172 4028505 0 993 27 29 25 72.87/72.96 c 2000 9308 233303 4046097 0 997 26 28 24 73.17/73.22 c 2010 9347 234408 4063408 0 1005 28 29 25 73.47/73.51 c 2020 9385 235158 4080283 0 1006 27 29 25 73.77/73.81 c 2030 9423 236379 4103023 0 1007 26 28 24 74.08/74.15 c 2040 9467 237706 4123788 0 1013 27 30 25 74.37/74.49 c 2050 9511 239087 4148042 0 1014 28 31 26 74.67/74.76 c 2060 9569 240250 4169301 0 1017 15 28 23 74.98/75.10 c 2070 9609 241433 4190231 0 1019 27 29 25 75.57/75.66 c 2080 9669 242824 4212477 0 1023 16 38 27 76.08/76.19 c 2090 9721 244045 4236091 0 1029 16 28 19 76.37/76.46 c 2100 9759 245190 4255587 0 1034 27 28 25 76.67/76.74 c 2110 9798 245873 4268431 0 1042 26 29 25 76.98/77.03 c 2120 9841 247488 4290048 0 1046 27 30 25 77.17/77.29 c 2122 9871 248022 4295903 0 1047 29 29 19 77.57/77.64 c 2130 9913 249433 4313956 0 1052 28 30 26 77.87/77.92 c 2140 9951 250222 4332346 0 1062 28 29 25 78.27/78.31 c 2150 9998 252126 4358760 0 1067 27 30 26 78.47/78.59 c 2160 10038 252869 4373536 0 1073 28 31 26 78.77/78.89 c 2170 10082 254564 4399407 0 1076 27 30 25 79.17/79.22 c 2180 10124 255500 4418726 0 1083 27 30 25 79.47/79.55 c 2190 10176 257489 4445476 0 1088 27 34 27 79.87/79.90 c 2200 10217 258668 4464117 0 1098 27 30 25 80.17/80.24 c 2210 10257 259784 4481561 0 1100 28 29 25 80.57/80.66 c 2220 10313 260923 4500997 0 1102 23 32 24 80.98/81.05 c 2230 10371 262330 4522047 0 1107 17 28 22 81.37/81.40 c 2240 10416 263816 4545770 0 1117 27 31 25 81.77/81.82 c 2250 10488 265497 4568438 0 1120 18 29 23 82.17/82.24 c 2260 10532 266690 4585422 0 1127 27 32 26 82.47/82.59 c 2270 10587 268224 4606578 0 1129 26 29 25 82.87/82.93 c 2280 10630 269260 4629388 0 1132 26 30 25 83.17/83.21 c 2290 10667 270155 4648225 0 1133 27 28 24 83.47/83.56 c 2300 10705 271142 4665852 0 1138 27 28 25 83.77/83.88 c 2310 10744 272254 4685544 0 1144 27 29 25 84.17/84.21 c 2320 10795 273549 4702910 0 1148 27 37 28 84.47/84.53 c 2330 10860 274786 4723091 0 1153 26 26 23 84.77/84.83 c 2340 10923 276038 4744785 0 1156 16 28 23 85.08/85.17 c 2350 10968 277363 4765372 0 1163 28 31 26 85.47/85.58 c 2360 11016 278395 4780930 0 1173 28 39 33 85.87/85.94 c 2370 11073 279562 4796704 0 1177 27 29 25 86.37/86.40 c 2380 11134 280911 4814645 0 1184 19 38 25 86.77/86.82 c 2390 11187 282283 4836297 0 1186 17 32 23 87.08/87.14 c 2400 11233 283431 4857602 0 1193 28 32 26 87.37/87.49 c 2410 11301 284793 4873869 0 1195 38 39 35 87.77/87.86 c 2420 11340 285640 4890287 0 1198 17 29 23 88.17/88.23 c 2430 11384 287013 4912492 0 1202 27 31 26 88.47/88.54 c 2431 11400 287252 4915311 0 1203 16 16 8 88.77/88.83 c 2440 11451 288258 4930701 0 1209 29 38 27 89.08/89.17 c 2450 11490 289218 4950117 0 1211 28 29 25 89.47/89.50 c 2460 11541 290537 4975112 0 1213 26 30 25 89.77/89.85 c 2470 11580 291696 4996184 0 1215 26 28 24 90.17/90.24 c 2480 11629 293119 5017716 0 1217 26 28 24 90.67/90.75 c 2490 11701 295060 5042038 0 1221 20 38 27 90.98/91.09 c 2500 11752 296559 5059785 0 1222 28 38 27 91.27/91.35 c 2510 11792 297238 5077937 0 1230 26 30 24 91.57/91.65 c 2520 11830 298458 5097273 0 1232 26 28 25 91.98/92.02 c 2530 11876 300279 5122086 0 1233 28 32 26 92.27/92.35 c 2540 11916 301192 5141582 0 1242 27 29 25 92.57/92.67 c 2550 11956 302314 5159813 0 1248 27 28 25 92.87/92.97 c 2560 11998 303549 5182042 0 1252 27 30 25 93.27/93.35 c 2570 12040 304797 5203066 0 1255 27 29 25 93.67/93.71 c 2580 12114 306309 5229489 0 1259 21 27 23 93.98/94.04 c 2590 12167 307669 5252409 0 1264 28 38 29 94.27/94.34 c 2600 12220 308809 5269192 0 1268 33 38 32 94.57/94.66 c 2610 12259 309981 5289641 0 1270 26 29 24 95.08/95.12 c 2620 12302 311083 5311704 0 1275 16 28 20 95.37/95.43 c 2630 12340 311897 5329664 0 1279 27 28 25 95.67/95.76 c 2640 12391 312974 5349935 0 1283 26 30 25 96.17/96.23 c 2650 12446 314362 5368057 0 1287 17 31 24 96.47/96.56 c 2660 12505 315596 5388154 0 1289 26 28 24 96.77/96.87 c 2670 12541 316537 5407033 0 1291 15 27 20 97.08/97.18 c 2680 12588 317364 5426230 0 1294 27 27 24 97.37/97.48 c 2690 12637 318439 5442303 0 1295 38 39 35 97.67/97.76 c 2700 12676 319494 5458606 0 1299 27 29 25 97.98/98.09 c 2710 12720 320913 5481177 0 1303 28 32 27 98.37/98.43 c 2720 12781 322336 5498306 0 1307 38 39 35 98.67/98.70 c 2730 12822 323510 5519538 0 1312 26 30 24 98.98/99.08 c 2740 12877 324765 5542960 0 1315 26 27 23 99.37/99.45 c 2750 12923 326708 5566322 0 1317 28 31 26 99.77/99.81 c 2760 12964 327815 5585479 0 1324 27 30 25 100.08/100.14 c 2770 13023 328848 5604164 0 1325 27 28 24 100.37/100.42 c 2771 13052 329283 5607528 0 1326 29 29 14 100.87/100.99 c 2780 13101 330562 5631278 0 1331 16 30 18 101.27/101.31 c 2790 13144 331517 5650120 0 1338 28 32 26 101.57/101.67 c 2800 13206 332883 5672077 0 1340 27 38 28 101.87/101.98 c 2810 13266 334071 5689270 0 1342 38 39 34 102.27/102.32 c 2820 13319 335729 5708724 0 1350 28 38 28 102.67/102.70 c 2830 13368 338125 5738249 0 1353 27 31 26 102.98/103.10 c 2840 13439 340311 5767846 0 1357 17 31 25 103.27/103.40 c 2850 13481 341068 5784670 0 1364 27 30 25 103.77/103.82 c 2860 13522 342324 5808026 0 1370 14 18 13 104.08/104.11 c 2870 13562 343558 5826565 0 1374 27 28 24 104.37/104.45 c 2880 13618 344919 5851223 0 1381 27 35 26 104.67/104.73 c 2890 13659 345812 5870042 0 1388 27 30 25 105.27/105.36 c 2900 13724 347035 5894354 0 1389 15 29 18 105.57/105.67 c 2910 13763 348157 5912102 0 1394 27 28 25 106.17/106.25 c 2920 13805 349319 5930103 0 1402 16 30 22 106.57/106.63 c 2930 13859 350456 5949187 0 1407 26 27 24 106.87/106.98 c 2940 13931 352395 5972291 0 1410 28 38 31 107.27/107.33 c 2950 13985 354130 5996292 0 1416 27 33 26 107.57/107.60 c 2960 14035 355004 6014876 0 1420 27 30 26 107.77/107.89 c 2970 14074 355836 6033834 0 1426 27 30 25 108.17/108.20 c 2980 14116 356936 6053073 0 1433 27 29 25 108.47/108.56 c 2990 14184 358468 6074319 0 1436 21 28 23 108.77/108.88 c 3000 14223 359388 6087662 0 1443 28 30 26 109.17/109.20 c 3010 14262 360077 6102150 0 1452 17 30 24 109.47/109.57 c 3020 14305 361641 6124233 0 1460 27 29 25 109.77/109.83 c 3030 14344 362298 6139186 0 1469 26 29 25 110.08/110.13 c 3040 14381 363181 6157286 0 1478 26 28 24 110.67/110.73 c 3050 14439 364985 6179959 0 1482 28 38 27 110.98/111.04 c 3060 14478 366243 6200455 0 1487 26 28 24 111.27/111.39 c 3070 14519 367256 6215809 0 1491 27 30 26 111.67/111.70 c 3080 14561 368294 6234790 0 1498 27 30 25 112.27/112.30 c 3090 14625 369781 6260713 0 1500 16 38 23 112.57/112.62 c 3100 14668 370946 6281219 0 1504 28 32 26 112.87/112.98 c 3110 14719 371926 6302329 0 1509 18 29 24 113.17/113.29 c 3120 14759 373200 6320354 0 1511 27 29 25 113.77/113.85 c 3130 14824 374698 6341958 0 1516 17 37 23 114.37/114.48 c 3140 14862 376054 6367635 0 1519 18 22 17 114.67/114.73 c 3142 14892 376458 6373587 0 1520 28 29 19 114.98/115.05 c 3150 14934 377508 6387937 0 1527 27 31 25 115.27/115.35 c 3160 14975 378943 6407136 0 1531 27 30 26 115.67/115.72 c 3170 15017 380062 6427174 0 1536 26 30 25 116.08/116.11 c 3180 15058 380836 6444949 0 1542 16 31 23 116.37/116.45 c 3190 15101 382117 6464372 0 1547 27 30 25 116.67/116.76 c 3200 15138 382900 6481914 0 1550 26 27 24 117.17/117.24 c 3210 15225 384706 6501497 0 1554 16 38 31 117.47/117.52 c 3220 15262 385304 6518829 0 1555 27 28 24 117.77/117.87 c 3230 15301 386504 6536395 0 1558 27 29 25 118.37/118.41 c 3240 15342 387404 6560163 0 1567 16 28 16 118.67/118.76 c 3250 15390 388746 6582258 0 1570 27 29 25 118.98/119.07 c 3260 15433 389624 6598428 0 1574 28 31 25 119.37/119.45 c 3270 15475 390991 6620881 0 1578 26 31 25 119.67/119.78 c 3280 15516 392189 6637640 0 1579 27 30 26 120.08/120.13 c 3290 15565 393259 6658519 0 1584 27 32 26 120.37/120.46 c 3300 15604 394323 6679662 0 1594 26 29 24 120.67/120.71 c 3310 15644 395339 6697505 0 1602 27 29 25 120.87/120.96 c 3320 15684 396458 6718742 0 1609 27 29 25 121.27/121.33 c 3330 15726 397334 6734801 0 1612 28 32 28 121.57/121.65 c 3340 15774 398570 6752141 0 1616 27 29 25 121.87/122.00 c 3350 15818 399890 6770439 0 1621 28 31 26 122.27/122.32 c 3360 15855 400761 6786717 0 1629 26 27 24 122.57/122.64 c 3370 15894 402103 6808473 0 1630 27 29 25 122.87/122.97 c 3380 15936 403255 6826167 0 1637 28 30 26 123.47/123.56 c 3390 15974 404302 6851717 0 1644 16 21 16 123.67/123.77 c 3400 16011 405145 6866550 0 1651 26 27 24 124.17/124.23 c 3410 16062 406251 6884887 0 1654 16 28 20 124.47/124.53 c 3420 16113 407307 6907226 0 1656 27 28 24 124.87/124.93 c 3430 16170 408790 6929089 0 1662 16 38 22 125.17/125.25 c 3440 16219 409911 6947670 0 1668 27 29 25 125.67/125.70 c 3450 16267 410943 6969394 0 1673 16 28 22 125.98/126.02 c 3460 16316 412056 6987338 0 1677 27 29 25 126.27/126.38 c 3470 16364 412983 7004669 0 1682 28 31 27 126.98/127.10 c 3480 16428 414221 7030960 0 1691 16 29 18 127.37/127.42 c 3490 16475 415380 7049599 0 1693 27 29 24 127.67/127.74 c 3500 16523 416321 7068051 0 1699 28 30 25 127.98/128.09 c 3510 16569 417413 7085410 0 1704 28 29 25 128.37/128.49 c 3520 16617 418729 7110582 0 1709 26 28 24 128.77/128.82 c 3530 16664 419918 7127967 0 1714 27 28 25 129.08/129.13 c 3540 16722 420762 7141713 0 1718 38 38 34 129.47/129.58 c 3550 16782 422065 7162222 0 1722 17 29 23 129.77/129.83 c 3551 16810 422431 7164705 0 1723 28 28 14 130.08/130.11 c 3560 16848 423278 7178414 0 1728 27 28 25 130.37/130.41 c 3570 16894 424265 7195122 0 1732 27 28 24 130.77/130.80 c 3580 16944 425724 7217398 0 1733 26 32 24 130.98/131.09 c 3590 16983 426651 7233578 0 1739 27 29 25 131.37/131.40 c 3600 17025 427877 7252075 0 1744 28 29 25 131.67/131.77 c 3610 17083 428955 7272565 0 1751 17 29 24 131.98/132.08 c 3620 17141 430111 7292694 0 1757 26 29 24 132.47/132.52 c 3630 17187 431545 7313232 0 1760 17 29 21 132.87/132.92 c 3640 17243 432980 7335098 0 1766 17 29 22 133.17/133.22 c 3650 17290 434200 7352982 0 1769 26 27 24 133.57/133.60 c 3660 17353 435379 7371125 0 1772 26 28 25 133.87/133.91 c 3670 17399 436378 7388829 0 1777 26 27 24 134.08/134.19 c 3680 17438 437198 7407605 0 1784 27 29 25 134.47/134.58 c 3690 17488 438384 7426616 0 1787 26 28 24 134.87/134.90 c 3700 17536 439346 7445569 0 1789 26 29 24 135.17/135.27 c 3710 17577 440762 7468039 0 1797 26 28 24 135.47/135.58 c 3720 17621 441951 7490512 0 1802 26 31 25 135.87/135.94 c 3730 17667 443428 7514554 0 1807 27 31 26 136.17/136.26 c 3740 17706 444131 7532887 0 1815 27 28 25 136.57/136.63 c 3750 17765 445196 7552995 0 1820 26 28 24 136.87/136.95 c 3760 17812 446154 7572458 0 1825 26 27 24 137.17/137.29 c 3770 17860 447135 7589207 0 1833 27 28 24 137.47/137.59 c 3780 17903 448489 7609413 0 1836 28 30 26 138.17/138.29 c 3790 17970 450006 7641105 0 1843 16 30 19 138.47/138.58 c 3800 18016 451055 7658327 0 1845 27 28 24 138.87/138.95 c 3810 18090 452447 7678743 0 1850 18 30 24 139.27/139.33 c 3820 18139 453809 7699564 0 1853 26 28 24 139.57/139.60 c 3830 18187 454890 7722718 0 1856 26 31 25 139.87/139.94 c 3840 18234 455933 7742192 0 1860 26 29 24 140.17/140.29 c 3850 18276 456976 7759052 0 1863 28 32 28 140.47/140.54 c 3860 18315 457889 7775500 0 1867 27 29 25 140.67/140.80 c 3870 18363 458948 7795341 0 1872 26 28 24 141.08/141.14 c 3880 18405 460424 7819486 0 1880 26 29 24 141.47/141.51 c 3890 18447 461943 7840235 0 1885 28 29 25 141.77/141.83 c 3900 18502 462903 7854109 0 1892 38 38 34 142.17/142.21 c 3910 18554 464155 7874139 0 1899 21 30 25 142.47/142.50 c 3920 18592 465030 7890278 0 1908 26 28 24 142.98/143.08 c 3930 18624 466137 7910663 0 1916 17 20 16 143.37/143.43 c 3940 18665 467364 7930556 0 1920 27 30 25 143.67/143.72 c 3950 18705 468433 7950700 0 1927 27 29 25 143.87/143.96 c 3960 18743 469004 7965659 0 1937 27 29 25 144.27/144.34 c 3970 18785 470384 7991946 0 1938 26 29 24 144.57/144.67 c 3980 18825 471305 8009179 0 1941 28 29 25 144.87/145.00 c 3990 18865 472388 8028453 0 1943 19 27 23 145.27/145.30 c 4000 18919 473707 8048138 0 1946 26 27 24 145.47/145.57 c 4001 18947 474080 8050870 0 1947 28 28 14 145.77/145.84 c 4010 18984 474740 8065817 0 1951 27 29 25 146.08/146.17 c 4020 19031 475954 8091804 0 1957 27 30 25 146.47/146.51 c 4030 19080 476686 8107116 0 1961 16 28 23 146.87/146.94 c 4040 19149 478060 8123634 0 1965 18 38 31 147.17/147.23 c 4050 19186 478893 8139593 0 1973 26 27 24 147.67/147.72 c 4060 19225 479994 8162279 0 1981 16 27 16 148.47/148.50 c 4070 19283 481206 8191449 0 1986 17 38 18 148.77/148.83 c 4080 19322 482529 8210691 0 1987 27 28 25 149.08/149.18 c 4090 19370 483843 8232976 0 1989 27 30 25 149.47/149.52 c 4100 19421 485080 8258094 0 1994 27 31 25 149.77/149.86 c 4110 19464 486544 8280955 0 1998 27 29 25 150.08/150.17 c 4120 19512 487654 8296930 0 2001 16 28 24 150.37/150.47 c 4130 19555 488729 8315380 0 2002 28 32 26 150.77/150.81 c 4140 19599 490135 8335124 0 2005 28 30 26 151.37/151.49 c 4150 19667 491475 8363044 0 2009 17 28 19 151.77/151.81 c 4160 19715 492623 8381864 0 2015 27 29 25 152.27/152.35 c 4170 19748 493574 8405592 0 2021 16 20 15 152.98/153.01 c 4180 19796 494830 8427745 0 2023 16 33 19 153.27/153.32 c 4190 19844 495850 8445272 0 2028 27 30 26 153.57/153.65 c 4200 19889 497350 8467094 0 2035 28 31 25 154.17/154.20 c 4210 19975 499121 8494967 0 2039 18 29 23 154.47/154.50 c 4220 20014 500002 8514208 0 2042 17 29 23 154.77/154.82 c 4230 20073 500914 8526557 0 2049 32 39 34 155.08/155.16 c 4240 20124 502090 8546237 0 2055 21 30 25 155.37/155.47 c 4250 20165 503592 8568133 0 2057 27 30 25 155.67/155.76 c 4260 20226 504724 8585672 0 2061 27 38 28 156.08/156.14 c 4270 20283 505796 8602595 0 2070 38 39 34 156.37/156.49 c 4280 20332 507032 8621062 0 2076 20 30 25 156.77/156.80 c 4290 20375 508474 8644788 0 2083 27 30 25 156.98/157.08 c 4300 20433 509468 8661020 0 2091 27 38 29 157.27/157.36 c 4310 20475 510489 8680849 0 2098 27 29 25 157.57/157.61 c 4320 20515 511419 8696682 0 2104 27 30 25 157.87/158.00 c 4330 20566 512951 8721006 0 2107 26 28 24 158.27/158.30 c 4340 20604 514225 8740673 0 2109 27 29 25 158.57/158.65 c 4350 20650 515530 8762870 0 2111 28 32 26 159.08/159.12 c 4360 20703 516690 8786153 0 2117 16 32 23 159.67/159.77 c 4370 20749 517965 8814483 0 2121 16 30 19 159.98/160.09 c 4380 20797 518875 8833477 0 2126 26 27 23 160.37/160.42 c 4390 20841 520005 8850150 0 2131 27 32 27 160.77/160.81 c 4400 20889 521317 8868794 0 2134 27 28 25 161.08/161.11 c 4410 20931 522344 8889421 0 2137 26 30 25 161.37/161.41 c 4420 20974 523279 8907026 0 2142 28 32 26 161.67/161.77 c 4430 21028 524480 8927614 0 2147 26 33 25 161.98/162.05 c 4440 21066 525198 8945094 0 2152 26 27 24 162.27/162.36 c 4450 21109 526271 8961378 0 2155 28 32 27 162.87/162.93 c 4460 21178 527790 8990510 0 2161 16 30 19 163.17/163.22 c 4470 21227 528696 9006535 0 2164 28 29 25 163.67/163.70 c 4480 21286 530000 9030480 0 2169 16 28 19 163.87/163.97 c 4490 21324 530766 9045783 0 2173 28 28 25 164.17/164.22 c 4493 21353 531169 9052190 0 2174 27 27 20 164.37/164.48 c 4500 21389 532153 9068493 0 2177 27 30 24 164.77/164.80 c 4510 21433 533234 9088661 0 2179 26 27 24 164.98/165.08 c 4520 21471 533838 9103940 0 2187 27 29 24 165.27/165.39 c 4530 21515 535392 9126900 0 2191 28 31 26 165.87/165.93 c 4540 21557 536263 9149473 0 2197 16 28 16 166.47/166.54 c 4550 21606 537403 9172336 0 2202 16 26 17 166.77/166.84 c 4560 21645 538266 9189594 0 2207 28 29 25 167.08/167.15 c 4570 21695 539189 9212036 0 2209 27 29 25 167.37/167.45 c 4580 21741 540314 9230341 0 2212 27 29 25 167.67/167.75 c 4590 21781 541235 9250052 0 2217 26 28 24 168.17/168.29 c 4600 21813 542143 9269905 0 2223 17 19 16 168.57/168.63 c 4610 21887 543968 9299584 0 2229 26 29 24 168.87/168.99 c 4620 21935 544957 9315587 0 2239 28 39 33 169.47/169.56 c 4630 21997 546625 9338457 0 2241 17 31 22 169.77/169.86 c 4640 22035 547494 9355773 0 2247 27 28 25 170.27/170.35 c 4650 22096 548745 9376968 0 2252 17 39 28 170.57/170.62 c 4660 22134 549457 9392893 0 2253 27 29 25 170.77/170.88 c 4670 22173 550371 9408324 0 2256 27 29 25 171.17/171.20 c 4680 22214 551433 9428064 0 2258 26 31 26 171.47/171.54 c 4690 22254 552477 9447204 0 2263 27 29 25 172.08/172.14 c 4700 22285 553328 9468117 0 2265 17 19 16 172.37/172.43 c 4710 22322 554245 9487896 0 2272 26 28 24 172.77/172.81 c 4720 22373 555271 9509603 0 2275 27 29 24 173.17/173.25 c 4730 22411 556145 9526317 0 2282 16 29 19 173.47/173.56 c 4740 22461 557261 9549050 0 2287 27 32 26 173.87/173.93 c 4750 22505 558515 9571148 0 2291 26 31 25 174.17/174.23 c 4760 22545 559117 9586324 0 2301 27 31 25 174.47/174.56 c 4770 22587 560497 9606790 0 2305 26 29 25 174.77/174.86 c 4780 22626 561463 9626542 0 2312 27 29 25 175.08/175.15 c 4790 22667 562101 9639727 0 2322 28 32 26 175.37/175.46 c 4800 22714 563605 9659535 0 2329 28 35 27 175.67/175.78 c 4810 22752 564454 9676961 0 2333 26 28 24 175.98/176.08 c 4820 22793 565288 9694678 0 2342 27 30 25 176.37/176.47 c 4830 22843 567029 9722041 0 2345 29 33 27 176.67/176.74 c 4840 22881 567929 9742195 0 2355 27 29 24 176.98/177.09 c 4850 22931 569344 9765941 0 2357 26 28 24 177.37/177.41 c 4860 22971 570486 9786329 0 2362 27 29 25 177.67/177.74 c 4870 23018 571440 9807218 0 2371 26 33 26 177.98/178.05 c 4880 23058 572404 9825407 0 2374 27 30 25 178.47/178.54 c 4890 23110 573459 9844176 0 2380 17 29 22 178.77/178.87 c 4900 23155 574352 9860185 0 2387 28 32 27 179.08/179.18 c 4910 23195 575116 9876391 0 2390 26 30 25 179.47/179.54 c 4920 23249 576206 9895190 0 2394 27 27 24 179.98/180.02 c 4930 23301 577249 9915729 0 2401 17 29 19 180.27/180.32 c 4940 23339 578087 9932527 0 2410 27 28 24 180.57/180.66 c 4950 23382 579427 9952057 0 2414 28 30 26 180.87/180.99 c 4960 23422 580746 9973489 0 2421 26 29 24 181.27/181.33 c 4970 23464 581887 9993439 0 2424 27 29 25 181.47/181.58 c 4980 23504 582808 10014620 0 2425 27 30 25 181.77/181.89 c 4990 23542 583633 10035683 0 2428 26 29 24 183.17/183.28 c 5035 23725 588580 10136384 0 2439 16 29 22 189.08/189.15 c 5631 24938 638522 11168234 0 2455 15 30 25 197.37/197.45 c 6286 26837 704059 12498976 0 2472 12 39 24 203.27/203.30 c 7006 28079 762624 13799729 0 2483 20 33 28 209.37/209.42 c 7798 29654 839651 15270224 0 2497 16 33 28 217.87/217.97 c 8669 31888 921320 16841677 0 2512 16 37 28 227.08/227.17 c 9627 33555 1005701 18582442 0 2530 19 31 28 236.07/236.18 c 10680 35265 1108860 20644741 0 2556 26 32 28 251.76/251.81 c 11838 38456 1208241 22614701 0 2578 15 38 27 264.66/264.72 c 13111 40988 1350923 25131857 0 2588 26 38 29 281.56/281.66 c 14511 45248 1498855 27669410 0 2605 10 32 27 296.66/296.74 c 16051 48720 1622019 30207517 0 2636 15 33 26 314.46/314.57 c 17745 52676 1773363 33433670 0 2653 17 34 28 331.97/332.04 c 19608 58262 1977800 37015838 0 2669 15 32 26 370.46/370.55 c 21657 65163 2184898 41104935 0 2698 7 39 24 392.46/392.56 c 23910 73542 2461289 45738592 0 2716 14 32 25 423.97/424.07 c 26388 81335 2717401 50148639 0 2735 14 40 32 453.36/453.44 c 29113 87536 2942870 54978650 0 2776 15 33 25 482.56/482.65 c 32110 92861 3233446 60740190 0 2793 16 38 27 515.66/515.75 c 35406 101693 3566530 67113047 0 2812 12 33 27 562.26/562.32 c 39031 111715 3940226 73866474 0 2816 16 33 26 585.66/585.70 c 43018 118139 4351349 81435233 0 2825 26 33 28 622.86/622.99 c 47403 125660 4730221 89371760 0 2840 17 34 28 662.85/662.91 c 52226 134608 5237713 99233108 0 2878 15 39 28 726.96/727.01 c 57531 147711 5712819 108315191 0 2902 17 34 28 776.55/776.66 c 63366 161050 6361874 119473765 0 2909 26 39 31 865.34/865.43 c 69784 176452 6959241 131251507 0 2918 5 38 25 928.64/928.73 c 76843 190019 7634612 143956472 0 2934 16 33 27 997.64/997.76 c 84607 203414 8335385 158367933 0 2948 18 38 28 1076.04/1076.18 c 93147 219767 9120602 173948995 0 2961 15 38 27 1180.43/1180.52 c 102541 242418 9964951 191335660 0 2979 16 38 28 1273.82/1273.91 c 112874 260675 10971028 211687357 0 2995 16 39 29 1375.73/1375.83 c 124240 284978 12011474 232266037 0 3009 14 35 28 1496.32/1496.44 c 136742 322225 13222030 253673445 0 3041 16 41 33 1625.11/1625.25 c 150494 355250 14571995 281022738 0 3060 9 39 28 1751.31/1751.48 c 165621 398192 16017293 311623692 0 3077 7 40 28 1975.50/1975.61 c 182260 444250 17732528 341896700 0 3138 16 40 30 2164.19/2164.34 c 200562 495372 19430148 379123368 0 3187 16 40 27 2421.38/2421.57 c 220694 549937 21381630 417454170 0 3238 7 40 26 2519.89/2520.01 2519.89/2520.01 c *** INTERRUPTED *** 2519.89/2520.01 c restarts : 556 2519.89/2520.01 c conflicts : 231234 (92 /sec) 2519.89/2520.01 c decisions : 570623 (226 /sec) 2519.89/2520.01 c propagations : 436355374 (173168 /sec) 2519.89/2520.01 c root propagations : 0 2519.89/2520.01 c filter calls : 22321290 (8858 /sec) 2519.89/2520.01 c useless filter calls : 5643872 (25 %) 2519.89/2520.01 c 2519.89/2520.01 c clauses : 58332 2519.89/2520.01 c SAT propagations : 1618 2519.89/2520.01 c SAT conflicts : 1 (0 learnts) 2519.89/2520.01 c Memory used : 51.86 MB 2519.89/2520.01 c CPU time : 2519.84 s 2519.89/2520.01 2519.89/2520.01 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 (14267 MiB free)
memory of node 1: 16384 MiB (14855 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266550-1502593993/watcher-4266550-1502593993 -o /tmp/evaluation-result-4266550-1502593993/solver-4266550-1502593993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266550-1502593993.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27585, runsolver pid=27582
[startup+0.100104 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 27586
/proc/meminfo: memFree=29820844/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=27964 memory=4024 CPUtime=0.1 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 1222 0 0 0 10 0 0 0 20 0 1 0 92487602 28635136 1006 33554432000 4194304 5972588 140731091074992 140731091071560 140687379987429 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 6991 1006 714 435 0 354 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4024 KiB
[startup+0.209148 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 27586
/proc/meminfo: memFree=29819728/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=29008 memory=4728 CPUtime=0.21 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 1511 0 0 0 21 0 0 0 20 0 1 0 92487602 29704192 1182 33554432000 4194304 5972588 140731091074992 140731091071560 140687379987429 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 7252 1182 714 435 0 615 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 4728 KiB
[startup+0.308722 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 27586
/proc/meminfo: memFree=29819356/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=29536 memory=5516 CPUtime=0.31 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 1690 0 0 0 31 0 0 0 20 0 1 0 92487602 30244864 1379 33554432000 4194304 5972588 140731091074992 140731091071560 5671588 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 7384 1379 714 435 0 747 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 5516 KiB
[startup+0.700228 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 27586
/proc/meminfo: memFree=29818344/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=32152 memory=7980 CPUtime=0.69 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 2557 0 0 0 69 0 0 0 20 0 1 0 92487602 32923648 1995 33554432000 4194304 5972588 140731091074992 140731091071560 5672442 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 8038 1995 714 435 0 1401 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32152 KiB
Current children cumulated memory: 7980 KiB
[startup+1.50033 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 27586
/proc/meminfo: memFree=29798904/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=26844 CPUtime=1.49 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 7203 0 0 0 148 1 0 0 20 0 1 0 92487602 54235136 6711 33554432000 4194304 5972588 140731091074992 140731091071560 4935486 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6711 773 435 0 6604 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 26844 KiB
[startup+3.1094 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 27586
/proc/meminfo: memFree=29798824/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=26848 CPUtime=3.1 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 12228 0 0 0 309 1 0 0 20 0 1 0 92487602 54235136 6712 33554432000 4194304 5972588 140731091074992 140731091072296 4935463 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6712 774 435 0 6604 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 26848 KiB
[startup+6.30032 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 27586
/proc/meminfo: memFree=29798508/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=26848 CPUtime=6.29 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 17298 0 0 0 627 2 0 0 20 0 1 0 92487602 54235136 6712 33554432000 4194304 5972588 140731091074992 140731091072296 4935681 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6712 774 435 0 6604 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 26848 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 27586
/proc/meminfo: memFree=29798508/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=26848 CPUtime=12.68 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 22447 0 0 0 1266 2 0 0 20 0 1 0 92487602 54235136 6712 33554432000 4194304 5972588 140731091074992 140731091072296 4935454 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6712 774 435 0 6604 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 26848 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 27586
/proc/meminfo: memFree=29797844/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27092 CPUtime=25.48 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 29199 0 0 0 2545 3 0 0 20 0 1 0 92487602 54235136 6773 33554432000 4194304 5972588 140731091074992 140731091072296 4935681 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6773 774 435 0 6604 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27092 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 27586
/proc/meminfo: memFree=29798196/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27096 CPUtime=51.09 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 29944 0 0 0 5106 3 0 0 20 0 1 0 92487602 54235136 6774 33554432000 4194304 5972588 140731091074992 140731091072296 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6774 774 435 0 6604 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27096 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 27595
/proc/meminfo: memFree=29797420/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27104 CPUtime=102.27 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 30669 0 0 0 10224 3 0 0 20 0 1 0 92487602 54235136 6776 33554432000 4194304 5972588 140731091074992 140731091072296 5094232 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6776 774 435 0 6604 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27104 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 27619
/proc/meminfo: memFree=29796192/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27144 CPUtime=162.27 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 31397 0 0 0 16224 3 0 0 20 0 1 0 92487602 54235136 6786 33554432000 4194304 5972588 140731091074992 140731091072296 4935490 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6786 774 435 0 6604 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27144 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 27620
/proc/meminfo: memFree=29796812/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27192 CPUtime=222.27 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 32110 0 0 0 22224 3 0 0 20 0 1 0 92487602 54235136 6798 33554432000 4194304 5972588 140731091074992 140731091072296 4935454 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6798 774 435 0 6604 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27192 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 27621
/proc/meminfo: memFree=29796920/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27212 CPUtime=282.26 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 32823 0 0 0 28223 3 0 0 20 0 1 0 92487602 54235136 6803 33554432000 4194304 5972588 140731091074992 140731091072296 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6803 774 435 0 6604 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27212 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 27622
/proc/meminfo: memFree=29797176/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27212 CPUtime=342.26 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 33532 0 0 0 34223 3 0 0 20 0 1 0 92487602 54235136 6803 33554432000 4194304 5972588 140731091074992 140731091072296 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6803 774 435 0 6604 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27212 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 27623
/proc/meminfo: memFree=29797256/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=52964 memory=27224 CPUtime=402.26 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 34250 0 0 0 40223 3 0 0 20 0 1 0 92487602 54235136 6806 33554432000 4194304 5972588 140731091074992 140731091072296 4935663 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13241 6806 774 435 0 6604 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27224 KiB
[startup+462.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/187 27624
/proc/meminfo: memFree=29796980/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27232 CPUtime=462.25 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 34963 0 0 0 46222 3 0 0 20 0 1 0 92487602 54370304 6808 33554432000 4194304 5972588 140731091074992 140731091071816 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6808 774 435 0 6637 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27232 KiB
################
# More data... #
################
/proc/27585/statm: 13274 6814 774 435 0 6637 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27256 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27662
/proc/meminfo: memFree=29794368/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=1782.21 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 49493 0 0 0 178216 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935681 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27663
/proc/meminfo: memFree=29794340/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=1842.2 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 49693 0 0 0 184215 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27672
/proc/meminfo: memFree=29794240/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=1902.2 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 49843 0 0 0 190215 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935164 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27673
/proc/meminfo: memFree=29794612/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=1962.2 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 49995 0 0 0 196215 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 27674
/proc/meminfo: memFree=29794592/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2022.2 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 50641 0 0 0 202215 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935792 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 27675
/proc/meminfo: memFree=29793964/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2082.2 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 50981 0 0 0 208215 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 27676
/proc/meminfo: memFree=29794304/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2142.19 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 51343 0 0 0 214214 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27677
/proc/meminfo: memFree=29794196/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2202.19 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 51749 0 0 0 220214 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935787 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27678
/proc/meminfo: memFree=29794152/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2262.19 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 52103 0 0 0 226214 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27740
/proc/meminfo: memFree=23103732/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2322.19 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 52372 0 0 0 232214 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2382.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 27862
/proc/meminfo: memFree=29564812/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2382.18 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 52520 0 0 0 238213 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2442.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 28045
/proc/meminfo: memFree=29793188/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2442.18 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 52931 0 0 0 244213 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
[startup+2502.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 28054
/proc/meminfo: memFree=29792660/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2502.18 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 53211 0 0 0 250213 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4935568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.99 1.99 2.03 3/188 28054
/proc/meminfo: memFree=29792660/32770624 swapFree=67108860/67108860
[pid=27585] ppid=27582 vsize=53096 memory=27496 CPUtime=2519.89 cores=0,2,4,6
/proc/27585/stat : 27585 (cosoco) R 27582 27585 24168 0 -1 4202496 53462 0 0 0 251984 5 0 0 20 0 1 0 92487602 54370304 6874 33554432000 4194304 5972588 140731091074992 140731091072296 4934287 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19484672 140731091080378 140731091080478 140731091080478 140731091083214 0
/proc/27585/statm: 13274 6874 774 435 0 6637 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 27496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27585 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.84 s, system=0.057997 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.9
CPU user time (s): 2519.84
CPU system time (s): 0.057997
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 53096
Max. memory (cumulated for all children) (KiB): 27496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.057997
maximum resident set size= 27572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53512
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= 15
involuntary context switches= 3186
# summary of solver processes directly reported to runsolver:
# pid: 27585
# total CPU time (s): 2519.9
# total CPU user time (s): 2519.84
# total CPU system time (s): 0.057997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8044 second user time and 18.297 second system time
The end
Begin job on node103 at 2017-08-13 04:58:55 IDJOB=4266550 IDBENCH=140132 IDSOLVER=2655 FILE ID=node103/4266550-1502593993 RUNJOBID= node103-1502567255-24252 PBS_JOBID= 20628288 Free space on /tmp= 61788 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-13-13.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266550-1502593993/watcher-4266550-1502593993 -o /tmp/evaluation-result-4266550-1502593993/solver-4266550-1502593993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266550-1502593993.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d4dde8f3e9f2541e7949826ca81c8251 RANDOM SEED=1016687448 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29821372 kB MemAvailable: 31993532 kB Buffers: 131940 kB Cached: 2336040 kB SwapCached: 0 kB Active: 507360 kB Inactive: 2019080 kB Active(anon): 61516 kB Inactive(anon): 25212 kB Active(file): 445844 kB Inactive(file): 1993868 kB Unevictable: 6344 kB Mlocked: 6344 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4680 kB Writeback: 0 kB AnonPages: 65096 kB Mapped: 44668 kB Shmem: 25228 kB Slab: 122132 kB SReclaimable: 96568 kB SUnreclaim: 25564 kB KernelStack: 3360 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 358952 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61788 MiB End job on node103 at 2017-08-13 05:40:56