Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.0901 | 2400.3101 |
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.00/2.12 c SAT : Variables: 3432 -- Clauses: 43032 2.11/2.21 c root propagations : 0 2.11/2.21 c restarts enabled, print stats at every restarts 2.11/2.21 c 2.11/2.21 c 2.11/2.21 c 2.11/2.21 c This is cosoco 1.0 -- 2.11/2.21 c 2.11/2.21 c ========================================[ Problem Statistics ]=========================================== 2.11/2.21 c | 2.11/2.21 c | Parse time : 2.02 s 2.11/2.21 c | 2.11/2.21 c | Variables: 132 2.11/2.21 c | Domain Sizes: 26..26 2.11/2.21 c | 2.11/2.21 c | Constraints: 23 2.11/2.21 c | Arity: 11..12 2.11/2.21 c | 2.11/2.21 c | Types: 2.11/2.21 c | Extension: 23 (nb tuples: 84071..99333) -- (shared: 21) 2.11/2.21 c | 2.11/2.21 c ========================================================================================================= 2.11/2.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.40/2.58 c 10 39 910 18267 0 5 15 26 18 2.70/2.80 c 20 84 1625 28459 0 10 33 35 30 2.90/3.07 c 30 136 2626 42308 0 15 25 35 27 3.40/3.59 c 40 185 3618 58327 0 17 15 27 19 3.80/3.97 c 50 222 4579 73813 0 18 25 26 23 4.30/4.46 c 60 261 5438 84355 0 21 19 29 24 4.70/4.81 c 70 295 6050 98691 0 30 23 24 21 5.30/5.40 c 80 344 7109 114002 0 33 25 26 22 5.60/5.73 c 90 383 7919 132494 0 38 23 28 22 6.00/6.14 c 100 437 9098 149787 0 42 26 35 26 6.40/6.50 c 101 454 9306 153470 0 43 17 17 8 6.80/6.92 c 110 494 10460 169069 0 48 24 27 23 7.30/7.41 c 120 536 11624 188451 0 50 25 28 24 7.79/7.96 c 130 590 12586 203255 0 56 17 35 28 8.29/8.42 c 140 631 13536 219037 0 58 26 30 25 8.70/8.88 c 150 670 14428 233830 0 67 25 29 23 9.19/9.35 c 160 706 15252 247111 0 69 16 27 23 9.69/9.88 c 170 759 16027 261988 0 73 16 30 23 10.19/10.37 c 180 805 16790 275074 0 82 25 35 25 10.79/10.92 c 190 842 17936 291631 0 86 23 25 22 11.49/11.60 c 200 911 19195 309003 0 92 24 34 26 12.00/12.18 c 210 962 20274 323447 0 93 25 36 30 12.39/12.58 c 211 987 20561 326745 0 94 25 25 12 12.89/13.09 c 220 1023 21437 339076 0 103 26 28 23 13.40/13.54 c 230 1063 22314 351504 0 110 25 28 23 14.00/14.18 c 240 1115 23915 371361 0 115 25 33 24 14.50/14.69 c 250 1163 25095 385254 0 122 30 36 31 15.00/15.14 c 260 1201 26039 401967 0 125 25 27 23 15.60/15.74 c 270 1268 27352 416676 0 130 34 34 30 16.00/16.19 c 280 1307 28268 432525 0 137 25 28 23 16.50/16.66 c 290 1354 29187 448666 0 147 25 34 24 17.00/17.16 c 300 1410 30115 463186 0 155 25 34 26 17.40/17.60 c 310 1453 31155 480669 0 159 25 29 24 18.00/18.13 c 320 1489 31962 496683 0 163 25 27 23 18.60/18.78 c 330 1569 33058 508686 0 167 26 35 30 19.00/19.18 c 332 1595 33382 512775 0 169 24 25 16 19.50/19.61 c 340 1631 33934 522378 0 173 24 29 22 20.20/20.31 c 350 1676 35186 539840 0 177 17 29 22 20.70/20.83 c 360 1736 36418 558771 0 185 25 34 25 21.40/21.52 c 370 1818 37469 573176 0 188 19 36 23 21.90/22.04 c 380 1854 38227 588455 0 194 24 26 22 22.50/22.68 c 390 1901 39305 607680 0 195 24 34 25 23.19/23.31 c 400 1941 40758 631085 0 199 23 26 22 23.69/23.82 c 410 1979 41623 646727 0 202 24 26 23 24.20/24.31 c 420 2020 42694 665264 0 207 24 27 22 24.69/24.84 c 430 2071 44011 686724 0 210 26 34 25 25.09/25.30 c 440 2112 45126 701680 0 215 26 28 24 25.69/25.86 c 450 2157 46813 722177 0 217 25 29 24 26.19/26.34 c 460 2194 47740 736741 0 225 24 27 22 26.69/26.82 c 465 2227 48576 750226 0 228 26 27 21 27.09/27.29 c 470 2267 49320 761800 0 230 26 33 24 27.59/27.78 c 480 2333 50635 779191 0 233 25 33 29 28.09/28.23 c 490 2372 51569 795876 0 239 26 28 24 28.60/28.71 c 500 2430 53379 816705 0 244 26 33 27 29.09/29.26 c 510 2479 54606 837743 0 246 25 35 25 29.89/30.05 c 520 2538 55890 856493 0 251 16 27 21 30.39/30.54 c 530 2577 56774 871030 0 253 26 28 24 30.99/31.14 c 540 2618 57982 888023 0 258 25 29 24 31.49/31.64 c 550 2658 59032 904010 0 261 26 29 24 31.90/32.08 c 560 2706 60266 920558 0 266 25 35 27 32.90/33.05 c 570 2758 61401 942468 0 268 16 26 17 33.59/33.73 c 580 2805 62908 961220 0 275 26 32 25 34.10/34.22 c 590 2855 64322 981516 0 278 25 33 25 34.59/34.78 c 600 2924 66175 1001056 0 280 25 34 29 35.20/35.35 c 610 3002 67587 1017511 0 285 35 35 31 35.69/35.80 c 611 3027 67856 1019871 0 286 25 25 12 36.20/36.39 c 620 3073 69258 1035941 0 289 26 33 25 36.79/36.90 c 630 3113 70006 1051462 0 294 25 28 23 37.09/37.29 c 640 3151 71275 1070655 0 298 24 25 22 37.69/37.84 c 650 3204 72285 1083783 0 303 17 35 30 38.09/38.27 c 660 3242 73040 1097471 0 309 25 29 24 38.59/38.77 c 670 3287 74255 1113643 0 316 25 33 25 39.19/39.35 c 680 3351 75308 1127619 0 321 17 35 29 39.79/39.97 c 690 3404 76577 1145848 0 324 21 34 28 40.30/40.43 c 700 3444 77479 1164303 0 327 25 29 24 40.90/41.01 c 710 3492 78755 1182578 0 334 24 34 24 41.30/41.49 c 720 3537 79562 1198647 0 342 25 34 24 41.90/42.03 c 730 3581 80575 1210821 0 348 25 28 23 42.30/42.47 c 740 3626 81440 1227431 0 355 24 33 25 42.90/43.03 c 750 3685 82540 1241289 0 358 17 35 30 43.40/43.52 c 760 3730 83665 1259085 0 365 25 30 24 44.10/44.20 c 770 3777 85015 1278403 0 372 17 34 22 44.30/44.48 c 771 3792 85161 1280807 0 373 15 15 7 44.80/44.97 c 780 3839 86837 1298934 0 375 25 34 24 45.30/45.48 c 790 3891 87788 1312071 0 377 34 34 30 45.80/45.91 c 800 3928 88660 1325432 0 383 24 26 22 46.29/46.41 c 810 3977 89817 1339843 0 389 25 34 28 46.69/46.84 c 820 4012 90601 1354332 0 390 25 26 23 47.20/47.32 c 830 4054 91542 1367896 0 393 28 31 27 47.59/47.76 c 840 4094 92382 1381257 0 400 25 29 24 47.99/48.14 c 850 4141 93369 1398232 0 404 26 34 25 48.40/48.55 c 860 4183 94424 1416367 0 409 24 29 23 48.79/48.90 c 870 4228 95512 1429965 0 413 25 34 28 49.29/49.40 c 880 4268 96573 1451887 0 420 24 26 22 49.69/49.88 c 890 4308 97674 1469807 0 429 25 27 23 50.19/50.36 c 900 4362 98553 1481539 0 434 34 36 31 50.60/50.73 c 910 4422 99808 1496297 0 435 25 34 27 50.89/51.07 c 920 4460 100684 1512235 0 441 25 27 23 51.39/51.51 c 930 4504 101666 1523367 0 444 26 35 30 51.79/51.96 c 940 4574 102855 1543588 0 447 23 30 24 52.29/52.46 c 947 4630 103872 1555198 0 454 35 36 30 52.59/52.80 c 950 4666 104299 1559097 0 457 28 34 23 52.99/53.19 c 960 4713 105412 1577045 0 465 24 33 24 53.39/53.56 c 970 4767 106687 1592140 0 467 33 36 31 53.80/53.98 c 980 4815 108100 1606664 0 474 26 38 31 54.29/54.44 c 990 4863 109234 1622387 0 480 35 36 32 54.69/54.88 c 1000 4914 110104 1632900 0 482 33 34 30 55.19/55.38 c 1010 4962 111586 1648927 0 485 34 36 32 55.59/55.78 c 1020 5014 112516 1663339 0 491 25 34 27 56.00/56.14 c 1030 5070 113590 1677033 0 497 26 35 28 56.39/56.52 c 1040 5115 114527 1690660 0 504 26 35 26 56.99/57.17 c 1050 5164 115475 1706205 0 509 17 27 20 57.89/58.00 c 1060 5222 116570 1722117 0 515 16 30 21 58.30/58.45 c 1070 5259 117355 1736055 0 516 26 28 24 58.79/58.99 c 1080 5304 118630 1755070 0 522 24 28 23 59.30/59.44 c 1090 5355 120094 1772471 0 528 34 37 32 59.89/60.08 c 1100 5417 121454 1787393 0 533 18 34 23 60.50/60.61 c 1110 5468 122418 1800252 0 540 24 36 25 60.99/61.19 c 1120 5516 123758 1820586 0 543 25 28 23 61.50/61.68 c 1130 5581 125170 1836230 0 545 35 35 31 62.09/62.29 c 1140 5648 126411 1856065 0 550 24 27 23 62.49/62.70 c 1141 5673 126814 1858530 0 551 25 25 12 62.99/63.12 c 1150 5723 127794 1870892 0 556 26 34 26 63.49/63.64 c 1160 5795 129736 1891610 0 559 34 39 32 63.89/64.08 c 1170 5855 130592 1908162 0 566 24 34 24 64.49/64.61 c 1180 5928 132630 1934833 0 569 27 35 27 64.90/65.04 c 1190 5982 133543 1949279 0 576 19 34 29 65.29/65.42 c 1200 6039 134578 1963303 0 578 34 34 30 65.79/65.97 c 1210 6088 135474 1980858 0 582 26 28 23 66.29/66.43 c 1220 6132 136488 1996387 0 587 26 31 25 66.69/66.82 c 1230 6187 137887 2012138 0 592 25 36 30 67.29/67.43 c 1240 6238 139059 2025740 0 600 17 28 21 67.69/67.89 c 1250 6281 139958 2040941 0 604 24 33 24 68.20/68.37 c 1260 6324 141077 2056634 0 606 17 24 20 68.89/69.00 c 1270 6378 142267 2074710 0 610 19 27 21 69.30/69.42 c 1280 6429 143543 2090569 0 613 26 33 28 69.79/69.97 c 1290 6469 144966 2109911 0 617 23 27 22 70.30/70.42 c 1300 6510 145741 2123260 0 626 25 30 23 70.59/70.79 c 1310 6563 146885 2136518 0 629 30 36 30 71.09/71.24 c 1320 6617 147914 2149861 0 634 27 34 30 71.50/71.63 c 1330 6654 148802 2164813 0 638 24 27 23 72.09/72.29 c 1340 6732 150626 2186704 0 643 19 24 21 72.50/72.66 c 1350 6785 151590 2200824 0 648 34 35 31 72.99/73.19 c 1352 6811 152078 2204896 0 650 24 25 16 73.49/73.61 c 1360 6850 153008 2218425 0 654 25 28 23 73.89/74.06 c 1370 6889 153873 2234114 0 660 25 28 23 74.39/74.54 c 1380 6927 154625 2248546 0 669 26 28 24 74.89/75.00 c 1390 6970 155539 2261133 0 678 25 33 25 75.39/75.54 c 1400 7012 156586 2279319 0 679 24 29 22 75.80/75.94 c 1410 7060 157495 2290940 0 682 33 34 30 76.29/76.43 c 1420 7123 158705 2308408 0 684 25 34 25 76.79/76.96 c 1430 7177 160119 2327545 0 690 25 34 27 77.39/77.54 c 1440 7232 161390 2346540 0 695 17 29 18 77.89/78.00 c 1450 7280 162616 2366273 0 697 23 26 22 78.49/78.66 c 1460 7348 164024 2381973 0 703 17 35 27 78.89/79.07 c 1470 7392 165040 2399738 0 710 25 30 23 79.39/79.50 c 1480 7430 165777 2414664 0 718 24 29 23 79.79/79.93 c 1490 7473 166587 2429295 0 721 16 34 24 80.09/80.29 c 1500 7514 167836 2450368 0 728 23 27 22 80.49/80.68 c 1510 7565 168872 2464004 0 733 26 36 28 80.99/81.10 c 1520 7630 170448 2479264 0 737 33 34 30 81.30/81.48 c 1530 7679 171626 2492470 0 745 27 38 31 81.89/82.03 c 1540 7724 173053 2511336 0 753 26 28 24 82.29/82.44 c 1550 7761 174168 2527867 0 760 23 25 21 82.69/82.83 c 1560 7806 175084 2543767 0 770 25 29 24 83.09/83.25 c 1570 7857 176055 2557369 0 773 33 34 30 83.50/83.62 c 1580 7897 177064 2573085 0 779 24 27 22 83.89/84.01 c 1585 7938 177612 2580316 0 784 28 34 27 84.29/84.46 c 1590 7987 178650 2589538 0 786 29 33 25 84.70/84.89 c 1600 8025 179417 2605126 0 792 25 27 23 85.19/85.30 c 1610 8072 180452 2622138 0 796 24 34 23 85.59/85.77 c 1620 8112 181437 2639603 0 798 25 28 23 86.19/86.32 c 1630 8158 182664 2655932 0 802 24 33 27 86.59/86.73 c 1640 8216 183899 2670329 0 810 24 35 27 87.09/87.20 c 1650 8263 185289 2685709 0 818 22 37 31 87.39/87.56 c 1660 8315 186476 2699385 0 819 34 35 31 87.79/88.00 c 1670 8350 187071 2712354 0 824 24 25 22 88.29/88.44 c 1680 8400 188696 2734040 0 826 26 31 25 88.89/89.01 c 1690 8465 190152 2751691 0 829 24 34 25 89.39/89.51 c 1700 8500 190830 2763467 0 838 25 26 22 89.79/89.94 c 1710 8539 191876 2780576 0 845 24 27 23 90.29/90.43 c 1720 8586 192909 2791784 0 851 28 33 28 90.89/91.05 c 1730 8663 194445 2811287 0 853 19 34 27 91.39/91.56 c 1740 8711 195588 2825628 0 856 28 33 29 91.89/92.03 c 1750 8746 196191 2839163 0 858 24 25 21 92.29/92.45 c 1760 8783 197157 2857955 0 864 23 25 21 92.89/93.04 c 1770 8862 198277 2873561 0 868 16 34 24 93.49/93.62 c 1780 8913 199303 2888039 0 878 16 29 21 93.99/94.18 c 1790 9003 200483 2904523 0 882 34 36 31 94.49/94.61 c 1800 9043 201493 2922027 0 888 25 28 23 94.99/95.19 c 1810 9093 203192 2945757 0 892 24 33 25 95.49/95.62 c 1820 9132 203993 2962175 0 899 25 27 23 95.89/96.04 c 1830 9171 204935 2978849 0 902 24 29 24 96.39/96.54 c 1840 9257 206447 2993019 0 906 16 35 29 96.69/96.86 c 1841 9283 206766 2995966 0 907 26 26 13 97.09/97.25 c 1850 9333 207789 3011833 0 916 26 33 25 97.59/97.75 c 1860 9374 208707 3027052 0 918 16 31 21 98.09/98.20 c 1870 9442 210266 3044017 0 920 30 34 30 98.49/98.68 c 1880 9483 211918 3065551 0 925 24 27 22 98.89/99.09 c 1890 9519 212523 3077871 0 932 25 27 23 99.39/99.52 c 1900 9580 213751 3092290 0 936 34 35 31 99.79/99.96 c 1910 9625 215059 3111295 0 941 25 30 24 100.19/100.36 c 1920 9680 215928 3125002 0 949 26 33 28 100.59/100.78 c 1930 9723 216641 3137934 0 953 16 34 23 100.99/101.20 c 1940 9773 218125 3156493 0 957 25 35 24 101.39/101.59 c 1950 9821 219045 3171089 0 959 15 33 25 101.89/102.05 c 1960 9857 219729 3184188 0 969 25 27 23 102.29/102.46 c 1970 9916 221025 3201207 0 978 26 34 26 102.69/102.86 c 1980 9971 222263 3217427 0 984 23 35 28 103.29/103.42 c 1990 10012 223281 3235130 0 991 24 28 23 103.59/103.77 c 2000 10068 224748 3252560 0 996 26 35 26 104.09/104.25 c 2010 10124 226217 3271631 0 998 14 38 27 104.49/104.68 c 2020 10170 227083 3283171 0 1004 21 35 29 104.89/105.08 c 2030 10213 228027 3297235 0 1007 24 28 23 105.49/105.60 c 2040 10250 229216 3314576 0 1012 24 25 22 105.89/106.03 c 2050 10306 230236 3330126 0 1015 20 35 29 106.39/106.52 c 2060 10372 231390 3348080 0 1020 25 35 27 106.89/107.03 c 2070 10413 232529 3362302 0 1027 27 30 25 107.29/107.46 c 2080 10452 233419 3376550 0 1031 24 27 22 107.69/107.88 c 2090 10492 234495 3394101 0 1036 24 27 23 108.29/108.42 c 2100 10550 235919 3410274 0 1038 21 25 20 108.89/109.01 c 2110 10620 237583 3427845 0 1041 25 36 31 109.19/109.39 c 2120 10665 238479 3440377 0 1048 24 35 29 109.59/109.75 c 2122 10701 238913 3443788 0 1050 35 35 23 110.09/110.30 c 2130 10747 240117 3459584 0 1055 15 33 23 110.79/110.92 c 2140 10831 241785 3479165 0 1058 21 35 27 111.19/111.33 c 2150 10891 243674 3499563 0 1062 25 41 29 111.89/112.01 c 2160 10955 245199 3517153 0 1067 19 27 22 112.79/112.96 c 2170 11015 246504 3540472 0 1074 15 31 20 113.19/113.34 c 2180 11060 247314 3552561 0 1080 27 35 31 113.69/113.80 c 2190 11097 248086 3565797 0 1089 26 27 24 114.39/114.59 c 2200 11151 249550 3584079 0 1095 18 27 21 114.89/115.02 c 2210 11193 250359 3597438 0 1098 24 33 25 115.29/115.43 c 2220 11247 251381 3611201 0 1104 30 35 31 115.79/115.97 c 2230 11285 252804 3629182 0 1106 24 27 23 116.39/116.56 c 2240 11337 253902 3646046 0 1108 16 35 29 116.89/117.04 c 2250 11375 254891 3659837 0 1112 25 27 23 117.29/117.40 c 2260 11421 255665 3674908 0 1113 25 35 26 117.69/117.85 c 2270 11460 256446 3687873 0 1121 26 28 24 118.19/118.33 c 2280 11496 257322 3702910 0 1127 24 26 22 118.69/118.86 c 2290 11533 258249 3716983 0 1131 26 27 24 119.19/119.30 c 2300 11601 259797 3738565 0 1135 24 34 27 119.59/119.79 c 2310 11640 260819 3754559 0 1140 25 27 23 120.09/120.28 c 2320 11681 262171 3771712 0 1146 26 28 24 120.59/120.75 c 2330 11717 262921 3784974 0 1152 26 27 24 120.99/121.14 c 2340 11779 264206 3800270 0 1156 32 35 30 121.39/121.55 c 2350 11818 264951 3816006 0 1158 24 30 23 121.89/122.08 c 2360 11855 265999 3832012 0 1168 24 27 22 122.39/122.54 c 2370 11894 266938 3846425 0 1174 26 29 24 122.79/122.92 c 2380 11943 268062 3865019 0 1178 24 31 24 123.29/123.41 c 2390 11984 268941 3877738 0 1184 25 29 24 123.79/123.97 c 2400 12022 269964 3893825 0 1187 24 27 23 124.39/124.50 c 2410 12103 271243 3910833 0 1190 25 33 25 124.79/124.94 c 2420 12142 272029 3924363 0 1200 24 27 22 125.29/125.42 c 2430 12179 272981 3938727 0 1205 26 28 24 125.59/125.76 c 2431 12213 273411 3941381 0 1206 34 34 17 126.09/126.21 c 2440 12259 275019 3960966 0 1208 26 31 25 126.79/126.91 c 2450 12304 276073 3975991 0 1213 16 26 21 127.19/127.34 c 2460 12345 277178 3995648 0 1215 23 28 22 127.89/128.09 c 2470 12379 278032 4012843 0 1217 14 20 13 128.39/128.50 c 2480 12423 278827 4029764 0 1224 25 31 24 128.69/128.88 c 2490 12477 280096 4045901 0 1227 26 35 30 129.19/129.38 c 2500 12513 280939 4059213 0 1233 25 27 23 129.79/129.91 c 2510 12567 282216 4078960 0 1240 23 34 23 130.29/130.41 c 2520 12602 282983 4093085 0 1244 23 25 21 130.79/130.91 c 2530 12642 284257 4113987 0 1251 24 27 22 131.39/131.59 c 2540 12695 285893 4134479 0 1256 15 25 19 131.79/132.00 c 2550 12741 287117 4152149 0 1266 25 34 23 132.39/132.60 c 2560 12818 288429 4170792 0 1269 17 34 23 132.79/132.90 c 2570 12862 289418 4181610 0 1270 33 33 30 133.19/133.37 c 2580 12930 290613 4200547 0 1276 26 34 28 133.69/133.82 c 2590 12970 291452 4215531 0 1280 24 28 23 134.19/134.30 c 2600 13009 292553 4230586 0 1286 26 28 23 134.59/134.75 c 2610 13048 293161 4243704 0 1292 24 27 23 135.09/135.24 c 2620 13094 294495 4263781 0 1295 25 31 23 135.49/135.69 c 2630 13131 295203 4278220 0 1298 24 27 22 135.99/136.16 c 2640 13170 296202 4291329 0 1303 25 28 23 136.59/136.74 c 2650 13215 297534 4311700 0 1307 25 27 23 136.99/137.19 c 2660 13256 298407 4328560 0 1314 24 28 22 137.49/137.67 c 2670 13297 299759 4348399 0 1319 25 28 23 138.38/138.52 c 2680 13367 301453 4368194 0 1322 15 34 23 138.78/138.98 c 2690 13423 302767 4387708 0 1327 24 34 27 139.18/139.32 c 2700 13470 303635 4402637 0 1335 25 36 30 139.59/139.73 c 2710 13526 304782 4417551 0 1339 23 36 30 140.08/140.25 c 2720 13562 305408 4432575 0 1349 24 26 22 140.48/140.65 c 2730 13621 306586 4446347 0 1354 33 43 33 140.88/141.07 c 2740 13668 307712 4461009 0 1362 24 36 29 141.79/141.94 c 2750 13715 309137 4480815 0 1365 17 26 18 142.18/142.30 c 2760 13770 310017 4494708 0 1375 24 36 26 142.68/142.83 c 2770 13809 311267 4513320 0 1378 24 26 23 142.99/143.16 c 2771 13834 311532 4515641 0 1379 25 25 12 143.38/143.56 c 2780 13885 312510 4526723 0 1385 26 34 28 143.88/144.05 c 2790 13924 313592 4543450 0 1389 25 27 24 144.38/144.55 c 2800 13969 315040 4556562 0 1390 34 36 31 144.78/145.00 c 2810 14008 316084 4571338 0 1399 25 28 23 145.28/145.49 c 2820 14096 317584 4586807 0 1402 34 35 31 145.78/145.98 c 2830 14133 318588 4603566 0 1403 24 26 22 146.29/146.44 c 2840 14171 319677 4620896 0 1408 24 26 22 146.78/146.97 c 2850 14222 320800 4635634 0 1410 25 26 23 147.29/147.47 c 2860 14260 321784 4652861 0 1415 24 27 22 147.68/147.87 c 2870 14314 322849 4672432 0 1423 25 33 24 148.18/148.34 c 2880 14363 324187 4691250 0 1429 24 34 24 148.68/148.83 c 2890 14410 325189 4702762 0 1437 34 37 32 149.08/149.23 c 2900 14455 326335 4715576 0 1444 30 34 28 149.49/149.61 c 2910 14507 327351 4734975 0 1447 24 34 26 149.98/150.13 c 2920 14546 328456 4752262 0 1449 25 27 23 150.48/150.67 c 2930 14591 329713 4769253 0 1453 23 29 23 150.98/151.18 c 2940 14637 331032 4785763 0 1456 25 28 23 151.48/151.65 c 2950 14674 331930 4800245 0 1459 26 27 23 151.88/152.10 c 2960 14720 332914 4810888 0 1460 34 35 31 152.48/152.62 c 2970 14776 334396 4824495 0 1465 26 36 31 152.98/153.12 c 2980 14824 335501 4843010 0 1471 23 29 22 153.48/153.64 c 2990 14890 336823 4863867 0 1476 15 29 22 153.89/154.05 c 3000 14928 337713 4882225 0 1484 25 27 23 154.18/154.38 c 3010 14981 339020 4896878 0 1487 25 34 29 154.78/154.90 c 3020 15036 340066 4911544 0 1490 33 35 30 155.18/155.39 c 3030 15107 341443 4925536 0 1493 26 35 30 155.68/155.86 c 3040 15160 342625 4938112 0 1495 34 35 31 156.19/156.31 c 3050 15231 343984 4957003 0 1498 25 34 26 156.58/156.71 c 3060 15281 345131 4970371 0 1504 27 33 29 157.19/157.31 c 3070 15366 346663 4988838 0 1508 25 34 27 157.58/157.71 c 3080 15410 347470 5003154 0 1510 24 33 24 158.08/158.24 c 3090 15461 349330 5020935 0 1512 25 36 31 158.58/158.73 c 3100 15538 350964 5041348 0 1519 33 38 31 159.28/159.47 c 3110 15619 352538 5063381 0 1523 17 34 23 159.78/159.99 c 3120 15691 354181 5083289 0 1527 27 34 27 160.28/160.42 c 3130 15734 355094 5099008 0 1537 29 30 27 160.68/160.86 c 3140 15770 356039 5113703 0 1540 23 25 22 161.08/161.25 c 3142 15805 356413 5117127 0 1542 34 34 22 161.59/161.78 c 3150 15846 357319 5131138 0 1544 17 26 21 162.08/162.24 c 3160 15898 358190 5141373 0 1549 34 36 31 162.58/162.71 c 3170 15952 359625 5157880 0 1558 25 34 24 162.98/163.12 c 3180 16009 361157 5179744 0 1564 25 34 26 163.28/163.45 c 3190 16055 362068 5194533 0 1568 25 36 29 163.68/163.87 c 3200 16098 363075 5211108 0 1570 25 30 24 164.18/164.34 c 3210 16142 364361 5230648 0 1574 25 28 23 164.58/164.72 c 3220 16188 365434 5244294 0 1580 24 35 27 164.99/165.18 c 3230 16234 366408 5255515 0 1582 34 35 31 165.58/165.73 c 3240 16291 367788 5271170 0 1586 25 34 25 166.09/166.21 c 3250 16355 369052 5285253 0 1592 24 35 29 166.48/166.68 c 3260 16392 370194 5300093 0 1593 25 26 23 166.88/167.02 c 3270 16427 371074 5314402 0 1599 23 25 21 167.38/167.50 c 3280 16469 372210 5333748 0 1607 25 29 24 167.78/167.90 c 3290 16513 373051 5348838 0 1612 23 26 22 168.29/168.42 c 3300 16577 374098 5361431 0 1615 33 35 30 168.68/168.83 c 3310 16614 374848 5373411 0 1617 25 28 24 169.08/169.22 c 3320 16663 375972 5392532 0 1625 24 29 23 169.48/169.69 c 3330 16709 377120 5410183 0 1632 26 30 24 169.88/170.09 c 3340 16759 378117 5427979 0 1635 26 27 24 170.39/170.58 c 3350 16810 379192 5439566 0 1638 34 35 31 170.88/171.05 c 3360 16889 380683 5459792 0 1641 25 34 27 171.28/171.48 c 3370 16924 381485 5475209 0 1647 24 25 22 171.98/172.12 c 3380 16990 382995 5495595 0 1649 16 37 30 172.48/172.61 c 3390 17040 383862 5506892 0 1651 34 35 31 172.88/173.08 c 3400 17093 385288 5527708 0 1654 24 34 24 173.58/173.77 c 3410 17151 386660 5544772 0 1660 16 36 25 174.08/174.26 c 3420 17219 388297 5561756 0 1667 26 34 28 174.48/174.68 c 3430 17284 390046 5582734 0 1670 25 36 28 175.18/175.30 c 3440 17331 391396 5597600 0 1673 16 35 27 175.58/175.79 c 3450 17369 392413 5610401 0 1677 25 27 23 176.08/176.26 c 3460 17426 393998 5627148 0 1679 29 35 30 176.58/176.72 c 3470 17463 394821 5640425 0 1682 26 26 23 176.99/177.15 c 3480 17501 395990 5656044 0 1686 24 27 23 177.48/177.67 c 3490 17539 397014 5669369 0 1692 26 28 24 177.98/178.13 c 3500 17592 398140 5683677 0 1696 33 35 31 178.38/178.55 c 3510 17642 399474 5699741 0 1699 33 35 30 178.78/178.98 c 3520 17693 400933 5716885 0 1702 24 36 29 179.38/179.58 c 3530 17768 402159 5733105 0 1709 25 35 28 179.88/180.07 c 3540 17808 403289 5753049 0 1710 24 27 22 180.39/180.54 c 3550 17849 404734 5771784 0 1712 26 28 24 180.78/180.91 c 3551 17874 404997 5773766 0 1713 25 25 12 181.08/181.27 c 3560 17913 405813 5791973 0 1714 25 27 23 181.58/181.72 c 3570 17970 407168 5812860 0 1720 25 34 26 181.98/182.19 c 3580 18010 408149 5829966 0 1727 26 27 24 182.49/182.66 c 3590 18056 409132 5846034 0 1731 26 34 26 182.88/183.06 c 3600 18108 410295 5859883 0 1736 25 35 30 183.38/183.59 c 3610 18165 411771 5879237 0 1744 26 35 26 183.88/184.05 c 3620 18208 412715 5901104 0 1745 24 29 23 184.38/184.52 c 3630 18244 413401 5915838 0 1754 25 26 23 184.79/184.98 c 3640 18287 414454 5931711 0 1759 25 28 24 185.28/185.47 c 3650 18331 415574 5949992 0 1764 25 33 25 185.89/186.02 c 3660 18370 416525 5966963 0 1765 24 27 22 186.38/186.59 c 3670 18411 417758 5985123 0 1770 26 27 23 186.89/187.03 c 3680 18454 418648 5999199 0 1771 25 34 27 187.28/187.49 c 3690 18492 419509 6015473 0 1780 25 28 23 187.88/188.00 c 3700 18536 420862 6035054 0 1788 24 28 23 188.38/188.50 c 3710 18579 421946 6052042 0 1793 25 33 25 188.78/188.96 c 3720 18620 422960 6067862 0 1801 25 27 23 189.38/189.50 c 3730 18655 423880 6081409 0 1805 24 25 22 189.78/189.94 c 3740 18700 424575 6091651 0 1807 33 35 31 190.19/190.36 c 3750 18768 426381 6112096 0 1810 35 43 36 190.78/190.90 c 3760 18817 427397 6129415 0 1816 24 35 25 191.38/191.55 c 3770 18866 428749 6147167 0 1820 16 26 21 191.88/192.05 c 3780 18918 430145 6166058 0 1826 25 34 25 192.28/192.47 c 3790 18964 431149 6178442 0 1830 24 36 30 193.18/193.33 c 3800 19012 432481 6199163 0 1836 16 29 19 193.68/193.81 c 3810 19051 433337 6212902 0 1843 25 27 23 194.18/194.33 c 3820 19093 434404 6229426 0 1849 25 29 23 194.58/194.80 c 3830 19132 435537 6244348 0 1851 26 30 25 195.08/195.28 c 3840 19170 436540 6258519 0 1856 25 27 23 195.58/195.74 c 3850 19210 437324 6276847 0 1863 23 28 23 196.08/196.20 c 3860 19263 438365 6291004 0 1866 27 35 30 196.58/196.73 c 3870 19300 439198 6307295 0 1872 24 26 22 196.98/197.18 c 3880 19337 439963 6323126 0 1878 24 28 23 197.48/197.69 c 3890 19388 441127 6340816 0 1881 26 35 27 198.08/198.22 c 3900 19427 442504 6357698 0 1887 26 29 24 198.58/198.72 c 3910 19463 443296 6371936 0 1890 24 26 23 198.98/199.19 c 3920 19506 444528 6389987 0 1891 24 30 23 199.58/199.74 c 3930 19587 445903 6409069 0 1896 26 34 29 200.08/200.21 c 3940 19636 447005 6424825 0 1898 29 35 30 200.58/200.70 c 3950 19672 447816 6438420 0 1902 25 26 22 201.38/201.51 c 3960 19742 449161 6458383 0 1907 17 35 22 201.78/201.93 c 3970 19780 449980 6473642 0 1911 23 26 22 202.28/202.50 c 3980 19829 451040 6485825 0 1913 34 35 31 202.88/203.01 c 3990 19881 451998 6501056 0 1918 17 35 27 203.38/203.57 c 4000 19937 453169 6515512 0 1920 34 35 31 203.78/203.99 c 4001 19963 453564 6519291 0 1921 26 26 13 204.18/204.38 c 4010 20024 454807 6534510 0 1925 26 35 28 204.58/204.74 c 4020 20078 455854 6550021 0 1933 23 36 27 205.28/205.43 c 4030 20132 456865 6566853 0 1941 17 30 21 205.58/205.77 c 4040 20182 457991 6581589 0 1944 34 38 33 206.08/206.21 c 4050 20235 459195 6597750 0 1951 25 34 26 206.58/206.74 c 4060 20279 460295 6617172 0 1954 24 27 22 206.98/207.18 c 4070 20315 460942 6632390 0 1963 23 27 22 207.58/207.74 c 4080 20357 462005 6650426 0 1970 26 29 24 207.98/208.16 c 4090 20404 463096 6666445 0 1974 25 35 26 208.38/208.57 c 4100 20446 464410 6685577 0 1978 24 29 23 208.78/208.95 c 4110 20494 465804 6710287 0 1982 23 33 23 209.28/209.49 c 4120 20539 466475 6721951 0 1991 16 35 28 209.78/209.92 c 4130 20592 467583 6736833 0 1995 26 35 30 210.08/210.26 c 4140 20630 468298 6750419 0 2000 25 28 23 210.58/210.71 c 4150 20673 469066 6763902 0 2008 26 34 25 211.08/211.20 c 4160 20722 470347 6784291 0 2014 25 31 24 211.48/211.65 c 4170 20779 471819 6802051 0 2017 28 35 30 211.98/212.10 c 4180 20819 473066 6820528 0 2019 26 29 24 212.38/212.50 c 4190 20869 474262 6838668 0 2024 23 27 22 212.88/213.02 c 4200 20913 475133 6850862 0 2032 34 35 31 213.28/213.50 c 4210 20963 476061 6866329 0 2042 26 35 25 213.88/214.09 c 4220 21033 477628 6882834 0 2047 17 36 30 214.38/214.51 c 4230 21083 478823 6902051 0 2049 25 31 25 214.78/214.98 c 4240 21130 479799 6914419 0 2059 35 37 32 215.28/215.49 c 4250 21167 480649 6925436 0 2062 26 26 23 215.78/215.99 c 4260 21214 481720 6939846 0 2069 34 35 31 216.28/216.49 c 4270 21260 482734 6955368 0 2077 25 35 24 216.68/216.88 c 4280 21312 483812 6970912 0 2084 26 34 29 217.18/217.32 c 4290 21359 484801 6986995 0 2095 24 35 28 217.58/217.79 c 4300 21414 485948 7002818 0 2099 25 34 28 218.08/218.26 c 4310 21464 487182 7017192 0 2102 35 38 33 218.48/218.69 c 4320 21511 488145 7033800 0 2109 25 34 24 218.98/219.19 c 4330 21563 489447 7052791 0 2116 25 33 25 219.68/219.82 c 4340 21631 490626 7071291 0 2118 15 33 26 220.08/220.30 c 4350 21680 492008 7086216 0 2122 27 37 31 220.68/220.84 c 4360 21719 492980 7106186 0 2129 24 26 22 221.18/221.31 c 4370 21757 493885 7120285 0 2131 26 27 24 221.48/221.68 c 4380 21792 494756 7133646 0 2137 24 25 22 221.98/222.16 c 4390 21856 496182 7155758 0 2144 24 36 25 222.48/222.65 c 4400 21918 497699 7172848 0 2149 26 33 28 222.98/223.13 c 4410 21976 499241 7193698 0 2152 25 34 25 223.48/223.62 c 4420 22018 500497 7211208 0 2155 25 29 24 224.08/224.20 c 4430 22096 502327 7231128 0 2159 23 33 25 224.48/224.68 c 4440 22139 503673 7250961 0 2161 26 29 24 224.98/225.17 c 4450 22195 504826 7264954 0 2162 24 33 29 225.48/225.63 c 4460 22233 505494 7279225 0 2167 24 29 23 225.98/226.15 c 4470 22275 506676 7297082 0 2171 25 29 24 226.38/226.56 c 4480 22326 508018 7313378 0 2174 29 34 28 226.78/226.95 c 4490 22372 509019 7330346 0 2182 25 33 24 227.28/227.42 c 4493 22413 509694 7337066 0 2184 33 33 24 227.68/227.85 c 4500 22466 510610 7346632 0 2187 33 33 28 228.18/228.36 c 4510 22528 511941 7362640 0 2194 27 35 29 228.68/228.87 c 4520 22571 513468 7386390 0 2199 24 28 23 229.28/229.42 c 4530 22613 514566 7403875 0 2205 24 27 23 229.78/229.96 c 4540 22655 515731 7423996 0 2215 25 28 23 230.28/230.40 c 4550 22707 516881 7439851 0 2219 24 35 27 230.68/230.89 c 4560 22747 517912 7456109 0 2224 26 27 24 231.18/231.30 c 4570 22785 518683 7472286 0 2231 25 28 23 231.58/231.75 c 4580 22825 519754 7492161 0 2237 24 27 23 232.08/232.26 c 4590 22868 520704 7509207 0 2244 23 24 21 232.47/232.69 c 4600 22916 522408 7530470 0 2245 25 33 24 232.97/233.20 c 4610 22968 523478 7544768 0 2252 34 35 31 233.47/233.63 c 4620 23011 524473 7563682 0 2259 24 28 23 233.97/234.10 c 4630 23049 525220 7577816 0 2264 25 29 24 234.37/234.54 c 4640 23098 526090 7592934 0 2268 25 34 26 234.77/234.98 c 4650 23139 527385 7610338 0 2270 25 30 25 235.28/235.45 c 4660 23185 528329 7627574 0 2276 23 26 21 235.77/235.98 c 4670 23234 529691 7647450 0 2279 24 34 24 236.17/236.39 c 4680 23285 531268 7669556 0 2282 25 33 24 236.68/236.83 c 4690 23344 533014 7690868 0 2284 28 39 31 237.18/237.31 c 4700 23382 534027 7706172 0 2288 25 28 23 237.68/237.84 c 4710 23420 534826 7719110 0 2296 26 29 24 238.08/238.25 c 4720 23496 536511 7737402 0 2297 36 43 37 238.48/238.70 c 4730 23534 537473 7753634 0 2302 24 26 22 239.18/239.33 c 4740 23604 538962 7774166 0 2307 18 26 21 239.69/239.86 c 4750 23653 540264 7790899 0 2311 25 34 27 240.18/240.30 c 4760 23699 541290 7805374 0 2316 34 35 31 240.58/240.76 c 4770 23751 542569 7820327 0 2320 24 35 29 240.98/241.14 c 4780 23801 543813 7834177 0 2325 27 36 28 241.38/241.54 c 4790 23848 544842 7848434 0 2330 33 37 31 241.78/242.00 c 4800 23893 545974 7867206 0 2335 24 33 25 242.38/242.52 c 4810 23946 546935 7882732 0 2340 34 35 31 242.78/242.96 c 4820 23987 547932 7900191 0 2345 24 27 23 243.28/243.41 c 4830 24026 548969 7915428 0 2350 24 27 23 243.78/243.95 c 4840 24079 550040 7929632 0 2353 34 35 31 244.19/244.36 c 4850 24115 550720 7943813 0 2358 23 26 22 244.58/244.79 c 4860 24167 551621 7956489 0 2366 34 36 31 245.08/245.27 c 4870 24232 553055 7978142 0 2372 25 33 26 245.58/245.74 c 4880 24274 554311 8000117 0 2375 24 26 22 246.08/246.23 c 4890 24311 555372 8014963 0 2378 25 27 23 246.58/246.76 c 4900 24349 556249 8030839 0 2386 24 27 22 247.08/247.28 c 4910 24387 557417 8047138 0 2391 25 26 22 247.58/247.72 c 4920 24426 558648 8063309 0 2392 25 27 23 248.08/248.22 c 4930 24465 559692 8078108 0 2396 25 27 23 248.59/248.72 c 4940 24524 560870 8091487 0 2401 26 35 29 248.98/249.19 c 4950 24563 562071 8107758 0 2405 25 27 23 249.48/249.63 c 4960 24600 562882 8123102 0 2409 24 27 22 249.78/249.97 c 4970 24641 563703 8137865 0 2415 25 29 23 250.38/250.50 c 4980 24679 564745 8154007 0 2417 25 27 23 250.79/250.99 c 4990 24717 565735 8168489 0 2418 24 28 22 251.48/251.67 c 5035 24819 569946 8225505 0 2424 16 34 32 257.48/257.61 c 5631 26421 625542 9200456 0 2430 15 38 27 265.98/266.11 c 6286 28878 692053 10213387 0 2446 14 35 27 273.28/273.43 c 7006 30322 753006 11356316 0 2455 13 35 24 280.98/281.17 c 7798 32216 810193 12361929 0 2467 24 39 33 298.09/298.25 c 8669 34625 887701 13626875 0 2475 15 36 25 308.88/309.00 c 9627 36455 979566 15165000 0 2493 24 36 27 321.38/321.55 c 10680 38824 1091266 16914870 0 2511 25 37 28 335.48/335.61 c 11838 41021 1196213 18760449 0 2535 24 36 28 344.08/344.29 c 13111 44026 1311565 20858069 0 2549 16 37 28 361.88/362.04 c 14511 48004 1445008 23016159 0 2562 8 40 27 375.97/376.14 c 16051 51794 1584753 25221841 0 2576 14 34 26 398.08/398.25 c 17745 56894 1723269 27980022 0 2583 14 36 24 425.27/425.43 c 19608 62664 1894219 30907015 0 2609 14 38 27 445.27/445.45 c 21657 66342 2058545 33949442 0 2618 14 34 24 462.47/462.60 c 23910 72249 2262831 37645500 0 2653 15 38 27 501.07/501.28 c 26388 79322 2520043 41274066 0 2701 16 37 31 545.66/545.89 c 29113 87055 2777578 45193195 0 2717 16 36 29 593.66/593.88 c 32110 93090 3040401 50085008 0 2734 16 35 25 627.97/628.14 c 35406 99780 3354475 55566190 0 2743 23 36 26 672.36/672.57 c 39031 109006 3669273 61325923 0 2779 15 36 25 698.36/698.54 c 43018 117942 3978268 66156043 0 2798 24 38 33 728.65/728.89 c 47403 128341 4429115 72926495 0 2814 17 43 29 774.55/774.72 c 52226 136935 4821697 79519185 0 2822 14 30 25 809.05/809.28 c 57531 149643 5333134 87449986 0 2833 20 39 29 892.64/892.81 c 63366 167069 5836865 95745601 0 2857 16 43 30 969.94/970.11 c 69784 183329 6385605 106109711 0 2887 15 39 25 1013.74/1013.91 c 76843 196949 7035753 115456626 0 2904 23 43 33 1049.74/1049.92 c 84607 214146 7896211 126305862 0 2935 22 36 30 1136.25/1136.41 c 93147 238203 8727023 139667639 0 2977 14 38 27 1239.93/1240.12 c 102541 256431 9613711 154481579 0 3001 19 38 27 1366.03/1366.27 c 112874 287352 10600827 170775703 0 3034 16 36 25 1490.92/1491.10 c 124240 313090 11560614 187208097 0 3057 13 36 25 1618.91/1619.19 c 136742 335526 12713641 207743770 0 3078 17 35 26 1750.21/1750.40 c 150494 366964 13924459 227979784 0 3098 13 34 25 1956.39/1956.61 c 165621 401020 15256474 252224951 0 3126 12 37 25 2073.10/2073.31 c 182260 443425 16709639 273274840 0 3153 14 43 32 2244.38/2244.67 c 200562 482754 18426285 302647163 0 3171 13 37 27
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241632-1502058604/watcher-4241632-1502058604 -o /tmp/evaluation-result-4241632-1502058604/solver-4241632-1502058604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241632-1502058604.xml pid=31514 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.04 3/180 31517 /proc/meminfo: memFree=31630032/32770624 swapFree=0/366188 [pid=31517] ppid=31514 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/31517/stat : 31517 (runsolver) D 31514 31517 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8056238 24240128 107 18446744073709551615 4194304 4338465 140728119661088 140728119658728 140132198650583 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8261632 140728119664794 140728119665226 140728119665226 140728119668682 0 /proc/31517/statm: 5918 107 54 36 0 2156 0 [startup+0.100148 s] /proc/loadavg: 2.00 2.01 2.04 3/180 31517 /proc/meminfo: memFree=31630032/32770624 swapFree=0/366188 [pid=31517] ppid=31514 vsize=27124 CPUtime=0 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 8056238 27774976 766 18446744073709551615 4194304 5970956 140721743918032 140721743914680 5674593 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 6781 766 683 434 0 145 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 27124 [startup+0.20026 s] /proc/loadavg: 2.00 2.01 2.04 3/180 31517 /proc/meminfo: memFree=31630032/32770624 swapFree=0/366188 [pid=31517] ppid=31514 vsize=28068 CPUtime=0.1 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 1222 0 0 0 10 0 0 0 20 0 1 0 8056238 28741632 995 18446744073709551615 4194304 5970956 140721743918032 140721743914680 139623851150309 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 7017 995 709 434 0 381 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 28068 [startup+0.30025 s] /proc/loadavg: 2.00 2.01 2.04 3/180 31517 /proc/meminfo: memFree=31630032/32770624 swapFree=0/366188 [pid=31517] ppid=31514 vsize=28980 CPUtime=0.2 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 1510 0 0 0 20 0 0 0 20 0 1 0 8056238 29675520 1171 18446744073709551615 4194304 5970956 140721743918032 140721743914680 139623851150309 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 7245 1171 709 434 0 609 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 28980 [startup+0.700205 s] /proc/loadavg: 2.00 2.01 2.04 3/180 31517 /proc/meminfo: memFree=31630032/32770624 swapFree=0/366188 [pid=31517] ppid=31514 vsize=31992 CPUtime=0.6 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 2473 0 0 0 60 0 0 0 20 0 1 0 8056238 32759808 1918 18446744073709551615 4194304 5970956 140721743918032 140721743914632 139623851150309 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 7998 1918 709 434 0 1362 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 31992 [startup+1.50023 s] /proc/loadavg: 2.00 2.01 2.04 3/181 31518 /proc/meminfo: memFree=31609816/32770624 swapFree=0/365932 [pid=31517] ppid=31514 vsize=47232 CPUtime=1.4 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 6739 0 0 0 140 0 0 0 20 0 1 0 8056238 48365568 5712 18446744073709551615 4194304 5970956 140721743918032 140721743914632 5668442 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 11808 5712 717 434 0 5172 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 47232 [startup+3.10031 s] /proc/loadavg: 2.00 2.01 2.04 3/181 31518 /proc/meminfo: memFree=31595292/32770624 swapFree=0/366052 [pid=31517] ppid=31514 vsize=65252 CPUtime=3 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 15135 0 0 0 299 1 0 0 20 0 1 0 8056238 66818048 9652 18446744073709551615 4194304 5970956 140721743918032 140721743915640 4934320 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16313 9652 768 434 0 9677 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 65252 [startup+6.30036 s] /proc/loadavg: 2.00 2.01 2.04 3/181 31518 /proc/meminfo: memFree=31594944/32770624 swapFree=0/366052 [pid=31517] ppid=31514 vsize=65252 CPUtime=6.2 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 23221 0 0 0 619 1 0 0 20 0 1 0 8056238 66818048 9666 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934521 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16313 9666 771 434 0 9677 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 65252 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.04 3/181 31518 /proc/meminfo: memFree=31594572/32770624 swapFree=0/366060 [pid=31517] ppid=31514 vsize=65252 CPUtime=12.59 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 31395 0 0 0 1258 1 0 0 20 0 1 0 8056238 66818048 9671 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16313 9671 771 434 0 9677 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 65252 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.04 3/181 31519 /proc/meminfo: memFree=31594572/32770624 swapFree=0/366080 [pid=31517] ppid=31514 vsize=65252 CPUtime=25.39 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 47677 0 0 0 2537 2 0 0 20 0 1 0 8056238 66818048 9676 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16313 9676 771 434 0 9677 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 65252 [startup+51.1004 s] /proc/loadavg: 2.05 2.03 2.05 3/180 31519 /proc/meminfo: memFree=31594820/32770624 swapFree=0/366116 [pid=31517] ppid=31514 vsize=65252 CPUtime=50.99 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 51417 0 0 0 5096 3 0 0 20 0 1 0 8056238 66818048 9680 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16313 9680 771 434 0 9677 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 65252 [startup+102.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 31522 /proc/meminfo: memFree=31593792/32770624 swapFree=0/366212 [pid=31517] ppid=31514 vsize=65252 CPUtime=102.19 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 52574 0 0 0 10216 3 0 0 20 0 1 0 8056238 66818048 9688 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934318 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16313 9688 771 434 0 9677 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 65252 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 31524 /proc/meminfo: memFree=31593608/32770624 swapFree=0/366308 [pid=31517] ppid=31514 vsize=65384 CPUtime=162.18 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 53725 0 0 0 16215 3 0 0 20 0 1 0 8056238 66953216 9696 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934320 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9696 771 434 0 9710 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 65384 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/181 31526 /proc/meminfo: memFree=31593084/32770624 swapFree=0/366408 [pid=31517] ppid=31514 vsize=65384 CPUtime=222.18 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 54877 0 0 0 22215 3 0 0 20 0 1 0 8056238 66953216 9705 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934432 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9705 771 434 0 9710 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 65384 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 31542 /proc/meminfo: memFree=31589000/32770624 swapFree=0/366516 [pid=31517] ppid=31514 vsize=65384 CPUtime=282.18 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 56035 0 0 0 28214 4 0 0 20 0 1 0 8056238 66953216 9711 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934877 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9711 771 434 0 9710 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 65384 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 31544 /proc/meminfo: memFree=31591096/32770624 swapFree=0/366588 [pid=31517] ppid=31514 vsize=65384 CPUtime=342.18 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 57185 0 0 0 34214 4 0 0 20 0 1 0 8056238 66953216 9715 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934473 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9715 771 434 0 9710 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 65384 [startup+402.3 s] /proc/loadavg: 2.13 2.05 2.05 3/181 31546 /proc/meminfo: memFree=31591584/32770624 swapFree=0/366640 [pid=31517] ppid=31514 vsize=65384 CPUtime=402.17 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 58332 0 0 0 40213 4 0 0 20 0 1 0 8056238 66953216 9717 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934432 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9717 771 434 0 9710 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 65384 [startup+462.3 s] /proc/loadavg: 2.05 2.04 2.05 3/181 31548 /proc/meminfo: memFree=31591932/32770624 swapFree=0/366676 [pid=31517] ppid=31514 vsize=65384 CPUtime=462.17 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 59485 0 0 0 46213 4 0 0 20 0 1 0 8056238 66953216 9719 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934116 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9719 771 434 0 9710 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 65384 [startup+522.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 31550 /proc/meminfo: memFree=31592520/32770624 swapFree=0/366720 [pid=31517] ppid=31514 vsize=65384 CPUtime=522.17 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 60629 0 0 0 52213 4 0 0 20 0 1 0 8056238 66953216 9722 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4933151 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9722 771 434 0 9710 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 65384 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 31553 /proc/meminfo: memFree=31592116/32770624 swapFree=0/366768 [pid=31517] ppid=31514 vsize=65384 CPUtime=582.16 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 61783 0 0 0 58212 4 0 0 20 0 1 0 8056238 66953216 9722 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4933186 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9722 771 434 0 9710 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 65384 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 31616 /proc/meminfo: memFree=31590448/32770624 swapFree=0/367452 [pid=31517] ppid=31514 vsize=65384 CPUtime=1542.12 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 79204 0 0 0 154207 5 0 0 20 0 1 0 8056238 66953216 9728 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9728 771 434 0 9710 0 Current children cumulated CPU time (s) 1542.12 Current children cumulated vsize (KiB) 65384 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 31618 /proc/meminfo: memFree=31590172/32770624 swapFree=0/367476 [pid=31517] ppid=31514 vsize=65384 CPUtime=1602.12 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 80234 0 0 0 160207 5 0 0 20 0 1 0 8056238 66953216 9728 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9728 771 434 0 9710 0 Current children cumulated CPU time (s) 1602.12 Current children cumulated vsize (KiB) 65384 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 31620 /proc/meminfo: memFree=31590312/32770624 swapFree=0/367512 [pid=31517] ppid=31514 vsize=65384 CPUtime=1662.11 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 81380 0 0 0 166206 5 0 0 20 0 1 0 8056238 66953216 9728 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9728 771 434 0 9710 0 Current children cumulated CPU time (s) 1662.11 Current children cumulated vsize (KiB) 65384 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 31622 /proc/meminfo: memFree=31590276/32770624 swapFree=0/367540 [pid=31517] ppid=31514 vsize=65384 CPUtime=1722.11 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 82417 0 0 0 172206 5 0 0 20 0 1 0 8056238 66953216 9729 18446744073709551615 4194304 5970956 140721743918032 140721743915368 5319222 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9729 771 434 0 9710 0 Current children cumulated CPU time (s) 1722.11 Current children cumulated vsize (KiB) 65384 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 31624 /proc/meminfo: memFree=31590436/32770624 swapFree=0/367576 [pid=31517] ppid=31514 vsize=65384 CPUtime=1782.1 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 83552 0 0 0 178205 5 0 0 20 0 1 0 8056238 66953216 9729 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934460 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9729 771 434 0 9710 0 Current children cumulated CPU time (s) 1782.1 Current children cumulated vsize (KiB) 65384 [startup+1842.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 31626 /proc/meminfo: memFree=31589916/32770624 swapFree=0/367608 [pid=31517] ppid=31514 vsize=65384 CPUtime=1842.1 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 84495 0 0 0 184205 5 0 0 20 0 1 0 8056238 66953216 9729 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9729 771 434 0 9710 0 Current children cumulated CPU time (s) 1842.1 Current children cumulated vsize (KiB) 65384 [startup+1902.3 s] /proc/loadavg: 2.08 2.04 2.05 3/181 31628 /proc/meminfo: memFree=31590420/32770624 swapFree=0/367636 [pid=31517] ppid=31514 vsize=65384 CPUtime=1902.1 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 85415 0 0 0 190205 5 0 0 20 0 1 0 8056238 66953216 9729 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934299 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16346 9729 771 434 0 9710 0 Current children cumulated CPU time (s) 1902.1 Current children cumulated vsize (KiB) 65384 [startup+1962.3 s] /proc/loadavg: 2.03 2.03 2.05 3/181 31690 /proc/meminfo: memFree=31600440/32770624 swapFree=0/367488 [pid=31517] ppid=31514 vsize=65516 CPUtime=1962.1 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 86573 0 0 0 196204 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934527 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 1962.1 Current children cumulated vsize (KiB) 65516 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 31692 /proc/meminfo: memFree=31600652/32770624 swapFree=0/367588 [pid=31517] ppid=31514 vsize=65516 CPUtime=2022.1 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 87187 0 0 0 202204 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2022.1 Current children cumulated vsize (KiB) 65516 [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.05 3/184 31708 /proc/meminfo: memFree=31595056/32770624 swapFree=0/367720 [pid=31517] ppid=31514 vsize=65516 CPUtime=2082.1 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 88343 0 0 0 208204 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4933151 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2082.1 Current children cumulated vsize (KiB) 65516 [startup+2142.3 s] /proc/loadavg: 2.03 2.03 2.05 3/181 31710 /proc/meminfo: memFree=31599024/32770624 swapFree=0/367812 [pid=31517] ppid=31514 vsize=65516 CPUtime=2142.09 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 89307 0 0 0 214203 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4933151 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2142.09 Current children cumulated vsize (KiB) 65516 [startup+2202.31 s] /proc/loadavg: 2.01 2.03 2.05 3/181 31712 /proc/meminfo: memFree=31599260/32770624 swapFree=0/367868 [pid=31517] ppid=31514 vsize=65516 CPUtime=2202.09 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 90140 0 0 0 220203 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4933129 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2202.09 Current children cumulated vsize (KiB) 65516 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 31714 /proc/meminfo: memFree=31599756/32770624 swapFree=0/367920 [pid=31517] ppid=31514 vsize=65516 CPUtime=2262.08 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 91295 0 0 0 226202 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934342 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2262.08 Current children cumulated vsize (KiB) 65516 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 31716 /proc/meminfo: memFree=31599808/32770624 swapFree=0/367972 [pid=31517] ppid=31514 vsize=65516 CPUtime=2322.08 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 92347 0 0 0 232202 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2322.08 Current children cumulated vsize (KiB) 65516 [startup+2382.3 s] /proc/loadavg: 2.08 2.03 2.05 3/181 31719 /proc/meminfo: memFree=31599192/32770624 swapFree=0/368016 [pid=31517] ppid=31514 vsize=65516 CPUtime=2382.07 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 93302 0 0 0 238201 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2382.07 Current children cumulated vsize (KiB) 65516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.12 2.04 2.05 3/181 31720 /proc/meminfo: memFree=31599316/32770624 swapFree=0/368040 [pid=31517] ppid=31514 vsize=65516 CPUtime=2400.08 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 94166 0 0 0 240002 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 65516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 31517 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.12 2.04 2.05 3/181 31720 /proc/meminfo: memFree=31599316/32770624 swapFree=0/368040 [pid=31517] ppid=31514 vsize=65516 CPUtime=2400.08 cores=1,3,5,7 /proc/31517/stat : 31517 (cosoco) R 31514 31517 21827 0 -1 4202496 94166 0 0 0 240002 6 0 0 20 0 1 0 8056238 67088384 9730 18446744073709551615 4194304 5970956 140721743918032 140721743915368 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 29802496 140721743921607 140721743921742 140721743921742 140721743925198 0 /proc/31517/statm: 16379 9730 771 434 0 9743 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 65516 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.09 CPU user time (s): 2400.02 CPU system time (s): 0.069996 CPU usage (%): 99.9911 Max. virtual memory (cumulated for all children) (KiB): 65516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.069996 maximum resident set size= 38968 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94193 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= 19 involuntary context switches= 713 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.59629 second user time and 10.4174 second system time The end
Begin job on node126 at 2017-08-07 00:16:07 IDJOB=4241632 IDBENCH=140123 IDSOLVER=2621 FILE ID=node126/4241632-1502058604 RUNJOBID= node126-1502042680-29187 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-11-12.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241632-1502058604/watcher-4241632-1502058604 -o /tmp/evaluation-result-4241632-1502058604/solver-4241632-1502058604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241632-1502058604.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ac58fd867900409c70334584dcd9d09 RANDOM SEED=176193184 node126.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.81 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.81 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.81 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.81 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: 31629772 kB MemAvailable: 31989864 kB Buffers: 138668 kB Cached: 501204 kB SwapCached: 0 kB Active: 358236 kB Inactive: 374712 kB Active(anon): 93280 kB Inactive(anon): 8524 kB Active(file): 264956 kB Inactive(file): 366188 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7828 kB Writeback: 4 kB AnonPages: 92648 kB Mapped: 32076 kB Shmem: 8868 kB Slab: 114208 kB SReclaimable: 89564 kB SUnreclaim: 24644 kB KernelStack: 3216 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336512 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62020 MiB End job on node126 at 2017-08-07 00:56:07