Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | ? (TO) | 2400.0801 | 2400.3101 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K10-P04.xml |
MD5SUM | ddb81c87fc1d8e68708f77d31c52a231 |
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 | 470 |
Number of constraints | 212 |
Number of domains | 2 |
Minimum domain size | 210 |
Maximum domain size | 211 |
Distribution of domain sizes | [{"size":210,"count":210},{"size":211,"count":40}] |
Minimum variable degree | 0 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":0,"count":220},{"degree":2,"count":210},{"degree":11,"count":20},{"degree":12,"count":20}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 210 |
Distribution of constraint arities | [{"arity":3,"count":210},{"arity":40,"count":1},{"arity":210,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 210 |
Distribution of constraint types | [{"type":"intension","count":210},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.20/0.28 c root propagations : 0 0.20/0.28 c restarts enabled, print stats at every restarts 0.20/0.28 c 0.20/0.28 c 0.20/0.28 c 0.20/0.28 c This is cosoco 1.1 -- 0.20/0.28 c 0.20/0.28 c command line: cosoco -lc -model -restarts HOME/instance-4260084-1502019884.xml 0.20/0.28 c ========================================[ Problem Statistics ]=========================================== 0.20/0.28 c | 0.20/0.28 c | Parse time : 0.22 s 0.20/0.28 c | 0.20/0.28 c | Variables: 470 0.20/0.28 c | Domain Sizes: 210..211 0.20/0.28 c | 0.20/0.28 c | Constraints: 212 0.20/0.28 c | Arity: 3..210 -- Ternary: 210 0.20/0.28 c | 0.20/0.28 c | Types: 0.20/0.28 c | All Different: 2 0.20/0.28 c | Intension: 210 0.20/0.28 c | 0.20/0.28 c ========================================================================================================= 0.20/0.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.28 c remove useless variable ce[0][0][0] 0.20/0.28 c remove useless variable ce[0][1][0] 0.20/0.28 c remove useless variable ce[0][1][1] 0.20/0.28 c remove useless variable ce[0][2][0] 0.20/0.28 c remove useless variable ce[0][2][1] 0.20/0.28 c remove useless variable ce[0][2][2] 0.20/0.28 c remove useless variable ce[0][3][0] 0.20/0.28 c remove useless variable ce[0][3][1] 0.20/0.28 c remove useless variable ce[0][3][2] 0.20/0.28 c remove useless variable ce[0][3][3] 0.20/0.28 c remove useless variable ce[0][4][0] 0.20/0.28 c remove useless variable ce[0][4][1] 0.20/0.28 c remove useless variable ce[0][4][2] 0.20/0.28 c remove useless variable ce[0][4][3] 0.20/0.28 c remove useless variable ce[0][4][4] 0.20/0.28 c remove useless variable ce[0][5][0] 0.20/0.28 c remove useless variable ce[0][5][1] 0.20/0.28 c remove useless variable ce[0][5][2] 0.20/0.28 c remove useless variable ce[0][5][3] 0.20/0.28 c remove useless variable ce[0][5][4] 0.20/0.28 c remove useless variable ce[0][5][5] 0.20/0.28 c remove useless variable ce[0][6][0] 0.20/0.28 c remove useless variable ce[0][6][1] 0.20/0.28 c remove useless variable ce[0][6][2] 0.20/0.28 c remove useless variable ce[0][6][3] 0.20/0.28 c remove useless variable ce[0][6][4] 0.20/0.28 c remove useless variable ce[0][6][5] 0.20/0.28 c remove useless variable ce[0][6][6] 0.20/0.28 c remove useless variable ce[0][7][0] 0.20/0.28 c remove useless variable ce[0][7][1] 0.20/0.28 c remove useless variable ce[0][7][2] 0.20/0.28 c remove useless variable ce[0][7][3] 0.20/0.28 c remove useless variable ce[0][7][4] 0.20/0.28 c remove useless variable ce[0][7][5] 0.20/0.28 c remove useless variable ce[0][7][6] 0.20/0.28 c remove useless variable ce[0][7][7] 0.20/0.28 c remove useless variable ce[0][8][0] 0.20/0.28 c remove useless variable ce[0][8][1] 0.20/0.28 c remove useless variable ce[0][8][2] 0.20/0.28 c remove useless variable ce[0][8][3] 0.20/0.28 c remove useless variable ce[0][8][4] 0.20/0.28 c remove useless variable ce[0][8][5] 0.20/0.28 c remove useless variable ce[0][8][6] 0.20/0.28 c remove useless variable ce[0][8][7] 0.20/0.28 c remove useless variable ce[0][8][8] 0.20/0.28 c remove useless variable ce[0][9][0] 0.20/0.28 c remove useless variable ce[0][9][1] 0.20/0.28 c remove useless variable ce[0][9][2] 0.20/0.28 c remove useless variable ce[0][9][3] 0.20/0.28 c remove useless variable ce[0][9][4] 0.20/0.28 c remove useless variable ce[0][9][5] 0.20/0.28 c remove useless variable ce[0][9][6] 0.20/0.28 c remove useless variable ce[0][9][7] 0.20/0.28 c remove useless variable ce[0][9][8] 0.20/0.28 c remove useless variable ce[0][9][9] 0.20/0.28 c remove useless variable ce[1][0][0] 0.20/0.28 c remove useless variable ce[1][1][0] 0.20/0.28 c remove useless variable ce[1][1][1] 0.20/0.28 c remove useless variable ce[1][2][0] 0.20/0.28 c remove useless variable ce[1][2][1] 0.20/0.28 c remove useless variable ce[1][2][2] 0.20/0.28 c remove useless variable ce[1][3][0] 0.20/0.28 c remove useless variable ce[1][3][1] 0.20/0.28 c remove useless variable ce[1][3][2] 0.20/0.28 c remove useless variable ce[1][3][3] 0.20/0.28 c remove useless variable ce[1][4][0] 0.20/0.28 c remove useless variable ce[1][4][1] 0.20/0.28 c remove useless variable ce[1][4][2] 0.20/0.28 c remove useless variable ce[1][4][3] 0.20/0.28 c remove useless variable ce[1][4][4] 0.20/0.28 c remove useless variable ce[1][5][0] 0.20/0.28 c remove useless variable ce[1][5][1] 0.20/0.28 c remove useless variable ce[1][5][2] 0.20/0.28 c remove useless variable ce[1][5][3] 0.20/0.28 c remove useless variable ce[1][5][4] 0.20/0.28 c remove useless variable ce[1][5][5] 0.20/0.28 c remove useless variable ce[1][6][0] 0.20/0.28 c remove useless variable ce[1][6][1] 0.20/0.28 c remove useless variable ce[1][6][2] 0.20/0.28 c remove useless variable ce[1][6][3] 0.20/0.28 c remove useless variable ce[1][6][4] 0.20/0.28 c remove useless variable ce[1][6][5] 0.20/0.28 c remove useless variable ce[1][6][6] 0.20/0.28 c remove useless variable ce[1][7][0] 0.20/0.28 c remove useless variable ce[1][7][1] 0.20/0.28 c remove useless variable ce[1][7][2] 0.20/0.28 c remove useless variable ce[1][7][3] 0.20/0.28 c remove useless variable ce[1][7][4] 0.20/0.28 c remove useless variable ce[1][7][5] 0.20/0.28 c remove useless variable ce[1][7][6] 0.20/0.28 c remove useless variable ce[1][7][7] 0.20/0.28 c remove useless variable ce[1][8][0] 0.20/0.28 c remove useless variable ce[1][8][1] 0.20/0.28 c remove useless variable ce[1][8][2] 0.20/0.28 c remove useless variable ce[1][8][3] 0.20/0.28 c remove useless variable ce[1][8][4] 0.20/0.28 c remove useless variable ce[1][8][5] 0.20/0.28 c remove useless variable ce[1][8][6] 0.20/0.28 c remove useless variable ce[1][8][7] 0.20/0.28 c remove useless variable ce[1][8][8] 0.20/0.28 c remove useless variable ce[1][9][0] 0.20/0.28 c remove useless variable ce[1][9][1] 0.20/0.28 c remove useless variable ce[1][9][2] 0.20/0.28 c remove useless variable ce[1][9][3] 0.20/0.28 c remove useless variable ce[1][9][4] 0.20/0.28 c remove useless variable ce[1][9][5] 0.20/0.28 c remove useless variable ce[1][9][6] 0.20/0.28 c remove useless variable ce[1][9][7] 0.20/0.28 c remove useless variable ce[1][9][8] 0.20/0.28 c remove useless variable ce[1][9][9] 0.20/0.28 c remove useless variable ce[2][0][0] 0.20/0.28 c remove useless variable ce[2][1][0] 0.20/0.28 c remove useless variable ce[2][1][1] 0.20/0.28 c remove useless variable ce[2][2][0] 0.20/0.28 c remove useless variable ce[2][2][1] 0.20/0.28 c remove useless variable ce[2][2][2] 0.20/0.28 c remove useless variable ce[2][3][0] 0.20/0.28 c remove useless variable ce[2][3][1] 0.20/0.28 c remove useless variable ce[2][3][2] 0.20/0.28 c remove useless variable ce[2][3][3] 0.20/0.28 c remove useless variable ce[2][4][0] 0.20/0.28 c remove useless variable ce[2][4][1] 0.20/0.28 c remove useless variable ce[2][4][2] 0.20/0.28 c remove useless variable ce[2][4][3] 0.20/0.28 c remove useless variable ce[2][4][4] 0.20/0.28 c remove useless variable ce[2][5][0] 0.20/0.28 c remove useless variable ce[2][5][1] 0.20/0.28 c remove useless variable ce[2][5][2] 0.20/0.28 c remove useless variable ce[2][5][3] 0.20/0.28 c remove useless variable ce[2][5][4] 0.20/0.28 c remove useless variable ce[2][5][5] 0.20/0.28 c remove useless variable ce[2][6][0] 0.20/0.28 c remove useless variable ce[2][6][1] 0.20/0.28 c remove useless variable ce[2][6][2] 0.20/0.28 c remove useless variable ce[2][6][3] 0.20/0.28 c remove useless variable ce[2][6][4] 0.20/0.28 c remove useless variable ce[2][6][5] 0.20/0.28 c remove useless variable ce[2][6][6] 0.20/0.28 c remove useless variable ce[2][7][0] 0.20/0.28 c remove useless variable ce[2][7][1] 0.20/0.28 c remove useless variable ce[2][7][2] 0.20/0.28 c remove useless variable ce[2][7][3] 0.20/0.28 c remove useless variable ce[2][7][4] 0.20/0.28 c remove useless variable ce[2][7][5] 0.20/0.28 c remove useless variable ce[2][7][6] 0.20/0.28 c remove useless variable ce[2][7][7] 0.20/0.28 c remove useless variable ce[2][8][0] 0.20/0.28 c remove useless variable ce[2][8][1] 0.20/0.28 c remove useless variable ce[2][8][2] 0.20/0.28 c remove useless variable ce[2][8][3] 0.20/0.28 c remove useless variable ce[2][8][4] 0.20/0.28 c remove useless variable ce[2][8][5] 0.20/0.28 c remove useless variable ce[2][8][6] 0.20/0.28 c remove useless variable ce[2][8][7] 0.20/0.28 c remove useless variable ce[2][8][8] 0.20/0.28 c remove useless variable ce[2][9][0] 0.20/0.28 c remove useless variable ce[2][9][1] 0.20/0.28 c remove useless variable ce[2][9][2] 0.20/0.28 c remove useless variable ce[2][9][3] 0.20/0.28 c remove useless variable ce[2][9][4] 0.20/0.28 c remove useless variable ce[2][9][5] 0.20/0.28 c remove useless variable ce[2][9][6] 0.20/0.28 c remove useless variable ce[2][9][7] 0.20/0.28 c remove useless variable ce[2][9][8] 0.20/0.28 c remove useless variable ce[2][9][9] 0.20/0.28 c remove useless variable ce[3][0][0] 0.20/0.28 c remove useless variable ce[3][1][0] 0.20/0.28 c remove useless variable ce[3][1][1] 0.20/0.28 c remove useless variable ce[3][2][0] 0.20/0.28 c remove useless variable ce[3][2][1] 0.20/0.28 c remove useless variable ce[3][2][2] 0.20/0.28 c remove useless variable ce[3][3][0] 0.20/0.28 c remove useless variable ce[3][3][1] 0.20/0.28 c remove useless variable ce[3][3][2] 0.20/0.28 c remove useless variable ce[3][3][3] 0.20/0.28 c remove useless variable ce[3][4][0] 0.20/0.28 c remove useless variable ce[3][4][1] 0.20/0.28 c remove useless variable ce[3][4][2] 0.20/0.28 c remove useless variable ce[3][4][3] 0.20/0.28 c remove useless variable ce[3][4][4] 0.20/0.28 c remove useless variable ce[3][5][0] 0.20/0.28 c remove useless variable ce[3][5][1] 0.20/0.28 c remove useless variable ce[3][5][2] 0.20/0.28 c remove useless variable ce[3][5][3] 0.20/0.28 c remove useless variable ce[3][5][4] 0.20/0.28 c remove useless variable ce[3][5][5] 0.20/0.28 c remove useless variable ce[3][6][0] 0.20/0.28 c remove useless variable ce[3][6][1] 0.20/0.28 c remove useless variable ce[3][6][2] 0.20/0.28 c remove useless variable ce[3][6][3] 0.20/0.28 c remove useless variable ce[3][6][4] 0.20/0.28 c remove useless variable ce[3][6][5] 0.20/0.28 c remove useless variable ce[3][6][6] 0.20/0.28 c remove useless variable ce[3][7][0] 0.20/0.28 c remove useless variable ce[3][7][1] 0.20/0.28 c remove useless variable ce[3][7][2] 0.20/0.28 c remove useless variable ce[3][7][3] 0.20/0.28 c remove useless variable ce[3][7][4] 0.20/0.28 c remove useless variable ce[3][7][5] 0.20/0.28 c remove useless variable ce[3][7][6] 0.20/0.28 c remove useless variable ce[3][7][7] 0.20/0.28 c remove useless variable ce[3][8][0] 0.20/0.28 c remove useless variable ce[3][8][1] 0.20/0.28 c remove useless variable ce[3][8][2] 0.20/0.28 c remove useless variable ce[3][8][3] 0.20/0.28 c remove useless variable ce[3][8][4] 0.20/0.28 c remove useless variable ce[3][8][5] 0.20/0.28 c remove useless variable ce[3][8][6] 0.20/0.28 c remove useless variable ce[3][8][7] 0.20/0.28 c remove useless variable ce[3][8][8] 0.20/0.28 c remove useless variable ce[3][9][0] 0.20/0.28 c remove useless variable ce[3][9][1] 0.20/0.28 c remove useless variable ce[3][9][2] 0.20/0.28 c remove useless variable ce[3][9][3] 0.20/0.28 c remove useless variable ce[3][9][4] 0.20/0.28 c remove useless variable ce[3][9][5] 0.20/0.28 c remove useless variable ce[3][9][6] 0.20/0.28 c remove useless variable ce[3][9][7] 0.20/0.28 c remove useless variable ce[3][9][8] 0.20/0.28 c remove useless variable ce[3][9][9] 0.24/0.31 c 101 311 23800 24949 0 0 211 211 208 0.24/0.38 c 211 562 45781 263185 0 0 4 141 138 0.34/0.43 c 332 767 60540 456621 0 0 8 84 77 0.34/0.47 c 465 1046 74437 592099 0 0 5 147 55 0.34/0.48 c 611 1246 79295 709020 0 0 3 55 34 0.44/0.50 c 771 1460 84005 841681 0 0 5 55 35 0.44/0.51 c 947 1678 89479 930232 0 0 3 43 27 0.44/0.53 c 1140 1922 94972 1072711 0 0 4 52 33 0.44/0.55 c 1352 2188 100834 1219893 0 0 3 55 33 0.44/0.58 c 1585 2480 106915 1383875 0 0 3 60 36 0.54/0.60 c 1841 2805 113522 1572197 0 0 4 70 37 0.54/0.64 c 2122 3236 128374 1775045 0 0 3 149 63 0.54/0.68 c 2431 3627 135716 2017452 0 0 3 83 42 0.64/0.73 c 2770 4110 149645 2317779 0 0 3 145 49 0.64/0.77 c 3142 4558 157384 2608843 0 0 3 77 48 0.74/0.82 c 3551 5016 170549 2883146 0 0 3 49 39 0.74/0.89 c 4000 5573 179344 3307055 0 0 4 100 63 0.94/1.02 c 4493 6132 195615 3900558 0 0 3 65 49 0.94/1.10 c 5035 6740 210013 4337553 0 0 3 64 52 1.04/1.17 c 5631 7413 222410 4730079 0 0 4 73 53 1.24/1.35 c 6286 8123 244299 5373157 0 0 4 52 44 1.34/1.46 c 7006 8997 260827 6089482 0 0 5 137 73 1.44/1.57 c 7798 9912 271463 6748714 0 0 5 92 82 1.64/1.74 c 8669 10835 296103 7631022 0 0 4 49 46 1.73/1.86 c 9627 11969 312534 8252387 0 0 7 158 97 1.93/2.01 c 10680 13177 328726 9023381 0 0 10 140 108 2.24/2.33 c 11838 14352 374521 10072683 0 0 9 12 11 2.53/2.62 c 13111 15685 411705 11616259 0 0 3 51 50 2.73/2.82 c 14511 17348 430892 12635948 0 0 5 118 107 2.83/2.98 c 16051 18902 482047 13330605 0 0 8 8 7 3.13/3.24 c 17745 20769 511812 14716964 0 0 4 108 85 3.93/4.04 c 19608 22704 570879 18887919 0 0 14 29 28 4.63/4.72 c 21657 24997 640006 23150564 0 0 211 211 210 5.33/5.40 c 23910 27280 710129 26429422 0 0 18 19 18 6.23/6.39 c 26388 29790 793393 30918468 0 0 4 20 19 6.83/6.96 c 29113 32542 882354 34320141 0 0 10 15 14 7.43/7.50 c 32110 35817 951239 36727601 0 0 5 68 61 8.23/8.32 c 35406 39199 1028349 42102437 0 0 7 61 56 8.43/8.51 c 39031 42849 1138743 43372808 0 0 9 9 8 9.33/9.49 c 43018 46872 1266076 49061267 0 0 3 16 15 10.13/10.23 c 47403 51595 1380606 53029249 0 0 3 69 67 11.13/11.22 c 52226 56499 1510437 58513225 0 0 4 50 49 12.43/12.59 c 57531 61849 1678226 65459406 0 0 9 19 18 13.53/13.68 c 63366 67793 1861545 70803729 0 0 4 71 56 16.44/16.56 c 69784 74480 2110164 84666367 0 0 15 43 38 18.53/18.69 c 76843 81871 2294950 99505199 0 0 211 211 210 20.33/20.48 c 84607 90359 2449460 109803390 0 0 14 72 71 23.23/23.33 c 93147 99257 2684164 129301804 0 0 211 211 210 32.73/32.84 c 102541 108778 3096389 164558015 0 0 15 51 50 34.83/34.90 c 112874 119177 3459469 172094385 0 0 15 15 14 37.23/37.35 c 124240 130615 3779041 185271861 0 0 4 15 14 41.73/41.90 c 136742 144808 4083737 200483980 0 0 7 57 55 47.63/47.71 c 150494 158778 4655371 226396764 0 0 8 17 16 49.23/49.37 c 165621 174545 4800196 234403589 0 0 11 124 107 51.73/51.83 c 182260 191611 4966272 248302097 0 0 3 82 81 54.73/54.80 c 200562 211244 5168920 263878896 0 0 5 119 109 58.83/58.90 c 220694 234472 5447941 289149488 0 0 4 110 87 65.33/65.48 c 242839 257237 5981733 335858417 0 0 211 211 210 72.03/72.13 c 267198 282261 7020980 364387903 0 0 4 51 46 75.53/75.68 c 293992 310518 7316281 380804886 0 0 4 141 130 84.73/84.82 c 323465 340739 8044321 443069257 0 0 211 211 210 97.03/97.19 c 355885 373524 9243310 485904114 0 0 7 40 39 104.83/104.92 c 391547 409460 10245708 533155559 0 0 11 43 42 115.12/115.28 c 430775 449453 11714253 567433329 0 0 7 20 18 122.42/122.54 c 473925 493496 12516624 605648043 0 0 11 130 125 130.52/130.69 c 521390 547319 13272645 655258705 0 0 18 95 79 141.22/141.36 c 573601 599792 15130268 692166950 0 0 7 8 7 151.12/151.28 c 631033 658241 16280313 756778517 0 0 4 56 53 162.02/162.15 c 694208 724812 17285053 816678839 0 0 15 130 114 170.22/170.37 c 763700 797607 17855349 855615503 0 0 3 153 139 198.72/198.89 c 840141 874845 19587489 1020204027 0 0 21 72 71 202.82/202.98 c 924226 959343 22263393 1049393037 0 0 9 10 9 240.41/240.59 c 1016719 1129116 25619676 1197406165 0 0 4 68 47 259.91/260.09 c 1118461 1232186 27869746 1285332895 0 0 4 81 71 326.61/326.73 c 1230377 1348354 31741353 1574682485 0 0 5 39 34 350.91/351.00 c 1353484 1472135 36085684 1668307376 0 0 4 35 6 369.01/369.12 c 1488901 1612651 39534747 1762335745 0 0 5 68 67 412.31/412.44 c 1637859 1762479 43982330 1988096762 0 0 5 41 38 427.91/428.04 c 1801712 1927337 48729878 2075237623 0 0 6 81 36 465.90/466.09 c 1981950 2116020 51290204 2310188017 0 0 4 83 77 481.10/481.26 c 2180211 2315265 57498918 2390354536 0 0 6 14 9 607.10/607.22 c 2398298 2542835 64524417 3042284844 0 0 4 70 47 692.78/693.00 c 2638193 2784138 71550314 3414614025 0 0 43 53 52 811.68/811.88 c 2902077 3049940 81207836 3921414233 0 0 8 30 25 838.08/838.20 c 3192349 3343211 87702235 4095355359 0 0 7 106 34 883.87/884.04 c 3511648 3670300 93284536 4378902162 0 0 7 102 69 941.16/941.38 c 3862876 4027854 98494323 4709822960 0 0 7 87 65 1000.26/1000.42 c 4249226 4419185 108101642 5043259910 0 0 6 137 67 1061.66/1061.87 c 4674211 4858644 112646844 5416236951 0 0 10 117 102 1153.76/1153.97 c 5141694 5337874 126467748 5959372980 0 0 7 47 25 1303.35/1303.57 c 5655925 5855662 137770729 6774312203 0 0 7 35 34 1415.33/1415.54 c 6221579 6470977 152067418 7395415560 0 0 10 88 47 1558.72/1558.99 c 6843798 7096673 172211575 8037648666 0 0 9 36 18 1684.21/1684.42 c 7528238 7796765 187242342 8801379134 0 0 8 88 50 1740.31/1740.50 c 8281122 8553684 209368384 9156127596 0 0 9 23 14 1918.09/1918.38 c 9109294 9390847 231657108 10078346914 0 0 8 137 52 2072.78/2073.02 c 10020283 10312943 254325821 10945902039 0 0 8 114 49 2301.98/2302.27 c 11022370 11329041 275843480 12188273351 0 0 13 87 57 2359.07/2359.32 c 12124665 12436993 309026960 12572058498 0 0 8 19 14 2400.08/2400.30 2400.08/2400.30 c *** INTERRUPTED *** 2400.08/2400.30 c restarts : 99 2400.08/2400.30 c conflicts : 12464547 (5193 /sec) 2400.08/2400.30 c decisions : 12778724 (5324 /sec) 2400.08/2400.30 c propagations : 12818920952 (5341077 /sec) 2400.08/2400.30 c root propagations : 0 2400.08/2400.30 c filter calls : 318726509 (132799 /sec) 2400.08/2400.30 c useless filter calls : 220256897 (69 %) 2400.08/2400.30 c Memory used : 32.89 MB 2400.08/2400.30 c CPU time : 2400.06 s 2400.08/2400.30 2400.08/2400.30 s UNKNOWN
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-4260084-1502019884/watcher-4260084-1502019884 -o /tmp/evaluation-result-4260084-1502019884/solver-4260084-1502019884 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260084-1502019884.xml pid=4877 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: 1.83 1.97 1.98 4/187 4880 /proc/meminfo: memFree=31501536/32770624 swapFree=0/339900 [pid=4880] ppid=4877 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/4880/stat : 4880 (runsolver) D 4877 4880 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101641640 24240128 106 18446744073709551615 4194304 4338465 140727283509664 140727283507304 139659368239831 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 15835136 140727283511490 140727283511881 140727283511881 140727283515338 0 /proc/4880/statm: 5918 106 53 36 0 2156 0 [startup+0.100194 s] /proc/loadavg: 1.83 1.97 1.98 4/187 4880 /proc/meminfo: memFree=31501536/32770624 swapFree=0/339900 [pid=4880] ppid=4877 vsize=28340 CPUtime=0.04 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 1404 0 0 0 4 0 0 0 20 0 1 0 101641640 29020160 1238 18446744073709551615 4194304 5747388 140734204486608 140734204483256 140178949340133 0 0 1 0 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 7085 1238 772 380 0 503 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28340 [startup+0.261562 s] /proc/loadavg: 1.83 1.97 1.98 4/187 4880 /proc/meminfo: memFree=31501536/32770624 swapFree=0/339900 [pid=4880] ppid=4877 vsize=30712 CPUtime=0.2 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 1992 0 0 0 20 0 0 0 20 0 1 0 101641640 31449088 1830 18446744073709551615 4194304 5747388 140734204486608 140734204483256 140178958979966 0 0 1 0 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 7678 1830 773 380 0 1096 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 30712 [startup+0.300295 s] /proc/loadavg: 1.83 1.97 1.98 4/187 4880 /proc/meminfo: memFree=31501536/32770624 swapFree=0/339900 [pid=4880] ppid=4877 vsize=31108 CPUtime=0.24 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 2143 0 0 0 24 0 0 0 20 0 1 0 101641640 31854592 1958 18446744073709551615 4194304 5747388 140734204486608 140734204483464 140178949340133 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 7777 1958 812 380 0 1195 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 31108 [startup+0.700277 s] /proc/loadavg: 1.83 1.97 1.98 4/187 4880 /proc/meminfo: memFree=31501536/32770624 swapFree=0/339900 [pid=4880] ppid=4877 vsize=31692 CPUtime=0.64 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 2291 0 0 0 64 0 0 0 20 0 1 0 101641640 32452608 2090 18446744073709551615 4194304 5747388 140734204486608 140734204483464 4954077 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 7923 2090 815 380 0 1341 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 31692 [startup+1.50028 s] /proc/loadavg: 1.83 1.97 1.98 3/187 4881 /proc/meminfo: memFree=31492840/32770624 swapFree=0/339944 [pid=4880] ppid=4877 vsize=32220 CPUtime=1.44 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 2418 0 0 0 144 0 0 0 20 0 1 0 101641640 32993280 2222 18446744073709551615 4194304 5747388 140734204486608 140734204484008 140178949340133 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8055 2222 815 380 0 1473 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 32220 [startup+3.10028 s] /proc/loadavg: 1.85 1.97 1.98 3/187 4882 /proc/meminfo: memFree=31488616/32770624 swapFree=0/339932 [pid=4880] ppid=4877 vsize=32748 CPUtime=3.03 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 3604 0 0 0 303 0 0 0 20 0 1 0 101641640 33533952 2360 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4972048 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8187 2360 815 380 0 1605 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 32748 [startup+6.30028 s] /proc/loadavg: 1.85 1.97 1.98 3/183 4935 /proc/meminfo: memFree=31502168/32770624 swapFree=0/339956 [pid=4880] ppid=4877 vsize=32880 CPUtime=6.23 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 4424 0 0 0 623 0 0 0 20 0 1 0 101641640 33669120 2423 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4906144 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8220 2423 815 380 0 1638 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 32880 [startup+12.7003 s] /proc/loadavg: 1.87 1.98 1.98 3/187 4943 /proc/meminfo: memFree=31492660/32770624 swapFree=0/339960 [pid=4880] ppid=4877 vsize=33012 CPUtime=12.63 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 4957 0 0 0 1263 0 0 0 20 0 1 0 101641640 33804288 2460 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4906175 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8253 2460 815 380 0 1671 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 33012 [startup+25.5003 s] /proc/loadavg: 1.97 1.99 1.98 3/187 4943 /proc/meminfo: memFree=31491308/32770624 swapFree=0/339960 [pid=4880] ppid=4877 vsize=33144 CPUtime=25.43 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 5945 0 0 0 2543 0 0 0 20 0 1 0 101641640 33939456 2487 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4906006 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8286 2487 815 380 0 1704 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 33144 [startup+51.1003 s] /proc/loadavg: 1.98 1.99 1.98 3/187 4943 /proc/meminfo: memFree=31491352/32770624 swapFree=0/339956 [pid=4880] ppid=4877 vsize=33276 CPUtime=51.03 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 6492 0 0 0 5103 0 0 0 20 0 1 0 101641640 34074624 2507 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4906175 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8319 2507 815 380 0 1737 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 33276 [startup+102.3 s] /proc/loadavg: 1.95 1.98 1.98 3/184 4945 /proc/meminfo: memFree=31494436/32770624 swapFree=0/339960 [pid=4880] ppid=4877 vsize=33408 CPUtime=102.23 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 7111 0 0 0 10223 0 0 0 20 0 1 0 101641640 34209792 2540 18446744073709551615 4194304 5747388 140734204486608 140734204484008 5000046 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8352 2540 815 380 0 1770 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 33408 [startup+162.3 s] /proc/loadavg: 1.98 1.99 1.98 3/184 4947 /proc/meminfo: memFree=31494408/32770624 swapFree=0/339964 [pid=4880] ppid=4877 vsize=33540 CPUtime=162.22 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 7719 0 0 0 16222 0 0 0 20 0 1 0 101641640 34344960 2574 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4909824 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2574 815 380 0 1803 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 33540 [startup+222.306 s] /proc/loadavg: 1.99 1.99 1.98 3/185 4950 /proc/meminfo: memFree=31495204/32770624 swapFree=0/340000 [pid=4880] ppid=4877 vsize=33540 CPUtime=222.22 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 8277 0 0 0 22222 0 0 0 20 0 1 0 101641640 34344960 2595 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4918713 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2595 815 380 0 1803 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33540 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.98 3/185 4952 /proc/meminfo: memFree=31495204/32770624 swapFree=0/340040 [pid=4880] ppid=4877 vsize=33540 CPUtime=282.21 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 8817 0 0 0 28221 0 0 0 20 0 1 0 101641640 34344960 2598 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4915616 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2598 815 380 0 1803 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33540 [startup+342.3 s] /proc/loadavg: 1.92 1.97 1.97 3/186 4955 /proc/meminfo: memFree=31494464/32770624 swapFree=0/340080 [pid=4880] ppid=4877 vsize=33540 CPUtime=342.2 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 9327 0 0 0 34220 0 0 0 20 0 1 0 101641640 34344960 2603 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4972066 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2603 815 380 0 1803 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33540 [startup+402.3 s] /proc/loadavg: 1.97 1.97 1.97 3/186 4957 /proc/meminfo: memFree=31494596/32770624 swapFree=0/340092 [pid=4880] ppid=4877 vsize=33540 CPUtime=402.21 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 9828 0 0 0 40220 1 0 0 20 0 1 0 101641640 34344960 2604 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4905989 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2604 815 380 0 1803 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 33540 [startup+462.3 s] /proc/loadavg: 1.99 1.98 1.97 3/186 4959 /proc/meminfo: memFree=31494936/32770624 swapFree=0/340124 [pid=4880] ppid=4877 vsize=33540 CPUtime=462.2 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 10377 0 0 0 46219 1 0 0 20 0 1 0 101641640 34344960 2605 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4912674 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2605 815 380 0 1803 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 33540 [startup+522.3 s] /proc/loadavg: 2.00 1.99 1.97 3/185 4961 /proc/meminfo: memFree=31494944/32770624 swapFree=0/340148 [pid=4880] ppid=4877 vsize=33540 CPUtime=522.2 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 10925 0 0 0 52219 1 0 0 20 0 1 0 101641640 34344960 2605 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4905989 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2605 815 380 0 1803 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 33540 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.97 3/189 4978 /proc/meminfo: memFree=31489592/32770624 swapFree=0/340172 [pid=4880] ppid=4877 vsize=33540 CPUtime=582.19 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 11426 0 0 0 58218 1 0 0 20 0 1 0 101641640 34344960 2606 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4954077 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8385 2606 815 380 0 1803 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 33540 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5030 /proc/meminfo: memFree=31492312/32770624 swapFree=0/340448 [pid=4880] ppid=4877 vsize=33672 CPUtime=1542.13 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 19840 0 0 0 154212 1 0 0 20 0 1 0 101641640 34480128 2621 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4873702 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2621 815 380 0 1836 0 Current children cumulated CPU time (s) 1542.13 Current children cumulated vsize (KiB) 33672 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5032 /proc/meminfo: memFree=31492532/32770624 swapFree=0/340460 [pid=4880] ppid=4877 vsize=33672 CPUtime=1602.11 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 20352 0 0 0 160210 1 0 0 20 0 1 0 101641640 34480128 2621 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4954077 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2621 815 380 0 1836 0 Current children cumulated CPU time (s) 1602.11 Current children cumulated vsize (KiB) 33672 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5035 /proc/meminfo: memFree=31492544/32770624 swapFree=0/340484 [pid=4880] ppid=4877 vsize=33672 CPUtime=1662.11 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 20914 0 0 0 166210 1 0 0 20 0 1 0 101641640 34480128 2622 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4873643 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2622 815 380 0 1836 0 Current children cumulated CPU time (s) 1662.11 Current children cumulated vsize (KiB) 33672 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5037 /proc/meminfo: memFree=31492984/32770624 swapFree=0/340504 [pid=4880] ppid=4877 vsize=33672 CPUtime=1722.11 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 21387 0 0 0 172210 1 0 0 20 0 1 0 101641640 34480128 2622 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4971712 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2622 815 380 0 1836 0 Current children cumulated CPU time (s) 1722.11 Current children cumulated vsize (KiB) 33672 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.98 3/188 5053 /proc/meminfo: memFree=31487308/32770624 swapFree=0/340532 [pid=4880] ppid=4877 vsize=33672 CPUtime=1782.1 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 21925 0 0 0 178209 1 0 0 20 0 1 0 101641640 34480128 2622 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4954116 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2622 815 380 0 1836 0 Current children cumulated CPU time (s) 1782.1 Current children cumulated vsize (KiB) 33672 [startup+1842.3 s] /proc/loadavg: 2.06 2.03 1.99 3/187 5079 /proc/meminfo: memFree=31486372/32770624 swapFree=0/340548 [pid=4880] ppid=4877 vsize=33672 CPUtime=1842.1 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 22327 0 0 0 184209 1 0 0 20 0 1 0 101641640 34480128 2622 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4909425 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2622 815 380 0 1836 0 Current children cumulated CPU time (s) 1842.1 Current children cumulated vsize (KiB) 33672 [startup+1902.3 s] /proc/loadavg: 2.02 2.02 1.99 3/187 5081 /proc/meminfo: memFree=31487600/32770624 swapFree=0/340552 [pid=4880] ppid=4877 vsize=33672 CPUtime=1902.1 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 22953 0 0 0 190209 1 0 0 20 0 1 0 101641640 34480128 2622 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4906092 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2622 815 380 0 1836 0 Current children cumulated CPU time (s) 1902.1 Current children cumulated vsize (KiB) 33672 [startup+1962.3 s] /proc/loadavg: 2.01 2.02 1.99 3/184 5083 /proc/meminfo: memFree=31491336/32770624 swapFree=0/340564 [pid=4880] ppid=4877 vsize=33672 CPUtime=1962.09 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 23468 0 0 0 196208 1 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4903000 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 1962.09 Current children cumulated vsize (KiB) 33672 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.99 3/185 5086 /proc/meminfo: memFree=31491824/32770624 swapFree=0/340588 [pid=4880] ppid=4877 vsize=33672 CPUtime=2022.09 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 24049 0 0 0 202208 1 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4906176 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2022.09 Current children cumulated vsize (KiB) 33672 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.99 3/185 5088 /proc/meminfo: memFree=31492040/32770624 swapFree=0/340612 [pid=4880] ppid=4877 vsize=33672 CPUtime=2082.09 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 24589 0 0 0 208208 1 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4918695 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2082.09 Current children cumulated vsize (KiB) 33672 [startup+2142.3 s] /proc/loadavg: 1.88 1.98 1.98 3/185 5090 /proc/meminfo: memFree=31492580/32770624 swapFree=0/340632 [pid=4880] ppid=4877 vsize=33672 CPUtime=2142.08 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 25054 0 0 0 214207 1 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 5000064 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2142.08 Current children cumulated vsize (KiB) 33672 [startup+2202.31 s] /proc/loadavg: 1.96 1.99 1.98 3/185 5092 /proc/meminfo: memFree=31492548/32770624 swapFree=0/340656 [pid=4880] ppid=4877 vsize=33672 CPUtime=2202.08 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 25646 0 0 0 220207 1 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4911869 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2202.08 Current children cumulated vsize (KiB) 33672 [startup+2262.3 s] /proc/loadavg: 1.98 1.99 1.98 3/185 5094 /proc/meminfo: memFree=31492520/32770624 swapFree=0/340656 [pid=4880] ppid=4877 vsize=33672 CPUtime=2262.07 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 26136 0 0 0 226206 1 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4906556 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2262.07 Current children cumulated vsize (KiB) 33672 [startup+2322.3 s] /proc/loadavg: 2.03 2.00 1.98 3/184 5096 /proc/meminfo: memFree=31492632/32770624 swapFree=0/340680 [pid=4880] ppid=4877 vsize=33672 CPUtime=2322.08 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 26637 0 0 0 232206 2 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4972066 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2322.08 Current children cumulated vsize (KiB) 33672 [startup+2382.3 s] /proc/loadavg: 2.01 2.00 1.98 3/187 5112 /proc/meminfo: memFree=31487884/32770624 swapFree=0/340704 [pid=4880] ppid=4877 vsize=33672 CPUtime=2382.07 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 27077 0 0 0 238205 2 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4972777 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2382.07 Current children cumulated vsize (KiB) 33672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.01 2.00 1.98 3/187 5112 /proc/meminfo: memFree=31488180/32770624 swapFree=0/340700 [pid=4880] ppid=4877 vsize=33672 CPUtime=2400.08 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 27447 0 0 0 240006 2 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4954064 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 33672 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 4880 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.01 2.00 1.98 3/187 5112 /proc/meminfo: memFree=31488180/32770624 swapFree=0/340700 [pid=4880] ppid=4877 vsize=33672 CPUtime=2400.08 cores=0,2,4,6 /proc/4880/stat : 4880 (cosoco) R 4877 4880 2911 0 -1 4202496 27447 0 0 0 240006 2 0 0 20 0 1 0 101641640 34480128 2625 18446744073709551615 4194304 5747388 140734204486608 140734204484008 4954064 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 15560704 140734204490222 140734204490317 140734204490317 140734204493774 0 /proc/4880/statm: 8418 2625 815 380 0 1836 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 33672 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.08 CPU user time (s): 2400.06 CPU system time (s): 0.020998 CPU usage (%): 99.9907 Max. virtual memory (cumulated for all children) (KiB): 33672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.06 system time used= 0.020998 maximum resident set size= 10564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27496 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= 8 involuntary context switches= 3696 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.31448 second user time and 7.82309 second system time The end
Begin job on node132 at 2017-08-06 13:30:24 IDJOB=4260084 IDBENCH=120738 IDSOLVER=2647 FILE ID=node132/4260084-1502019884 RUNJOBID= node132-1502014216-3974 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P04.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260084-1502019884/watcher-4260084-1502019884 -o /tmp/evaluation-result-4260084-1502019884/solver-4260084-1502019884 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260084-1502019884.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ddb81c87fc1d8e68708f77d31c52a231 RANDOM SEED=1494497799 node132.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.74 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.74 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.74 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.74 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: 31501908 kB MemAvailable: 31980612 kB Buffers: 201792 kB Cached: 576056 kB SwapCached: 0 kB Active: 470732 kB Inactive: 372528 kB Active(anon): 66104 kB Inactive(anon): 32628 kB Active(file): 404628 kB Inactive(file): 339900 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4280 kB Writeback: 4 kB AnonPages: 65388 kB Mapped: 49948 kB Shmem: 33468 kB Slab: 126376 kB SReclaimable: 100024 kB SUnreclaim: 26352 kB KernelStack: 3264 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 335584 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62028 MiB End job on node132 at 2017-08-06 14:10:24