| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.02 | 2400.3101 |
| Name | Crossword/ Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-13-13.xml |
| MD5SUM | d4dde8f3e9f2541e7949826ca81c8251 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 169 |
| Number of constraints | 26 |
| Number of domains | 1 |
| Minimum domain size | 26 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":26,"count":169}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":169}] |
| Minimum constraint arity | 13 |
| Maximum constraint arity | 13 |
| Distribution of constraint arities | [{"arity":13,"count":26}] |
| Number of extensional constraints | 26 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":26}] |
| Optimization problem | NO |
| Type of objective |
0.82/0.91 c SAT : Variables: 4394 -- Clauses: 55094 0.82/0.99 c root propagations : 0 0.82/0.99 c restarts enabled, print stats at every restarts 0.82/0.99 c 0.82/0.99 c 0.82/0.99 c 0.82/0.99 c This is cosoco 1.0 -- 0.82/0.99 c 0.82/0.99 c ========================================[ Problem Statistics ]=========================================== 0.82/0.99 c | 0.82/0.99 c | Parse time : 0.84 s 0.82/0.99 c | 0.82/0.99 c | Variables: 169 0.82/0.99 c | Domain Sizes: 26..26 0.82/0.99 c | 0.82/0.99 c | Constraints: 26 0.82/0.99 c | Arity: 13..13 0.82/0.99 c | 0.82/0.99 c | Types: 0.82/0.99 c | Extension: 26 (nb tuples: 65954..65954) -- (shared: 25) 0.82/0.99 c | 0.82/0.99 c ========================================================================================================= 0.82/0.99 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.23/1.36 c 10 59 1252 17071 0 7 28 38 29 1.53/1.68 c 20 99 2215 37660 0 14 26 30 25 1.93/2.09 c 30 137 3085 55878 0 16 16 28 22 2.32/2.41 c 40 176 4034 73981 0 21 27 29 25 2.62/2.78 c 50 217 4900 95200 0 22 27 30 25 3.23/3.39 c 60 250 5773 115357 0 29 17 20 16 3.62/3.75 c 70 288 6620 132464 0 33 27 29 25 3.92/4.08 c 80 326 7475 151335 0 36 26 28 24 4.32/4.47 c 90 363 8465 168593 0 43 21 27 23 4.92/5.07 c 100 406 9664 190593 0 45 16 27 16 5.22/5.37 c 101 433 9953 193379 0 46 27 27 13 5.72/5.86 c 110 493 11150 215004 0 49 27 28 24 6.22/6.35 c 120 563 12568 236759 0 53 27 28 24 6.62/6.78 c 130 608 13515 254252 0 58 28 33 26 7.22/7.33 c 140 638 14545 275240 0 65 16 19 16 7.63/7.80 c 150 688 15931 295953 0 71 27 28 25 8.03/8.17 c 160 737 17124 317315 0 74 26 30 25 8.43/8.57 c 170 779 18223 336541 0 78 29 32 26 8.93/9.01 c 180 854 20128 360894 0 81 27 38 29 9.32/9.41 c 190 891 20879 373465 0 83 27 27 24 9.72/9.81 c 200 945 22232 396428 0 86 27 30 26 10.12/10.28 c 210 982 23182 412503 0 96 6 28 22 10.52/10.63 c 211 1000 23440 415848 0 97 18 18 9 11.12/11.28 c 220 1038 24344 430101 0 102 17 28 21 11.62/11.75 c 230 1080 25764 452213 0 106 27 29 25 12.03/12.17 c 240 1125 26438 467764 0 109 27 27 24 12.82/12.99 c 250 1171 27612 493245 0 115 16 29 18 13.32/13.41 c 260 1212 28478 510575 0 121 27 30 25 13.72/13.84 c 270 1252 29393 528046 0 124 27 29 25 14.12/14.26 c 280 1302 30445 546690 0 128 27 28 25 14.52/14.68 c 290 1340 31333 563894 0 136 27 28 24 15.02/15.18 c 300 1386 32512 581791 0 139 18 29 25 15.82/15.97 c 310 1437 33719 611504 0 148 16 29 18 16.32/16.41 c 320 1476 34903 630273 0 150 28 29 25 16.72/16.84 c 330 1525 36223 652045 0 154 26 28 24 17.02/17.18 c 332 1554 36757 657740 0 156 27 28 18 17.42/17.56 c 340 1591 37672 670033 0 160 6 29 23 17.82/17.93 c 350 1650 39071 692961 0 162 26 31 24 18.22/18.34 c 360 1690 40032 709505 0 165 29 29 26 18.72/18.81 c 370 1724 40807 725497 0 175 6 22 15 19.02/19.15 c 380 1765 41931 745524 0 177 28 30 26 19.52/19.61 c 390 1814 43161 763010 0 181 28 30 26 19.92/20.01 c 400 1890 44818 788228 0 186 26 28 24 20.22/20.31 c 410 1929 45618 806079 0 191 28 29 26 20.52/20.68 c 420 1968 46658 822955 0 196 27 29 25 20.92/21.08 c 430 2008 48026 844728 0 203 27 29 25 21.32/21.43 c 440 2053 49066 861981 0 207 26 27 23 21.72/21.83 c 450 2097 50456 883878 0 211 27 29 25 22.02/22.18 c 460 2137 51483 902428 0 215 27 30 25 22.52/22.60 c 465 2169 52044 910940 0 216 28 28 23 22.82/22.92 c 470 2201 52789 921263 0 218 27 27 22 23.42/23.53 c 480 2301 55085 952259 0 220 18 28 23 23.72/23.87 c 490 2346 56386 976534 0 225 28 30 25 24.22/24.31 c 500 2391 57911 1001001 0 229 27 29 25 24.82/24.98 c 510 2444 59168 1025376 0 233 17 29 20 25.42/25.57 c 520 2475 60054 1046694 0 240 17 19 16 25.82/25.93 c 530 2514 60742 1064178 0 247 27 29 25 26.22/26.30 c 540 2553 61739 1084715 0 251 27 28 24 26.72/26.82 c 550 2601 62882 1102807 0 252 17 28 21 27.01/27.13 c 560 2640 63818 1120893 0 256 27 29 25 27.31/27.46 c 570 2680 64582 1137695 0 260 17 27 21 28.01/28.13 c 580 2738 66006 1164767 0 261 16 27 19 28.31/28.40 c 590 2781 67110 1184132 0 265 28 32 26 28.62/28.77 c 600 2821 68069 1202438 0 273 28 29 26 28.91/29.07 c 610 2862 68861 1219768 0 282 28 30 26 29.21/29.33 c 611 2890 69181 1222219 0 283 28 28 14 29.51/29.61 c 620 2927 69687 1235810 0 292 27 29 24 29.81/29.93 c 630 2966 70486 1254422 0 299 27 30 25 30.11/30.28 c 640 3017 71766 1273937 0 302 27 29 25 30.51/30.63 c 650 3090 73152 1294894 0 306 38 40 35 30.82/30.93 c 660 3141 74481 1318309 0 308 27 29 25 31.11/31.27 c 670 3221 76065 1338785 0 311 38 40 34 31.41/31.57 c 680 3283 77219 1357427 0 317 23 29 24 31.61/31.79 c 690 3324 78110 1374905 0 325 27 29 25 31.92/32.08 c 700 3361 78867 1390849 0 330 26 28 24 32.31/32.40 c 710 3410 80100 1410085 0 333 27 28 25 32.51/32.66 c 720 3452 81375 1431855 0 334 26 30 24 32.81/32.93 c 730 3493 82693 1450212 0 340 27 29 25 33.11/33.24 c 740 3531 83602 1468863 0 344 27 28 25 33.51/33.62 c 750 3581 84650 1486985 0 348 26 29 25 33.81/33.93 c 760 3622 85801 1504706 0 350 27 28 25 34.21/34.30 c 770 3668 86939 1528410 0 356 16 30 20 34.31/34.49 c 771 3685 87101 1530048 0 357 17 17 8 34.61/34.72 c 780 3734 88002 1547416 0 359 26 30 24 34.91/35.09 c 790 3781 89196 1570240 0 363 16 33 18 35.22/35.33 c 800 3823 90433 1590719 0 367 26 29 25 35.51/35.60 c 810 3866 91464 1608729 0 375 27 32 25 35.81/35.97 c 820 3919 92724 1630309 0 376 27 28 25 36.51/36.64 c 830 3965 93865 1653072 0 379 16 28 18 36.91/37.00 c 840 4005 94973 1672460 0 384 26 29 24 37.11/37.26 c 850 4046 95885 1690136 0 390 27 30 26 37.42/37.57 c 860 4086 96673 1712128 0 400 27 29 24 37.71/37.89 c 870 4135 97893 1735324 0 403 16 29 23 38.01/38.15 c 880 4177 99094 1755694 0 408 26 28 24 38.31/38.40 c 890 4218 99915 1771386 0 415 27 30 25 38.61/38.77 c 900 4288 101618 1797771 0 419 18 29 24 38.91/39.08 c 910 4338 103138 1821268 0 421 28 33 26 39.21/39.37 c 920 4376 104083 1841837 0 425 26 28 24 39.52/39.67 c 930 4419 105377 1862979 0 427 28 30 25 39.81/39.94 c 940 4459 106206 1881879 0 432 26 29 24 40.11/40.23 c 947 4495 107007 1895959 0 437 27 30 24 40.31/40.48 c 950 4524 107370 1901272 0 440 27 27 20 40.72/40.80 c 960 4568 108550 1921154 0 450 26 30 25 41.01/41.16 c 970 4617 109861 1942180 0 454 29 33 28 41.31/41.40 c 980 4657 110894 1958303 0 458 26 28 24 41.61/41.72 c 990 4710 112280 1982368 0 463 27 30 25 41.82/41.99 c 1000 4759 113571 2003056 0 466 26 30 25 42.11/42.26 c 1010 4803 114846 2024509 0 472 28 31 25 42.41/42.51 c 1020 4843 115635 2040589 0 479 27 30 25 42.61/42.74 c 1030 4893 116633 2062261 0 480 28 38 27 42.92/43.08 c 1040 4941 117852 2084553 0 483 27 30 25 43.31/43.40 c 1050 4980 119005 2104408 0 488 26 28 24 43.61/43.73 c 1060 5034 121115 2132751 0 491 27 34 26 43.92/44.03 c 1070 5074 122257 2154800 0 494 26 29 25 44.21/44.33 c 1080 5113 123219 2172505 0 495 27 29 25 44.51/44.66 c 1090 5152 124198 2192978 0 499 26 28 24 44.81/44.99 c 1100 5196 125532 2215170 0 506 28 31 26 45.12/45.30 c 1110 5239 126720 2239657 0 513 27 30 25 45.51/45.61 c 1120 5290 127743 2257112 0 519 27 38 29 45.91/46.07 c 1130 5332 128979 2283390 0 525 16 27 17 46.22/46.38 c 1140 5371 129858 2301864 0 529 27 29 25 46.51/46.64 c 1141 5405 130271 2304194 0 530 34 34 17 47.11/47.21 c 1150 5443 131326 2327518 0 539 17 24 16 47.41/47.52 c 1160 5491 132841 2351009 0 548 28 32 26 47.81/47.98 c 1170 5519 133821 2368506 0 552 17 19 16 48.21/48.31 c 1180 5565 134757 2387601 0 557 26 27 24 48.51/48.62 c 1190 5637 137050 2418502 0 565 28 38 29 48.81/48.96 c 1200 5679 138241 2440794 0 574 27 32 25 49.11/49.27 c 1210 5718 139205 2458557 0 577 26 29 24 49.41/49.56 c 1220 5760 140225 2475521 0 581 26 28 25 49.71/49.87 c 1230 5803 141155 2492733 0 588 26 27 23 50.11/50.20 c 1240 5848 142451 2510703 0 592 28 32 27 50.41/50.58 c 1250 5910 143847 2531175 0 595 27 28 24 50.71/50.87 c 1260 5950 144804 2549367 0 600 27 29 25 51.01/51.13 c 1270 5991 145648 2566172 0 606 27 30 25 51.41/51.50 c 1280 6049 146870 2588346 0 610 27 30 25 51.71/51.83 c 1290 6092 147942 2610727 0 614 26 31 25 52.01/52.13 c 1300 6133 149017 2631187 0 621 27 29 25 52.31/52.40 c 1310 6171 149991 2651464 0 626 27 28 25 52.61/52.72 c 1320 6215 151439 2677494 0 627 28 31 25 52.91/53.00 c 1330 6255 152616 2700777 0 632 27 29 25 53.11/53.28 c 1340 6293 153389 2717773 0 637 27 28 25 53.41/53.59 c 1350 6337 154796 2739576 0 644 28 30 26 53.71/53.81 c 1352 6365 155194 2744310 0 645 27 27 18 53.91/54.08 c 1360 6400 155942 2756834 0 647 27 28 24 54.21/54.36 c 1370 6438 156882 2776572 0 651 26 28 24 54.51/54.68 c 1380 6490 158938 2803817 0 658 28 34 27 54.81/54.98 c 1390 6529 159850 2819724 0 659 28 29 26 55.21/55.32 c 1400 6575 160832 2838036 0 664 16 28 22 55.51/55.63 c 1410 6622 161933 2855748 0 672 27 36 26 55.81/55.95 c 1420 6663 163203 2876953 0 673 27 32 26 56.21/56.30 c 1430 6705 164512 2899916 0 681 28 29 26 56.51/56.62 c 1440 6755 166001 2922424 0 687 28 32 27 56.71/56.89 c 1450 6793 166718 2937774 0 697 27 29 25 57.11/57.24 c 1460 6839 167773 2958902 0 702 26 31 26 57.41/57.58 c 1470 6879 169010 2978656 0 706 26 28 24 57.81/57.92 c 1480 6923 170098 2998968 0 715 27 31 26 58.11/58.21 c 1490 6963 171456 3017933 0 718 27 29 25 58.41/58.52 c 1500 7000 172238 3036360 0 722 26 27 24 58.71/58.80 c 1510 7039 173211 3056682 0 730 26 28 24 58.91/59.07 c 1520 7077 173944 3072979 0 740 28 29 25 59.21/59.37 c 1530 7138 175041 3091896 0 747 26 38 27 59.51/59.67 c 1540 7179 176157 3111257 0 753 27 29 25 60.01/60.13 c 1550 7238 177378 3130733 0 757 16 38 28 60.31/60.42 c 1560 7279 178444 3147632 0 761 27 29 25 60.61/60.79 c 1570 7324 179928 3170567 0 769 27 30 25 61.01/61.12 c 1580 7367 180838 3189589 0 775 29 31 27 61.31/61.43 c 1585 7404 181768 3202055 0 777 29 30 24 61.61/61.73 c 1590 7441 182537 3215497 0 782 27 31 23 62.01/62.10 c 1600 7483 183710 3237017 0 790 26 30 25 62.21/62.36 c 1610 7523 184757 3256255 0 793 28 29 25 62.51/62.67 c 1620 7563 185714 3271607 0 797 29 30 26 62.91/63.01 c 1630 7605 187208 3292311 0 799 28 29 26 63.11/63.28 c 1640 7644 188158 3308315 0 803 27 29 25 63.51/63.64 c 1650 7694 189533 3330086 0 810 26 28 24 63.81/63.99 c 1660 7732 190508 3350087 0 811 27 28 24 64.41/64.55 c 1670 7783 191646 3369770 0 817 17 30 19 64.71/64.87 c 1680 7825 193022 3391558 0 823 28 31 26 65.01/65.17 c 1690 7867 194327 3413700 0 829 27 29 25 65.61/65.78 c 1700 7903 195269 3435862 0 836 18 23 17 65.91/66.09 c 1710 7948 196601 3458452 0 843 28 32 26 66.31/66.43 c 1720 7996 198229 3483128 0 848 27 31 26 66.61/66.76 c 1730 8041 199684 3506297 0 852 27 32 25 67.01/67.11 c 1740 8107 200996 3521608 0 854 38 39 34 67.31/67.47 c 1750 8152 202657 3543415 0 855 28 34 26 67.71/67.80 c 1760 8193 203665 3567136 0 862 27 29 25 68.01/68.14 c 1770 8236 205211 3587545 0 866 28 30 25 68.31/68.46 c 1780 8279 206463 3605520 0 874 28 30 26 68.81/68.94 c 1790 8341 207635 3622757 0 879 16 38 25 69.11/69.26 c 1800 8383 208730 3641246 0 884 27 31 25 69.41/69.59 c 1810 8423 209801 3661097 0 890 28 30 26 69.81/69.94 c 1820 8471 211042 3681071 0 892 26 28 24 70.11/70.25 c 1830 8510 211680 3696774 0 902 27 30 25 70.51/70.61 c 1840 8558 213163 3722412 0 909 27 30 25 70.71/70.88 c 1841 8585 213559 3726681 0 910 27 27 13 71.11/71.20 c 1850 8626 214551 3746943 0 919 27 30 25 71.31/71.50 c 1860 8665 215422 3765780 0 925 27 29 25 71.81/71.93 c 1870 8706 216410 3779570 0 934 17 29 22 72.11/72.26 c 1880 8750 217423 3798245 0 940 27 33 26 72.51/72.61 c 1890 8790 218365 3815544 0 948 28 29 25 72.81/72.94 c 1900 8835 219468 3831473 0 950 28 31 26 73.11/73.28 c 1910 8880 220653 3854416 0 951 27 31 25 73.51/73.64 c 1920 8946 222407 3878170 0 959 28 38 28 73.81/73.93 c 1930 8985 223090 3894215 0 964 27 30 25 74.11/74.29 c 1940 9034 224817 3919816 0 968 29 33 27 74.50/74.63 c 1950 9077 226401 3941767 0 969 29 31 27 74.81/74.97 c 1960 9129 227956 3965443 0 975 27 29 25 75.10/75.28 c 1970 9173 229157 3981301 0 981 26 31 25 75.50/75.66 c 1980 9218 230779 4005374 0 986 28 30 26 75.91/76.02 c 1990 9260 232172 4028505 0 993 27 29 25 76.20/76.35 c 2000 9308 233303 4046097 0 997 26 28 24 76.50/76.62 c 2010 9347 234408 4063408 0 1005 28 29 25 76.80/76.90 c 2020 9385 235158 4080283 0 1006 27 29 25 77.10/77.20 c 2030 9423 236379 4103023 0 1007 26 28 24 77.40/77.55 c 2040 9467 237706 4123788 0 1013 27 30 25 77.70/77.89 c 2050 9511 239087 4148042 0 1014 28 31 26 78.01/78.16 c 2060 9569 240250 4169301 0 1017 15 28 23 78.30/78.49 c 2070 9609 241433 4190231 0 1019 27 29 25 78.90/79.05 c 2080 9669 242824 4212477 0 1023 16 38 27 79.40/79.58 c 2090 9721 244045 4236091 0 1029 16 28 19 79.70/79.85 c 2100 9759 245190 4255587 0 1034 27 28 25 80.00/80.13 c 2110 9798 245873 4268431 0 1042 26 29 25 80.31/80.42 c 2120 9841 247488 4290048 0 1046 27 30 25 80.50/80.68 c 2122 9871 248022 4295903 0 1047 29 29 19 80.90/81.03 c 2130 9913 249433 4313956 0 1052 28 30 26 81.20/81.31 c 2140 9951 250222 4332346 0 1062 28 29 25 81.50/81.69 c 2150 9998 252126 4358760 0 1067 27 30 26 81.80/81.98 c 2160 10038 252869 4373536 0 1073 28 31 26 82.10/82.28 c 2170 10082 254564 4399407 0 1076 27 30 25 82.51/82.61 c 2180 10124 255500 4418726 0 1083 27 30 25 82.80/82.94 c 2190 10176 257489 4445476 0 1088 27 34 27 83.10/83.29 c 2200 10217 258668 4464117 0 1098 27 30 25 83.51/83.63 c 2210 10257 259784 4481561 0 1100 28 29 25 83.90/84.04 c 2220 10313 260923 4500997 0 1102 23 32 24 84.30/84.44 c 2230 10371 262330 4522047 0 1107 17 28 22 84.61/84.79 c 2240 10416 263816 4545770 0 1117 27 31 25 85.10/85.20 c 2250 10488 265497 4568438 0 1120 18 29 23 85.50/85.63 c 2260 10532 266690 4585422 0 1127 27 32 26 85.81/85.98 c 2270 10587 268224 4606578 0 1129 26 29 25 86.20/86.31 c 2280 10630 269260 4629388 0 1132 26 30 25 86.40/86.59 c 2290 10667 270155 4648225 0 1133 27 28 24 86.81/86.94 c 2300 10705 271142 4665852 0 1138 27 28 25 87.10/87.26 c 2310 10744 272254 4685544 0 1144 27 29 25 87.40/87.59 c 2320 10795 273549 4702910 0 1148 27 37 28 87.80/87.91 c 2330 10860 274786 4723091 0 1153 26 26 23 88.10/88.22 c 2340 10923 276038 4744785 0 1156 16 28 23 88.40/88.55 c 2350 10968 277363 4765372 0 1163 28 31 26 88.80/88.96 c 2360 11016 278395 4780930 0 1173 28 39 33 89.20/89.32 c 2370 11073 279562 4796704 0 1177 27 29 25 89.60/89.78 c 2380 11134 280911 4814645 0 1184 19 38 25 90.00/90.20 c 2390 11187 282283 4836297 0 1186 17 32 23 90.40/90.52 c 2400 11233 283431 4857602 0 1193 28 32 26 90.70/90.87 c 2410 11301 284793 4873869 0 1195 38 39 35 91.10/91.23 c 2420 11340 285640 4890287 0 1198 17 29 23 91.50/91.61 c 2430 11384 287013 4912492 0 1202 27 31 26 91.80/91.92 c 2431 11400 287252 4915311 0 1203 16 16 8 92.10/92.21 c 2440 11451 288258 4930701 0 1209 29 38 27 92.41/92.55 c 2450 11490 289218 4950117 0 1211 28 29 25 92.70/92.88 c 2460 11541 290537 4975112 0 1213 26 30 25 93.10/93.23 c 2470 11580 291696 4996184 0 1215 26 28 24 93.51/93.62 c 2480 11629 293119 5017716 0 1217 26 28 24 94.00/94.12 c 2490 11701 295060 5042038 0 1221 20 38 27 94.30/94.46 c 2500 11752 296559 5059785 0 1222 28 38 27 94.61/94.73 c 2510 11792 297238 5077937 0 1230 26 30 24 94.90/95.02 c 2520 11830 298458 5097273 0 1232 26 28 25 95.20/95.39 c 2530 11876 300279 5122086 0 1233 28 32 26 95.61/95.72 c 2540 11916 301192 5141582 0 1242 27 29 25 95.90/96.04 c 2550 11956 302314 5159813 0 1248 27 28 25 96.20/96.34 c 2560 11998 303549 5182042 0 1252 27 30 25 96.60/96.72 c 2570 12040 304797 5203066 0 1255 27 29 25 96.90/97.08 c 2580 12114 306309 5229489 0 1259 21 27 23 97.30/97.41 c 2590 12167 307669 5252409 0 1264 28 38 29 97.60/97.71 c 2600 12220 308809 5269192 0 1268 33 38 32 97.91/98.03 c 2610 12259 309981 5289641 0 1270 26 29 24 98.30/98.48 c 2620 12302 311083 5311704 0 1275 16 28 20 98.70/98.80 c 2630 12340 311897 5329664 0 1279 27 28 25 99.01/99.12 c 2640 12391 312974 5349935 0 1283 26 30 25 99.40/99.59 c 2650 12446 314362 5368057 0 1287 17 31 24 99.80/99.92 c 2660 12505 315596 5388154 0 1289 26 28 24 100.11/100.23 c 2670 12541 316537 5407033 0 1291 15 27 20 100.40/100.54 c 2680 12588 317364 5426230 0 1294 27 27 24 100.70/100.84 c 2690 12637 318439 5442303 0 1295 38 39 35 101.00/101.12 c 2700 12676 319494 5458606 0 1299 27 29 25 101.30/101.46 c 2710 12720 320913 5481177 0 1303 28 32 27 101.60/101.79 c 2720 12781 322336 5498306 0 1307 38 39 35 101.90/102.06 c 2730 12822 323510 5519538 0 1312 26 30 24 102.31/102.44 c 2740 12877 324765 5542960 0 1315 26 27 23 102.70/102.82 c 2750 12923 326708 5566322 0 1317 28 31 26 103.00/103.17 c 2760 12964 327815 5585479 0 1324 27 30 25 103.31/103.50 c 2770 13023 328848 5604164 0 1325 27 28 24 103.60/103.78 c 2771 13052 329283 5607528 0 1326 29 29 14 104.20/104.35 c 2780 13101 330562 5631278 0 1331 16 30 18 104.51/104.67 c 2790 13144 331517 5650120 0 1338 28 32 26 104.90/105.03 c 2800 13206 332883 5672077 0 1340 27 38 28 105.20/105.34 c 2810 13266 334071 5689270 0 1342 38 39 34 105.51/105.68 c 2820 13319 335729 5708724 0 1350 28 38 28 105.90/106.05 c 2830 13368 338125 5738249 0 1353 27 31 26 106.30/106.45 c 2840 13439 340311 5767846 0 1357 17 31 25 106.61/106.75 c 2850 13481 341068 5784670 0 1364 27 30 25 107.00/107.18 c 2860 13522 342324 5808026 0 1370 14 18 13 107.30/107.47 c 2870 13562 343558 5826565 0 1374 27 28 24 107.71/107.80 c 2880 13618 344919 5851223 0 1381 27 35 26 107.90/108.08 c 2890 13659 345812 5870042 0 1388 27 30 25 108.60/108.71 c 2900 13724 347035 5894354 0 1389 15 29 18 108.91/109.03 c 2910 13763 348157 5912102 0 1394 27 28 25 109.50/109.60 c 2920 13805 349319 5930103 0 1402 16 30 22 109.80/109.98 c 2930 13859 350456 5949187 0 1407 26 27 24 110.20/110.34 c 2940 13931 352395 5972291 0 1410 28 38 31 110.50/110.69 c 2950 13985 354130 5996292 0 1416 27 33 26 110.80/110.95 c 2960 14035 355004 6014876 0 1420 27 30 26 111.11/111.24 c 2970 14074 355836 6033834 0 1426 27 30 25 111.40/111.55 c 2980 14116 356936 6053073 0 1433 27 29 25 111.80/111.91 c 2990 14184 358468 6074319 0 1436 21 28 23 112.11/112.23 c 3000 14223 359388 6087662 0 1443 28 30 26 112.40/112.55 c 3010 14262 360077 6102150 0 1452 17 30 24 112.80/112.92 c 3020 14305 361641 6124233 0 1460 27 29 25 113.00/113.18 c 3030 14344 362298 6139186 0 1469 26 29 25 113.31/113.48 c 3040 14381 363181 6157286 0 1478 26 28 24 113.90/114.07 c 3050 14439 364985 6179959 0 1482 28 38 27 114.20/114.39 c 3060 14478 366243 6200455 0 1487 26 28 24 114.60/114.74 c 3070 14519 367256 6215809 0 1491 27 30 26 114.90/115.05 c 3080 14561 368294 6234790 0 1498 27 30 25 115.51/115.64 c 3090 14625 369781 6260713 0 1500 16 38 23 115.80/115.97 c 3100 14668 370946 6281219 0 1504 28 32 26 116.20/116.33 c 3110 14719 371926 6302329 0 1509 18 29 24 116.51/116.63 c 3120 14759 373200 6320354 0 1511 27 29 25 117.10/117.20 c 3130 14824 374698 6341958 0 1516 17 37 23 117.71/117.83 c 3140 14862 376054 6367635 0 1519 18 22 17 117.90/118.07 c 3142 14892 376458 6373587 0 1520 28 29 19 118.30/118.40 c 3150 14934 377508 6387937 0 1527 27 31 25 118.60/118.70 c 3160 14975 378943 6407136 0 1531 27 30 26 118.90/119.06 c 3170 15017 380062 6427174 0 1536 26 30 25 119.30/119.45 c 3180 15058 380836 6444949 0 1542 16 31 23 119.60/119.79 c 3190 15101 382117 6464372 0 1547 27 30 25 120.00/120.10 c 3200 15138 382900 6481914 0 1550 26 27 24 120.40/120.58 c 3210 15225 384706 6501497 0 1554 16 38 31 120.70/120.87 c 3220 15262 385304 6518829 0 1555 27 28 24 121.10/121.21 c 3230 15301 386504 6536395 0 1558 27 29 25 121.60/121.75 c 3240 15342 387404 6560163 0 1567 16 28 16 122.01/122.10 c 3250 15390 388746 6582258 0 1570 27 29 25 122.30/122.41 c 3260 15433 389624 6598428 0 1574 28 31 25 122.60/122.79 c 3270 15475 390991 6620881 0 1578 26 31 25 123.00/123.12 c 3280 15516 392189 6637640 0 1579 27 30 26 123.30/123.46 c 3290 15565 393259 6658519 0 1584 27 32 26 123.60/123.79 c 3300 15604 394323 6679662 0 1594 26 29 24 123.90/124.04 c 3310 15644 395339 6697505 0 1602 27 29 25 124.10/124.30 c 3320 15684 396458 6718742 0 1609 27 29 25 124.50/124.67 c 3330 15726 397334 6734801 0 1612 28 32 28 124.80/124.98 c 3340 15774 398570 6752141 0 1616 27 29 25 125.20/125.34 c 3350 15818 399890 6770439 0 1621 28 31 26 125.50/125.66 c 3360 15855 400761 6786717 0 1629 26 27 24 125.80/125.98 c 3370 15894 402103 6808473 0 1630 27 29 25 126.20/126.31 c 3380 15936 403255 6826167 0 1637 28 30 26 126.80/126.90 c 3390 15974 404302 6851717 0 1644 16 21 16 127.00/127.12 c 3400 16011 405145 6866550 0 1651 26 27 24 127.40/127.57 c 3410 16062 406251 6884887 0 1654 16 28 20 127.70/127.87 c 3420 16113 407307 6907226 0 1656 27 28 24 128.10/128.27 c 3430 16170 408790 6929089 0 1662 16 38 22 128.40/128.59 c 3440 16219 409911 6947670 0 1668 27 29 25 128.90/129.03 c 3450 16267 410943 6969394 0 1673 16 28 22 129.20/129.35 c 3460 16316 412056 6987338 0 1677 27 29 25 129.60/129.71 c 3470 16364 412983 7004669 0 1682 28 31 27 130.30/130.42 c 3480 16428 414221 7030960 0 1691 16 29 18 130.60/130.75 c 3490 16475 415380 7049599 0 1693 27 29 24 130.91/131.07 c 3500 16523 416321 7068051 0 1699 28 30 25 131.30/131.41 c 3510 16569 417413 7085410 0 1704 28 29 25 131.70/131.81 c 3520 16617 418729 7110582 0 1709 26 28 24 132.01/132.15 c 3530 16664 419918 7127967 0 1714 27 28 25 132.30/132.45 c 3540 16722 420762 7141713 0 1718 38 38 34 132.80/132.90 c 3550 16782 422065 7162222 0 1722 17 29 23 133.01/133.16 c 3551 16810 422431 7164705 0 1723 28 28 14 133.30/133.43 c 3560 16848 423278 7178414 0 1728 27 28 25 133.60/133.73 c 3570 16894 424265 7195122 0 1732 27 28 24 134.00/134.12 c 3580 16944 425724 7217398 0 1733 26 32 24 134.30/134.41 c 3590 16983 426651 7233578 0 1739 27 29 25 134.60/134.72 c 3600 17025 427877 7252075 0 1744 28 29 25 134.90/135.09 c 3610 17083 428955 7272565 0 1751 17 29 24 135.21/135.40 c 3620 17141 430111 7292694 0 1757 26 29 24 135.70/135.83 c 3630 17187 431545 7313232 0 1760 17 29 21 136.10/136.24 c 3640 17243 432980 7335098 0 1766 17 29 22 136.41/136.54 c 3650 17290 434200 7352982 0 1769 26 27 24 136.80/136.91 c 3660 17353 435379 7371125 0 1772 26 28 25 137.10/137.23 c 3670 17399 436378 7388829 0 1777 26 27 24 137.41/137.51 c 3680 17438 437198 7407605 0 1784 27 29 25 137.80/137.90 c 3690 17488 438384 7426616 0 1787 26 28 24 138.10/138.21 c 3700 17536 439346 7445569 0 1789 26 29 24 138.40/138.58 c 3710 17577 440762 7468039 0 1797 26 28 24 138.80/138.90 c 3720 17621 441951 7490512 0 1802 26 31 25 139.10/139.25 c 3730 17667 443428 7514554 0 1807 27 31 26 139.40/139.57 c 3740 17706 444131 7532887 0 1815 27 28 25 139.80/139.95 c 3750 17765 445196 7552995 0 1820 26 28 24 140.10/140.27 c 3760 17812 446154 7572458 0 1825 26 27 24 140.50/140.60 c 3770 17860 447135 7589207 0 1833 27 28 24 140.80/140.91 c 3780 17903 448489 7609413 0 1836 28 30 26 141.50/141.60 c 3790 17970 450006 7641105 0 1843 16 30 19 141.70/141.90 c 3800 18016 451055 7658327 0 1845 27 28 24 142.10/142.26 c 3810 18090 452447 7678743 0 1850 18 30 24 142.50/142.64 c 3820 18139 453809 7699564 0 1853 26 28 24 142.80/142.91 c 3830 18187 454890 7722718 0 1856 26 31 25 143.10/143.26 c 3840 18234 455933 7742192 0 1860 26 29 24 143.50/143.60 c 3850 18276 456976 7759052 0 1863 28 32 28 143.70/143.86 c 3860 18315 457889 7775500 0 1867 27 29 25 144.00/144.11 c 3870 18363 458948 7795341 0 1872 26 28 24 144.30/144.45 c 3880 18405 460424 7819486 0 1880 26 29 24 144.70/144.82 c 3890 18447 461943 7840235 0 1885 28 29 25 145.00/145.14 c 3900 18502 462903 7854109 0 1892 38 38 34 145.40/145.52 c 3910 18554 464155 7874139 0 1899 21 30 25 145.70/145.81 c 3920 18592 465030 7890278 0 1908 26 28 24 146.20/146.39 c 3930 18624 466137 7910663 0 1916 17 20 16 146.60/146.74 c 3940 18665 467364 7930556 0 1920 27 30 25 146.90/147.03 c 3950 18705 468433 7950700 0 1927 27 29 25 147.10/147.27 c 3960 18743 469004 7965659 0 1937 27 29 25 147.50/147.65 c 3970 18785 470384 7991946 0 1938 26 29 24 147.80/147.98 c 3980 18825 471305 8009179 0 1941 28 29 25 148.20/148.31 c 3990 18865 472388 8028453 0 1943 19 27 23 148.50/148.61 c 4000 18919 473707 8048138 0 1946 26 27 24 148.70/148.88 c 4001 18947 474080 8050870 0 1947 28 28 14 149.00/149.15 c 4010 18984 474740 8065817 0 1951 27 29 25 149.30/149.47 c 4020 19031 475954 8091804 0 1957 27 30 25 149.70/149.82 c 4030 19080 476686 8107116 0 1961 16 28 23 150.10/150.25 c 4040 19149 478060 8123634 0 1965 18 38 31 150.40/150.54 c 4050 19186 478893 8139593 0 1973 26 27 24 150.90/151.02 c 4060 19225 479994 8162279 0 1981 16 27 16 151.60/151.80 c 4070 19283 481206 8191449 0 1986 17 38 18 152.00/152.14 c 4080 19322 482529 8210691 0 1987 27 28 25 152.30/152.49 c 4090 19370 483843 8232976 0 1989 27 30 25 152.70/152.82 c 4100 19421 485080 8258094 0 1994 27 31 25 153.00/153.17 c 4110 19464 486544 8280955 0 1998 27 29 25 153.30/153.47 c 4120 19512 487654 8296930 0 2001 16 28 24 153.60/153.77 c 4130 19555 488729 8315380 0 2002 28 32 26 154.00/154.11 c 4140 19599 490135 8335124 0 2005 28 30 26 154.60/154.79 c 4150 19667 491475 8363044 0 2009 17 28 19 155.00/155.11 c 4160 19715 492623 8381864 0 2015 27 29 25 155.50/155.65 c 4170 19748 493574 8405592 0 2021 16 20 15 156.20/156.30 c 4180 19796 494830 8427745 0 2023 16 33 19 156.50/156.61 c 4190 19844 495850 8445272 0 2028 27 30 26 156.80/156.95 c 4200 19889 497350 8467094 0 2035 28 31 25 157.40/157.50 c 4210 19975 499121 8494967 0 2039 18 29 23 157.70/157.80 c 4220 20014 500002 8514208 0 2042 17 29 23 158.00/158.12 c 4230 20073 500914 8526557 0 2049 32 39 34 158.30/158.46 c 4240 20124 502090 8546237 0 2055 21 30 25 158.60/158.76 c 4250 20165 503592 8568133 0 2057 27 30 25 158.90/159.06 c 4260 20226 504724 8585672 0 2061 27 38 28 159.30/159.44 c 4270 20283 505796 8602595 0 2070 38 39 34 159.60/159.79 c 4280 20332 507032 8621062 0 2076 20 30 25 160.00/160.10 c 4290 20375 508474 8644788 0 2083 27 30 25 160.20/160.38 c 4300 20433 509468 8661020 0 2091 27 38 29 160.50/160.66 c 4310 20475 510489 8680849 0 2098 27 29 25 160.80/160.90 c 4320 20515 511419 8696682 0 2104 27 30 25 161.10/161.29 c 4330 20566 512951 8721006 0 2107 26 28 24 161.50/161.60 c 4340 20604 514225 8740673 0 2109 27 29 25 161.80/161.94 c 4350 20650 515530 8762870 0 2111 28 32 26 162.30/162.42 c 4360 20703 516690 8786153 0 2117 16 32 23 162.90/163.07 c 4370 20749 517965 8814483 0 2121 16 30 19 163.20/163.38 c 4380 20797 518875 8833477 0 2126 26 27 23 163.60/163.72 c 4390 20841 520005 8850150 0 2131 27 32 27 164.00/164.11 c 4400 20889 521317 8868794 0 2134 27 28 25 164.30/164.41 c 4410 20931 522344 8889421 0 2137 26 30 25 164.60/164.71 c 4420 20974 523279 8907026 0 2142 28 32 26 164.90/165.06 c 4430 21028 524480 8927614 0 2147 26 33 25 165.20/165.34 c 4440 21066 525198 8945094 0 2152 26 27 24 165.50/165.65 c 4450 21109 526271 8961378 0 2155 28 32 27 166.10/166.22 c 4460 21178 527790 8990510 0 2161 16 30 19 166.40/166.51 c 4470 21227 528696 9006535 0 2164 28 29 25 166.80/166.99 c 4480 21286 530000 9030480 0 2169 16 28 19 167.10/167.26 c 4490 21324 530766 9045783 0 2173 28 28 25 167.40/167.51 c 4493 21353 531169 9052190 0 2174 27 27 20 167.60/167.77 c 4500 21389 532153 9068493 0 2177 27 30 24 167.90/168.09 c 4510 21433 533234 9088661 0 2179 26 27 24 168.20/168.37 c 4520 21471 533838 9103940 0 2187 27 29 24 168.50/168.68 c 4530 21515 535392 9126900 0 2191 28 31 26 169.10/169.22 c 4540 21557 536263 9149473 0 2197 16 28 16 169.70/169.83 c 4550 21606 537403 9172336 0 2202 16 26 17 170.00/170.13 c 4560 21645 538266 9189594 0 2207 28 29 25 170.30/170.44 c 4570 21695 539189 9212036 0 2209 27 29 25 170.60/170.74 c 4580 21741 540314 9230341 0 2212 27 29 25 170.90/171.04 c 4590 21781 541235 9250052 0 2217 26 28 24 171.40/171.58 c 4600 21813 542143 9269905 0 2223 17 19 16 171.80/171.91 c 4610 21887 543968 9299584 0 2229 26 29 24 172.10/172.28 c 4620 21935 544957 9315587 0 2239 28 39 33 172.70/172.85 c 4630 21997 546625 9338457 0 2241 17 31 22 173.00/173.14 c 4640 22035 547494 9355773 0 2247 27 28 25 173.50/173.64 c 4650 22096 548745 9376968 0 2252 17 39 28 173.80/173.91 c 4660 22134 549457 9392893 0 2253 27 29 25 174.00/174.16 c 4670 22173 550371 9408324 0 2256 27 29 25 174.30/174.49 c 4680 22214 551433 9428064 0 2258 26 31 26 174.70/174.82 c 4690 22254 552477 9447204 0 2263 27 29 25 175.30/175.42 c 4700 22285 553328 9468117 0 2265 17 19 16 175.60/175.72 c 4710 22322 554245 9487896 0 2272 26 28 24 175.90/176.10 c 4720 22373 555271 9509603 0 2275 27 29 24 176.40/176.53 c 4730 22411 556145 9526317 0 2282 16 29 19 176.70/176.85 c 4740 22461 557261 9549050 0 2287 27 32 26 177.10/177.21 c 4750 22505 558515 9571148 0 2291 26 31 25 177.39/177.51 c 4760 22545 559117 9586324 0 2301 27 31 25 177.69/177.84 c 4770 22587 560497 9606790 0 2305 26 29 25 177.99/178.14 c 4780 22626 561463 9626542 0 2312 27 29 25 178.29/178.44 c 4790 22667 562101 9639727 0 2322 28 32 26 178.59/178.74 c 4800 22714 563605 9659535 0 2329 28 35 27 178.89/179.06 c 4810 22752 564454 9676961 0 2333 26 28 24 179.20/179.36 c 4820 22793 565288 9694678 0 2342 27 30 25 179.59/179.75 c 4830 22843 567029 9722041 0 2345 29 33 27 179.89/180.03 c 4840 22881 567929 9742195 0 2355 27 29 24 180.19/180.38 c 4850 22931 569344 9765941 0 2357 26 28 24 180.49/180.69 c 4860 22971 570486 9786329 0 2362 27 29 25 180.89/181.03 c 4870 23018 571440 9807218 0 2371 26 33 26 181.19/181.33 c 4880 23058 572404 9825407 0 2374 27 30 25 181.69/181.83 c 4890 23110 573459 9844176 0 2380 17 29 22 181.99/182.15 c 4900 23155 574352 9860185 0 2387 28 32 27 182.29/182.46 c 4910 23195 575116 9876391 0 2390 26 30 25 182.69/182.82 c 4920 23249 576206 9895190 0 2394 27 27 24 183.19/183.30 c 4930 23301 577249 9915729 0 2401 17 29 19 183.39/183.59 c 4940 23339 578087 9932527 0 2410 27 28 24 183.79/183.94 c 4950 23382 579427 9952057 0 2414 28 30 26 184.09/184.27 c 4960 23422 580746 9973489 0 2421 26 29 24 184.49/184.61 c 4970 23464 581887 9993439 0 2424 27 29 25 184.70/184.86 c 4980 23504 582808 10014620 0 2425 27 30 25 184.99/185.17 c 4990 23542 583633 10035683 0 2428 26 29 24 186.39/186.56 c 5035 23725 588580 10136384 0 2439 16 29 22 192.29/192.41 c 5631 24938 638522 11168234 0 2455 15 30 25 200.49/200.67 c 6286 26837 704059 12498976 0 2472 12 39 24 206.39/206.51 c 7006 28079 762624 13799729 0 2483 20 33 28 212.49/212.61 c 7798 29654 839651 15270224 0 2497 16 33 28 221.00/221.14 c 8669 31888 921320 16841677 0 2512 16 37 28 230.19/230.32 c 9627 33555 1005701 18582442 0 2530 19 31 28 239.19/239.33 c 10680 35265 1108860 20644741 0 2556 26 32 28 254.89/255.00 c 11838 38456 1208241 22614701 0 2578 15 38 27 267.68/267.89 c 13111 40988 1350923 25131857 0 2588 26 38 29 284.58/284.79 c 14511 45248 1498855 27669410 0 2605 10 32 27 299.69/299.82 c 16051 48720 1622019 30207517 0 2636 15 33 26 317.49/317.64 c 17745 52676 1773363 33433670 0 2653 17 34 28 334.89/335.09 c 19608 58262 1977800 37015838 0 2669 15 32 26 373.58/373.72 c 21657 65163 2184898 41104935 0 2698 7 39 24 395.48/395.66 c 23910 73542 2461289 45738592 0 2716 14 32 25 426.88/427.03 c 26388 81335 2717401 50148639 0 2735 14 40 32 456.08/456.24 c 29113 87536 2942870 54978650 0 2776 15 33 25 485.27/485.42 c 32110 92861 3233446 60740190 0 2793 16 38 27 518.27/518.45 c 35406 101693 3566530 67113047 0 2812 12 33 27 564.76/564.94 c 39031 111715 3940226 73866474 0 2816 16 33 26 588.16/588.35 c 43018 118139 4351349 81435233 0 2825 26 33 28 625.46/625.66 c 47403 125660 4730221 89371760 0 2840 17 34 28 665.46/665.62 c 52226 134608 5237713 99233108 0 2878 15 39 28 729.65/729.84 c 57531 147711 5712819 108315191 0 2902 17 34 28 779.24/779.45 c 63366 161050 6361874 119473765 0 2909 26 39 31 868.13/868.37 c 69784 176452 6959241 131251507 0 2918 5 38 25 931.33/931.56 c 76843 190019 7634612 143956472 0 2934 16 33 27 1000.22/1000.45 c 84607 203414 8335385 158367933 0 2948 18 38 28 1078.72/1078.90 c 93147 219767 9120602 173948995 0 2961 15 38 27 1183.01/1183.24 c 102541 242418 9964951 191335660 0 2979 16 38 28 1276.30/1276.54 c 112874 260675 10971028 211687357 0 2995 16 39 29 1378.29/1378.53 c 124240 284978 12011474 232266037 0 3009 14 35 28 1498.68/1498.97 c 136742 322225 13222030 253673445 0 3041 16 41 33 1627.47/1627.72 c 150494 355250 14571995 281022738 0 3060 9 39 28 1753.66/1753.91 c 165621 398192 16017293 311623692 0 3077 7 40 28 1976.74/1977.01 c 182260 444250 17732528 341896700 0 3138 16 40 30 2164.93/2165.29 c 200562 495372 19430148 379123368 0 3187 16 40 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-4241628-1502060514/watcher-4241628-1502060514 -o /tmp/evaluation-result-4241628-1502060514/solver-4241628-1502060514 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29186 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241628-1502060514.xml pid=31685 running on 4 cores: 0,2,4,6 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.07 2.04 2.05 3/180 31688 /proc/meminfo: memFree=31624768/32770624 swapFree=0/367164 [pid=31688] ppid=31685 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/31688/stat : 31688 (runsolver) D 31685 31688 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8247162 24240128 107 18446744073709551615 4194304 4338465 140731231954320 140731231951960 140602424603351 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 12771328 140731231957146 140731231957578 140731231957578 140731231961034 0 /proc/31688/statm: 5918 107 54 36 0 2156 0 [startup+0.100106 s] /proc/loadavg: 2.07 2.04 2.05 3/180 31688 /proc/meminfo: memFree=31624768/32770624 swapFree=0/367164 [pid=31688] ppid=31685 vsize=27440 CPUtime=0.03 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 1033 0 0 0 3 0 0 0 20 0 1 0 8247162 28098560 832 18446744073709551615 4194304 5970956 140735896000848 140735895997448 5672402 0 0 1 0 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 6860 832 708 434 0 224 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 27440 [startup+0.200222 s] /proc/loadavg: 2.07 2.04 2.05 3/180 31688 /proc/meminfo: memFree=31624768/32770624 swapFree=0/367164 [pid=31688] ppid=31685 vsize=28092 CPUtime=0.13 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 1249 0 0 0 13 0 0 0 20 0 1 0 8247162 28766208 999 18446744073709551615 4194304 5970956 140735896000848 140735895997448 5673911 0 0 1 0 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 7023 999 708 434 0 387 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 28092 [startup+0.300201 s] /proc/loadavg: 2.07 2.04 2.05 3/180 31688 /proc/meminfo: memFree=31624768/32770624 swapFree=0/367164 [pid=31688] ppid=31685 vsize=29004 CPUtime=0.23 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 1522 0 0 0 23 0 0 0 20 0 1 0 8247162 29700096 1175 18446744073709551615 4194304 5970956 140735896000848 140735895997448 5670917 0 0 1 0 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 7251 1175 708 434 0 615 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 29004 [startup+0.700173 s] /proc/loadavg: 2.07 2.04 2.05 3/180 31688 /proc/meminfo: memFree=31624768/32770624 swapFree=0/367164 [pid=31688] ppid=31685 vsize=31884 CPUtime=0.62 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 2419 0 0 0 62 0 0 0 20 0 1 0 8247162 32649216 1922 18446744073709551615 4194304 5970956 140735896000848 140735895997448 5383951 0 0 1 0 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 7971 1922 708 434 0 1335 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 31884 [startup+1.50023 s] /proc/loadavg: 2.07 2.04 2.05 3/181 31689 /proc/meminfo: memFree=31601644/32770624 swapFree=0/367416 [pid=31688] ppid=31685 vsize=52960 CPUtime=1.43 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 7213 0 0 0 142 1 0 0 20 0 1 0 8247162 54231040 6702 18446744073709551615 4194304 5970956 140735896000848 140735895998456 4934327 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6702 754 434 0 6604 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 52960 [startup+3.10024 s] /proc/loadavg: 2.07 2.04 2.05 3/181 31689 /proc/meminfo: memFree=31601396/32770624 swapFree=0/367416 [pid=31688] ppid=31685 vsize=52960 CPUtime=3.02 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 12216 0 0 0 301 1 0 0 20 0 1 0 8247162 54231040 6719 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6719 771 434 0 6604 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 52960 [startup+6.30024 s] /proc/loadavg: 2.07 2.04 2.05 3/181 31689 /proc/meminfo: memFree=31601192/32770624 swapFree=0/367416 [pid=31688] ppid=31685 vsize=52960 CPUtime=6.22 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 17281 0 0 0 621 1 0 0 20 0 1 0 8247162 54231040 6719 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934318 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6719 771 434 0 6604 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 52960 [startup+12.7002 s] /proc/loadavg: 2.06 2.04 2.05 3/181 31689 /proc/meminfo: memFree=31600820/32770624 swapFree=0/367424 [pid=31688] ppid=31685 vsize=52960 CPUtime=12.62 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 22443 0 0 0 1260 2 0 0 20 0 1 0 8247162 54231040 6719 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6719 771 434 0 6604 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 52960 [startup+25.5003 s] /proc/loadavg: 2.05 2.04 2.05 3/181 31689 /proc/meminfo: memFree=31599248/32770624 swapFree=0/367440 [pid=31688] ppid=31685 vsize=52960 CPUtime=25.42 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 30156 0 0 0 2540 2 0 0 20 0 1 0 8247162 54231040 6719 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934366 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6719 771 434 0 6604 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 52960 [startup+51.1004 s] /proc/loadavg: 2.03 2.03 2.05 3/181 31690 /proc/meminfo: memFree=31600192/32770624 swapFree=0/367492 [pid=31688] ppid=31685 vsize=52960 CPUtime=51.01 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 30924 0 0 0 5099 2 0 0 20 0 1 0 8247162 54231040 6780 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934432 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6780 771 434 0 6604 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 52960 [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 31692 /proc/meminfo: memFree=31600776/32770624 swapFree=0/367568 [pid=31688] ppid=31685 vsize=52960 CPUtime=102.21 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 31653 0 0 0 10219 2 0 0 20 0 1 0 8247162 54231040 6783 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934460 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6783 771 434 0 6604 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 52960 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/184 31708 /proc/meminfo: memFree=31595056/32770624 swapFree=0/367704 [pid=31688] ppid=31685 vsize=52960 CPUtime=162.2 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 32384 0 0 0 16218 2 0 0 20 0 1 0 8247162 54231040 6792 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934366 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6792 771 434 0 6604 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 52960 [startup+222.306 s] /proc/loadavg: 2.04 2.03 2.05 3/184 31710 /proc/meminfo: memFree=31595436/32770624 swapFree=0/367808 [pid=31688] ppid=31685 vsize=52960 CPUtime=222.2 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 33109 0 0 0 22218 2 0 0 20 0 1 0 8247162 54231040 6803 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6803 771 434 0 6604 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 52960 [startup+282.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 31712 /proc/meminfo: memFree=31599120/32770624 swapFree=0/367860 [pid=31688] ppid=31685 vsize=52960 CPUtime=282.18 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 33823 0 0 0 28216 2 0 0 20 0 1 0 8247162 54231040 6809 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934449 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6809 771 434 0 6604 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 52960 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 31714 /proc/meminfo: memFree=31599756/32770624 swapFree=0/367908 [pid=31688] ppid=31685 vsize=52960 CPUtime=342.19 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 34529 0 0 0 34216 3 0 0 20 0 1 0 8247162 54231040 6810 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934318 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6810 771 434 0 6604 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 52960 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 31716 /proc/meminfo: memFree=31599808/32770624 swapFree=0/367956 [pid=31688] ppid=31685 vsize=52960 CPUtime=402.18 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 35256 0 0 0 40215 3 0 0 20 0 1 0 8247162 54231040 6812 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934318 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6812 771 434 0 6604 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 52960 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 31719 /proc/meminfo: memFree=31599192/32770624 swapFree=0/368000 [pid=31688] ppid=31685 vsize=52960 CPUtime=462.18 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 35956 0 0 0 46215 3 0 0 20 0 1 0 8247162 54231040 6813 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934366 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13240 6813 771 434 0 6604 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 52960 [startup+522.3 s] /proc/loadavg: 2.18 2.07 2.06 3/181 31910 /proc/meminfo: memFree=31638924/32770624 swapFree=0/368292 [pid=31688] ppid=31685 vsize=53092 CPUtime=522.17 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 36649 0 0 0 52214 3 0 0 20 0 1 0 8247162 54366208 6815 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6815 771 434 0 6637 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 53092 [startup+582.3 s] /proc/loadavg: 2.07 2.06 2.06 3/181 31912 /proc/meminfo: memFree=31638572/32770624 swapFree=0/368372 [pid=31688] ppid=31685 vsize=53092 CPUtime=582.16 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 37345 0 0 0 58213 3 0 0 20 0 1 0 8247162 54366208 6815 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934318 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6815 771 434 0 6637 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 53092 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.05 3/182 32065 /proc/meminfo: memFree=31630448/32770624 swapFree=0/369096 [pid=31688] ppid=31685 vsize=53092 CPUtime=1542.08 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 47818 0 0 0 154204 4 0 0 20 0 1 0 8247162 54366208 6821 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934318 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6821 771 434 0 6637 0 Current children cumulated CPU time (s) 1542.08 Current children cumulated vsize (KiB) 53092 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 32066 /proc/meminfo: memFree=31630804/32770624 swapFree=0/369132 [pid=31688] ppid=31685 vsize=53092 CPUtime=1602.07 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 48362 0 0 0 160203 4 0 0 20 0 1 0 8247162 54366208 6857 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4933186 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6857 771 434 0 6637 0 Current children cumulated CPU time (s) 1602.07 Current children cumulated vsize (KiB) 53092 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 32068 /proc/meminfo: memFree=31630672/32770624 swapFree=0/369164 [pid=31688] ppid=31685 vsize=53092 CPUtime=1662.06 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 48756 0 0 0 166202 4 0 0 20 0 1 0 8247162 54366208 6857 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934453 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6857 771 434 0 6637 0 Current children cumulated CPU time (s) 1662.06 Current children cumulated vsize (KiB) 53092 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 32070 /proc/meminfo: memFree=31631272/32770624 swapFree=0/369200 [pid=31688] ppid=31685 vsize=53092 CPUtime=1722.06 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 48926 0 0 0 172202 4 0 0 20 0 1 0 8247162 54366208 6857 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934460 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6857 771 434 0 6637 0 Current children cumulated CPU time (s) 1722.06 Current children cumulated vsize (KiB) 53092 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 32072 /proc/meminfo: memFree=31630456/32770624 swapFree=0/369228 [pid=31688] ppid=31685 vsize=53092 CPUtime=1782.05 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 49331 0 0 0 178201 4 0 0 20 0 1 0 8247162 54366208 6858 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6858 771 434 0 6637 0 Current children cumulated CPU time (s) 1782.05 Current children cumulated vsize (KiB) 53092 [startup+1842.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 32074 /proc/meminfo: memFree=31630720/32770624 swapFree=0/369264 [pid=31688] ppid=31685 vsize=53092 CPUtime=1842.05 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 49521 0 0 0 184201 4 0 0 20 0 1 0 8247162 54366208 6858 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6858 771 434 0 6637 0 Current children cumulated CPU time (s) 1842.05 Current children cumulated vsize (KiB) 53092 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 32076 /proc/meminfo: memFree=31630688/32770624 swapFree=0/369292 [pid=31688] ppid=31685 vsize=53092 CPUtime=1902.04 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 49666 0 0 0 190200 4 0 0 20 0 1 0 8247162 54366208 6858 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6858 771 434 0 6637 0 Current children cumulated CPU time (s) 1902.04 Current children cumulated vsize (KiB) 53092 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 32093 /proc/meminfo: memFree=31627988/32770624 swapFree=0/369356 [pid=31688] ppid=31685 vsize=53092 CPUtime=1962.04 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 49812 0 0 0 196200 4 0 0 20 0 1 0 8247162 54366208 6858 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934545 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6858 771 434 0 6637 0 Current children cumulated CPU time (s) 1962.04 Current children cumulated vsize (KiB) 53092 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 32095 /proc/meminfo: memFree=31627088/32770624 swapFree=0/369392 [pid=31688] ppid=31685 vsize=53092 CPUtime=2022.03 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 50208 0 0 0 202199 4 0 0 20 0 1 0 8247162 54366208 6859 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934366 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6859 771 434 0 6637 0 Current children cumulated CPU time (s) 2022.03 Current children cumulated vsize (KiB) 53092 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 32097 /proc/meminfo: memFree=31630440/32770624 swapFree=0/369424 [pid=31688] ppid=31685 vsize=53092 CPUtime=2082.03 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 50537 0 0 0 208199 4 0 0 20 0 1 0 8247162 54366208 6859 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934342 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6859 771 434 0 6637 0 Current children cumulated CPU time (s) 2082.03 Current children cumulated vsize (KiB) 53092 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 32099 /proc/meminfo: memFree=31630316/32770624 swapFree=0/369448 [pid=31688] ppid=31685 vsize=53092 CPUtime=2142.03 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 50889 0 0 0 214198 5 0 0 20 0 1 0 8247162 54366208 6860 18446744073709551615 4194304 5970956 140735896000848 140735895998184 5319216 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6860 771 434 0 6637 0 Current children cumulated CPU time (s) 2142.03 Current children cumulated vsize (KiB) 53092 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 32101 /proc/meminfo: memFree=31630708/32770624 swapFree=0/369492 [pid=31688] ppid=31685 vsize=53092 CPUtime=2202.03 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 51284 0 0 0 220198 5 0 0 20 0 1 0 8247162 54366208 6860 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934327 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6860 771 434 0 6637 0 Current children cumulated CPU time (s) 2202.03 Current children cumulated vsize (KiB) 53092 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 32104 /proc/meminfo: memFree=31631200/32770624 swapFree=0/369528 [pid=31688] ppid=31685 vsize=53092 CPUtime=2262.02 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 51626 0 0 0 226197 5 0 0 20 0 1 0 8247162 54366208 6860 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934545 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6860 771 434 0 6637 0 Current children cumulated CPU time (s) 2262.02 Current children cumulated vsize (KiB) 53092 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 32106 /proc/meminfo: memFree=31631408/32770624 swapFree=0/369564 [pid=31688] ppid=31685 vsize=53092 CPUtime=2322.01 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 51893 0 0 0 232196 5 0 0 20 0 1 0 8247162 54366208 6860 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934366 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6860 771 434 0 6637 0 Current children cumulated CPU time (s) 2322.01 Current children cumulated vsize (KiB) 53092 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 32108 /proc/meminfo: memFree=31630788/32770624 swapFree=0/369592 [pid=31688] ppid=31685 vsize=53092 CPUtime=2382.01 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 52050 0 0 0 238196 5 0 0 20 0 1 0 8247162 54366208 6860 18446744073709551615 4194304 5970956 140735896000848 140735895998184 5324949 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6860 771 434 0 6637 0 Current children cumulated CPU time (s) 2382.01 Current children cumulated vsize (KiB) 53092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 32109 /proc/meminfo: memFree=31630632/32770624 swapFree=0/369600 [pid=31688] ppid=31685 vsize=53092 CPUtime=2400.01 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 52185 0 0 0 239996 5 0 0 20 0 1 0 8247162 54366208 6860 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934318 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6860 771 434 0 6637 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 53092 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 31688 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 32109 /proc/meminfo: memFree=31630632/32770624 swapFree=0/369600 [pid=31688] ppid=31685 vsize=53092 CPUtime=2400.01 cores=0,2,4,6 /proc/31688/stat : 31688 (cosoco) R 31685 31688 21827 0 -1 4202496 52185 0 0 0 239996 5 0 0 20 0 1 0 8247162 54366208 6860 18446744073709551615 4194304 5970956 140735896000848 140735895998184 4934318 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 30081024 140735896003015 140735896003150 140735896003150 140735896006606 0 /proc/31688/statm: 13273 6860 771 434 0 6637 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 53092 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.02 CPU user time (s): 2399.97 CPU system time (s): 0.050995 CPU usage (%): 99.9881 Max. virtual memory (cumulated for all children) (KiB): 53092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.97 system time used= 0.050995 maximum resident set size= 27484 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52210 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= 16 involuntary context switches= 3032 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.24447 second user time and 9.91635 second system time The end
Begin job on node126 at 2017-08-07 00:47:56 IDJOB=4241628 IDBENCH=140132 IDSOLVER=2621 FILE ID=node126/4241628-1502060514 RUNJOBID= node126-1502042680-29186 PBS_JOBID= Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-13-13.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241628-1502060514/watcher-4241628-1502060514 -o /tmp/evaluation-result-4241628-1502060514/solver-4241628-1502060514 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29186 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241628-1502060514.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d4dde8f3e9f2541e7949826ca81c8251 RANDOM SEED=2024916833 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: 31624772 kB MemAvailable: 31987804 kB Buffers: 139856 kB Cached: 503844 kB SwapCached: 0 kB Active: 362028 kB Inactive: 375688 kB Active(anon): 95088 kB Inactive(anon): 8524 kB Active(file): 266940 kB Inactive(file): 367164 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4152 kB Writeback: 0 kB AnonPages: 98556 kB Mapped: 31516 kB Shmem: 8868 kB Slab: 114356 kB SReclaimable: 89524 kB SUnreclaim: 24832 kB KernelStack: 3472 kB PageTables: 4840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 339452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 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= 62024 MiB End job on node126 at 2017-08-07 01:27:56