| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.6699 | 2520.01 |
| Name | Crossword/ Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-11-12.xml |
| MD5SUM | 9ac58fd867900409c70334584dcd9d09 |
| 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 | 132 |
| Number of constraints | 23 |
| Number of domains | 1 |
| Minimum domain size | 26 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":26,"count":132}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":132}] |
| Minimum constraint arity | 11 |
| Maximum constraint arity | 12 |
| Distribution of constraint arities | [{"arity":11,"count":12},{"arity":12,"count":11}] |
| Number of extensional constraints | 23 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":23}] |
| Optimization problem | NO |
| Type of objective |
2.02/2.13 c SAT : Variables: 3432 -- Clauses: 43032 2.10/2.22 c root propagations : 0 2.10/2.22 c restarts enabled, print stats at every restarts 2.10/2.22 c 2.10/2.22 c 2.10/2.22 c 2.10/2.22 c This is cosoco 1.12 -- 2.10/2.22 c 2.10/2.22 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266549-1502593972.xml 2.10/2.22 c ========================================[ Problem Statistics ]=========================================== 2.10/2.22 c | 2.10/2.22 c | Parse time : 2.03 s 2.10/2.22 c | 2.10/2.22 c | Variables: 132 2.10/2.22 c | Domain Sizes: 26..26 2.10/2.22 c | 2.10/2.22 c | Constraints: 23 2.10/2.22 c | Arity: 11..12 2.10/2.22 c | 2.10/2.22 c | Types: 2.10/2.22 c | Extension: 23 (nb tuples: 84071..99333) -- (shared: 21) 2.10/2.22 c | 2.10/2.22 c ========================================================================================================= 2.10/2.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.40/2.59 c 10 39 910 18267 0 5 15 26 18 2.70/2.82 c 20 84 1625 28459 0 10 33 35 30 3.01/3.12 c 30 136 2626 42308 0 15 25 35 27 3.51/3.67 c 40 185 3618 58327 0 17 15 27 19 3.92/4.09 c 50 222 4579 73813 0 18 25 26 23 4.50/4.62 c 60 261 5438 84355 0 21 19 29 24 4.80/4.98 c 70 295 6050 98691 0 30 23 24 21 5.50/5.62 c 80 344 7109 114002 0 33 25 26 22 5.80/5.98 c 90 383 7919 132494 0 38 23 28 22 6.30/6.43 c 100 437 9098 149787 0 42 26 35 26 6.70/6.82 c 101 454 9306 153470 0 43 17 17 8 7.10/7.27 c 110 494 10460 169069 0 48 24 27 23 7.71/7.81 c 120 536 11624 188451 0 50 25 28 24 8.30/8.40 c 130 590 12586 203255 0 56 17 35 28 8.70/8.85 c 140 631 13536 219037 0 58 26 30 25 9.20/9.31 c 150 670 14428 233830 0 67 25 29 23 9.60/9.75 c 160 706 15252 247111 0 69 16 27 23 10.10/10.23 c 170 759 16027 261988 0 73 16 30 23 10.60/10.71 c 180 805 16790 275074 0 82 25 35 25 11.10/11.24 c 190 842 17936 291631 0 86 23 25 22 11.80/11.97 c 200 911 19195 309003 0 92 24 34 26 12.40/12.59 c 210 962 20274 323447 0 93 25 36 30 12.80/13.00 c 211 987 20561 326745 0 94 25 25 12 13.40/13.51 c 220 1023 21437 339076 0 103 26 28 23 13.80/13.96 c 230 1063 22314 351504 0 110 25 28 23 14.40/14.57 c 240 1115 23915 371361 0 115 25 33 24 14.91/15.05 c 250 1163 25095 385254 0 122 30 36 31 15.30/15.49 c 260 1201 26039 401967 0 125 25 27 23 15.91/16.04 c 270 1268 27352 416676 0 130 34 34 30 16.30/16.48 c 280 1307 28268 432525 0 137 25 28 23 16.80/16.94 c 290 1354 29187 448666 0 147 25 34 24 17.30/17.42 c 300 1410 30115 463186 0 155 25 34 26 17.70/17.86 c 310 1453 31155 480669 0 159 25 29 24 18.19/18.32 c 320 1489 31962 496683 0 163 25 27 23 18.69/18.86 c 330 1569 33058 508686 0 167 26 35 30 19.09/19.21 c 332 1595 33382 512775 0 169 24 25 16 19.39/19.59 c 340 1631 33934 522378 0 173 24 29 22 20.00/20.18 c 350 1676 35186 539840 0 177 17 29 22 20.49/20.63 c 360 1736 36418 558771 0 185 25 34 25 21.09/21.22 c 370 1818 37469 573176 0 188 19 36 23 21.49/21.66 c 380 1854 38227 588455 0 194 24 26 22 22.09/22.21 c 390 1901 39305 607680 0 195 24 34 25 22.59/22.74 c 400 1941 40758 631085 0 199 23 26 22 23.00/23.16 c 410 1979 41623 646727 0 202 24 26 23 23.39/23.59 c 420 2020 42694 665264 0 207 24 27 22 23.90/24.04 c 430 2071 44011 686724 0 210 26 34 25 24.29/24.44 c 440 2112 45126 701680 0 215 26 28 24 24.79/24.94 c 450 2157 46813 722177 0 217 25 29 24 25.19/25.36 c 460 2194 47740 736741 0 225 24 27 22 25.59/25.77 c 465 2227 48576 750226 0 228 26 27 21 26.00/26.19 c 470 2267 49320 761800 0 230 26 33 24 26.49/26.62 c 480 2333 50635 779191 0 233 25 33 29 26.90/27.01 c 490 2372 51569 795876 0 239 26 28 24 27.29/27.44 c 500 2430 53379 816705 0 244 26 33 27 27.79/27.93 c 510 2479 54606 837743 0 246 25 35 25 28.49/28.61 c 520 2538 55890 856493 0 251 16 27 21 28.90/29.03 c 530 2577 56774 871030 0 253 26 28 24 29.39/29.55 c 540 2618 57982 888023 0 258 25 29 24 29.79/29.98 c 550 2658 59032 904010 0 261 26 29 24 30.19/30.38 c 560 2706 60266 920558 0 266 25 35 27 31.09/31.21 c 570 2758 61401 942468 0 268 16 26 17 31.69/31.80 c 580 2805 62908 961220 0 275 26 32 25 32.09/32.23 c 590 2855 64322 981516 0 278 25 33 25 32.59/32.71 c 600 2924 66175 1001056 0 280 25 34 29 33.09/33.20 c 610 3002 67587 1017511 0 285 35 35 31 33.49/33.60 c 611 3027 67856 1019871 0 286 25 25 12 34.00/34.13 c 620 3073 69258 1035941 0 289 26 33 25 34.49/34.60 c 630 3113 70006 1051462 0 294 25 28 23 34.79/34.97 c 640 3151 71275 1070655 0 298 24 25 22 35.39/35.50 c 650 3204 72285 1083783 0 303 17 35 30 35.79/35.90 c 660 3242 73040 1097471 0 309 25 29 24 36.19/36.38 c 670 3287 74255 1113643 0 316 25 33 25 36.79/36.94 c 680 3351 75308 1127619 0 321 17 35 29 37.39/37.54 c 690 3404 76577 1145848 0 324 21 34 28 37.79/37.97 c 700 3444 77479 1164303 0 327 25 29 24 38.39/38.51 c 710 3492 78755 1182578 0 334 24 34 24 38.79/38.95 c 720 3537 79562 1198647 0 342 25 34 24 39.29/39.46 c 730 3581 80575 1210821 0 348 25 28 23 39.69/39.85 c 740 3626 81440 1227431 0 355 24 33 25 40.19/40.38 c 750 3685 82540 1241289 0 358 17 35 30 40.69/40.84 c 760 3730 83665 1259085 0 365 25 30 24 41.29/41.44 c 770 3777 85015 1278403 0 372 17 34 22 41.59/41.70 c 771 3792 85161 1280807 0 373 15 15 7 42.00/42.17 c 780 3839 86837 1298934 0 375 25 34 24 42.49/42.65 c 790 3891 87788 1312071 0 377 34 34 30 42.90/43.05 c 800 3928 88660 1325432 0 383 24 26 22 43.39/43.53 c 810 3977 89817 1339843 0 389 25 34 28 43.79/43.96 c 820 4012 90601 1354332 0 390 25 26 23 44.29/44.44 c 830 4054 91542 1367896 0 393 28 31 27 44.69/44.88 c 840 4094 92382 1381257 0 400 25 29 24 45.09/45.26 c 850 4141 93369 1398232 0 404 26 34 25 45.49/45.67 c 860 4183 94424 1416367 0 409 24 29 23 45.90/46.01 c 870 4228 95512 1429965 0 413 25 34 28 46.39/46.51 c 880 4268 96573 1451887 0 420 24 26 22 46.79/46.99 c 890 4308 97674 1469807 0 429 25 27 23 47.29/47.47 c 900 4362 98553 1481539 0 434 34 36 31 47.69/47.84 c 910 4422 99808 1496297 0 435 25 34 27 48.00/48.18 c 920 4460 100684 1512235 0 441 25 27 23 48.49/48.62 c 930 4504 101666 1523367 0 444 26 35 30 48.90/49.06 c 940 4574 102855 1543588 0 447 23 30 24 49.39/49.56 c 947 4630 103872 1555198 0 454 35 36 30 49.79/49.90 c 950 4666 104299 1559097 0 457 28 34 23 50.09/50.29 c 960 4713 105412 1577045 0 465 24 33 24 50.49/50.66 c 970 4767 106687 1592140 0 467 33 36 31 50.90/51.08 c 980 4815 108100 1606664 0 474 26 38 31 51.39/51.54 c 990 4863 109234 1622387 0 480 35 36 32 51.79/51.98 c 1000 4914 110104 1632900 0 482 33 34 30 52.29/52.47 c 1010 4962 111586 1648927 0 485 34 36 32 52.69/52.87 c 1020 5014 112516 1663339 0 491 25 34 27 53.09/53.23 c 1030 5070 113590 1677033 0 497 26 35 28 53.49/53.62 c 1040 5115 114527 1690660 0 504 26 35 26 54.09/54.26 c 1050 5164 115475 1706205 0 509 17 27 20 54.90/55.09 c 1060 5222 116570 1722117 0 515 16 30 21 55.39/55.54 c 1070 5259 117355 1736055 0 516 26 28 24 55.90/56.08 c 1080 5304 118630 1755070 0 522 24 28 23 56.39/56.53 c 1090 5355 120094 1772471 0 528 34 37 32 57.00/57.17 c 1100 5417 121454 1787393 0 533 18 34 23 57.49/57.69 c 1110 5468 122418 1800252 0 540 24 36 25 58.09/58.27 c 1120 5516 123758 1820586 0 543 25 28 23 58.59/58.76 c 1130 5581 125170 1836230 0 545 35 35 31 59.19/59.36 c 1140 5648 126411 1856065 0 550 24 27 23 59.59/59.77 c 1141 5673 126814 1858530 0 551 25 25 12 60.00/60.19 c 1150 5723 127794 1870892 0 556 26 34 26 60.59/60.71 c 1160 5795 129736 1891610 0 559 34 39 32 61.00/61.15 c 1170 5855 130592 1908162 0 566 24 34 24 61.49/61.68 c 1180 5928 132630 1934833 0 569 27 35 27 62.00/62.11 c 1190 5982 133543 1949279 0 576 19 34 29 62.29/62.49 c 1200 6039 134578 1963303 0 578 34 34 30 62.90/63.03 c 1210 6088 135474 1980858 0 582 26 28 23 63.39/63.50 c 1220 6132 136488 1996387 0 587 26 31 25 63.69/63.88 c 1230 6187 137887 2012138 0 592 25 36 30 64.29/64.49 c 1240 6238 139059 2025740 0 600 17 28 21 64.79/64.95 c 1250 6281 139958 2040941 0 604 24 33 24 65.29/65.43 c 1260 6324 141077 2056634 0 606 17 24 20 65.90/66.05 c 1270 6378 142267 2074710 0 610 19 27 21 66.29/66.47 c 1280 6429 143543 2090569 0 613 26 33 28 66.90/67.02 c 1290 6469 144966 2109911 0 617 23 27 22 67.29/67.47 c 1300 6510 145741 2123260 0 626 25 30 23 67.69/67.84 c 1310 6563 146885 2136518 0 629 30 36 30 68.09/68.28 c 1320 6617 147914 2149861 0 634 27 34 30 68.49/68.68 c 1330 6654 148802 2164813 0 638 24 27 23 69.19/69.33 c 1340 6732 150626 2186704 0 643 19 24 21 69.59/69.71 c 1350 6785 151590 2200824 0 648 34 35 31 70.09/70.24 c 1352 6811 152078 2204896 0 650 24 25 16 70.49/70.66 c 1360 6850 153008 2218425 0 654 25 28 23 70.90/71.10 c 1370 6889 153873 2234114 0 660 25 28 23 71.39/71.59 c 1380 6927 154625 2248546 0 669 26 28 24 71.90/72.05 c 1390 6970 155539 2261133 0 678 25 33 25 72.39/72.58 c 1400 7012 156586 2279319 0 679 24 29 22 72.79/72.98 c 1410 7060 157495 2290940 0 682 33 34 30 73.29/73.47 c 1420 7123 158705 2308408 0 684 25 34 25 73.79/74.00 c 1430 7177 160119 2327545 0 690 25 34 27 74.39/74.58 c 1440 7232 161390 2346540 0 695 17 29 18 74.90/75.04 c 1450 7280 162616 2366273 0 697 23 26 22 75.59/75.70 c 1460 7348 164024 2381973 0 703 17 35 27 76.00/76.11 c 1470 7392 165040 2399738 0 710 25 30 23 76.39/76.54 c 1480 7430 165777 2414664 0 718 24 29 23 76.79/76.97 c 1490 7473 166587 2429295 0 721 16 34 24 77.19/77.34 c 1500 7514 167836 2450368 0 728 23 27 22 77.59/77.72 c 1510 7565 168872 2464004 0 733 26 36 28 78.00/78.14 c 1520 7630 170448 2479264 0 737 33 34 30 78.39/78.52 c 1530 7679 171626 2492470 0 745 27 38 31 78.90/79.07 c 1540 7724 173053 2511336 0 753 26 28 24 79.29/79.48 c 1550 7761 174168 2527867 0 760 23 25 21 79.69/79.86 c 1560 7806 175084 2543767 0 770 25 29 24 80.09/80.29 c 1570 7857 176055 2557369 0 773 33 34 30 80.49/80.66 c 1580 7897 177064 2573085 0 779 24 27 22 80.90/81.04 c 1585 7938 177612 2580316 0 784 28 34 27 81.29/81.49 c 1590 7987 178650 2589538 0 786 29 33 25 81.79/81.92 c 1600 8025 179417 2605126 0 792 25 27 23 82.19/82.33 c 1610 8072 180452 2622138 0 796 24 34 23 82.69/82.81 c 1620 8112 181437 2639603 0 798 25 28 23 83.19/83.35 c 1630 8158 182664 2655932 0 802 24 33 27 83.59/83.76 c 1640 8216 183899 2670329 0 810 24 35 27 84.09/84.23 c 1650 8263 185289 2685709 0 818 22 37 31 84.39/84.59 c 1660 8315 186476 2699385 0 819 34 35 31 84.89/85.03 c 1670 8350 187071 2712354 0 824 24 25 22 85.29/85.47 c 1680 8400 188696 2734040 0 826 26 31 25 85.90/86.04 c 1690 8465 190152 2751691 0 829 24 34 25 86.39/86.54 c 1700 8500 190830 2763467 0 838 25 26 22 86.79/86.96 c 1710 8539 191876 2780576 0 845 24 27 23 87.29/87.46 c 1720 8586 192909 2791784 0 851 28 33 28 87.89/88.07 c 1730 8663 194445 2811287 0 853 19 34 27 88.39/88.58 c 1740 8711 195588 2825628 0 856 28 33 29 88.89/89.05 c 1750 8746 196191 2839163 0 858 24 25 21 89.29/89.47 c 1760 8783 197157 2857955 0 864 23 25 21 89.89/90.06 c 1770 8862 198277 2873561 0 868 16 34 24 90.49/90.64 c 1780 8913 199303 2888039 0 878 16 29 21 90.99/91.19 c 1790 9003 200483 2904523 0 882 34 36 31 91.49/91.62 c 1800 9043 201493 2922027 0 888 25 28 23 92.09/92.21 c 1810 9093 203192 2945757 0 892 24 33 25 92.49/92.63 c 1820 9132 203993 2962175 0 899 25 27 23 92.89/93.05 c 1830 9171 204935 2978849 0 902 24 29 24 93.39/93.55 c 1840 9257 206447 2993019 0 906 16 35 29 93.69/93.87 c 1841 9283 206766 2995966 0 907 26 26 13 94.09/94.26 c 1850 9333 207789 3011833 0 916 26 33 25 94.59/94.76 c 1860 9374 208707 3027052 0 918 16 31 21 95.09/95.21 c 1870 9442 210266 3044017 0 920 30 34 30 95.49/95.68 c 1880 9483 211918 3065551 0 925 24 27 22 95.89/96.10 c 1890 9519 212523 3077871 0 932 25 27 23 96.38/96.53 c 1900 9580 213751 3092290 0 936 34 35 31 96.78/96.96 c 1910 9625 215059 3111295 0 941 25 30 24 97.18/97.36 c 1920 9680 215928 3125002 0 949 26 33 28 97.58/97.78 c 1930 9723 216641 3137934 0 953 16 34 23 98.08/98.20 c 1940 9773 218125 3156493 0 957 25 35 24 98.38/98.58 c 1950 9821 219045 3171089 0 959 15 33 25 98.89/99.04 c 1960 9857 219729 3184188 0 969 25 27 23 99.28/99.46 c 1970 9916 221025 3201207 0 978 26 34 26 99.68/99.85 c 1980 9971 222263 3217427 0 984 23 35 28 100.28/100.41 c 1990 10012 223281 3235130 0 991 24 28 23 100.58/100.77 c 2000 10068 224748 3252560 0 996 26 35 26 101.08/101.24 c 2010 10124 226217 3271631 0 998 14 38 27 101.48/101.67 c 2020 10170 227083 3283171 0 1004 21 35 29 101.89/102.08 c 2030 10213 228027 3297235 0 1007 24 28 23 102.38/102.59 c 2040 10250 229216 3314576 0 1012 24 25 22 102.89/103.02 c 2050 10306 230236 3330126 0 1015 20 35 29 103.38/103.51 c 2060 10372 231390 3348080 0 1020 25 35 27 103.89/104.02 c 2070 10413 232529 3362302 0 1027 27 30 25 104.28/104.44 c 2080 10452 233419 3376550 0 1031 24 27 22 104.68/104.86 c 2090 10492 234495 3394101 0 1036 24 27 23 105.28/105.41 c 2100 10550 235919 3410274 0 1038 21 25 20 105.78/105.99 c 2110 10620 237583 3427845 0 1041 25 36 31 106.18/106.38 c 2120 10665 238479 3440377 0 1048 24 35 29 106.58/106.73 c 2122 10701 238913 3443788 0 1050 35 35 23 107.08/107.28 c 2130 10747 240117 3459584 0 1055 15 33 23 107.78/107.90 c 2140 10831 241785 3479165 0 1058 21 35 27 108.18/108.31 c 2150 10891 243674 3499563 0 1062 25 41 29 108.78/108.99 c 2160 10955 245199 3517153 0 1067 19 27 22 109.78/109.94 c 2170 11015 246504 3540472 0 1074 15 31 20 110.18/110.32 c 2180 11060 247314 3552561 0 1080 27 35 31 110.58/110.78 c 2190 11097 248086 3565797 0 1089 26 27 24 111.38/111.57 c 2200 11151 249550 3584079 0 1095 18 27 21 111.78/112.00 c 2210 11193 250359 3597438 0 1098 24 33 25 112.28/112.40 c 2220 11247 251381 3611201 0 1104 30 35 31 112.78/112.94 c 2230 11285 252804 3629182 0 1106 24 27 23 113.38/113.54 c 2240 11337 253902 3646046 0 1108 16 35 29 113.89/114.01 c 2250 11375 254891 3659837 0 1112 25 27 23 114.18/114.38 c 2260 11421 255665 3674908 0 1113 25 35 26 114.68/114.82 c 2270 11460 256446 3687873 0 1121 26 28 24 115.18/115.30 c 2280 11496 257322 3702910 0 1127 24 26 22 115.68/115.83 c 2290 11533 258249 3716983 0 1131 26 27 24 116.08/116.27 c 2300 11601 259797 3738565 0 1135 24 34 27 116.58/116.76 c 2310 11640 260819 3754559 0 1140 25 27 23 117.08/117.25 c 2320 11681 262171 3771712 0 1146 26 28 24 117.58/117.71 c 2330 11717 262921 3784974 0 1152 26 27 24 117.89/118.10 c 2340 11779 264206 3800270 0 1156 32 35 30 118.38/118.51 c 2350 11818 264951 3816006 0 1158 24 30 23 118.89/119.04 c 2360 11855 265999 3832012 0 1168 24 27 22 119.28/119.50 c 2370 11894 266938 3846425 0 1174 26 29 24 119.68/119.88 c 2380 11943 268062 3865019 0 1178 24 31 24 120.18/120.37 c 2390 11984 268941 3877738 0 1184 25 29 24 120.78/120.94 c 2400 12022 269964 3893825 0 1187 24 27 23 121.28/121.47 c 2410 12103 271243 3910833 0 1190 25 33 25 121.78/121.90 c 2420 12142 272029 3924363 0 1200 24 27 22 122.18/122.38 c 2430 12179 272981 3938727 0 1205 26 28 24 122.58/122.72 c 2431 12213 273411 3941381 0 1206 34 34 17 122.99/123.17 c 2440 12259 275019 3960966 0 1208 26 31 25 123.68/123.87 c 2450 12304 276073 3975991 0 1213 16 26 21 124.18/124.30 c 2460 12345 277178 3995648 0 1215 23 28 22 124.89/125.05 c 2470 12379 278032 4012843 0 1217 14 20 13 125.28/125.46 c 2480 12423 278827 4029764 0 1224 25 31 24 125.68/125.83 c 2490 12477 280096 4045901 0 1227 26 35 30 126.18/126.34 c 2500 12513 280939 4059213 0 1233 25 27 23 126.68/126.86 c 2510 12567 282216 4078960 0 1240 23 34 23 127.18/127.36 c 2520 12602 282983 4093085 0 1244 23 25 21 127.68/127.86 c 2530 12642 284257 4113987 0 1251 24 27 22 128.38/128.54 c 2540 12695 285893 4134479 0 1256 15 25 19 128.78/128.94 c 2550 12741 287117 4152149 0 1266 25 34 23 129.38/129.54 c 2560 12818 288429 4170792 0 1269 17 34 23 129.68/129.84 c 2570 12862 289418 4181610 0 1270 33 33 30 130.18/130.31 c 2580 12930 290613 4200547 0 1276 26 34 28 130.58/130.76 c 2590 12970 291452 4215531 0 1280 24 28 23 131.08/131.24 c 2600 13009 292553 4230586 0 1286 26 28 23 131.48/131.69 c 2610 13048 293161 4243704 0 1292 24 27 23 131.99/132.18 c 2620 13094 294495 4263781 0 1295 25 31 23 132.48/132.63 c 2630 13131 295203 4278220 0 1298 24 27 22 132.89/133.10 c 2640 13170 296202 4291329 0 1303 25 28 23 133.48/133.67 c 2650 13215 297534 4311700 0 1307 25 27 23 133.99/134.12 c 2660 13256 298407 4328560 0 1314 24 28 22 134.48/134.60 c 2670 13297 299759 4348399 0 1319 25 28 23 135.28/135.45 c 2680 13367 301453 4368194 0 1322 15 34 23 135.78/135.91 c 2690 13423 302767 4387708 0 1327 24 34 27 136.08/136.25 c 2700 13470 303635 4402637 0 1335 25 36 30 136.48/136.66 c 2710 13526 304782 4417551 0 1339 23 36 30 136.99/137.17 c 2720 13562 305408 4432575 0 1349 24 26 22 137.38/137.59 c 2730 13621 306586 4446347 0 1354 33 43 33 137.78/138.00 c 2740 13668 307712 4461009 0 1362 24 36 29 138.68/138.87 c 2750 13715 309137 4480815 0 1365 17 26 18 139.08/139.23 c 2760 13770 310017 4494708 0 1375 24 36 26 139.58/139.76 c 2770 13809 311267 4513320 0 1378 24 26 23 139.89/140.09 c 2771 13834 311532 4515641 0 1379 25 25 12 140.28/140.48 c 2780 13885 312510 4526723 0 1385 26 34 28 140.78/140.97 c 2790 13924 313592 4543450 0 1389 25 27 24 141.28/141.47 c 2800 13969 315040 4556562 0 1390 34 36 31 141.78/141.92 c 2810 14008 316084 4571338 0 1399 25 28 23 142.28/142.42 c 2820 14096 317584 4586807 0 1402 34 35 31 142.78/142.90 c 2830 14133 318588 4603566 0 1403 24 26 22 143.18/143.36 c 2840 14171 319677 4620896 0 1408 24 26 22 143.68/143.89 c 2850 14222 320800 4635634 0 1410 25 26 23 144.18/144.39 c 2860 14260 321784 4652861 0 1415 24 27 22 144.58/144.79 c 2870 14314 322849 4672432 0 1423 25 33 24 145.08/145.26 c 2880 14363 324187 4691250 0 1429 24 34 24 145.59/145.75 c 2890 14410 325189 4702762 0 1437 34 37 32 146.00/146.15 c 2900 14455 326335 4715576 0 1444 30 34 28 146.39/146.52 c 2910 14507 327351 4734975 0 1447 24 34 26 146.90/147.05 c 2920 14546 328456 4752262 0 1449 25 27 23 147.39/147.58 c 2930 14591 329713 4769253 0 1453 23 29 23 147.90/148.10 c 2940 14637 331032 4785763 0 1456 25 28 23 148.39/148.56 c 2950 14674 331930 4800245 0 1459 26 27 23 148.90/149.01 c 2960 14720 332914 4810888 0 1460 34 35 31 149.39/149.54 c 2970 14776 334396 4824495 0 1465 26 36 31 149.90/150.03 c 2980 14824 335501 4843010 0 1471 23 29 22 150.39/150.54 c 2990 14890 336823 4863867 0 1476 15 29 22 150.79/150.96 c 3000 14928 337713 4882225 0 1484 25 27 23 151.09/151.29 c 3010 14981 339020 4896878 0 1487 25 34 29 151.69/151.80 c 3020 15036 340066 4911544 0 1490 33 35 30 152.09/152.29 c 3030 15107 341443 4925536 0 1493 26 35 30 152.59/152.77 c 3040 15160 342625 4938112 0 1495 34 35 31 153.09/153.22 c 3050 15231 343984 4957003 0 1498 25 34 26 153.49/153.61 c 3060 15281 345131 4970371 0 1504 27 33 29 154.09/154.22 c 3070 15366 346663 4988838 0 1508 25 34 27 154.49/154.61 c 3080 15410 347470 5003154 0 1510 24 33 24 155.00/155.15 c 3090 15461 349330 5020935 0 1512 25 36 31 155.49/155.63 c 3100 15538 350964 5041348 0 1519 33 38 31 156.19/156.37 c 3110 15619 352538 5063381 0 1523 17 34 23 156.69/156.89 c 3120 15691 354181 5083289 0 1527 27 34 27 157.19/157.31 c 3130 15734 355094 5099008 0 1537 29 30 27 157.59/157.75 c 3140 15770 356039 5113703 0 1540 23 25 22 158.00/158.15 c 3142 15805 356413 5117127 0 1542 34 34 22 158.49/158.67 c 3150 15846 357319 5131138 0 1544 17 26 21 159.00/159.13 c 3160 15898 358190 5141373 0 1549 34 36 31 159.49/159.60 c 3170 15952 359625 5157880 0 1558 25 34 24 159.90/160.01 c 3180 16009 361157 5179744 0 1564 25 34 26 160.19/160.33 c 3190 16055 362068 5194533 0 1568 25 36 29 160.59/160.75 c 3200 16098 363075 5211108 0 1570 25 30 24 161.09/161.22 c 3210 16142 364361 5230648 0 1574 25 28 23 161.49/161.60 c 3220 16188 365434 5244294 0 1580 24 35 27 161.90/162.06 c 3230 16234 366408 5255515 0 1582 34 35 31 162.49/162.60 c 3240 16291 367788 5271170 0 1586 25 34 25 162.90/163.08 c 3250 16355 369052 5285253 0 1592 24 35 29 163.39/163.56 c 3260 16392 370194 5300093 0 1593 25 26 23 163.69/163.89 c 3270 16427 371074 5314402 0 1599 23 25 21 164.19/164.37 c 3280 16469 372210 5333748 0 1607 25 29 24 164.59/164.76 c 3290 16513 373051 5348838 0 1612 23 26 22 165.09/165.28 c 3300 16577 374098 5361431 0 1615 33 35 30 165.59/165.70 c 3310 16614 374848 5373411 0 1617 25 28 24 165.89/166.09 c 3320 16663 375972 5392532 0 1625 24 29 23 166.39/166.55 c 3330 16709 377120 5410183 0 1632 26 30 24 166.79/166.95 c 3340 16759 378117 5427979 0 1635 26 27 24 167.29/167.44 c 3350 16810 379192 5439566 0 1638 34 35 31 167.79/167.91 c 3360 16889 380683 5459792 0 1641 25 34 27 168.19/168.34 c 3370 16924 381485 5475209 0 1647 24 25 22 168.79/168.98 c 3380 16990 382995 5495595 0 1649 16 37 30 169.29/169.47 c 3390 17040 383862 5506892 0 1651 34 35 31 169.79/169.94 c 3400 17093 385288 5527708 0 1654 24 34 24 170.49/170.63 c 3410 17151 386660 5544772 0 1660 16 36 25 171.00/171.12 c 3420 17219 388297 5561756 0 1667 26 34 28 171.39/171.54 c 3430 17284 390046 5582734 0 1670 25 36 28 171.99/172.16 c 3440 17331 391396 5597600 0 1673 16 35 27 172.49/172.65 c 3450 17369 392413 5610401 0 1677 25 27 23 172.99/173.11 c 3460 17426 393998 5627148 0 1679 29 35 30 173.39/173.57 c 3470 17463 394821 5640425 0 1682 26 26 23 173.79/174.00 c 3480 17501 395990 5656044 0 1686 24 27 23 174.39/174.52 c 3490 17539 397014 5669369 0 1692 26 28 24 174.79/174.98 c 3500 17592 398140 5683677 0 1696 33 35 31 175.19/175.39 c 3510 17642 399474 5699741 0 1699 33 35 30 175.69/175.83 c 3520 17693 400933 5716885 0 1702 24 36 29 176.29/176.41 c 3530 17768 402159 5733105 0 1709 25 35 28 176.78/176.90 c 3540 17808 403289 5753049 0 1710 24 27 22 177.18/177.37 c 3550 17849 404734 5771784 0 1712 26 28 24 177.58/177.74 c 3551 17874 404997 5773766 0 1713 25 25 12 177.89/178.10 c 3560 17913 405813 5791973 0 1714 25 27 23 178.38/178.54 c 3570 17970 407168 5812860 0 1720 25 34 26 178.89/179.02 c 3580 18010 408149 5829966 0 1727 26 27 24 179.28/179.48 c 3590 18056 409132 5846034 0 1731 26 34 26 179.68/179.89 c 3600 18108 410295 5859883 0 1736 25 35 30 180.28/180.41 c 3610 18165 411771 5879237 0 1744 26 35 26 180.68/180.87 c 3620 18208 412715 5901104 0 1745 24 29 23 181.18/181.34 c 3630 18244 413401 5915838 0 1754 25 26 23 181.68/181.80 c 3640 18287 414454 5931711 0 1759 25 28 24 182.08/182.29 c 3650 18331 415574 5949992 0 1764 25 33 25 182.68/182.84 c 3660 18370 416525 5966963 0 1765 24 27 22 183.28/183.41 c 3670 18411 417758 5985123 0 1770 26 27 23 183.68/183.84 c 3680 18454 418648 5999199 0 1771 25 34 27 184.18/184.31 c 3690 18492 419509 6015473 0 1780 25 28 23 184.68/184.81 c 3700 18536 420862 6035054 0 1788 24 28 23 185.18/185.31 c 3710 18579 421946 6052042 0 1793 25 33 25 185.58/185.77 c 3720 18620 422960 6067862 0 1801 25 27 23 186.18/186.31 c 3730 18655 423880 6081409 0 1805 24 25 22 186.58/186.75 c 3740 18700 424575 6091651 0 1807 33 35 31 186.99/187.17 c 3750 18768 426381 6112096 0 1810 35 43 36 187.58/187.71 c 3760 18817 427397 6129415 0 1816 24 35 25 188.18/188.35 c 3770 18866 428749 6147167 0 1820 16 26 21 188.68/188.85 c 3780 18918 430145 6166058 0 1826 25 34 25 189.08/189.27 c 3790 18964 431149 6178442 0 1830 24 36 30 189.99/190.13 c 3800 19012 432481 6199163 0 1836 16 29 19 190.48/190.61 c 3810 19051 433337 6212902 0 1843 25 27 23 190.99/191.13 c 3820 19093 434404 6229426 0 1849 25 29 23 191.38/191.59 c 3830 19132 435537 6244348 0 1851 26 30 25 191.89/192.07 c 3840 19170 436540 6258519 0 1856 25 27 23 192.38/192.53 c 3850 19210 437324 6276847 0 1863 23 28 23 192.78/192.99 c 3860 19263 438365 6291004 0 1866 27 35 30 193.38/193.52 c 3870 19300 439198 6307295 0 1872 24 26 22 193.78/193.97 c 3880 19337 439963 6323126 0 1878 24 28 23 194.28/194.47 c 3890 19388 441127 6340816 0 1881 26 35 27 194.78/195.00 c 3900 19427 442504 6357698 0 1887 26 29 24 195.38/195.50 c 3910 19463 443296 6371936 0 1890 24 26 23 195.78/195.97 c 3920 19506 444528 6389987 0 1891 24 30 23 196.38/196.52 c 3930 19587 445903 6409069 0 1896 26 34 29 196.78/196.98 c 3940 19636 447005 6424825 0 1898 29 35 30 197.28/197.48 c 3950 19672 447816 6438420 0 1902 25 26 22 198.08/198.29 c 3960 19742 449161 6458383 0 1907 17 35 22 198.58/198.70 c 3970 19780 449980 6473642 0 1911 23 26 22 199.08/199.27 c 3980 19829 451040 6485825 0 1913 34 35 31 199.58/199.78 c 3990 19881 451998 6501056 0 1918 17 35 27 200.18/200.34 c 4000 19937 453169 6515512 0 1920 34 35 31 200.58/200.76 c 4001 19963 453564 6519291 0 1921 26 26 13 200.99/201.14 c 4010 20024 454807 6534510 0 1925 26 35 28 201.38/201.50 c 4020 20078 455854 6550021 0 1933 23 36 27 201.99/202.19 c 4030 20132 456865 6566853 0 1941 17 30 21 202.38/202.53 c 4040 20182 457991 6581589 0 1944 34 38 33 202.78/202.97 c 4050 20235 459195 6597750 0 1951 25 34 26 203.38/203.50 c 4060 20279 460295 6617172 0 1954 24 27 22 203.78/203.93 c 4070 20315 460942 6632390 0 1963 23 27 22 204.28/204.49 c 4080 20357 462005 6650426 0 1970 26 29 24 204.78/204.91 c 4090 20404 463096 6666445 0 1974 25 35 26 205.18/205.32 c 4100 20446 464410 6685577 0 1978 24 29 23 205.58/205.70 c 4110 20494 465804 6710287 0 1982 23 33 23 206.08/206.23 c 4120 20539 466475 6721951 0 1991 16 35 28 206.48/206.66 c 4130 20592 467583 6736833 0 1995 26 35 30 206.78/207.00 c 4140 20630 468298 6750419 0 2000 25 28 23 207.28/207.45 c 4150 20673 469066 6763902 0 2008 26 34 25 207.78/207.94 c 4160 20722 470347 6784291 0 2014 25 31 24 208.18/208.38 c 4170 20779 471819 6802051 0 2017 28 35 30 208.68/208.84 c 4180 20819 473066 6820528 0 2019 26 29 24 209.08/209.23 c 4190 20869 474262 6838668 0 2024 23 27 22 209.58/209.76 c 4200 20913 475133 6850862 0 2032 34 35 31 210.08/210.23 c 4210 20963 476061 6866329 0 2042 26 35 25 210.68/210.82 c 4220 21033 477628 6882834 0 2047 17 36 30 211.08/211.24 c 4230 21083 478823 6902051 0 2049 25 31 25 211.58/211.70 c 4240 21130 479799 6914419 0 2059 35 37 32 212.08/212.21 c 4250 21167 480649 6925436 0 2062 26 26 23 212.58/212.72 c 4260 21214 481720 6939846 0 2069 34 35 31 213.08/213.21 c 4270 21260 482734 6955368 0 2077 25 35 24 213.48/213.61 c 4280 21312 483812 6970912 0 2084 26 34 29 213.89/214.04 c 4290 21359 484801 6986995 0 2095 24 35 28 214.38/214.51 c 4300 21414 485948 7002818 0 2099 25 34 28 214.78/214.98 c 4310 21464 487182 7017192 0 2102 35 38 33 215.28/215.41 c 4320 21511 488145 7033800 0 2109 25 34 24 215.78/215.91 c 4330 21563 489447 7052791 0 2116 25 33 25 216.38/216.54 c 4340 21631 490626 7071291 0 2118 15 33 26 216.89/217.01 c 4350 21680 492008 7086216 0 2122 27 37 31 217.38/217.55 c 4360 21719 492980 7106186 0 2129 24 26 22 217.89/218.02 c 4370 21757 493885 7120285 0 2131 26 27 24 218.18/218.39 c 4380 21792 494756 7133646 0 2137 24 25 22 218.68/218.87 c 4390 21856 496182 7155758 0 2144 24 36 25 219.18/219.36 c 4400 21918 497699 7172848 0 2149 26 33 28 219.68/219.84 c 4410 21976 499241 7193698 0 2152 25 34 25 220.18/220.32 c 4420 22018 500497 7211208 0 2155 25 29 24 220.78/220.90 c 4430 22096 502327 7231128 0 2159 23 33 25 221.18/221.39 c 4440 22139 503673 7250961 0 2161 26 29 24 221.68/221.88 c 4450 22195 504826 7264954 0 2162 24 33 29 222.18/222.34 c 4460 22233 505494 7279225 0 2167 24 29 23 222.68/222.86 c 4470 22275 506676 7297082 0 2171 25 29 24 223.08/223.27 c 4480 22326 508018 7313378 0 2174 29 34 28 223.48/223.65 c 4490 22372 509019 7330346 0 2182 25 33 24 223.99/224.12 c 4493 22413 509694 7337066 0 2184 33 33 24 224.38/224.55 c 4500 22466 510610 7346632 0 2187 33 33 28 224.89/225.06 c 4510 22528 511941 7362640 0 2194 27 35 29 225.38/225.57 c 4520 22571 513468 7386390 0 2199 24 28 23 225.99/226.12 c 4530 22613 514566 7403875 0 2205 24 27 23 226.48/226.65 c 4540 22655 515731 7423996 0 2215 25 28 23 226.89/227.09 c 4550 22707 516881 7439851 0 2219 24 35 27 227.38/227.58 c 4560 22747 517912 7456109 0 2224 26 27 24 227.78/227.99 c 4570 22785 518683 7472286 0 2231 25 28 23 228.28/228.45 c 4580 22825 519754 7492161 0 2237 24 27 23 228.78/228.95 c 4590 22868 520704 7509207 0 2244 23 24 21 229.18/229.38 c 4600 22916 522408 7530470 0 2245 25 33 24 229.68/229.89 c 4610 22968 523478 7544768 0 2252 34 35 31 230.18/230.32 c 4620 23011 524473 7563682 0 2259 24 28 23 230.58/230.79 c 4630 23049 525220 7577816 0 2264 25 29 24 231.08/231.22 c 4640 23098 526090 7592934 0 2268 25 34 26 231.48/231.65 c 4650 23139 527385 7610338 0 2270 25 30 25 231.99/232.12 c 4660 23185 528329 7627574 0 2276 23 26 21 232.48/232.64 c 4670 23234 529691 7647450 0 2279 24 34 24 232.89/233.06 c 4680 23285 531268 7669556 0 2282 25 33 24 233.28/233.49 c 4690 23344 533014 7690868 0 2284 28 39 31 233.78/233.97 c 4700 23382 534027 7706172 0 2288 25 28 23 234.38/234.50 c 4710 23420 534826 7719110 0 2296 26 29 24 234.78/234.91 c 4720 23496 536511 7737402 0 2297 36 43 37 235.18/235.36 c 4730 23534 537473 7753634 0 2302 24 26 22 235.78/235.98 c 4740 23604 538962 7774166 0 2307 18 26 21 236.38/236.51 c 4750 23653 540264 7790899 0 2311 25 34 27 236.78/236.95 c 4760 23699 541290 7805374 0 2316 34 35 31 237.28/237.41 c 4770 23751 542569 7820327 0 2320 24 35 29 237.58/237.79 c 4780 23801 543813 7834177 0 2325 27 36 28 237.99/238.19 c 4790 23848 544842 7848434 0 2330 33 37 31 238.48/238.65 c 4800 23893 545974 7867206 0 2335 24 33 25 238.99/239.17 c 4810 23946 546935 7882732 0 2340 34 35 31 239.48/239.61 c 4820 23987 547932 7900191 0 2345 24 27 23 239.89/240.05 c 4830 24026 548969 7915428 0 2350 24 27 23 240.48/240.60 c 4840 24079 550040 7929632 0 2353 34 35 31 240.78/241.00 c 4850 24115 550720 7943813 0 2358 23 26 22 241.28/241.44 c 4860 24167 551621 7956489 0 2366 34 36 31 241.78/241.92 c 4870 24232 553055 7978142 0 2372 25 33 26 242.18/242.38 c 4880 24274 554311 8000117 0 2375 24 26 22 242.68/242.88 c 4890 24311 555372 8014963 0 2378 25 27 23 243.28/243.41 c 4900 24349 556249 8030839 0 2386 24 27 22 243.78/243.92 c 4910 24387 557417 8047138 0 2391 25 26 22 244.18/244.37 c 4920 24426 558648 8063309 0 2392 25 27 23 244.68/244.86 c 4930 24465 559692 8078108 0 2396 25 27 23 245.18/245.37 c 4940 24524 560870 8091487 0 2401 26 35 29 245.68/245.83 c 4950 24563 562071 8107758 0 2405 25 27 23 246.08/246.27 c 4960 24600 562882 8123102 0 2409 24 27 22 246.48/246.61 c 4970 24641 563703 8137865 0 2415 25 29 23 246.99/247.14 c 4980 24679 564745 8154007 0 2417 25 27 23 247.48/247.63 c 4990 24717 565735 8168489 0 2418 24 28 22 248.18/248.30 c 5035 24819 569946 8225505 0 2424 16 34 32 254.08/254.25 c 5631 26421 625542 9200456 0 2430 15 38 27 262.57/262.75 c 6286 28878 692053 10213387 0 2446 14 35 27 269.88/270.05 c 7006 30322 753006 11356316 0 2455 13 35 24 277.57/277.79 c 7798 32216 810193 12361929 0 2467 24 39 33 294.57/294.74 c 8669 34625 887701 13626875 0 2475 15 36 25 305.27/305.47 c 9627 36455 979566 15165000 0 2493 24 36 27 317.77/318.00 c 10680 38824 1091266 16914870 0 2511 25 37 28 331.88/332.02 c 11838 41021 1196213 18760449 0 2535 24 36 28 340.47/340.64 c 13111 44026 1311565 20858069 0 2549 16 37 28 358.16/358.34 c 14511 48004 1445008 23016159 0 2562 8 40 27 372.16/372.37 c 16051 51794 1584753 25221841 0 2576 14 34 26 394.26/394.44 c 17745 56894 1723269 27980022 0 2583 14 36 24 421.46/421.66 c 19608 62664 1894219 30907015 0 2609 14 38 27 441.46/441.62 c 21657 66342 2058545 33949442 0 2618 14 34 24 458.45/458.66 c 23910 72249 2262831 37645500 0 2653 15 38 27 496.96/497.17 c 26388 79322 2520043 41274066 0 2701 16 37 31 541.45/541.65 c 29113 87055 2777578 45193195 0 2717 16 36 29 589.54/589.70 c 32110 93090 3040401 50085008 0 2734 16 35 25 623.85/624.01 c 35406 99780 3354475 55566190 0 2743 23 36 26 668.23/668.40 c 39031 109006 3669273 61325923 0 2779 15 36 25 694.23/694.40 c 43018 117942 3978268 66156043 0 2798 24 38 33 724.53/724.79 c 47403 128341 4429115 72926495 0 2814 17 43 29 770.32/770.55 c 52226 136935 4821697 79519185 0 2822 14 30 25 804.83/805.09 c 57531 149643 5333134 87449986 0 2833 20 39 29 888.42/888.63 c 63366 167069 5836865 95745601 0 2857 16 43 30 965.71/965.92 c 69784 183329 6385605 106109711 0 2887 15 39 25 1009.30/1009.57 c 76843 196949 7035753 115456626 0 2904 23 43 33 1045.30/1045.60 c 84607 214146 7896211 126305862 0 2935 22 36 30 1131.80/1132.09 c 93147 238203 8727023 139667639 0 2977 14 38 27 1235.58/1235.80 c 102541 256431 9613711 154481579 0 3001 19 38 27 1361.17/1361.41 c 112874 287352 10600827 170775703 0 3034 16 36 25 1486.25/1486.53 c 124240 313090 11560614 187208097 0 3057 13 36 25 1614.24/1614.55 c 136742 335526 12713641 207743770 0 3078 17 35 26 1745.02/1745.34 c 150494 366964 13924459 227979784 0 3098 13 34 25 1951.20/1951.50 c 165621 401020 15256474 252224951 0 3126 12 37 25 2067.90/2068.20 c 182260 443425 16709639 273274840 0 3153 14 43 32 2239.28/2239.66 c 200562 482754 18426285 302647163 0 3171 13 37 27 2474.56/2474.97 c 220694 523120 20162538 333228796 0 3211 15 43 28 2519.66/2520.01 2519.66/2520.01 c *** INTERRUPTED *** 2519.66/2520.01 c restarts : 556 2519.66/2520.01 c conflicts : 226419 (90 /sec) 2519.66/2520.01 c decisions : 537068 (213 /sec) 2519.66/2520.01 c propagations : 339961436 (134927 /sec) 2519.66/2520.01 c root propagations : 0 2519.66/2520.01 c filter calls : 20596419 (8174 /sec) 2519.66/2520.01 c useless filter calls : 4951804 (24 %) 2519.66/2520.01 c 2519.66/2520.01 c clauses : 46243 2519.66/2520.01 c SAT propagations : 1169 2519.66/2520.01 c SAT conflicts : 0 (0 learnts) 2519.66/2520.01 c Memory used : 63.99 MB 2519.66/2520.01 c CPU time : 2519.59 s 2519.66/2520.01 2519.66/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 (14992 MiB free)
memory of node 1: 16384 MiB (14055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266549-1502593972/watcher-4266549-1502593972 -o /tmp/evaluation-result-4266549-1502593972/solver-4266549-1502593972 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266549-1502593972.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=22713, runsolver pid=22710
[startup+0.100089 s]*
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29745368/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=27284 memory=3328 CPUtime=0.02 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 1029 0 0 0 2 0 0 0 20 0 1 0 61590591 27938816 832 18446744073709551615 4194304 5972588 140729715501024 140729715497672 5380112 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 6821 832 715 435 0 184 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 27284 KiB
Current children cumulated memory: 3328 KiB
[startup+0.20931 s]*
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29744624/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=28204 memory=4264 CPUtime=0.13 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 1285 0 0 0 13 0 0 0 20 0 1 0 61590591 28880896 1066 18446744073709551615 4194304 5972588 140729715501024 140729715497672 5418925 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 7051 1066 715 435 0 414 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28204 KiB
Current children cumulated memory: 4264 KiB
[startup+0.308782 s]*
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29743880/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=29116 memory=4968 CPUtime=0.23 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 1571 0 0 0 23 0 0 0 20 0 1 0 61590591 29814784 1242 18446744073709551615 4194304 5972588 140729715501024 140729715497672 139720451623909 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 7279 1242 715 435 0 642 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 29116 KiB
Current children cumulated memory: 4968 KiB
[startup+0.700231 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29742392/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=31996 memory=7960 CPUtime=0.61 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 2498 0 0 0 61 0 0 0 20 0 1 0 61590591 32763904 1990 18446744073709551615 4194304 5972588 140729715501024 140729715497672 5385816 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 7999 1990 715 435 0 1362 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 7960 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29737952/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=47236 memory=22880 CPUtime=1.4 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 7099 0 0 0 140 0 0 0 20 0 1 0 61590591 48369664 5720 18446744073709551615 4194304 5972588 140729715501024 140729715497592 5676066 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 11809 5720 725 435 0 5172 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 47236 KiB
Current children cumulated memory: 22880 KiB
[startup+3.10944 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29712260/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65256 memory=36868 CPUtime=3.01 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 15575 0 0 0 300 1 0 0 20 0 1 0 61590591 66822144 9217 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16314 9217 768 435 0 9677 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 65256 KiB
Current children cumulated memory: 36868 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29712008/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65256 memory=36976 CPUtime=6.2 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 23706 0 0 0 618 2 0 0 20 0 1 0 61590591 66822144 9244 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16314 9244 774 435 0 9677 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 65256 KiB
Current children cumulated memory: 36976 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 22714
/proc/meminfo: memFree=29711500/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65256 memory=36992 CPUtime=12.6 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 31716 0 0 0 1257 3 0 0 20 0 1 0 61590591 66822144 9248 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16314 9248 774 435 0 9677 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 65256 KiB
Current children cumulated memory: 36992 KiB
[startup+25.5004 s]
/proc/loadavg: 1.92 2.00 2.03 3/181 22714
/proc/meminfo: memFree=29711412/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65256 memory=37400 CPUtime=25.39 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 36692 0 0 0 2536 3 0 0 20 0 1 0 61590591 66822144 9350 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16314 9350 774 435 0 9677 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 65256 KiB
Current children cumulated memory: 37400 KiB
[startup+51.1096 s]
/proc/loadavg: 1.95 2.00 2.03 3/181 22715
/proc/meminfo: memFree=29711784/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65256 memory=37444 CPUtime=51 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 37546 0 0 0 5097 3 0 0 20 0 1 0 61590591 66822144 9361 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935478 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16314 9361 774 435 0 9677 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 65256 KiB
Current children cumulated memory: 37444 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/185 22732
/proc/meminfo: memFree=29707440/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=37536 CPUtime=102.18 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 38401 0 0 0 10215 3 0 0 20 0 1 0 61590591 66957312 9384 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9384 774 435 0 9710 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 37536 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.05 2.05 3/185 22757
/proc/meminfo: memFree=29706400/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=37612 CPUtime=162.19 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 39263 0 0 0 16215 4 0 0 20 0 1 0 61590591 66957312 9403 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9403 774 435 0 9710 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 37612 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 22759
/proc/meminfo: memFree=29707144/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=37688 CPUtime=222.18 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 40145 0 0 0 22214 4 0 0 20 0 1 0 61590591 66957312 9422 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935454 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9422 774 435 0 9710 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 37688 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 22761
/proc/meminfo: memFree=29710504/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=37792 CPUtime=282.17 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 41038 0 0 0 28213 4 0 0 20 0 1 0 61590591 66957312 9448 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935454 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9448 774 435 0 9710 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 37792 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 22763
/proc/meminfo: memFree=29708464/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=39856 CPUtime=342.17 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 41920 0 0 0 34213 4 0 0 20 0 1 0 61590591 66957312 9964 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935692 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9964 774 435 0 9710 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 39856 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 22826
/proc/meminfo: memFree=31108240/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=39864 CPUtime=402.16 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 42801 0 0 0 40212 4 0 0 20 0 1 0 61590591 66957312 9966 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935585 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9966 774 435 0 9710 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 39864 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 22828
/proc/meminfo: memFree=31108920/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=39872 CPUtime=462.15 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 43692 0 0 0 46211 4 0 0 20 0 1 0 61590591 66957312 9968 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9968 774 435 0 9710 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 39872 KiB
################
# More data... #
################
/proc/22713/statm: 16347 9977 774 435 0 9710 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 39908 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/181 22904
/proc/meminfo: memFree=31108024/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=39912 CPUtime=1782.02 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 62496 0 0 0 178196 6 0 0 20 0 1 0 61590591 66957312 9978 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935486 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9978 774 435 0 9710 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 39912 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 22906
/proc/meminfo: memFree=31107776/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=39912 CPUtime=1842.01 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 63338 0 0 0 184195 6 0 0 20 0 1 0 61590591 66957312 9978 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9978 774 435 0 9710 0
Current children cumulated CPU time: 1842.01 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 39912 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 22923
/proc/meminfo: memFree=31102952/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65388 memory=39912 CPUtime=1902.01 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 64129 0 0 0 190195 6 0 0 20 0 1 0 61590591 66957312 9978 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16347 9978 774 435 0 9710 0
Current children cumulated CPU time: 1902.01 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 39912 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 22925
/proc/meminfo: memFree=31103128/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=1962 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 65017 0 0 0 196194 6 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935525 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 22927
/proc/meminfo: memFree=31106624/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2022.01 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 65661 0 0 0 202194 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935454 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2022.01 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 22929
/proc/meminfo: memFree=31106872/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2082 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 66548 0 0 0 208193 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2082 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 22931
/proc/meminfo: memFree=31106996/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2141.99 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 67354 0 0 0 214192 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935456 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2141.99 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22933
/proc/meminfo: memFree=31107260/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2201.99 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 68108 0 0 0 220192 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22935
/proc/meminfo: memFree=31107360/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2261.98 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 69006 0 0 0 226191 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935435 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22937
/proc/meminfo: memFree=31107484/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2321.97 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 69824 0 0 0 232190 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935546 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2321.97 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 22939
/proc/meminfo: memFree=31108364/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2381.97 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 70620 0 0 0 238190 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22942
/proc/meminfo: memFree=31107356/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2441.96 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 71423 0 0 0 244189 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2441.96 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 22958
/proc/meminfo: memFree=31102480/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2501.95 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 72309 0 0 0 250188 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2501.95 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/184 22959
/proc/meminfo: memFree=31102480/32770624 swapFree=67108860/67108860
[pid=22713] ppid=22710 vsize=65520 memory=39916 CPUtime=2519.66 cores=0,2,4,6
/proc/22713/stat : 22713 (cosoco) R 22710 22713 17093 0 -1 4202496 72719 0 0 0 251959 7 0 0 20 0 1 0 61590591 67092480 9979 18446744073709551615 4194304 5972588 140729715501024 140729715498328 4935478 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 37400576 140729715507652 140729715507752 140729715507752 140729715511246 0
/proc/22713/statm: 16380 9979 774 435 0 9743 0
Current children cumulated CPU time: 2519.66 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 39916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 22713 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.6 s, system=0.076992 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.67
CPU user time (s): 2519.6
CPU system time (s): 0.076992
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 65520
Max. memory (cumulated for all children) (KiB): 39916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.076992
maximum resident set size= 40000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72774
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= 23
involuntary context switches= 3166
# summary of solver processes directly reported to runsolver:
# pid: 22713
# total CPU time (s): 2519.67
# total CPU user time (s): 2519.6
# total CPU system time (s): 0.076992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.72919 second user time and 18.9501 second system time
The end
Begin job on node127 at 2017-08-13 04:58:44 IDJOB=4266549 IDBENCH=140123 IDSOLVER=2655 FILE ID=node127/4266549-1502593972 RUNJOBID= node127-1502565159-17156 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-11-12.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266549-1502593972/watcher-4266549-1502593972 -o /tmp/evaluation-result-4266549-1502593972/solver-4266549-1502593972 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266549-1502593972.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ac58fd867900409c70334584dcd9d09 RANDOM SEED=1867355442 node127.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.92 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.92 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.92 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.92 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: 29746252 kB MemAvailable: 30586380 kB Buffers: 278684 kB Cached: 858508 kB SwapCached: 0 kB Active: 1987304 kB Inactive: 609516 kB Active(anon): 1460152 kB Inactive(anon): 33100 kB Active(file): 527152 kB Inactive(file): 576416 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7676 kB Writeback: 0 kB AnonPages: 1459676 kB Mapped: 47620 kB Shmem: 33444 kB Slab: 130036 kB SReclaimable: 104792 kB SUnreclaim: 25244 kB KernelStack: 3184 kB PageTables: 7588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1744052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1402880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node127 at 2017-08-13 05:40:44