Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | ? (TO) | 2400.07 | 2400 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K11-P04.xml |
MD5SUM | 83a9e5860e8605726185e9821b8e29ef |
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 | 561 |
Number of constraints | 255 |
Number of domains | 2 |
Minimum domain size | 253 |
Maximum domain size | 254 |
Distribution of domain sizes | [{"size":253,"count":253},{"size":254,"count":44}] |
Minimum variable degree | 0 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":0,"count":264},{"degree":2,"count":253},{"degree":12,"count":22},{"degree":13,"count":22}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 253 |
Distribution of constraint arities | [{"arity":3,"count":253},{"arity":44,"count":1},{"arity":253,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 253 |
Distribution of constraint types | [{"type":"intension","count":253},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.19/0.27 c root propagations : 0 0.19/0.27 c restarts enabled, print stats at every restarts 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c This is cosoco 1.0 -- 0.19/0.27 c 0.19/0.27 c ========================================[ Problem Statistics ]=========================================== 0.19/0.27 c | 0.19/0.27 c | Parse time : 0.27 s 0.19/0.27 c | 0.19/0.27 c | Variables: 561 0.19/0.27 c | Domain Sizes: 253..254 0.19/0.27 c | 0.19/0.27 c | Constraints: 255 0.19/0.27 c | Arity: 3..253 -- Ternary: 253 0.19/0.27 c | 0.19/0.27 c | Types: 0.19/0.27 c | All Different: 2 0.19/0.27 c | Intension: 253 0.19/0.27 c | 0.19/0.27 c ========================================================================================================= 0.19/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.19/0.27 c remove useless variable ce[0][0][0] 0.19/0.27 c remove useless variable ce[0][1][0] 0.19/0.27 c remove useless variable ce[0][1][1] 0.19/0.27 c remove useless variable ce[0][2][0] 0.19/0.27 c remove useless variable ce[0][2][1] 0.19/0.27 c remove useless variable ce[0][2][2] 0.19/0.27 c remove useless variable ce[0][3][0] 0.19/0.27 c remove useless variable ce[0][3][1] 0.19/0.27 c remove useless variable ce[0][3][2] 0.19/0.27 c remove useless variable ce[0][3][3] 0.19/0.27 c remove useless variable ce[0][4][0] 0.19/0.27 c remove useless variable ce[0][4][1] 0.19/0.27 c remove useless variable ce[0][4][2] 0.19/0.27 c remove useless variable ce[0][4][3] 0.19/0.27 c remove useless variable ce[0][4][4] 0.19/0.27 c remove useless variable ce[0][5][0] 0.19/0.27 c remove useless variable ce[0][5][1] 0.19/0.27 c remove useless variable ce[0][5][2] 0.19/0.27 c remove useless variable ce[0][5][3] 0.19/0.27 c remove useless variable ce[0][5][4] 0.19/0.27 c remove useless variable ce[0][5][5] 0.19/0.27 c remove useless variable ce[0][6][0] 0.19/0.27 c remove useless variable ce[0][6][1] 0.19/0.27 c remove useless variable ce[0][6][2] 0.19/0.27 c remove useless variable ce[0][6][3] 0.19/0.27 c remove useless variable ce[0][6][4] 0.19/0.27 c remove useless variable ce[0][6][5] 0.19/0.27 c remove useless variable ce[0][6][6] 0.19/0.27 c remove useless variable ce[0][7][0] 0.19/0.27 c remove useless variable ce[0][7][1] 0.19/0.27 c remove useless variable ce[0][7][2] 0.19/0.27 c remove useless variable ce[0][7][3] 0.19/0.27 c remove useless variable ce[0][7][4] 0.19/0.27 c remove useless variable ce[0][7][5] 0.19/0.27 c remove useless variable ce[0][7][6] 0.19/0.27 c remove useless variable ce[0][7][7] 0.19/0.27 c remove useless variable ce[0][8][0] 0.19/0.27 c remove useless variable ce[0][8][1] 0.19/0.27 c remove useless variable ce[0][8][2] 0.19/0.27 c remove useless variable ce[0][8][3] 0.19/0.27 c remove useless variable ce[0][8][4] 0.19/0.27 c remove useless variable ce[0][8][5] 0.19/0.27 c remove useless variable ce[0][8][6] 0.19/0.27 c remove useless variable ce[0][8][7] 0.19/0.27 c remove useless variable ce[0][8][8] 0.19/0.27 c remove useless variable ce[0][9][0] 0.19/0.27 c remove useless variable ce[0][9][1] 0.19/0.27 c remove useless variable ce[0][9][2] 0.19/0.27 c remove useless variable ce[0][9][3] 0.19/0.27 c remove useless variable ce[0][9][4] 0.19/0.27 c remove useless variable ce[0][9][5] 0.19/0.27 c remove useless variable ce[0][9][6] 0.19/0.27 c remove useless variable ce[0][9][7] 0.19/0.27 c remove useless variable ce[0][9][8] 0.19/0.27 c remove useless variable ce[0][9][9] 0.19/0.27 c remove useless variable ce[0][10][0] 0.19/0.27 c remove useless variable ce[0][10][1] 0.19/0.27 c remove useless variable ce[0][10][2] 0.19/0.27 c remove useless variable ce[0][10][3] 0.19/0.27 c remove useless variable ce[0][10][4] 0.19/0.27 c remove useless variable ce[0][10][5] 0.19/0.27 c remove useless variable ce[0][10][6] 0.19/0.27 c remove useless variable ce[0][10][7] 0.19/0.27 c remove useless variable ce[0][10][8] 0.19/0.27 c remove useless variable ce[0][10][9] 0.19/0.27 c remove useless variable ce[0][10][10] 0.19/0.27 c remove useless variable ce[1][0][0] 0.19/0.27 c remove useless variable ce[1][1][0] 0.19/0.27 c remove useless variable ce[1][1][1] 0.19/0.27 c remove useless variable ce[1][2][0] 0.19/0.27 c remove useless variable ce[1][2][1] 0.19/0.27 c remove useless variable ce[1][2][2] 0.19/0.27 c remove useless variable ce[1][3][0] 0.19/0.27 c remove useless variable ce[1][3][1] 0.19/0.27 c remove useless variable ce[1][3][2] 0.19/0.27 c remove useless variable ce[1][3][3] 0.19/0.27 c remove useless variable ce[1][4][0] 0.19/0.27 c remove useless variable ce[1][4][1] 0.19/0.27 c remove useless variable ce[1][4][2] 0.19/0.27 c remove useless variable ce[1][4][3] 0.19/0.27 c remove useless variable ce[1][4][4] 0.19/0.27 c remove useless variable ce[1][5][0] 0.19/0.27 c remove useless variable ce[1][5][1] 0.19/0.27 c remove useless variable ce[1][5][2] 0.19/0.27 c remove useless variable ce[1][5][3] 0.19/0.27 c remove useless variable ce[1][5][4] 0.19/0.27 c remove useless variable ce[1][5][5] 0.19/0.27 c remove useless variable ce[1][6][0] 0.19/0.27 c remove useless variable ce[1][6][1] 0.19/0.27 c remove useless variable ce[1][6][2] 0.19/0.27 c remove useless variable ce[1][6][3] 0.19/0.27 c remove useless variable ce[1][6][4] 0.19/0.27 c remove useless variable ce[1][6][5] 0.19/0.27 c remove useless variable ce[1][6][6] 0.19/0.27 c remove useless variable ce[1][7][0] 0.19/0.27 c remove useless variable ce[1][7][1] 0.19/0.27 c remove useless variable ce[1][7][2] 0.19/0.27 c remove useless variable ce[1][7][3] 0.19/0.27 c remove useless variable ce[1][7][4] 0.19/0.27 c remove useless variable ce[1][7][5] 0.19/0.27 c remove useless variable ce[1][7][6] 0.19/0.27 c remove useless variable ce[1][7][7] 0.19/0.27 c remove useless variable ce[1][8][0] 0.19/0.27 c remove useless variable ce[1][8][1] 0.19/0.27 c remove useless variable ce[1][8][2] 0.19/0.27 c remove useless variable ce[1][8][3] 0.19/0.27 c remove useless variable ce[1][8][4] 0.19/0.27 c remove useless variable ce[1][8][5] 0.19/0.27 c remove useless variable ce[1][8][6] 0.19/0.27 c remove useless variable ce[1][8][7] 0.19/0.27 c remove useless variable ce[1][8][8] 0.19/0.27 c remove useless variable ce[1][9][0] 0.19/0.27 c remove useless variable ce[1][9][1] 0.19/0.27 c remove useless variable ce[1][9][2] 0.19/0.27 c remove useless variable ce[1][9][3] 0.19/0.27 c remove useless variable ce[1][9][4] 0.19/0.27 c remove useless variable ce[1][9][5] 0.19/0.27 c remove useless variable ce[1][9][6] 0.19/0.27 c remove useless variable ce[1][9][7] 0.19/0.27 c remove useless variable ce[1][9][8] 0.19/0.27 c remove useless variable ce[1][9][9] 0.19/0.27 c remove useless variable ce[1][10][0] 0.19/0.27 c remove useless variable ce[1][10][1] 0.19/0.27 c remove useless variable ce[1][10][2] 0.19/0.27 c remove useless variable ce[1][10][3] 0.19/0.27 c remove useless variable ce[1][10][4] 0.19/0.27 c remove useless variable ce[1][10][5] 0.19/0.27 c remove useless variable ce[1][10][6] 0.19/0.27 c remove useless variable ce[1][10][7] 0.19/0.27 c remove useless variable ce[1][10][8] 0.19/0.27 c remove useless variable ce[1][10][9] 0.19/0.27 c remove useless variable ce[1][10][10] 0.19/0.27 c remove useless variable ce[2][0][0] 0.19/0.27 c remove useless variable ce[2][1][0] 0.19/0.27 c remove useless variable ce[2][1][1] 0.19/0.27 c remove useless variable ce[2][2][0] 0.19/0.27 c remove useless variable ce[2][2][1] 0.19/0.27 c remove useless variable ce[2][2][2] 0.19/0.27 c remove useless variable ce[2][3][0] 0.19/0.27 c remove useless variable ce[2][3][1] 0.19/0.27 c remove useless variable ce[2][3][2] 0.19/0.27 c remove useless variable ce[2][3][3] 0.19/0.27 c remove useless variable ce[2][4][0] 0.19/0.27 c remove useless variable ce[2][4][1] 0.19/0.27 c remove useless variable ce[2][4][2] 0.19/0.27 c remove useless variable ce[2][4][3] 0.19/0.27 c remove useless variable ce[2][4][4] 0.19/0.27 c remove useless variable ce[2][5][0] 0.19/0.27 c remove useless variable ce[2][5][1] 0.19/0.27 c remove useless variable ce[2][5][2] 0.19/0.27 c remove useless variable ce[2][5][3] 0.19/0.27 c remove useless variable ce[2][5][4] 0.19/0.27 c remove useless variable ce[2][5][5] 0.19/0.27 c remove useless variable ce[2][6][0] 0.19/0.27 c remove useless variable ce[2][6][1] 0.19/0.27 c remove useless variable ce[2][6][2] 0.19/0.27 c remove useless variable ce[2][6][3] 0.19/0.27 c remove useless variable ce[2][6][4] 0.19/0.27 c remove useless variable ce[2][6][5] 0.19/0.27 c remove useless variable ce[2][6][6] 0.19/0.27 c remove useless variable ce[2][7][0] 0.19/0.27 c remove useless variable ce[2][7][1] 0.19/0.27 c remove useless variable ce[2][7][2] 0.19/0.27 c remove useless variable ce[2][7][3] 0.19/0.27 c remove useless variable ce[2][7][4] 0.19/0.27 c remove useless variable ce[2][7][5] 0.19/0.27 c remove useless variable ce[2][7][6] 0.19/0.27 c remove useless variable ce[2][7][7] 0.19/0.27 c remove useless variable ce[2][8][0] 0.19/0.27 c remove useless variable ce[2][8][1] 0.19/0.27 c remove useless variable ce[2][8][2] 0.19/0.27 c remove useless variable ce[2][8][3] 0.19/0.27 c remove useless variable ce[2][8][4] 0.19/0.27 c remove useless variable ce[2][8][5] 0.19/0.27 c remove useless variable ce[2][8][6] 0.19/0.27 c remove useless variable ce[2][8][7] 0.19/0.27 c remove useless variable ce[2][8][8] 0.19/0.27 c remove useless variable ce[2][9][0] 0.19/0.27 c remove useless variable ce[2][9][1] 0.19/0.27 c remove useless variable ce[2][9][2] 0.19/0.27 c remove useless variable ce[2][9][3] 0.19/0.27 c remove useless variable ce[2][9][4] 0.19/0.27 c remove useless variable ce[2][9][5] 0.19/0.27 c remove useless variable ce[2][9][6] 0.19/0.27 c remove useless variable ce[2][9][7] 0.19/0.27 c remove useless variable ce[2][9][8] 0.19/0.27 c remove useless variable ce[2][9][9] 0.19/0.27 c remove useless variable ce[2][10][0] 0.19/0.27 c remove useless variable ce[2][10][1] 0.19/0.27 c remove useless variable ce[2][10][2] 0.19/0.27 c remove useless variable ce[2][10][3] 0.19/0.27 c remove useless variable ce[2][10][4] 0.19/0.27 c remove useless variable ce[2][10][5] 0.19/0.27 c remove useless variable ce[2][10][6] 0.19/0.27 c remove useless variable ce[2][10][7] 0.19/0.27 c remove useless variable ce[2][10][8] 0.19/0.27 c remove useless variable ce[2][10][9] 0.19/0.27 c remove useless variable ce[2][10][10] 0.19/0.27 c remove useless variable ce[3][0][0] 0.19/0.27 c remove useless variable ce[3][1][0] 0.19/0.27 c remove useless variable ce[3][1][1] 0.19/0.27 c remove useless variable ce[3][2][0] 0.19/0.27 c remove useless variable ce[3][2][1] 0.19/0.27 c remove useless variable ce[3][2][2] 0.19/0.27 c remove useless variable ce[3][3][0] 0.19/0.27 c remove useless variable ce[3][3][1] 0.19/0.27 c remove useless variable ce[3][3][2] 0.19/0.27 c remove useless variable ce[3][3][3] 0.19/0.27 c remove useless variable ce[3][4][0] 0.19/0.27 c remove useless variable ce[3][4][1] 0.19/0.27 c remove useless variable ce[3][4][2] 0.19/0.27 c remove useless variable ce[3][4][3] 0.19/0.27 c remove useless variable ce[3][4][4] 0.19/0.27 c remove useless variable ce[3][5][0] 0.19/0.27 c remove useless variable ce[3][5][1] 0.19/0.27 c remove useless variable ce[3][5][2] 0.19/0.27 c remove useless variable ce[3][5][3] 0.19/0.27 c remove useless variable ce[3][5][4] 0.19/0.27 c remove useless variable ce[3][5][5] 0.19/0.27 c remove useless variable ce[3][6][0] 0.19/0.27 c remove useless variable ce[3][6][1] 0.19/0.27 c remove useless variable ce[3][6][2] 0.19/0.27 c remove useless variable ce[3][6][3] 0.19/0.27 c remove useless variable ce[3][6][4] 0.19/0.27 c remove useless variable ce[3][6][5] 0.19/0.27 c remove useless variable ce[3][6][6] 0.19/0.27 c remove useless variable ce[3][7][0] 0.19/0.27 c remove useless variable ce[3][7][1] 0.19/0.27 c remove useless variable ce[3][7][2] 0.19/0.27 c remove useless variable ce[3][7][3] 0.19/0.27 c remove useless variable ce[3][7][4] 0.19/0.27 c remove useless variable ce[3][7][5] 0.19/0.27 c remove useless variable ce[3][7][6] 0.19/0.27 c remove useless variable ce[3][7][7] 0.19/0.27 c remove useless variable ce[3][8][0] 0.19/0.27 c remove useless variable ce[3][8][1] 0.19/0.27 c remove useless variable ce[3][8][2] 0.19/0.27 c remove useless variable ce[3][8][3] 0.19/0.27 c remove useless variable ce[3][8][4] 0.19/0.27 c remove useless variable ce[3][8][5] 0.19/0.27 c remove useless variable ce[3][8][6] 0.19/0.27 c remove useless variable ce[3][8][7] 0.19/0.27 c remove useless variable ce[3][8][8] 0.19/0.27 c remove useless variable ce[3][9][0] 0.19/0.27 c remove useless variable ce[3][9][1] 0.19/0.27 c remove useless variable ce[3][9][2] 0.19/0.27 c remove useless variable ce[3][9][3] 0.19/0.27 c remove useless variable ce[3][9][4] 0.19/0.27 c remove useless variable ce[3][9][5] 0.19/0.27 c remove useless variable ce[3][9][6] 0.19/0.27 c remove useless variable ce[3][9][7] 0.19/0.27 c remove useless variable ce[3][9][8] 0.19/0.27 c remove useless variable ce[3][9][9] 0.19/0.27 c remove useless variable ce[3][10][0] 0.19/0.27 c remove useless variable ce[3][10][1] 0.19/0.27 c remove useless variable ce[3][10][2] 0.19/0.27 c remove useless variable ce[3][10][3] 0.19/0.27 c remove useless variable ce[3][10][4] 0.19/0.27 c remove useless variable ce[3][10][5] 0.19/0.27 c remove useless variable ce[3][10][6] 0.19/0.27 c remove useless variable ce[3][10][7] 0.19/0.27 c remove useless variable ce[3][10][8] 0.19/0.27 c remove useless variable ce[3][10][9] 0.19/0.27 c remove useless variable ce[3][10][10] 0.28/0.32 c 101 354 33964 35670 0 0 254 254 251 0.38/0.41 c 211 638 65180 358556 0 0 4 174 170 0.38/0.49 c 332 862 87499 668386 0 0 8 103 99 0.48/0.53 c 465 1065 95835 842787 0 0 8 71 47 0.48/0.56 c 611 1252 100804 1015218 0 0 3 42 29 0.58/0.62 c 771 1588 120779 1236456 0 0 3 177 57 0.58/0.65 c 947 1832 126017 1438611 0 0 4 69 36 0.68/0.71 c 1140 2214 145427 1649007 0 0 5 190 80 0.68/0.76 c 1352 2502 151609 1896797 0 0 4 77 52 0.78/0.86 c 1585 2754 162614 2259950 0 0 18 19 17 0.88/0.94 c 1841 3076 173199 2668226 0 0 12 66 57 1.19/1.21 c 2122 3389 193745 3988276 0 0 5 32 30 1.28/1.36 c 2431 3715 206283 4730007 0 0 16 17 16 1.48/1.53 c 2770 4081 222093 5613618 0 0 12 20 19 1.58/1.62 c 3142 4522 235084 6154090 0 0 4 69 66 1.68/1.70 c 3551 5081 247583 6443183 0 0 5 149 110 1.68/1.73 c 4000 5542 261607 6659683 0 0 5 12 11 1.78/1.84 c 4493 6165 272760 7190402 0 0 10 128 103 1.88/1.93 c 5035 6871 285795 7580652 0 0 4 160 128 1.98/2.07 c 5631 7581 296130 8329600 0 0 11 112 93 2.09/2.11 c 6286 8246 315962 8636912 0 0 9 9 8 2.39/2.43 c 7006 8996 341172 10297818 0 0 4 28 27 2.69/2.76 c 7798 9849 364798 11518691 0 0 3 58 56 2.89/2.94 c 8669 10832 384827 12571240 0 0 11 102 65 3.09/3.20 c 9627 11811 418895 14155800 0 0 11 19 18 3.40/3.46 c 10680 13019 442767 15729055 0 0 3 76 66 3.69/3.70 c 11838 14232 481298 17019371 0 0 5 51 25 4.29/4.32 c 13111 15527 532540 20023997 0 0 11 13 12 4.59/4.69 c 14511 16972 565744 22253852 0 0 8 39 38 4.89/4.97 c 16051 18691 591471 24079112 0 0 4 121 95 5.60/5.68 c 17745 20557 636049 28021365 0 0 12 112 73 6.89/6.94 c 19608 22458 723227 34712987 0 0 21 30 29 6.99/7.07 c 21657 24527 795546 35631683 0 0 13 13 12 7.59/7.62 c 23910 26827 855457 38827701 0 0 4 38 37 9.09/9.16 c 26388 29355 962532 47352678 0 0 4 40 39 9.79/9.83 c 29113 32147 1059156 50475397 0 0 6 56 55 10.29/10.34 c 32110 35409 1108377 53408526 0 0 6 171 130 10.69/10.77 c 35406 39088 1226870 55771953 0 0 10 59 57 11.00/11.08 c 39031 42739 1351679 57769386 0 0 4 13 12 12.49/12.56 c 43018 46935 1455873 67802960 0 0 3 74 69 12.79/12.82 c 47403 51345 1603589 69761388 0 0 9 9 8 13.69/13.77 c 52226 56209 1796113 73763045 0 0 4 23 22 16.29/16.30 c 57531 61584 2016205 85155918 0 0 3 48 47 16.99/17.01 c 63366 67683 2233712 89118875 0 0 4 25 24 18.39/18.49 c 69784 74145 2446190 98244735 0 0 4 19 18 22.10/22.17 c 76843 81730 2622029 115624746 0 0 5 59 58 24.09/24.14 c 84607 89905 2775755 127621831 0 0 13 46 40 24.59/24.65 c 93147 98488 3085155 131446490 0 0 10 10 9 25.49/25.58 c 102541 107932 3416569 137062912 0 0 4 13 12 27.89/27.92 c 112874 118764 3632143 147342609 0 0 5 111 89 32.09/32.19 c 124240 130443 4022792 172313458 0 0 5 47 42 33.39/33.45 c 136742 143016 4483872 179879552 0 0 5 20 19 36.40/36.46 c 150494 156865 4835346 202842281 0 0 4 34 32 41.29/41.32 c 165621 172096 5249814 238059090 0 0 5 33 32 46.69/46.79 c 182260 189547 5754831 272900395 0 0 5 32 31 50.99/51.01 c 200562 207969 6220297 305004214 0 0 4 34 33 53.39/53.43 c 220694 228714 6945844 318538228 0 0 4 33 32 58.30/58.35 c 242839 253188 7294268 349277441 0 0 4 132 115 59.69/59.75 c 267198 277649 8170400 360105843 0 0 6 6 5 61.29/61.35 c 293992 304567 8923619 372088826 0 0 4 16 15 69.69/69.74 c 323465 334181 9892985 424678957 0 0 5 19 18 80.30/80.35 c 355885 368229 10822989 493763414 0 0 6 45 44 91.79/91.84 c 391547 404308 11614004 557711260 0 0 4 79 72 94.09/94.10 c 430775 443700 13026218 575181864 0 0 9 9 8 96.69/96.71 c 473925 487040 14235233 594580192 0 0 4 14 13 110.29/110.30 c 521390 534721 15798380 679746659 0 0 5 18 17 120.59/120.61 c 573601 591351 16493096 740391919 0 0 5 132 106 123.89/123.95 c 631033 649021 18557924 765968425 0 0 10 10 9 141.09/141.18 c 694208 712993 20601954 872398828 0 0 4 16 15 184.69/184.77 c 763700 782912 23035490 1097968903 0 0 5 44 43 215.70/215.78 c 840141 865485 24612300 1286642285 0 0 4 85 71 220.59/220.62 c 924226 949916 27639155 1324075216 0 0 11 12 11 229.79/229.82 c 1016719 1042800 30893620 1378983673 0 0 4 15 14 267.80/267.84 c 1118461 1145100 33419262 1619457593 0 0 4 38 37 298.40/298.41 c 1230377 1265033 35247993 1798489112 0 0 6 94 79 310.20/310.21 c 1353484 1389627 39777553 1871006727 0 0 7 11 10 335.30/335.36 c 1488901 1525667 43242047 2015829290 0 0 4 27 26 485.30/485.31 c 1637859 1677062 52938057 2766110830 0 0 5 52 39 502.71/502.71 c 1801712 1845392 58675592 2867936151 0 0 5 35 31 535.10/535.10 c 1981950 2032547 63930348 3076553475 0 0 4 40 29 550.60/550.62 c 2180211 2231778 69489790 3174302147 0 0 5 25 24 610.51/610.59 c 2398298 2450908 76790740 3543370250 0 0 4 37 36 680.61/680.65 c 2638193 2697946 80402914 3922479691 0 0 4 197 191 730.52/730.58 c 2902077 2983706 83647497 4223622578 0 0 3 146 126 783.71/783.76 c 3192349 3284138 86888621 4569668752 0 0 5 137 128 847.61/847.60 c 3511648 3616581 90843748 4979674620 0 0 4 134 114 904.91/904.91 c 3862876 3976819 102202260 5338053164 0 0 7 33 24 984.12/984.15 c 4249226 4369370 106024064 5836083843 0 0 4 134 111 1045.02/1045.04 c 4674211 4810504 116976172 6215623043 0 0 4 123 55 1193.42/1193.48 c 5141694 5338860 134924262 6930802055 0 0 6 107 27 1630.24/1630.29 c 5655925 5855366 165103639 8836094755 0 0 5 30 29 1771.44/1771.44 c 6221579 6444680 177826026 9602031787 0 0 4 122 91 1888.54/1888.52 c 6843798 7082624 195355221 10276849936 0 0 9 54 35 2001.84/2001.87 c 7528238 7769930 218287113 10906219454 0 0 4 25 19 2124.35/2124.39 c 8281122 8557048 233558740 11600847686 0 0 6 81 49 2312.46/2312.46 c 9109294 9421663 246383417 12849924844 0 0 7 134 99 2394.26/2394.24 c 10020283 10336484 278426026 13397949707 0 0 8 36 16
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-4251708-1500918218/watcher-4251708-1500918218 -o /tmp/evaluation-result-4251708-1500918218/solver-4251708-1500918218 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500915816-3623 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251708-1500918218.xml pid=3905 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.00 2.02 1.96 3/181 3908 /proc/meminfo: memFree=32080540/32770624 swapFree=5776/148712 [pid=3908] ppid=3905 vsize=26904 CPUtime=0 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 1410571 27549696 759 33554432000 4194304 5744392 140726783447472 140726783444120 140086789876709 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 6726 759 677 379 0 145 0 [startup+0.100201 s] /proc/loadavg: 2.00 2.02 1.96 3/181 3908 /proc/meminfo: memFree=32080540/32770624 swapFree=5776/148712 [pid=3908] ppid=3905 vsize=29744 CPUtime=0.09 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 1752 0 0 0 9 0 0 0 20 0 1 0 1410571 30457856 1591 33554432000 4194304 5744392 140726783447472 140726783444120 140086789876709 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 7436 1591 773 379 0 855 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29744 [startup+0.20035 s] /proc/loadavg: 2.00 2.02 1.96 3/181 3908 /proc/meminfo: memFree=32080540/32770624 swapFree=5776/148712 [pid=3908] ppid=3905 vsize=31392 CPUtime=0.19 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 2182 0 0 0 19 0 0 0 20 0 1 0 1410571 32145408 1971 33554432000 4194304 5744392 140726783447472 140726783444120 140086789876709 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 7848 1971 773 379 0 1267 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 31392 [startup+0.300323 s] /proc/loadavg: 2.00 2.02 1.96 3/181 3908 /proc/meminfo: memFree=32080540/32770624 swapFree=5776/148712 [pid=3908] ppid=3905 vsize=33024 CPUtime=0.28 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 2605 0 0 0 28 0 0 0 20 0 1 0 1410571 33816576 2386 33554432000 4194304 5744392 140726783447472 140726783444120 5127629 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8256 2386 807 379 0 1675 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 33024 [startup+0.70028 s] /proc/loadavg: 2.00 2.02 1.96 3/181 3908 /proc/meminfo: memFree=32080540/32770624 swapFree=5776/148712 [pid=3908] ppid=3905 vsize=33580 CPUtime=0.68 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 2760 0 0 0 68 0 0 0 20 0 1 0 1410571 34385920 2562 33554432000 4194304 5744392 140726783447472 140726783444120 4913888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8395 2562 813 379 0 1814 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 33580 [startup+1.50026 s] /proc/loadavg: 2.00 2.02 1.96 3/182 3909 /proc/meminfo: memFree=32072952/32770624 swapFree=5776/148712 [pid=3908] ppid=3905 vsize=34240 CPUtime=1.48 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 2922 0 0 0 148 0 0 0 20 0 1 0 1410571 35061760 2694 33554432000 4194304 5744392 140726783447472 140726783444872 4873223 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8560 2694 813 379 0 1979 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34240 [startup+3.10028 s] /proc/loadavg: 2.00 2.02 1.96 3/182 3970 /proc/meminfo: memFree=32074320/32770624 swapFree=5776/148684 [pid=3908] ppid=3905 vsize=34768 CPUtime=3.09 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 4294 0 0 0 308 1 0 0 20 0 1 0 1410571 35602432 2880 33554432000 4194304 5744392 140726783447472 140726783444872 4873208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8692 2880 813 379 0 2111 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34768 [startup+6.30028 s] /proc/loadavg: 2.00 2.02 1.96 3/182 3970 /proc/meminfo: memFree=32073352/32770624 swapFree=5776/148692 [pid=3908] ppid=3905 vsize=35296 CPUtime=6.29 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 5806 0 0 0 628 1 0 0 20 0 1 0 1410571 36143104 2987 33554432000 4194304 5744392 140726783447472 140726783444616 4910662 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8824 2987 813 379 0 2243 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35296 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 1.96 3/182 3970 /proc/meminfo: memFree=32072408/32770624 swapFree=5776/148700 [pid=3908] ppid=3905 vsize=35428 CPUtime=12.69 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 7385 0 0 0 1268 1 0 0 20 0 1 0 1410571 36278272 3043 33554432000 4194304 5744392 140726783447472 140726783444872 4998896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8857 3043 813 379 0 2276 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35428 [startup+25.5003 s] /proc/loadavg: 2.08 2.03 1.96 3/182 3970 /proc/meminfo: memFree=32072092/32770624 swapFree=5776/148716 [pid=3908] ppid=3905 vsize=35692 CPUtime=25.49 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 9350 0 0 0 2548 1 0 0 20 0 1 0 1410571 36548608 3112 33554432000 4194304 5744392 140726783447472 140726783444872 4904916 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8923 3112 813 379 0 2342 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35692 [startup+51.1003 s] /proc/loadavg: 2.05 2.03 1.96 3/182 3970 /proc/meminfo: memFree=32072200/32770624 swapFree=5776/148760 [pid=3908] ppid=3905 vsize=35692 CPUtime=51.09 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 9912 0 0 0 5108 1 0 0 20 0 1 0 1410571 36548608 3129 33554432000 4194304 5744392 140726783447472 140726783444872 4998896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8923 3129 813 379 0 2342 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 35692 [startup+102.3 s] /proc/loadavg: 2.02 2.02 1.96 3/182 4031 /proc/meminfo: memFree=32021756/32770624 swapFree=5776/148852 [pid=3908] ppid=3905 vsize=35824 CPUtime=102.3 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 10544 0 0 0 10229 1 0 0 20 0 1 0 1410571 36683776 3149 33554432000 4194304 5744392 140726783447472 140726783444872 4873241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3149 813 379 0 2375 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 35824 [startup+162.3 s] /proc/loadavg: 2.01 2.02 1.96 3/182 4032 /proc/meminfo: memFree=32020212/32770624 swapFree=5776/148932 [pid=3908] ppid=3905 vsize=35824 CPUtime=162.29 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 11167 0 0 0 16228 1 0 0 20 0 1 0 1410571 36683776 3164 33554432000 4194304 5744392 140726783447472 140726783444872 4970954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3164 813 379 0 2375 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 35824 [startup+222.306 s] /proc/loadavg: 2.00 2.01 1.96 3/182 4033 /proc/meminfo: memFree=32019652/32770624 swapFree=5776/148992 [pid=3908] ppid=3905 vsize=35824 CPUtime=222.3 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 11729 0 0 0 22229 1 0 0 20 0 1 0 1410571 36683776 3166 33554432000 4194304 5744392 140726783447472 140726783444872 4873227 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3166 813 379 0 2375 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 35824 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.96 3/182 4034 /proc/meminfo: memFree=32019836/32770624 swapFree=5776/149048 [pid=3908] ppid=3905 vsize=35824 CPUtime=282.3 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 12324 0 0 0 28229 1 0 0 20 0 1 0 1410571 36683776 3169 33554432000 4194304 5744392 140726783447472 140726783444872 4901852 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3169 813 379 0 2375 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 35824 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.96 3/182 4035 /proc/meminfo: memFree=32019880/32770624 swapFree=5776/149100 [pid=3908] ppid=3905 vsize=35824 CPUtime=342.3 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 12869 0 0 0 34229 1 0 0 20 0 1 0 1410571 36683776 3170 33554432000 4194304 5744392 140726783447472 140726783444872 4905425 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3170 813 379 0 2375 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 35824 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.96 3/182 4043 /proc/meminfo: memFree=32019032/32770624 swapFree=5776/149148 [pid=3908] ppid=3905 vsize=35824 CPUtime=402.3 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 13358 0 0 0 40229 1 0 0 20 0 1 0 1410571 36683776 3170 33554432000 4194304 5744392 140726783447472 140726783444872 4873263 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3170 813 379 0 2375 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 35824 [startup+462.3 s] /proc/loadavg: 2.08 2.03 1.97 3/182 4044 /proc/meminfo: memFree=32018932/32770624 swapFree=5776/149192 [pid=3908] ppid=3905 vsize=35824 CPUtime=462.3 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 13834 0 0 0 46229 1 0 0 20 0 1 0 1410571 36683776 3170 33554432000 4194304 5744392 140726783447472 140726783444872 4970952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3170 813 379 0 2375 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 35824 [startup+522.3 s] /proc/loadavg: 2.12 2.05 1.98 3/182 4045 /proc/meminfo: memFree=32018560/32770624 swapFree=5776/149244 [pid=3908] ppid=3905 vsize=35824 CPUtime=522.3 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 14307 0 0 0 52229 1 0 0 20 0 1 0 1410571 36683776 3171 33554432000 4194304 5744392 140726783447472 140726783444872 4998896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8956 3171 813 379 0 2375 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 35824 [startup+582.3 s] /proc/loadavg: 2.04 2.04 1.98 3/182 4046 /proc/meminfo: memFree=32018956/32770624 swapFree=5776/149300 [pid=3908] ppid=3905 vsize=35956 CPUtime=582.31 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 14757 0 0 0 58230 1 0 0 20 0 1 0 1410571 36818944 3174 33554432000 4194304 5744392 140726783447472 140726783444872 4901875 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 8989 3174 813 379 0 2408 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 35956 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.05 2.03 1.99 3/182 4092 /proc/meminfo: memFree=32012760/32770624 swapFree=5776/149944 [pid=3908] ppid=3905 vsize=36220 CPUtime=1482.33 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 23909 0 0 0 148232 1 0 0 20 0 1 0 1410571 37089280 3269 33554432000 4194304 5744392 140726783447472 140726783444872 4952941 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9055 3269 813 379 0 2474 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 36220 [startup+1542.31 s] /proc/loadavg: 2.02 2.02 1.99 3/182 4093 /proc/meminfo: memFree=32012888/32770624 swapFree=5776/149984 [pid=3908] ppid=3905 vsize=36220 CPUtime=1542.34 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 24499 0 0 0 154233 1 0 0 20 0 1 0 1410571 37089280 3269 33554432000 4194304 5744392 140726783447472 140726783444872 4952966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9055 3269 813 379 0 2474 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 36220 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 1.99 3/182 4101 /proc/meminfo: memFree=32012496/32770624 swapFree=5776/150020 [pid=3908] ppid=3905 vsize=36220 CPUtime=1602.33 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 25093 0 0 0 160232 1 0 0 20 0 1 0 1410571 37089280 3269 33554432000 4194304 5744392 140726783447472 140726783444872 4971616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9055 3269 813 379 0 2474 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 36220 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4102 /proc/meminfo: memFree=32012612/32770624 swapFree=5776/150052 [pid=3908] ppid=3905 vsize=36220 CPUtime=1662.33 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 25700 0 0 0 166232 1 0 0 20 0 1 0 1410571 37089280 3269 33554432000 4194304 5744392 140726783447472 140726783444872 4910373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9055 3269 813 379 0 2474 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 36220 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4103 /proc/meminfo: memFree=32012736/32770624 swapFree=5776/150080 [pid=3908] ppid=3905 vsize=36220 CPUtime=1722.34 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 26285 0 0 0 172233 1 0 0 20 0 1 0 1410571 37089280 3269 33554432000 4194304 5744392 140726783447472 140726783444872 4917514 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9055 3269 813 379 0 2474 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 36220 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4104 /proc/meminfo: memFree=32012620/32770624 swapFree=5776/150112 [pid=3908] ppid=3905 vsize=36220 CPUtime=1782.34 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 26855 0 0 0 178233 1 0 0 20 0 1 0 1410571 37089280 3270 33554432000 4194304 5744392 140726783447472 140726783444872 4970576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9055 3270 813 379 0 2474 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 36220 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4105 /proc/meminfo: memFree=32012124/32770624 swapFree=5776/150156 [pid=3908] ppid=3905 vsize=36352 CPUtime=1842.34 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 27411 0 0 0 184233 1 0 0 20 0 1 0 1410571 37224448 3271 33554432000 4194304 5744392 140726783447472 140726783444616 4901852 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3271 813 379 0 2507 0 Current children cumulated CPU time (s) 1842.34 Current children cumulated vsize (KiB) 36352 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4106 /proc/meminfo: memFree=32012124/32770624 swapFree=5776/150192 [pid=3908] ppid=3905 vsize=36352 CPUtime=1902.34 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 27869 0 0 0 190233 1 0 0 20 0 1 0 1410571 37224448 3273 33554432000 4194304 5744392 140726783447472 140726783444872 4913898 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3273 813 379 0 2507 0 Current children cumulated CPU time (s) 1902.34 Current children cumulated vsize (KiB) 36352 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4107 /proc/meminfo: memFree=32011884/32770624 swapFree=5776/150232 [pid=3908] ppid=3905 vsize=36352 CPUtime=1962.34 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 28462 0 0 0 196233 1 0 0 20 0 1 0 1410571 37224448 3273 33554432000 4194304 5744392 140726783447472 140726783444872 4917591 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3273 813 379 0 2507 0 Current children cumulated CPU time (s) 1962.34 Current children cumulated vsize (KiB) 36352 [startup+2022.3 s] /proc/loadavg: 2.07 2.03 1.99 3/182 4108 /proc/meminfo: memFree=32012140/32770624 swapFree=5776/150268 [pid=3908] ppid=3905 vsize=36352 CPUtime=2022.34 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 28950 0 0 0 202233 1 0 0 20 0 1 0 1410571 37224448 3273 33554432000 4194304 5744392 140726783447472 140726783444872 4952969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3273 813 379 0 2507 0 Current children cumulated CPU time (s) 2022.34 Current children cumulated vsize (KiB) 36352 [startup+2082.3 s] /proc/loadavg: 2.03 2.02 1.99 3/182 4109 /proc/meminfo: memFree=32012512/32770624 swapFree=5776/150300 [pid=3908] ppid=3905 vsize=36352 CPUtime=2082.35 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 29608 0 0 0 208234 1 0 0 20 0 1 0 1410571 37224448 3276 33554432000 4194304 5744392 140726783447472 140726783444872 4904853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3276 813 379 0 2507 0 Current children cumulated CPU time (s) 2082.35 Current children cumulated vsize (KiB) 36352 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 1.99 3/182 4110 /proc/meminfo: memFree=32012636/32770624 swapFree=5776/150336 [pid=3908] ppid=3905 vsize=36352 CPUtime=2142.35 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 30225 0 0 0 214234 1 0 0 20 0 1 0 1410571 37224448 3277 33554432000 4194304 5744392 140726783447472 140726783444872 4908285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3277 813 379 0 2507 0 Current children cumulated CPU time (s) 2142.35 Current children cumulated vsize (KiB) 36352 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4118 /proc/meminfo: memFree=32011724/32770624 swapFree=5776/150388 [pid=3908] ppid=3905 vsize=36352 CPUtime=2202.36 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 30707 0 0 0 220234 2 0 0 20 0 1 0 1410571 37224448 3277 33554432000 4194304 5744392 140726783447472 140726783444872 4904853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3277 813 379 0 2507 0 Current children cumulated CPU time (s) 2202.36 Current children cumulated vsize (KiB) 36352 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4119 /proc/meminfo: memFree=32011832/32770624 swapFree=5776/150416 [pid=3908] ppid=3905 vsize=36352 CPUtime=2262.36 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 31138 0 0 0 226234 2 0 0 20 0 1 0 1410571 37224448 3277 33554432000 4194304 5744392 140726783447472 140726783444872 4998896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3277 813 379 0 2507 0 Current children cumulated CPU time (s) 2262.36 Current children cumulated vsize (KiB) 36352 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4120 /proc/meminfo: memFree=32011344/32770624 swapFree=5776/150444 [pid=3908] ppid=3905 vsize=36352 CPUtime=2322.36 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 31726 0 0 0 232234 2 0 0 20 0 1 0 1410571 37224448 3277 33554432000 4194304 5744392 140726783447472 140726783444872 5008654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3277 813 379 0 2507 0 Current children cumulated CPU time (s) 2322.36 Current children cumulated vsize (KiB) 36352 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4121 /proc/meminfo: memFree=32010832/32770624 swapFree=5776/150476 [pid=3908] ppid=3905 vsize=36352 CPUtime=2382.36 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 32155 0 0 0 238234 2 0 0 20 0 1 0 1410571 37224448 3277 33554432000 4194304 5744392 140726783447472 140726783444872 4971709 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3277 813 379 0 2507 0 Current children cumulated CPU time (s) 2382.36 Current children cumulated vsize (KiB) 36352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s] /proc/loadavg: 2.00 2.01 1.99 3/182 4122 /proc/meminfo: memFree=32010848/32770624 swapFree=5776/150496 [pid=3908] ppid=3905 vsize=36352 CPUtime=2400.06 cores=0,2,4,6 /proc/3908/stat : 3908 (cosoco) R 3905 3908 3592 0 -1 4202496 32559 0 0 0 240004 2 0 0 20 0 1 0 1410571 37224448 3278 33554432000 4194304 5744392 140726783447472 140726783444872 4998896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 23764992 140726783456449 140726783456579 140726783456579 140726783459278 0 /proc/3908/statm: 9088 3278 813 379 0 2507 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 36352 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 3908 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400 CPU time (s): 2400.07 CPU user time (s): 2400.05 CPU system time (s): 0.021 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 36352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.021 maximum resident set size= 13156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32586 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 3021 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.08388 second user time and 7.82037 second system time The end
Begin job on node146 at 2017-07-24 19:43:38 IDJOB=4251708 IDBENCH=120746 IDSOLVER=2633 FILE ID=node146/4251708-1500918218 RUNJOBID= node146-1500915816-3623 PBS_JOBID= 20625423 Free space on /tmp= 61688 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K11-P04.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251708-1500918218/watcher-4251708-1500918218 -o /tmp/evaluation-result-4251708-1500918218/solver-4251708-1500918218 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500915816-3623 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251708-1500918218.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83a9e5860e8605726185e9821b8e29ef RANDOM SEED=670427365 node146.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.45 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.45 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.45 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.45 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: 32081140 kB MemAvailable: 32059048 kB Buffers: 40976 kB Cached: 251896 kB SwapCached: 0 kB Active: 181000 kB Inactive: 157700 kB Active(anon): 48724 kB Inactive(anon): 8648 kB Active(file): 132276 kB Inactive(file): 149052 kB Unevictable: 5776 kB Mlocked: 5776 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2140 kB Writeback: 0 kB AnonPages: 45624 kB Mapped: 28992 kB Shmem: 8848 kB Slab: 50316 kB SReclaimable: 24832 kB SUnreclaim: 25484 kB KernelStack: 3152 kB PageTables: 4484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 284324 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61688 MiB End job on node146 at 2017-07-24 20:23:38