Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | ? (TO) | 2400.1101 | 2400.21 |
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.25/0.31 c root propagations : 0 0.25/0.31 c restarts enabled, print stats at every restarts 0.25/0.31 c 0.25/0.31 c 0.25/0.31 c 0.25/0.31 c This is cosoco 1.1 -- 0.25/0.31 c 0.25/0.31 c command line: cosoco -lc -model -restarts HOME/instance-4260086-1502019890.xml 0.25/0.31 c ========================================[ Problem Statistics ]=========================================== 0.25/0.31 c | 0.25/0.31 c | Parse time : 0.26 s 0.25/0.31 c | 0.25/0.31 c | Variables: 561 0.25/0.31 c | Domain Sizes: 253..254 0.25/0.31 c | 0.25/0.31 c | Constraints: 255 0.25/0.31 c | Arity: 3..253 -- Ternary: 253 0.25/0.31 c | 0.25/0.31 c | Types: 0.25/0.31 c | All Different: 2 0.25/0.31 c | Intension: 253 0.25/0.31 c | 0.25/0.31 c ========================================================================================================= 0.25/0.31 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.25/0.31 c remove useless variable ce[0][0][0] 0.25/0.31 c remove useless variable ce[0][1][0] 0.25/0.31 c remove useless variable ce[0][1][1] 0.25/0.31 c remove useless variable ce[0][2][0] 0.25/0.31 c remove useless variable ce[0][2][1] 0.25/0.31 c remove useless variable ce[0][2][2] 0.25/0.31 c remove useless variable ce[0][3][0] 0.25/0.31 c remove useless variable ce[0][3][1] 0.25/0.31 c remove useless variable ce[0][3][2] 0.25/0.31 c remove useless variable ce[0][3][3] 0.25/0.31 c remove useless variable ce[0][4][0] 0.25/0.31 c remove useless variable ce[0][4][1] 0.25/0.31 c remove useless variable ce[0][4][2] 0.25/0.31 c remove useless variable ce[0][4][3] 0.25/0.31 c remove useless variable ce[0][4][4] 0.25/0.31 c remove useless variable ce[0][5][0] 0.25/0.31 c remove useless variable ce[0][5][1] 0.25/0.31 c remove useless variable ce[0][5][2] 0.25/0.31 c remove useless variable ce[0][5][3] 0.25/0.31 c remove useless variable ce[0][5][4] 0.25/0.31 c remove useless variable ce[0][5][5] 0.25/0.31 c remove useless variable ce[0][6][0] 0.25/0.31 c remove useless variable ce[0][6][1] 0.25/0.31 c remove useless variable ce[0][6][2] 0.25/0.31 c remove useless variable ce[0][6][3] 0.25/0.31 c remove useless variable ce[0][6][4] 0.25/0.31 c remove useless variable ce[0][6][5] 0.25/0.31 c remove useless variable ce[0][6][6] 0.25/0.31 c remove useless variable ce[0][7][0] 0.25/0.31 c remove useless variable ce[0][7][1] 0.25/0.31 c remove useless variable ce[0][7][2] 0.25/0.31 c remove useless variable ce[0][7][3] 0.25/0.31 c remove useless variable ce[0][7][4] 0.25/0.31 c remove useless variable ce[0][7][5] 0.25/0.31 c remove useless variable ce[0][7][6] 0.25/0.31 c remove useless variable ce[0][7][7] 0.25/0.31 c remove useless variable ce[0][8][0] 0.25/0.31 c remove useless variable ce[0][8][1] 0.25/0.31 c remove useless variable ce[0][8][2] 0.25/0.31 c remove useless variable ce[0][8][3] 0.25/0.31 c remove useless variable ce[0][8][4] 0.25/0.31 c remove useless variable ce[0][8][5] 0.25/0.31 c remove useless variable ce[0][8][6] 0.25/0.31 c remove useless variable ce[0][8][7] 0.25/0.31 c remove useless variable ce[0][8][8] 0.25/0.31 c remove useless variable ce[0][9][0] 0.25/0.31 c remove useless variable ce[0][9][1] 0.25/0.31 c remove useless variable ce[0][9][2] 0.25/0.31 c remove useless variable ce[0][9][3] 0.25/0.31 c remove useless variable ce[0][9][4] 0.25/0.31 c remove useless variable ce[0][9][5] 0.25/0.31 c remove useless variable ce[0][9][6] 0.25/0.31 c remove useless variable ce[0][9][7] 0.25/0.31 c remove useless variable ce[0][9][8] 0.25/0.31 c remove useless variable ce[0][9][9] 0.25/0.31 c remove useless variable ce[0][10][0] 0.25/0.31 c remove useless variable ce[0][10][1] 0.25/0.31 c remove useless variable ce[0][10][2] 0.25/0.31 c remove useless variable ce[0][10][3] 0.25/0.31 c remove useless variable ce[0][10][4] 0.25/0.31 c remove useless variable ce[0][10][5] 0.25/0.31 c remove useless variable ce[0][10][6] 0.25/0.31 c remove useless variable ce[0][10][7] 0.25/0.31 c remove useless variable ce[0][10][8] 0.25/0.31 c remove useless variable ce[0][10][9] 0.25/0.31 c remove useless variable ce[0][10][10] 0.25/0.31 c remove useless variable ce[1][0][0] 0.25/0.31 c remove useless variable ce[1][1][0] 0.25/0.31 c remove useless variable ce[1][1][1] 0.25/0.31 c remove useless variable ce[1][2][0] 0.25/0.31 c remove useless variable ce[1][2][1] 0.25/0.31 c remove useless variable ce[1][2][2] 0.25/0.31 c remove useless variable ce[1][3][0] 0.25/0.31 c remove useless variable ce[1][3][1] 0.25/0.31 c remove useless variable ce[1][3][2] 0.25/0.31 c remove useless variable ce[1][3][3] 0.25/0.31 c remove useless variable ce[1][4][0] 0.25/0.31 c remove useless variable ce[1][4][1] 0.25/0.31 c remove useless variable ce[1][4][2] 0.25/0.31 c remove useless variable ce[1][4][3] 0.25/0.31 c remove useless variable ce[1][4][4] 0.25/0.31 c remove useless variable ce[1][5][0] 0.25/0.31 c remove useless variable ce[1][5][1] 0.25/0.31 c remove useless variable ce[1][5][2] 0.25/0.31 c remove useless variable ce[1][5][3] 0.25/0.31 c remove useless variable ce[1][5][4] 0.25/0.31 c remove useless variable ce[1][5][5] 0.25/0.31 c remove useless variable ce[1][6][0] 0.25/0.31 c remove useless variable ce[1][6][1] 0.25/0.31 c remove useless variable ce[1][6][2] 0.25/0.31 c remove useless variable ce[1][6][3] 0.25/0.31 c remove useless variable ce[1][6][4] 0.25/0.31 c remove useless variable ce[1][6][5] 0.25/0.31 c remove useless variable ce[1][6][6] 0.25/0.31 c remove useless variable ce[1][7][0] 0.25/0.31 c remove useless variable ce[1][7][1] 0.25/0.31 c remove useless variable ce[1][7][2] 0.25/0.31 c remove useless variable ce[1][7][3] 0.25/0.31 c remove useless variable ce[1][7][4] 0.25/0.31 c remove useless variable ce[1][7][5] 0.25/0.31 c remove useless variable ce[1][7][6] 0.25/0.31 c remove useless variable ce[1][7][7] 0.25/0.31 c remove useless variable ce[1][8][0] 0.25/0.31 c remove useless variable ce[1][8][1] 0.25/0.31 c remove useless variable ce[1][8][2] 0.25/0.31 c remove useless variable ce[1][8][3] 0.25/0.31 c remove useless variable ce[1][8][4] 0.25/0.31 c remove useless variable ce[1][8][5] 0.25/0.31 c remove useless variable ce[1][8][6] 0.25/0.31 c remove useless variable ce[1][8][7] 0.25/0.31 c remove useless variable ce[1][8][8] 0.25/0.31 c remove useless variable ce[1][9][0] 0.25/0.31 c remove useless variable ce[1][9][1] 0.25/0.31 c remove useless variable ce[1][9][2] 0.25/0.31 c remove useless variable ce[1][9][3] 0.25/0.31 c remove useless variable ce[1][9][4] 0.25/0.31 c remove useless variable ce[1][9][5] 0.25/0.31 c remove useless variable ce[1][9][6] 0.25/0.31 c remove useless variable ce[1][9][7] 0.25/0.31 c remove useless variable ce[1][9][8] 0.25/0.31 c remove useless variable ce[1][9][9] 0.25/0.31 c remove useless variable ce[1][10][0] 0.25/0.31 c remove useless variable ce[1][10][1] 0.25/0.31 c remove useless variable ce[1][10][2] 0.25/0.31 c remove useless variable ce[1][10][3] 0.25/0.31 c remove useless variable ce[1][10][4] 0.25/0.31 c remove useless variable ce[1][10][5] 0.25/0.31 c remove useless variable ce[1][10][6] 0.25/0.31 c remove useless variable ce[1][10][7] 0.25/0.31 c remove useless variable ce[1][10][8] 0.25/0.31 c remove useless variable ce[1][10][9] 0.25/0.31 c remove useless variable ce[1][10][10] 0.25/0.31 c remove useless variable ce[2][0][0] 0.25/0.31 c remove useless variable ce[2][1][0] 0.25/0.31 c remove useless variable ce[2][1][1] 0.25/0.31 c remove useless variable ce[2][2][0] 0.25/0.31 c remove useless variable ce[2][2][1] 0.25/0.31 c remove useless variable ce[2][2][2] 0.25/0.31 c remove useless variable ce[2][3][0] 0.25/0.31 c remove useless variable ce[2][3][1] 0.25/0.31 c remove useless variable ce[2][3][2] 0.25/0.31 c remove useless variable ce[2][3][3] 0.25/0.31 c remove useless variable ce[2][4][0] 0.25/0.31 c remove useless variable ce[2][4][1] 0.25/0.31 c remove useless variable ce[2][4][2] 0.25/0.31 c remove useless variable ce[2][4][3] 0.25/0.31 c remove useless variable ce[2][4][4] 0.25/0.31 c remove useless variable ce[2][5][0] 0.25/0.31 c remove useless variable ce[2][5][1] 0.25/0.31 c remove useless variable ce[2][5][2] 0.25/0.31 c remove useless variable ce[2][5][3] 0.25/0.31 c remove useless variable ce[2][5][4] 0.25/0.31 c remove useless variable ce[2][5][5] 0.25/0.31 c remove useless variable ce[2][6][0] 0.25/0.31 c remove useless variable ce[2][6][1] 0.25/0.31 c remove useless variable ce[2][6][2] 0.25/0.31 c remove useless variable ce[2][6][3] 0.25/0.31 c remove useless variable ce[2][6][4] 0.25/0.31 c remove useless variable ce[2][6][5] 0.25/0.31 c remove useless variable ce[2][6][6] 0.25/0.31 c remove useless variable ce[2][7][0] 0.25/0.31 c remove useless variable ce[2][7][1] 0.25/0.31 c remove useless variable ce[2][7][2] 0.25/0.31 c remove useless variable ce[2][7][3] 0.25/0.31 c remove useless variable ce[2][7][4] 0.25/0.31 c remove useless variable ce[2][7][5] 0.25/0.31 c remove useless variable ce[2][7][6] 0.25/0.31 c remove useless variable ce[2][7][7] 0.25/0.31 c remove useless variable ce[2][8][0] 0.25/0.31 c remove useless variable ce[2][8][1] 0.25/0.31 c remove useless variable ce[2][8][2] 0.25/0.31 c remove useless variable ce[2][8][3] 0.25/0.31 c remove useless variable ce[2][8][4] 0.25/0.31 c remove useless variable ce[2][8][5] 0.25/0.31 c remove useless variable ce[2][8][6] 0.25/0.31 c remove useless variable ce[2][8][7] 0.25/0.31 c remove useless variable ce[2][8][8] 0.25/0.31 c remove useless variable ce[2][9][0] 0.25/0.31 c remove useless variable ce[2][9][1] 0.25/0.31 c remove useless variable ce[2][9][2] 0.25/0.31 c remove useless variable ce[2][9][3] 0.25/0.31 c remove useless variable ce[2][9][4] 0.25/0.31 c remove useless variable ce[2][9][5] 0.25/0.31 c remove useless variable ce[2][9][6] 0.25/0.31 c remove useless variable ce[2][9][7] 0.25/0.31 c remove useless variable ce[2][9][8] 0.25/0.31 c remove useless variable ce[2][9][9] 0.25/0.31 c remove useless variable ce[2][10][0] 0.25/0.31 c remove useless variable ce[2][10][1] 0.25/0.31 c remove useless variable ce[2][10][2] 0.25/0.31 c remove useless variable ce[2][10][3] 0.25/0.31 c remove useless variable ce[2][10][4] 0.25/0.31 c remove useless variable ce[2][10][5] 0.25/0.31 c remove useless variable ce[2][10][6] 0.25/0.31 c remove useless variable ce[2][10][7] 0.25/0.31 c remove useless variable ce[2][10][8] 0.25/0.31 c remove useless variable ce[2][10][9] 0.25/0.31 c remove useless variable ce[2][10][10] 0.25/0.31 c remove useless variable ce[3][0][0] 0.25/0.31 c remove useless variable ce[3][1][0] 0.25/0.31 c remove useless variable ce[3][1][1] 0.25/0.31 c remove useless variable ce[3][2][0] 0.25/0.31 c remove useless variable ce[3][2][1] 0.25/0.31 c remove useless variable ce[3][2][2] 0.25/0.31 c remove useless variable ce[3][3][0] 0.25/0.31 c remove useless variable ce[3][3][1] 0.25/0.31 c remove useless variable ce[3][3][2] 0.25/0.31 c remove useless variable ce[3][3][3] 0.25/0.31 c remove useless variable ce[3][4][0] 0.25/0.31 c remove useless variable ce[3][4][1] 0.25/0.31 c remove useless variable ce[3][4][2] 0.25/0.31 c remove useless variable ce[3][4][3] 0.25/0.31 c remove useless variable ce[3][4][4] 0.25/0.31 c remove useless variable ce[3][5][0] 0.25/0.31 c remove useless variable ce[3][5][1] 0.25/0.31 c remove useless variable ce[3][5][2] 0.25/0.31 c remove useless variable ce[3][5][3] 0.25/0.31 c remove useless variable ce[3][5][4] 0.25/0.31 c remove useless variable ce[3][5][5] 0.25/0.31 c remove useless variable ce[3][6][0] 0.25/0.31 c remove useless variable ce[3][6][1] 0.25/0.31 c remove useless variable ce[3][6][2] 0.25/0.31 c remove useless variable ce[3][6][3] 0.25/0.31 c remove useless variable ce[3][6][4] 0.25/0.31 c remove useless variable ce[3][6][5] 0.25/0.31 c remove useless variable ce[3][6][6] 0.25/0.31 c remove useless variable ce[3][7][0] 0.25/0.31 c remove useless variable ce[3][7][1] 0.25/0.31 c remove useless variable ce[3][7][2] 0.25/0.31 c remove useless variable ce[3][7][3] 0.25/0.31 c remove useless variable ce[3][7][4] 0.25/0.31 c remove useless variable ce[3][7][5] 0.25/0.31 c remove useless variable ce[3][7][6] 0.25/0.31 c remove useless variable ce[3][7][7] 0.25/0.31 c remove useless variable ce[3][8][0] 0.25/0.31 c remove useless variable ce[3][8][1] 0.25/0.31 c remove useless variable ce[3][8][2] 0.25/0.31 c remove useless variable ce[3][8][3] 0.25/0.31 c remove useless variable ce[3][8][4] 0.25/0.31 c remove useless variable ce[3][8][5] 0.25/0.31 c remove useless variable ce[3][8][6] 0.25/0.31 c remove useless variable ce[3][8][7] 0.25/0.31 c remove useless variable ce[3][8][8] 0.25/0.31 c remove useless variable ce[3][9][0] 0.25/0.31 c remove useless variable ce[3][9][1] 0.25/0.31 c remove useless variable ce[3][9][2] 0.25/0.31 c remove useless variable ce[3][9][3] 0.25/0.31 c remove useless variable ce[3][9][4] 0.25/0.31 c remove useless variable ce[3][9][5] 0.25/0.31 c remove useless variable ce[3][9][6] 0.25/0.31 c remove useless variable ce[3][9][7] 0.25/0.31 c remove useless variable ce[3][9][8] 0.25/0.31 c remove useless variable ce[3][9][9] 0.25/0.31 c remove useless variable ce[3][10][0] 0.25/0.31 c remove useless variable ce[3][10][1] 0.25/0.31 c remove useless variable ce[3][10][2] 0.25/0.31 c remove useless variable ce[3][10][3] 0.25/0.31 c remove useless variable ce[3][10][4] 0.25/0.31 c remove useless variable ce[3][10][5] 0.25/0.31 c remove useless variable ce[3][10][6] 0.25/0.31 c remove useless variable ce[3][10][7] 0.25/0.31 c remove useless variable ce[3][10][8] 0.25/0.31 c remove useless variable ce[3][10][9] 0.25/0.31 c remove useless variable ce[3][10][10] 0.25/0.37 c 101 354 33964 35670 0 0 254 254 251 0.35/0.46 c 211 638 65180 358556 0 0 4 174 170 0.45/0.55 c 332 862 87499 668386 0 0 8 103 99 0.45/0.59 c 465 1065 95835 842787 0 0 8 71 47 0.55/0.62 c 611 1252 100804 1015218 0 0 3 42 29 0.55/0.68 c 771 1588 120779 1236456 0 0 3 177 57 0.65/0.72 c 947 1832 126017 1438611 0 0 4 69 36 0.65/0.78 c 1140 2214 145427 1649007 0 0 5 190 80 0.75/0.83 c 1352 2502 151609 1896797 0 0 4 77 52 0.85/0.93 c 1585 2754 162614 2259950 0 0 18 19 17 0.95/1.01 c 1841 3076 173199 2668226 0 0 12 66 57 1.15/1.27 c 2122 3389 193745 3988276 0 0 5 32 30 1.35/1.43 c 2431 3715 206283 4730007 0 0 16 17 16 1.55/1.60 c 2770 4081 222093 5613618 0 0 12 20 19 1.55/1.69 c 3142 4522 235084 6154090 0 0 4 69 66 1.65/1.77 c 3551 5081 247583 6443183 0 0 5 149 110 1.75/1.80 c 4000 5542 261607 6659683 0 0 5 12 11 1.85/1.91 c 4493 6165 272760 7190402 0 0 10 128 103 1.95/2.00 c 5035 6871 285795 7580652 0 0 4 160 128 2.05/2.14 c 5631 7581 296130 8329600 0 0 11 112 93 2.05/2.19 c 6286 8246 315962 8636912 0 0 9 9 8 2.45/2.50 c 7006 8996 341172 10297818 0 0 4 28 27 2.75/2.84 c 7798 9849 364798 11518691 0 0 3 58 56 2.95/3.01 c 8669 10832 384827 12571240 0 0 11 102 65 3.15/3.27 c 9627 11811 418895 14155800 0 0 11 19 18 3.45/3.54 c 10680 13019 442767 15729055 0 0 3 76 66 3.65/3.78 c 11838 14232 481298 17019371 0 0 5 51 25 4.25/4.40 c 13111 15527 532540 20023997 0 0 11 13 12 4.65/4.76 c 14511 16972 565744 22253852 0 0 8 39 38 4.94/5.05 c 16051 18691 591471 24079112 0 0 4 121 95 5.64/5.75 c 17745 20557 636049 28021365 0 0 12 112 73 6.94/7.02 c 19608 22458 723227 34712987 0 0 21 30 29 7.04/7.15 c 21657 24527 795546 35631683 0 0 13 13 12 7.54/7.70 c 23910 26827 855457 38827701 0 0 4 38 37 9.14/9.24 c 26388 29355 962532 47352678 0 0 4 40 39 9.84/9.91 c 29113 32147 1059156 50475397 0 0 6 56 55 10.34/10.42 c 32110 35409 1108377 53408526 0 0 6 171 130 10.74/10.84 c 35406 39088 1226870 55771953 0 0 10 59 57 11.04/11.15 c 39031 42739 1351679 57769386 0 0 4 13 12 12.54/12.63 c 43018 46935 1455873 67802960 0 0 3 74 69 12.74/12.89 c 47403 51345 1603589 69761388 0 0 9 9 8 13.74/13.83 c 52226 56209 1796113 73763045 0 0 4 23 22 16.25/16.34 c 57531 61584 2016205 85155918 0 0 3 48 47 16.95/17.05 c 63366 67683 2233712 89118875 0 0 4 25 24 18.45/18.53 c 69784 74145 2446190 98244735 0 0 4 19 18 22.05/22.20 c 76843 81730 2622029 115624746 0 0 5 59 58 24.05/24.16 c 84607 89905 2775755 127621831 0 0 13 46 40 24.55/24.66 c 93147 98488 3085155 131446490 0 0 10 10 9 25.45/25.58 c 102541 107932 3416569 137062912 0 0 4 13 12 27.85/27.92 c 112874 118764 3632143 147342609 0 0 5 111 89 32.05/32.18 c 124240 130443 4022792 172313458 0 0 5 47 42 33.35/33.43 c 136742 143016 4483872 179879552 0 0 5 20 19 36.35/36.44 c 150494 156865 4835346 202842281 0 0 4 34 32 41.25/41.31 c 165621 172096 5249814 238059090 0 0 5 33 32 46.65/46.78 c 182260 189547 5754831 272900395 0 0 5 32 31 50.85/50.98 c 200562 207969 6220297 305004214 0 0 4 34 33 53.25/53.38 c 220694 228714 6945844 318538228 0 0 4 33 32 58.15/58.30 c 242839 253188 7294268 349277441 0 0 4 132 115 59.55/59.68 c 267198 277649 8170400 360105843 0 0 6 6 5 61.15/61.29 c 293992 304567 8923619 372088826 0 0 4 16 15 69.45/69.58 c 323465 334181 9892985 424678957 0 0 5 19 18 80.14/80.24 c 355885 368229 10822989 493763414 0 0 6 45 44 91.54/91.68 c 391547 404308 11614004 557711260 0 0 4 79 72 93.84/93.93 c 430775 443700 13026218 575181864 0 0 9 9 8 96.44/96.54 c 473925 487040 14235233 594580192 0 0 4 14 13 109.84/109.99 c 521390 534721 15798380 679746659 0 0 5 18 17 120.14/120.26 c 573601 591351 16493096 740391919 0 0 5 132 106 123.44/123.59 c 631033 649021 18557924 765968425 0 0 10 10 9 140.64/140.75 c 694208 712993 20601954 872398828 0 0 4 16 15 184.04/184.16 c 763700 782912 23035490 1097968903 0 0 5 44 43 215.04/215.11 c 840141 865485 24612300 1286642285 0 0 4 85 71 219.84/219.92 c 924226 949916 27639155 1324075216 0 0 11 12 11 228.94/229.02 c 1016719 1042800 30893620 1378983673 0 0 4 15 14 266.64/266.76 c 1118461 1145100 33419262 1619457593 0 0 4 38 37 297.04/297.17 c 1230377 1265033 35247993 1798489112 0 0 6 94 79 308.84/308.97 c 1353484 1389627 39777553 1871006727 0 0 7 11 10 333.94/334.06 c 1488901 1525667 43242047 2015829290 0 0 4 27 26 483.53/483.68 c 1637859 1677062 52938057 2766110830 0 0 5 52 39 500.83/500.96 c 1801712 1845392 58675592 2867936151 0 0 5 35 31 533.03/533.14 c 1981950 2032547 63930348 3076553475 0 0 4 40 29 548.53/548.63 c 2180211 2231778 69489790 3174302147 0 0 5 25 24 608.23/608.35 c 2398298 2450908 76790740 3543370250 0 0 4 37 36 677.93/678.08 c 2638193 2697946 80402914 3922479691 0 0 4 197 191 727.82/727.95 c 2902077 2983706 83647497 4223622578 0 0 3 146 126 780.82/780.96 c 3192349 3284138 86888621 4569668752 0 0 5 137 128 844.62/844.74 c 3511648 3616581 90843748 4979674620 0 0 4 134 114 901.62/901.78 c 3862876 3976819 102202260 5338053164 0 0 7 33 24 980.22/980.38 c 4249226 4369370 106024064 5836083843 0 0 4 134 111 1041.02/1041.11 c 4674211 4810504 116976172 6215623043 0 0 4 123 55 1189.12/1189.20 c 5141694 5338860 134924262 6930802055 0 0 6 107 27 1629.70/1629.85 c 5655925 5855366 165103639 8836094755 0 0 5 30 29 1770.50/1770.62 c 6221579 6444680 177826026 9602031787 0 0 4 122 91 1887.20/1887.30 c 6843798 7082624 195355221 10276849936 0 0 9 54 35 2000.10/2000.27 c 7528238 7769930 218287113 10906219454 0 0 4 25 19 2122.29/2122.40 c 8281122 8557048 233558740 11600847686 0 0 6 81 49 2310.09/2310.29 c 9109294 9421663 246383417 12849924844 0 0 7 134 99 2391.39/2391.53 c 10020283 10336484 278426026 13397949707 0 0 8 36 16 2400.09/2400.20 2400.09/2400.20 c *** INTERRUPTED *** 2400.09/2400.20 c restarts : 97 2400.09/2400.20 c conflicts : 10034623 (4181 /sec) 2400.09/2400.20 c decisions : 10350936 (4313 /sec) 2400.09/2400.20 c propagations : 13444235395 (5601557 /sec) 2400.09/2400.20 c root propagations : 0 2400.09/2400.20 c filter calls : 278948076 (116224 /sec) 2400.09/2400.20 c useless filter calls : 199524694 (71 %) 2400.09/2400.20 c Memory used : 35.51 MB 2400.09/2400.20 c CPU time : 2400.09 s 2400.09/2400.20 2400.09/2400.20 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-4260086-1502019890/watcher-4260086-1502019890 -o /tmp/evaluation-result-4260086-1502019890/solver-4260086-1502019890 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3975 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260086-1502019890.xml pid=4939 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.85 1.97 1.98 3/186 4942 /proc/meminfo: memFree=31502168/32770624 swapFree=0/339956 [pid=4942] ppid=4939 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/4942/stat : 4942 (runsolver) D 4939 4942 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101642191 24240128 106 18446744073709551615 4194304 4338465 140721951328304 140721951325944 140515882033879 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 25853952 140721951334594 140721951334985 140721951334985 140721951338442 0 /proc/4942/statm: 5918 106 53 36 0 2156 0 [startup+0.100528 s] /proc/loadavg: 1.85 1.97 1.98 3/186 4942 /proc/meminfo: memFree=31502168/32770624 swapFree=0/339956 [pid=4942] ppid=4939 vsize=28976 CPUtime=0.05 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 1582 0 0 0 5 0 0 0 20 0 1 0 101642191 29671424 1397 18446744073709551615 4194304 5747388 140737051158320 140737051152184 139824540712722 0 0 1 0 0 0 0 17 7 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 7244 1397 772 380 0 662 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 28976 [startup+0.200525 s] /proc/loadavg: 1.85 1.97 1.98 3/186 4942 /proc/meminfo: memFree=31502168/32770624 swapFree=0/339956 [pid=4942] ppid=4939 vsize=30768 CPUtime=0.15 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 2018 0 0 0 15 0 0 0 20 0 1 0 101642191 31506432 1847 18446744073709551615 4194304 5747388 140737051158320 140737051151944 139824540756991 0 0 1 0 0 0 0 17 7 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 7692 1847 772 380 0 1110 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 30768 [startup+0.300526 s] /proc/loadavg: 1.85 1.97 1.98 3/186 4942 /proc/meminfo: memFree=31502168/32770624 swapFree=0/339956 [pid=4942] ppid=4939 vsize=32544 CPUtime=0.25 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 2450 0 0 0 25 0 0 0 20 0 1 0 101642191 33325056 2290 18446744073709551615 4194304 5747388 140737051158320 140737051152184 139824550144544 0 0 1 0 0 0 0 17 1 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8136 2290 773 380 0 1554 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 32544 [startup+0.700215 s] /proc/loadavg: 1.85 1.97 1.98 3/186 4942 /proc/meminfo: memFree=31502168/32770624 swapFree=0/339956 [pid=4942] ppid=4939 vsize=33452 CPUtime=0.65 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 2750 0 0 0 65 0 0 0 20 0 1 0 101642191 34254848 2562 18446744073709551615 4194304 5747388 140737051158320 140737051152184 4915124 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8363 2562 815 380 0 1781 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 33452 [startup+1.50022 s] /proc/loadavg: 1.85 1.97 1.98 3/187 4943 /proc/meminfo: memFree=31494788/32770624 swapFree=0/339960 [pid=4942] ppid=4939 vsize=34112 CPUtime=1.45 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 2912 0 0 0 145 0 0 0 20 0 1 0 101642191 34930688 2694 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4954077 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8528 2694 815 380 0 1946 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 34112 [startup+3.10022 s] /proc/loadavg: 1.86 1.97 1.98 3/187 4943 /proc/meminfo: memFree=31494044/32770624 swapFree=0/339960 [pid=4942] ppid=4939 vsize=34772 CPUtime=3.05 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 4289 0 0 0 305 0 0 0 20 0 1 0 101642191 35606528 2881 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4906040 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8693 2881 815 380 0 2111 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 34772 [startup+6.30022 s] /proc/loadavg: 1.86 1.97 1.98 3/187 4943 /proc/meminfo: memFree=31493000/32770624 swapFree=0/339960 [pid=4942] ppid=4939 vsize=35300 CPUtime=6.24 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 5799 0 0 0 624 0 0 0 20 0 1 0 101642191 36147200 2990 18446744073709551615 4194304 5747388 140737051158320 140737051155464 4903011 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8825 2990 815 380 0 2243 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 35300 [startup+12.7002 s] /proc/loadavg: 1.88 1.98 1.98 3/187 4943 /proc/meminfo: memFree=31491308/32770624 swapFree=0/339960 [pid=4942] ppid=4939 vsize=35432 CPUtime=12.64 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 7262 0 0 0 1264 0 0 0 20 0 1 0 101642191 36282368 3037 18446744073709551615 4194304 5747388 140737051158320 140737051155352 5126336 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8858 3037 815 380 0 2276 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 35432 [startup+25.5003 s] /proc/loadavg: 1.97 1.99 1.98 3/187 4943 /proc/meminfo: memFree=31491308/32770624 swapFree=0/339960 [pid=4942] ppid=4939 vsize=35696 CPUtime=25.45 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 8234 0 0 0 2544 1 0 0 20 0 1 0 101642191 36552704 3113 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4917673 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8924 3113 815 380 0 2342 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 35696 [startup+51.1003 s] /proc/loadavg: 1.98 1.99 1.98 3/187 4943 /proc/meminfo: memFree=31491600/32770624 swapFree=0/339956 [pid=4942] ppid=4939 vsize=35696 CPUtime=51.05 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 8812 0 0 0 5104 1 0 0 20 0 1 0 101642191 36552704 3132 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4918022 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8924 3132 815 380 0 2342 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 35696 [startup+102.3 s] /proc/loadavg: 1.95 1.98 1.98 3/184 4945 /proc/meminfo: memFree=31494436/32770624 swapFree=0/339964 [pid=4942] ppid=4939 vsize=35828 CPUtime=102.25 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 9430 0 0 0 10224 1 0 0 20 0 1 0 101642191 36687872 3147 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4917552 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3147 815 380 0 2375 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 35828 [startup+162.3 s] /proc/loadavg: 1.98 1.99 1.98 3/184 4947 /proc/meminfo: memFree=31494284/32770624 swapFree=0/339968 [pid=4942] ppid=4939 vsize=35828 CPUtime=162.24 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 10034 0 0 0 16223 1 0 0 20 0 1 0 101642191 36687872 3165 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4972090 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3165 815 380 0 2375 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35828 [startup+222.306 s] /proc/loadavg: 1.99 1.99 1.98 3/185 4950 /proc/meminfo: memFree=31495080/32770624 swapFree=0/340008 [pid=4942] ppid=4939 vsize=35828 CPUtime=222.24 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 10591 0 0 0 22223 1 0 0 20 0 1 0 101642191 36687872 3167 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4906052 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3167 815 380 0 2375 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 35828 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.98 3/185 4952 /proc/meminfo: memFree=31495328/32770624 swapFree=0/340040 [pid=4942] ppid=4939 vsize=35828 CPUtime=282.24 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 11155 0 0 0 28223 1 0 0 20 0 1 0 101642191 36687872 3170 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4906184 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3170 815 380 0 2375 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 35828 [startup+342.3 s] /proc/loadavg: 1.93 1.97 1.97 3/186 4955 /proc/meminfo: memFree=31494464/32770624 swapFree=0/340076 [pid=4942] ppid=4939 vsize=35828 CPUtime=342.23 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 11689 0 0 0 34222 1 0 0 20 0 1 0 101642191 36687872 3171 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4909389 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3171 815 380 0 2375 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 35828 [startup+402.3 s] /proc/loadavg: 1.97 1.98 1.97 3/186 4957 /proc/meminfo: memFree=31494596/32770624 swapFree=0/340092 [pid=4942] ppid=4939 vsize=35828 CPUtime=402.23 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 12130 0 0 0 40222 1 0 0 20 0 1 0 101642191 36687872 3171 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4873602 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3171 815 380 0 2375 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 35828 [startup+462.3 s] /proc/loadavg: 1.99 1.98 1.97 3/186 4959 /proc/meminfo: memFree=31494936/32770624 swapFree=0/340124 [pid=4942] ppid=4939 vsize=35828 CPUtime=462.23 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 12560 0 0 0 46222 1 0 0 20 0 1 0 101642191 36687872 3171 18446744073709551615 4194304 5747388 140737051158320 140737051155720 5126511 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3171 815 380 0 2375 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 35828 [startup+522.3 s] /proc/loadavg: 2.00 1.99 1.97 3/185 4961 /proc/meminfo: memFree=31495068/32770624 swapFree=0/340148 [pid=4942] ppid=4939 vsize=35828 CPUtime=522.23 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 13051 0 0 0 52222 1 0 0 20 0 1 0 101642191 36687872 3172 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4972085 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8957 3172 815 380 0 2375 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 35828 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.97 3/189 4978 /proc/meminfo: memFree=31489552/32770624 swapFree=0/340172 [pid=4942] ppid=4939 vsize=35960 CPUtime=582.23 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 13520 0 0 0 58222 1 0 0 20 0 1 0 101642191 36823040 3175 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4954077 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 8990 3175 815 380 0 2408 0 Current children cumulated CPU time (s) 582.23 Current children cumulated vsize (KiB) 35960 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.98 3/184 5027 /proc/meminfo: memFree=31492380/32770624 swapFree=0/340436 [pid=4942] ppid=4939 vsize=36224 CPUtime=1482.21 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 22299 0 0 0 148220 1 0 0 20 0 1 0 101642191 37093376 3270 18446744073709551615 4194304 5747388 140737051158320 140737051155720 5000064 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9056 3270 815 380 0 2474 0 Current children cumulated CPU time (s) 1482.21 Current children cumulated vsize (KiB) 36224 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5030 /proc/meminfo: memFree=31492312/32770624 swapFree=0/340448 [pid=4942] ppid=4939 vsize=36224 CPUtime=1542.21 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 22873 0 0 0 154220 1 0 0 20 0 1 0 101642191 37093376 3270 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4910898 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9056 3270 815 380 0 2474 0 Current children cumulated CPU time (s) 1542.21 Current children cumulated vsize (KiB) 36224 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5032 /proc/meminfo: memFree=31492532/32770624 swapFree=0/340460 [pid=4942] ppid=4939 vsize=36224 CPUtime=1602.21 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 23454 0 0 0 160220 1 0 0 20 0 1 0 101642191 37093376 3270 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4909389 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9056 3270 815 380 0 2474 0 Current children cumulated CPU time (s) 1602.21 Current children cumulated vsize (KiB) 36224 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5035 /proc/meminfo: memFree=31492644/32770624 swapFree=0/340488 [pid=4942] ppid=4939 vsize=36224 CPUtime=1662.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 24049 0 0 0 166219 1 0 0 20 0 1 0 101642191 37093376 3270 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4909417 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9056 3270 815 380 0 2474 0 Current children cumulated CPU time (s) 1662.2 Current children cumulated vsize (KiB) 36224 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.98 3/185 5037 /proc/meminfo: memFree=31492984/32770624 swapFree=0/340504 [pid=4942] ppid=4939 vsize=36224 CPUtime=1722.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 24586 0 0 0 172219 1 0 0 20 0 1 0 101642191 37093376 3270 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4905989 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9056 3270 815 380 0 2474 0 Current children cumulated CPU time (s) 1722.2 Current children cumulated vsize (KiB) 36224 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.98 3/188 5053 /proc/meminfo: memFree=31487984/32770624 swapFree=0/340528 [pid=4942] ppid=4939 vsize=36224 CPUtime=1782.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 25135 0 0 0 178219 1 0 0 20 0 1 0 101642191 37093376 3271 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4903029 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9056 3271 815 380 0 2474 0 Current children cumulated CPU time (s) 1782.2 Current children cumulated vsize (KiB) 36224 [startup+1842.3 s] /proc/loadavg: 2.05 2.03 1.99 3/187 5079 /proc/meminfo: memFree=31486124/32770624 swapFree=0/340552 [pid=4942] ppid=4939 vsize=36356 CPUtime=1842.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 25699 0 0 0 184219 1 0 0 20 0 1 0 101642191 37228544 3272 18446744073709551615 4194304 5747388 140737051158320 140737051155464 4954077 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3272 815 380 0 2507 0 Current children cumulated CPU time (s) 1842.2 Current children cumulated vsize (KiB) 36356 [startup+1902.3 s] /proc/loadavg: 2.02 2.02 1.99 3/187 5081 /proc/meminfo: memFree=31487600/32770624 swapFree=0/340552 [pid=4942] ppid=4939 vsize=36356 CPUtime=1902.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 26163 0 0 0 190219 1 0 0 20 0 1 0 101642191 37228544 3273 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4918710 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3273 815 380 0 2507 0 Current children cumulated CPU time (s) 1902.2 Current children cumulated vsize (KiB) 36356 [startup+1962.3 s] /proc/loadavg: 2.01 2.02 1.99 3/184 5083 /proc/meminfo: memFree=31491336/32770624 swapFree=0/340564 [pid=4942] ppid=4939 vsize=36356 CPUtime=1962.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 26745 0 0 0 196219 1 0 0 20 0 1 0 101642191 37228544 3274 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4909486 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3274 815 380 0 2507 0 Current children cumulated CPU time (s) 1962.2 Current children cumulated vsize (KiB) 36356 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.99 3/185 5086 /proc/meminfo: memFree=31491824/32770624 swapFree=0/340588 [pid=4942] ppid=4939 vsize=36356 CPUtime=2022.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 27239 0 0 0 202219 1 0 0 20 0 1 0 101642191 37228544 3274 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4918727 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3274 815 380 0 2507 0 Current children cumulated CPU time (s) 2022.2 Current children cumulated vsize (KiB) 36356 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.99 3/185 5088 /proc/meminfo: memFree=31492040/32770624 swapFree=0/340612 [pid=4942] ppid=4939 vsize=36356 CPUtime=2082.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 27855 0 0 0 208219 1 0 0 20 0 1 0 101642191 37228544 3277 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4905989 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3277 815 380 0 2507 0 Current children cumulated CPU time (s) 2082.2 Current children cumulated vsize (KiB) 36356 [startup+2142.3 s] /proc/loadavg: 1.89 1.98 1.98 3/185 5090 /proc/meminfo: memFree=31492580/32770624 swapFree=0/340632 [pid=4942] ppid=4939 vsize=36356 CPUtime=2142.19 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 28462 0 0 0 214218 1 0 0 20 0 1 0 101642191 37228544 3277 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4912661 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3277 815 380 0 2507 0 Current children cumulated CPU time (s) 2142.19 Current children cumulated vsize (KiB) 36356 [startup+2202.31 s] /proc/loadavg: 1.96 1.99 1.98 3/185 5092 /proc/meminfo: memFree=31492548/32770624 swapFree=0/340656 [pid=4942] ppid=4939 vsize=36356 CPUtime=2202.2 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 28929 0 0 0 220219 1 0 0 20 0 1 0 101642191 37228544 3278 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4909833 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3278 815 380 0 2507 0 Current children cumulated CPU time (s) 2202.2 Current children cumulated vsize (KiB) 36356 [startup+2262.3 s] /proc/loadavg: 2.07 2.00 1.98 3/185 5094 /proc/meminfo: memFree=31492520/32770624 swapFree=0/340656 [pid=4942] ppid=4939 vsize=36356 CPUtime=2262.19 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 29352 0 0 0 226218 1 0 0 20 0 1 0 101642191 37228544 3278 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4905963 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3278 815 380 0 2507 0 Current children cumulated CPU time (s) 2262.19 Current children cumulated vsize (KiB) 36356 [startup+2322.3 s] /proc/loadavg: 2.02 2.00 1.98 3/184 5096 /proc/meminfo: memFree=31492880/32770624 swapFree=0/340676 [pid=4942] ppid=4939 vsize=36356 CPUtime=2322.19 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 29893 0 0 0 232218 1 0 0 20 0 1 0 101642191 37228544 3278 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4906561 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3278 815 380 0 2507 0 Current children cumulated CPU time (s) 2322.19 Current children cumulated vsize (KiB) 36356 [startup+2382.3 s] /proc/loadavg: 2.01 2.00 1.98 3/187 5112 /proc/meminfo: memFree=31488008/32770624 swapFree=0/340704 [pid=4942] ppid=4939 vsize=36356 CPUtime=2382.19 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 30326 0 0 0 238218 1 0 0 20 0 1 0 101642191 37228544 3279 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4906229 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3279 815 380 0 2507 0 Current children cumulated CPU time (s) 2382.19 Current children cumulated vsize (KiB) 36356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 1.93 1.99 1.98 3/187 5173 /proc/meminfo: memFree=31496468/32770624 swapFree=0/340724 [pid=4942] ppid=4939 vsize=36356 CPUtime=2400.09 cores=1,3,5,7 /proc/4942/stat : 4942 (cosoco) R 4939 4942 2911 0 -1 4202496 30690 0 0 0 240008 1 0 0 20 0 1 0 101642191 37228544 3279 18446744073709551615 4194304 5747388 140737051158320 140737051155720 4954102 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 12623872 140737051161070 140737051161165 140737051161165 140737051164622 0 /proc/4942/statm: 9089 3279 815 380 0 2507 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 36356 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 4942 sig 9 ??? kill -4942 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.11 CPU user time (s): 2400.09 CPU system time (s): 0.019999 CPU usage (%): 99.996 Max. virtual memory (cumulated for all children) (KiB): 36356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.09 system time used= 0.019999 maximum resident set size= 13180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30738 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= 9 involuntary context switches= 732 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.91464 second user time and 7.81293 second system time The end
Begin job on node132 at 2017-08-06 13:30:29 IDJOB=4260086 IDBENCH=120746 IDSOLVER=2647 FILE ID=node132/4260086-1502019890 RUNJOBID= node132-1502014216-3975 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K11-P04.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260086-1502019890/watcher-4260086-1502019890 -o /tmp/evaluation-result-4260086-1502019890/solver-4260086-1502019890 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3975 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260086-1502019890.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83a9e5860e8605726185e9821b8e29ef 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: 31502168 kB MemAvailable: 31980892 kB Buffers: 201804 kB Cached: 576092 kB SwapCached: 0 kB Active: 472548 kB Inactive: 372584 kB Active(anon): 67944 kB Inactive(anon): 32628 kB Active(file): 404604 kB Inactive(file): 339956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2284 kB Writeback: 4 kB AnonPages: 67120 kB Mapped: 50240 kB Shmem: 33468 kB Slab: 126200 kB SReclaimable: 100000 kB SUnreclaim: 26200 kB KernelStack: 3280 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336568 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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:30