Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.12 | ? (TO) | 2400.02 | 2400.01 |
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.35 c root propagations : 0 0.25/0.35 c restarts enabled, print stats at every restarts 0.25/0.35 c 0.25/0.35 c 0.25/0.35 c 0.25/0.35 c This is cosoco 1.12 -- 0.25/0.35 c 0.25/0.35 c command line: cosoco -lc -model -restarts HOME/instance-4267267-1502601936.xml 0.25/0.35 c ========================================[ Problem Statistics ]=========================================== 0.25/0.35 c | 0.25/0.35 c | Parse time : 0.28 s 0.25/0.35 c | 0.25/0.35 c | Variables: 561 0.25/0.35 c | Domain Sizes: 253..254 0.25/0.35 c | 0.25/0.35 c | Constraints: 255 0.25/0.35 c | Arity: 3..253 -- Ternary: 253 0.25/0.35 c | 0.25/0.35 c | Types: 0.25/0.35 c | All Different: 2 0.25/0.35 c | Intension: 253 0.25/0.35 c | 0.25/0.35 c ========================================================================================================= 0.25/0.35 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.25/0.35 c remove useless variable ce[0][0][0] 0.25/0.35 c remove useless variable ce[0][1][0] 0.25/0.35 c remove useless variable ce[0][1][1] 0.25/0.35 c remove useless variable ce[0][2][0] 0.25/0.35 c remove useless variable ce[0][2][1] 0.25/0.35 c remove useless variable ce[0][2][2] 0.25/0.35 c remove useless variable ce[0][3][0] 0.25/0.35 c remove useless variable ce[0][3][1] 0.25/0.35 c remove useless variable ce[0][3][2] 0.25/0.35 c remove useless variable ce[0][3][3] 0.25/0.35 c remove useless variable ce[0][4][0] 0.25/0.35 c remove useless variable ce[0][4][1] 0.25/0.35 c remove useless variable ce[0][4][2] 0.25/0.35 c remove useless variable ce[0][4][3] 0.25/0.35 c remove useless variable ce[0][4][4] 0.25/0.35 c remove useless variable ce[0][5][0] 0.25/0.35 c remove useless variable ce[0][5][1] 0.25/0.35 c remove useless variable ce[0][5][2] 0.25/0.35 c remove useless variable ce[0][5][3] 0.25/0.35 c remove useless variable ce[0][5][4] 0.25/0.35 c remove useless variable ce[0][5][5] 0.25/0.35 c remove useless variable ce[0][6][0] 0.25/0.35 c remove useless variable ce[0][6][1] 0.25/0.35 c remove useless variable ce[0][6][2] 0.25/0.35 c remove useless variable ce[0][6][3] 0.25/0.35 c remove useless variable ce[0][6][4] 0.25/0.35 c remove useless variable ce[0][6][5] 0.25/0.35 c remove useless variable ce[0][6][6] 0.25/0.35 c remove useless variable ce[0][7][0] 0.25/0.35 c remove useless variable ce[0][7][1] 0.25/0.35 c remove useless variable ce[0][7][2] 0.25/0.35 c remove useless variable ce[0][7][3] 0.25/0.35 c remove useless variable ce[0][7][4] 0.25/0.35 c remove useless variable ce[0][7][5] 0.25/0.35 c remove useless variable ce[0][7][6] 0.25/0.35 c remove useless variable ce[0][7][7] 0.25/0.35 c remove useless variable ce[0][8][0] 0.25/0.35 c remove useless variable ce[0][8][1] 0.25/0.35 c remove useless variable ce[0][8][2] 0.25/0.35 c remove useless variable ce[0][8][3] 0.25/0.35 c remove useless variable ce[0][8][4] 0.25/0.35 c remove useless variable ce[0][8][5] 0.25/0.35 c remove useless variable ce[0][8][6] 0.25/0.35 c remove useless variable ce[0][8][7] 0.25/0.35 c remove useless variable ce[0][8][8] 0.25/0.35 c remove useless variable ce[0][9][0] 0.25/0.35 c remove useless variable ce[0][9][1] 0.25/0.35 c remove useless variable ce[0][9][2] 0.25/0.35 c remove useless variable ce[0][9][3] 0.25/0.35 c remove useless variable ce[0][9][4] 0.25/0.35 c remove useless variable ce[0][9][5] 0.25/0.35 c remove useless variable ce[0][9][6] 0.25/0.35 c remove useless variable ce[0][9][7] 0.25/0.35 c remove useless variable ce[0][9][8] 0.25/0.35 c remove useless variable ce[0][9][9] 0.25/0.35 c remove useless variable ce[0][10][0] 0.25/0.35 c remove useless variable ce[0][10][1] 0.25/0.35 c remove useless variable ce[0][10][2] 0.25/0.35 c remove useless variable ce[0][10][3] 0.25/0.35 c remove useless variable ce[0][10][4] 0.25/0.35 c remove useless variable ce[0][10][5] 0.25/0.35 c remove useless variable ce[0][10][6] 0.25/0.35 c remove useless variable ce[0][10][7] 0.25/0.35 c remove useless variable ce[0][10][8] 0.25/0.35 c remove useless variable ce[0][10][9] 0.25/0.35 c remove useless variable ce[0][10][10] 0.25/0.35 c remove useless variable ce[1][0][0] 0.25/0.35 c remove useless variable ce[1][1][0] 0.25/0.35 c remove useless variable ce[1][1][1] 0.25/0.35 c remove useless variable ce[1][2][0] 0.25/0.35 c remove useless variable ce[1][2][1] 0.25/0.35 c remove useless variable ce[1][2][2] 0.25/0.35 c remove useless variable ce[1][3][0] 0.25/0.35 c remove useless variable ce[1][3][1] 0.25/0.35 c remove useless variable ce[1][3][2] 0.25/0.35 c remove useless variable ce[1][3][3] 0.25/0.35 c remove useless variable ce[1][4][0] 0.25/0.35 c remove useless variable ce[1][4][1] 0.25/0.35 c remove useless variable ce[1][4][2] 0.25/0.35 c remove useless variable ce[1][4][3] 0.25/0.35 c remove useless variable ce[1][4][4] 0.25/0.35 c remove useless variable ce[1][5][0] 0.25/0.35 c remove useless variable ce[1][5][1] 0.25/0.35 c remove useless variable ce[1][5][2] 0.25/0.35 c remove useless variable ce[1][5][3] 0.25/0.35 c remove useless variable ce[1][5][4] 0.25/0.35 c remove useless variable ce[1][5][5] 0.25/0.35 c remove useless variable ce[1][6][0] 0.25/0.35 c remove useless variable ce[1][6][1] 0.25/0.35 c remove useless variable ce[1][6][2] 0.25/0.35 c remove useless variable ce[1][6][3] 0.25/0.35 c remove useless variable ce[1][6][4] 0.25/0.35 c remove useless variable ce[1][6][5] 0.25/0.35 c remove useless variable ce[1][6][6] 0.25/0.35 c remove useless variable ce[1][7][0] 0.25/0.35 c remove useless variable ce[1][7][1] 0.25/0.35 c remove useless variable ce[1][7][2] 0.25/0.35 c remove useless variable ce[1][7][3] 0.25/0.35 c remove useless variable ce[1][7][4] 0.25/0.35 c remove useless variable ce[1][7][5] 0.25/0.35 c remove useless variable ce[1][7][6] 0.25/0.35 c remove useless variable ce[1][7][7] 0.25/0.35 c remove useless variable ce[1][8][0] 0.25/0.35 c remove useless variable ce[1][8][1] 0.25/0.35 c remove useless variable ce[1][8][2] 0.25/0.35 c remove useless variable ce[1][8][3] 0.25/0.35 c remove useless variable ce[1][8][4] 0.25/0.35 c remove useless variable ce[1][8][5] 0.25/0.35 c remove useless variable ce[1][8][6] 0.25/0.35 c remove useless variable ce[1][8][7] 0.25/0.35 c remove useless variable ce[1][8][8] 0.25/0.35 c remove useless variable ce[1][9][0] 0.25/0.35 c remove useless variable ce[1][9][1] 0.25/0.35 c remove useless variable ce[1][9][2] 0.25/0.35 c remove useless variable ce[1][9][3] 0.25/0.35 c remove useless variable ce[1][9][4] 0.25/0.35 c remove useless variable ce[1][9][5] 0.25/0.35 c remove useless variable ce[1][9][6] 0.25/0.35 c remove useless variable ce[1][9][7] 0.25/0.35 c remove useless variable ce[1][9][8] 0.25/0.35 c remove useless variable ce[1][9][9] 0.25/0.35 c remove useless variable ce[1][10][0] 0.25/0.35 c remove useless variable ce[1][10][1] 0.25/0.35 c remove useless variable ce[1][10][2] 0.25/0.35 c remove useless variable ce[1][10][3] 0.25/0.35 c remove useless variable ce[1][10][4] 0.25/0.35 c remove useless variable ce[1][10][5] 0.25/0.35 c remove useless variable ce[1][10][6] 0.25/0.35 c remove useless variable ce[1][10][7] 0.25/0.35 c remove useless variable ce[1][10][8] 0.25/0.35 c remove useless variable ce[1][10][9] 0.25/0.35 c remove useless variable ce[1][10][10] 0.25/0.35 c remove useless variable ce[2][0][0] 0.25/0.35 c remove useless variable ce[2][1][0] 0.25/0.35 c remove useless variable ce[2][1][1] 0.25/0.35 c remove useless variable ce[2][2][0] 0.25/0.35 c remove useless variable ce[2][2][1] 0.25/0.35 c remove useless variable ce[2][2][2] 0.25/0.35 c remove useless variable ce[2][3][0] 0.25/0.35 c remove useless variable ce[2][3][1] 0.25/0.35 c remove useless variable ce[2][3][2] 0.25/0.35 c remove useless variable ce[2][3][3] 0.25/0.35 c remove useless variable ce[2][4][0] 0.25/0.35 c remove useless variable ce[2][4][1] 0.25/0.35 c remove useless variable ce[2][4][2] 0.25/0.35 c remove useless variable ce[2][4][3] 0.25/0.35 c remove useless variable ce[2][4][4] 0.25/0.35 c remove useless variable ce[2][5][0] 0.25/0.35 c remove useless variable ce[2][5][1] 0.25/0.35 c remove useless variable ce[2][5][2] 0.25/0.35 c remove useless variable ce[2][5][3] 0.25/0.35 c remove useless variable ce[2][5][4] 0.25/0.35 c remove useless variable ce[2][5][5] 0.25/0.35 c remove useless variable ce[2][6][0] 0.25/0.35 c remove useless variable ce[2][6][1] 0.25/0.35 c remove useless variable ce[2][6][2] 0.25/0.35 c remove useless variable ce[2][6][3] 0.25/0.35 c remove useless variable ce[2][6][4] 0.25/0.35 c remove useless variable ce[2][6][5] 0.25/0.35 c remove useless variable ce[2][6][6] 0.25/0.35 c remove useless variable ce[2][7][0] 0.25/0.35 c remove useless variable ce[2][7][1] 0.25/0.35 c remove useless variable ce[2][7][2] 0.25/0.35 c remove useless variable ce[2][7][3] 0.25/0.35 c remove useless variable ce[2][7][4] 0.25/0.35 c remove useless variable ce[2][7][5] 0.25/0.35 c remove useless variable ce[2][7][6] 0.25/0.35 c remove useless variable ce[2][7][7] 0.25/0.35 c remove useless variable ce[2][8][0] 0.25/0.35 c remove useless variable ce[2][8][1] 0.25/0.35 c remove useless variable ce[2][8][2] 0.25/0.35 c remove useless variable ce[2][8][3] 0.25/0.35 c remove useless variable ce[2][8][4] 0.25/0.35 c remove useless variable ce[2][8][5] 0.25/0.35 c remove useless variable ce[2][8][6] 0.25/0.35 c remove useless variable ce[2][8][7] 0.25/0.35 c remove useless variable ce[2][8][8] 0.25/0.35 c remove useless variable ce[2][9][0] 0.25/0.35 c remove useless variable ce[2][9][1] 0.25/0.35 c remove useless variable ce[2][9][2] 0.25/0.35 c remove useless variable ce[2][9][3] 0.25/0.35 c remove useless variable ce[2][9][4] 0.25/0.35 c remove useless variable ce[2][9][5] 0.25/0.35 c remove useless variable ce[2][9][6] 0.25/0.35 c remove useless variable ce[2][9][7] 0.25/0.35 c remove useless variable ce[2][9][8] 0.25/0.35 c remove useless variable ce[2][9][9] 0.25/0.35 c remove useless variable ce[2][10][0] 0.25/0.35 c remove useless variable ce[2][10][1] 0.25/0.35 c remove useless variable ce[2][10][2] 0.25/0.35 c remove useless variable ce[2][10][3] 0.25/0.35 c remove useless variable ce[2][10][4] 0.25/0.35 c remove useless variable ce[2][10][5] 0.25/0.35 c remove useless variable ce[2][10][6] 0.25/0.35 c remove useless variable ce[2][10][7] 0.25/0.35 c remove useless variable ce[2][10][8] 0.25/0.35 c remove useless variable ce[2][10][9] 0.25/0.35 c remove useless variable ce[2][10][10] 0.25/0.35 c remove useless variable ce[3][0][0] 0.25/0.35 c remove useless variable ce[3][1][0] 0.25/0.35 c remove useless variable ce[3][1][1] 0.25/0.35 c remove useless variable ce[3][2][0] 0.25/0.35 c remove useless variable ce[3][2][1] 0.25/0.35 c remove useless variable ce[3][2][2] 0.25/0.35 c remove useless variable ce[3][3][0] 0.25/0.35 c remove useless variable ce[3][3][1] 0.25/0.35 c remove useless variable ce[3][3][2] 0.25/0.35 c remove useless variable ce[3][3][3] 0.25/0.35 c remove useless variable ce[3][4][0] 0.25/0.35 c remove useless variable ce[3][4][1] 0.25/0.35 c remove useless variable ce[3][4][2] 0.25/0.35 c remove useless variable ce[3][4][3] 0.25/0.35 c remove useless variable ce[3][4][4] 0.25/0.35 c remove useless variable ce[3][5][0] 0.25/0.35 c remove useless variable ce[3][5][1] 0.25/0.35 c remove useless variable ce[3][5][2] 0.25/0.35 c remove useless variable ce[3][5][3] 0.25/0.35 c remove useless variable ce[3][5][4] 0.25/0.35 c remove useless variable ce[3][5][5] 0.25/0.35 c remove useless variable ce[3][6][0] 0.25/0.35 c remove useless variable ce[3][6][1] 0.25/0.35 c remove useless variable ce[3][6][2] 0.25/0.35 c remove useless variable ce[3][6][3] 0.25/0.35 c remove useless variable ce[3][6][4] 0.25/0.35 c remove useless variable ce[3][6][5] 0.25/0.35 c remove useless variable ce[3][6][6] 0.25/0.35 c remove useless variable ce[3][7][0] 0.25/0.35 c remove useless variable ce[3][7][1] 0.25/0.35 c remove useless variable ce[3][7][2] 0.25/0.35 c remove useless variable ce[3][7][3] 0.25/0.35 c remove useless variable ce[3][7][4] 0.25/0.35 c remove useless variable ce[3][7][5] 0.25/0.35 c remove useless variable ce[3][7][6] 0.25/0.35 c remove useless variable ce[3][7][7] 0.25/0.35 c remove useless variable ce[3][8][0] 0.25/0.35 c remove useless variable ce[3][8][1] 0.25/0.35 c remove useless variable ce[3][8][2] 0.25/0.35 c remove useless variable ce[3][8][3] 0.25/0.35 c remove useless variable ce[3][8][4] 0.25/0.35 c remove useless variable ce[3][8][5] 0.25/0.35 c remove useless variable ce[3][8][6] 0.25/0.35 c remove useless variable ce[3][8][7] 0.25/0.35 c remove useless variable ce[3][8][8] 0.25/0.35 c remove useless variable ce[3][9][0] 0.25/0.35 c remove useless variable ce[3][9][1] 0.25/0.35 c remove useless variable ce[3][9][2] 0.25/0.35 c remove useless variable ce[3][9][3] 0.25/0.35 c remove useless variable ce[3][9][4] 0.25/0.35 c remove useless variable ce[3][9][5] 0.25/0.35 c remove useless variable ce[3][9][6] 0.25/0.35 c remove useless variable ce[3][9][7] 0.25/0.35 c remove useless variable ce[3][9][8] 0.25/0.35 c remove useless variable ce[3][9][9] 0.25/0.35 c remove useless variable ce[3][10][0] 0.25/0.35 c remove useless variable ce[3][10][1] 0.25/0.35 c remove useless variable ce[3][10][2] 0.25/0.35 c remove useless variable ce[3][10][3] 0.25/0.35 c remove useless variable ce[3][10][4] 0.25/0.35 c remove useless variable ce[3][10][5] 0.25/0.35 c remove useless variable ce[3][10][6] 0.25/0.35 c remove useless variable ce[3][10][7] 0.25/0.35 c remove useless variable ce[3][10][8] 0.25/0.35 c remove useless variable ce[3][10][9] 0.25/0.35 c remove useless variable ce[3][10][10] 0.25/0.41 c 101 354 33964 35670 0 0 254 254 251 0.34/0.50 c 211 638 65180 358556 0 0 4 174 170 0.44/0.59 c 332 862 87499 668386 0 0 8 103 99 0.54/0.63 c 465 1065 95835 842787 0 0 8 71 47 0.54/0.66 c 611 1252 100804 1015218 0 0 3 42 29 0.63/0.72 c 771 1588 120779 1236456 0 0 3 177 57 0.63/0.76 c 947 1832 126017 1438611 0 0 4 69 36 0.73/0.82 c 1140 2214 145427 1649007 0 0 5 190 80 0.73/0.87 c 1352 2502 151609 1896797 0 0 4 77 52 0.83/0.97 c 1585 2754 162614 2259950 0 0 18 19 17 0.93/1.06 c 1841 3076 173199 2668226 0 0 12 66 57 1.22/1.32 c 2122 3389 193745 3988276 0 0 5 32 30 1.32/1.47 c 2431 3715 206283 4730007 0 0 16 17 16 1.52/1.64 c 2770 4081 222093 5613618 0 0 12 20 19 1.62/1.74 c 3142 4522 235084 6154090 0 0 4 69 66 1.72/1.81 c 3551 5081 247583 6443183 0 0 5 149 110 1.72/1.85 c 4000 5542 261607 6659683 0 0 5 12 11 1.82/1.95 c 4493 6165 272760 7190402 0 0 10 128 103 1.93/2.05 c 5035 6871 285795 7580652 0 0 4 160 128 2.03/2.19 c 5631 7581 296130 8329600 0 0 11 112 93 2.12/2.24 c 6286 8246 315962 8636912 0 0 9 9 8 2.42/2.55 c 7006 8996 341172 10297818 0 0 4 28 27 2.72/2.88 c 7798 9849 364798 11518691 0 0 3 58 56 2.93/3.06 c 8669 10832 384827 12571240 0 0 11 102 65 3.22/3.32 c 9627 11811 418895 14155800 0 0 11 19 18 3.42/3.58 c 10680 13019 442767 15729055 0 0 3 76 66 3.72/3.82 c 11838 14232 481298 17019371 0 0 5 51 25 4.33/4.44 c 13111 15527 532540 20023997 0 0 11 13 12 4.73/4.81 c 14511 16972 565744 22253852 0 0 8 39 38 4.94/5.09 c 16051 18691 591471 24079112 0 0 4 121 95 5.73/5.80 c 17745 20557 636049 28021365 0 0 12 112 73 6.94/7.06 c 19608 22458 723227 34712987 0 0 21 30 29 7.04/7.19 c 21657 24527 795546 35631683 0 0 13 13 12 7.63/7.73 c 23910 26827 855457 38827701 0 0 4 38 37 9.13/9.26 c 26388 29355 962532 47352678 0 0 4 40 39 9.83/9.93 c 29113 32147 1059156 50475397 0 0 6 56 55 10.33/10.44 c 32110 35409 1108377 53408526 0 0 6 171 130 10.73/10.86 c 35406 39088 1226870 55771953 0 0 10 59 57 11.04/11.17 c 39031 42739 1351679 57769386 0 0 4 13 12 12.53/12.64 c 43018 46935 1455873 67802960 0 0 3 74 69 12.73/12.89 c 47403 51345 1603589 69761388 0 0 9 9 8 13.73/13.84 c 52226 56209 1796113 73763045 0 0 4 23 22 16.23/16.35 c 57531 61584 2016205 85155918 0 0 3 48 47 16.93/17.05 c 63366 67683 2233712 89118875 0 0 4 25 24 18.43/18.52 c 69784 74145 2446190 98244735 0 0 4 19 18 22.03/22.19 c 76843 81730 2622029 115624746 0 0 5 59 58 24.03/24.15 c 84607 89905 2775755 127621831 0 0 13 46 40 24.53/24.65 c 93147 98488 3085155 131446490 0 0 10 10 9 25.43/25.57 c 102541 107932 3416569 137062912 0 0 4 13 12 27.83/27.90 c 112874 118764 3632143 147342609 0 0 5 111 89 32.03/32.16 c 124240 130443 4022792 172313458 0 0 5 47 42 33.33/33.41 c 136742 143016 4483872 179879552 0 0 5 20 19 36.33/36.42 c 150494 156865 4835346 202842281 0 0 4 34 32 41.13/41.28 c 165621 172096 5249814 238059090 0 0 5 33 32 46.63/46.73 c 182260 189547 5754831 272900395 0 0 5 32 31 50.83/50.93 c 200562 207969 6220297 305004214 0 0 4 34 33 53.23/53.34 c 220694 228714 6945844 318538228 0 0 4 33 32 58.13/58.24 c 242839 253188 7294268 349277441 0 0 4 132 115 59.53/59.63 c 267198 277649 8170400 360105843 0 0 6 6 5 61.13/61.22 c 293992 304567 8923619 372088826 0 0 4 16 15 69.43/69.51 c 323465 334181 9892985 424678957 0 0 5 19 18 80.04/80.12 c 355885 368229 10822989 493763414 0 0 6 45 44 91.43/91.56 c 391547 404308 11614004 557711260 0 0 4 79 72 93.73/93.80 c 430775 443700 13026218 575181864 0 0 9 9 8 96.23/96.39 c 473925 487040 14235233 594580192 0 0 4 14 13 109.63/109.78 c 521390 534721 15798380 679746659 0 0 5 18 17 119.83/120.00 c 573601 591351 16493096 740391919 0 0 5 132 106 123.23/123.32 c 631033 649021 18557924 765968425 0 0 10 10 9 140.23/140.31 c 694208 712993 20601954 872398828 0 0 4 16 15 183.63/183.72 c 763700 782912 23035490 1097968903 0 0 5 44 43 214.43/214.53 c 840141 865485 24612300 1286642285 0 0 4 85 71 219.23/219.32 c 924226 949916 27639155 1324075216 0 0 11 12 11 228.33/228.40 c 1016719 1042800 30893620 1378983673 0 0 4 15 14 265.94/266.07 c 1118461 1145100 33419262 1619457593 0 0 4 38 37 296.23/296.36 c 1230377 1265033 35247993 1798489112 0 0 6 94 79 307.83/307.99 c 1353484 1389627 39777553 1871006727 0 0 7 11 10 332.73/332.87 c 1488901 1525667 43242047 2015829290 0 0 4 27 26 481.74/481.87 c 1637859 1677062 52938057 2766110830 0 0 5 52 39 498.94/499.10 c 1801712 1845392 58675592 2867936151 0 0 5 35 31 531.05/531.16 c 1981950 2032547 63930348 3076553475 0 0 4 40 29 546.44/546.56 c 2180211 2231778 69489790 3174302147 0 0 5 25 24 606.14/606.22 c 2398298 2450908 76790740 3543370250 0 0 4 37 36 675.84/675.91 c 2638193 2697946 80402914 3922479691 0 0 4 197 191 725.54/725.61 c 2902077 2983706 83647497 4223622578 0 0 3 146 126 778.45/778.54 c 3192349 3284138 86888621 4569668752 0 0 5 137 128 841.96/842.10 c 3511648 3616581 90843748 4979674620 0 0 4 134 114 898.75/898.81 c 3862876 3976819 102202260 5338053164 0 0 7 33 24 976.96/977.03 c 4249226 4369370 106024064 5836083843 0 0 4 134 111 1037.36/1037.44 c 4674211 4810504 116976172 6215623043 0 0 4 123 55 1184.66/1184.77 c 5141694 5338860 134924262 6930802055 0 0 6 107 27 1623.99/1624.03 c 5655925 5855366 165103639 8836094755 0 0 5 30 29 1764.48/1764.57 c 6221579 6444680 177826026 9602031787 0 0 4 122 91 1880.99/1881.09 c 6843798 7082624 195355221 10276849936 0 0 9 54 35 1993.39/1993.47 c 7528238 7769930 218287113 10906219454 0 0 4 25 19 2115.49/2115.53 c 8281122 8557048 233558740 11600847686 0 0 6 81 49 2302.90/2302.98 c 9109294 9421663 246383417 12849924844 0 0 7 134 99 2384.20/2384.23 c 10020283 10336484 278426026 13397949707 0 0 8 36 16 2400.01/2400.00 2400.01/2400.00 c *** INTERRUPTED *** 2400.01/2400.00 c restarts : 97 2400.01/2400.00 c conflicts : 10046282 (4186 /sec) 2400.01/2400.00 c decisions : 10362659 (4318 /sec) 2400.01/2400.00 c propagations : 13481943437 (5617469 /sec) 2400.01/2400.00 c root propagations : 0 2400.01/2400.00 c filter calls : 279368765 (116403 /sec) 2400.01/2400.00 c useless filter calls : 199765788 (71 %) 2400.01/2400.00 c Memory used : 35.51 MB 2400.01/2400.00 c CPU time : 2400 s 2400.01/2400.00 2400.01/2400.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15434 MiB free) memory of node 1: 16384 MiB (15642 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267267-1502601936/watcher-4267267-1502601936 -o /tmp/evaluation-result-4267267-1502601936/solver-4267267-1502601936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9625 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267267-1502601936.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10500, runsolver pid=10497 [startup+0.100111 s]* /proc/loadavg: 2.81 2.22 2.11 3/188 10501 /proc/meminfo: memFree=31820180/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=28852 memory=5472 CPUtime=0.04 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 1532 0 0 0 4 0 0 0 20 0 1 0 107699995 29544448 1368 18446744073709551615 4194304 5748600 140732699652784 140732699649432 140270621748197 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 7213 1368 774 380 0 631 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 28852 KiB Current children cumulated memory: 5472 KiB [startup+0.209439 s]* /proc/loadavg: 2.81 2.22 2.11 3/188 10501 /proc/meminfo: memFree=31818396/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=30520 memory=7136 CPUtime=0.15 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 1975 0 0 0 15 0 0 0 20 0 1 0 107699995 31252480 1784 18446744073709551615 4194304 5748600 140732699652784 140732699646408 140270621748197 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 7630 1784 774 380 0 1048 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 30520 KiB Current children cumulated memory: 7136 KiB [startup+0.308946 s]* /proc/loadavg: 2.81 2.22 2.11 3/188 10501 /proc/meminfo: memFree=31816536/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=32160 memory=8780 CPUtime=0.25 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 2374 0 0 0 25 0 0 0 20 0 1 0 107699995 32931840 2195 18446744073709551615 4194304 5748600 140732699652784 140732699646408 140270621748197 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8040 2195 774 380 0 1458 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 32160 KiB Current children cumulated memory: 8780 KiB [startup+0.700227 s] /proc/loadavg: 2.75 2.21 2.11 3/188 10501 /proc/meminfo: memFree=31815420/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=33452 memory=10256 CPUtime=0.63 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 2750 0 0 0 63 0 0 0 20 0 1 0 107699995 34254848 2564 18446744073709551615 4194304 5748600 140732699652784 140732699646408 4906931 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8363 2564 816 380 0 1781 0 Current children cumulated CPU time: 0.63 s Current children cumulated vsize: 33452 KiB Current children cumulated memory: 10256 KiB [startup+1.50022 s] /proc/loadavg: 2.75 2.21 2.11 3/188 10501 /proc/meminfo: memFree=31815012/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=34112 memory=10784 CPUtime=1.42 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 2911 0 0 0 142 0 0 0 20 0 1 0 107699995 34930688 2696 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4910918 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8528 2696 816 380 0 1946 0 Current children cumulated CPU time: 1.42 s Current children cumulated vsize: 34112 KiB Current children cumulated memory: 10784 KiB [startup+3.10913 s] /proc/loadavg: 2.75 2.21 2.11 3/188 10501 /proc/meminfo: memFree=31814268/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=34772 memory=11520 CPUtime=3.03 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 4305 0 0 0 303 0 0 0 20 0 1 0 107699995 35606528 2880 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4906474 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8693 2880 816 380 0 2111 0 Current children cumulated CPU time: 3.03 s Current children cumulated vsize: 34772 KiB Current children cumulated memory: 11520 KiB [startup+6.30022 s] /proc/loadavg: 2.69 2.21 2.11 3/187 10501 /proc/meminfo: memFree=31814528/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35300 memory=11948 CPUtime=6.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 5814 0 0 0 622 1 0 0 20 0 1 0 107699995 36147200 2987 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4906251 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8825 2987 816 380 0 2243 0 Current children cumulated CPU time: 6.23 s Current children cumulated vsize: 35300 KiB Current children cumulated memory: 11948 KiB [startup+12.7002 s] /proc/loadavg: 2.63 2.21 2.11 3/187 10501 /proc/meminfo: memFree=31815116/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35432 memory=12116 CPUtime=12.63 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 6428 0 0 0 1262 1 0 0 20 0 1 0 107699995 36282368 3029 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4910090 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8858 3029 816 380 0 2276 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 35432 KiB Current children cumulated memory: 12116 KiB [startup+25.5002 s] /proc/loadavg: 2.53 2.20 2.11 3/187 10501 /proc/meminfo: memFree=31815700/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35696 memory=12460 CPUtime=25.43 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 7549 0 0 0 2542 1 0 0 20 0 1 0 107699995 36552704 3115 18446744073709551615 4194304 5748600 140732699652784 140732699650184 5000352 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8924 3115 816 380 0 2342 0 Current children cumulated CPU time: 25.43 s Current children cumulated vsize: 35696 KiB Current children cumulated memory: 12460 KiB [startup+51.1089 s] /proc/loadavg: 2.32 2.18 2.11 3/187 10501 /proc/meminfo: memFree=31815836/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35696 memory=12528 CPUtime=51.04 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 8148 0 0 0 5103 1 0 0 20 0 1 0 107699995 36552704 3132 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4973040 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8924 3132 816 380 0 2342 0 Current children cumulated CPU time: 51.04 s Current children cumulated vsize: 35696 KiB Current children cumulated memory: 12528 KiB [startup+102.3 s] /proc/loadavg: 2.14 2.15 2.10 3/186 10503 /proc/meminfo: memFree=31815460/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35828 memory=12608 CPUtime=102.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 8971 0 0 0 10222 1 0 0 20 0 1 0 107699995 36687872 3152 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4873948 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8957 3152 816 380 0 2375 0 Current children cumulated CPU time: 102.23 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 12608 KiB [startup+162.3 s] /proc/loadavg: 2.05 2.13 2.10 3/186 10505 /proc/meminfo: memFree=31815204/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35828 memory=12668 CPUtime=162.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 9160 0 0 0 16222 1 0 0 20 0 1 0 107699995 36687872 3167 18446744073709551615 4194304 5748600 140732699652784 140732699650184 5000352 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8957 3167 816 380 0 2375 0 Current children cumulated CPU time: 162.23 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 12668 KiB [startup+222.3 s] /proc/loadavg: 2.06 2.12 2.10 3/184 10507 /proc/meminfo: memFree=31815856/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35828 memory=12672 CPUtime=222.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 9338 0 0 0 22222 1 0 0 20 0 1 0 107699995 36687872 3168 18446744073709551615 4194304 5748600 140732699652784 140732699650184 5000352 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8957 3168 816 380 0 2375 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 12672 KiB [startup+282.3 s] /proc/loadavg: 2.02 2.10 2.09 3/185 10510 /proc/meminfo: memFree=31815824/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35828 memory=12680 CPUtime=282.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 9524 0 0 0 28222 1 0 0 20 0 1 0 107699995 36687872 3170 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4919015 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8957 3170 816 380 0 2375 0 Current children cumulated CPU time: 282.23 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 12680 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.08 2.08 3/185 10512 /proc/meminfo: memFree=31815452/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35828 memory=12692 CPUtime=342.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 9699 0 0 0 34222 1 0 0 20 0 1 0 107699995 36687872 3173 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4873931 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8957 3173 816 380 0 2375 0 Current children cumulated CPU time: 342.23 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 12692 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.07 2.08 3/185 10514 /proc/meminfo: memFree=31815576/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35828 memory=12692 CPUtime=402.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 9839 0 0 0 40222 1 0 0 20 0 1 0 107699995 36687872 3173 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4906277 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8957 3173 816 380 0 2375 0 Current children cumulated CPU time: 402.23 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 12692 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.05 2.07 3/186 10517 /proc/meminfo: memFree=31815568/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=35828 memory=12692 CPUtime=462.23 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 9971 0 0 0 46222 1 0 0 20 0 1 0 107699995 36687872 3173 18446744073709551615 4194304 5748600 140732699652784 140732699650184 5000352 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 8957 3173 816 380 0 2375 0 Current children cumulated CPU time: 462.23 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 12692 KiB ################ # More data... # ################ /proc/10500/statm: 9056 3272 816 380 0 2474 0 Current children cumulated CPU time: 1602.28 s Current children cumulated vsize: 36224 KiB Current children cumulated memory: 13088 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 10594 /proc/meminfo: memFree=31813776/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36224 memory=13088 CPUtime=1662.28 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 12976 0 0 0 166227 1 0 0 20 0 1 0 107699995 37093376 3272 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4873990 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9056 3272 816 380 0 2474 0 Current children cumulated CPU time: 1662.28 s Current children cumulated vsize: 36224 KiB Current children cumulated memory: 13088 KiB [startup+1722.3 s] /proc/loadavg: 2.06 2.03 2.05 3/189 10610 /proc/meminfo: memFree=31809572/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36224 memory=13088 CPUtime=1722.28 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 12983 0 0 0 172227 1 0 0 20 0 1 0 107699995 37093376 3272 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4873942 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9056 3272 816 380 0 2474 0 Current children cumulated CPU time: 1722.28 s Current children cumulated vsize: 36224 KiB Current children cumulated memory: 13088 KiB [startup+1782.3 s] /proc/loadavg: 2.08 2.04 2.05 3/188 10612 /proc/meminfo: memFree=31808184/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36224 memory=13092 CPUtime=1782.28 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 13191 0 0 0 178227 1 0 0 20 0 1 0 107699995 37093376 3273 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4973116 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9056 3273 816 380 0 2474 0 Current children cumulated CPU time: 1782.28 s Current children cumulated vsize: 36224 KiB Current children cumulated memory: 13092 KiB [startup+1842.3 s] /proc/loadavg: 2.03 2.03 2.05 3/185 10614 /proc/meminfo: memFree=31811828/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13096 CPUtime=1842.29 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 13379 0 0 0 184228 1 0 0 20 0 1 0 107699995 37228544 3274 18446744073709551615 4194304 5748600 140732699652784 140732699649928 4909771 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3274 816 380 0 2507 0 Current children cumulated CPU time: 1842.29 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13096 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/185 10616 /proc/meminfo: memFree=31812448/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13100 CPUtime=1902.29 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 13553 0 0 0 190228 1 0 0 20 0 1 0 107699995 37228544 3275 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4873931 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3275 816 380 0 2507 0 Current children cumulated CPU time: 1902.29 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13100 KiB [startup+1962.3 s] /proc/loadavg: 2.07 2.04 2.05 3/184 10618 /proc/meminfo: memFree=31813120/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13104 CPUtime=1962.29 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 13735 0 0 0 196228 1 0 0 20 0 1 0 107699995 37228544 3276 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4910112 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3276 816 380 0 2507 0 Current children cumulated CPU time: 1962.29 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13104 KiB [startup+2022.3 s] /proc/loadavg: 2.07 2.05 2.05 3/185 10621 /proc/meminfo: memFree=31813164/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13104 CPUtime=2022.29 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 13958 0 0 0 202228 1 0 0 20 0 1 0 107699995 37228544 3276 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4918965 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3276 816 380 0 2507 0 Current children cumulated CPU time: 2022.29 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13104 KiB [startup+2082.3 s] /proc/loadavg: 2.03 2.04 2.05 3/186 10624 /proc/meminfo: memFree=31812992/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13116 CPUtime=2082.29 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 14162 0 0 0 208228 1 0 0 20 0 1 0 107699995 37228544 3279 18446744073709551615 4194304 5748600 140732699652784 140732699650184 5000352 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3279 816 380 0 2507 0 Current children cumulated CPU time: 2082.29 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13116 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.03 2.05 3/186 10626 /proc/meminfo: memFree=31812992/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13116 CPUtime=2142.29 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 14385 0 0 0 214228 1 0 0 20 0 1 0 107699995 37228544 3279 18446744073709551615 4194304 5748600 140732699652784 140732699650184 5000352 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3279 816 380 0 2507 0 Current children cumulated CPU time: 2142.29 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13116 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.03 2.05 3/186 10628 /proc/meminfo: memFree=31812868/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13120 CPUtime=2202.29 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 14562 0 0 0 220228 1 0 0 20 0 1 0 107699995 37228544 3280 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4906277 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3280 816 380 0 2507 0 Current children cumulated CPU time: 2202.29 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13120 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 10630 /proc/meminfo: memFree=31812744/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13120 CPUtime=2262.3 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 14719 0 0 0 226229 1 0 0 20 0 1 0 107699995 37228544 3280 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4909646 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3280 816 380 0 2507 0 Current children cumulated CPU time: 2262.3 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13120 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 10646 /proc/meminfo: memFree=31808840/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13120 CPUtime=2322.3 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 14966 0 0 0 232229 1 0 0 20 0 1 0 107699995 37228544 3280 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4906251 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3280 816 380 0 2507 0 Current children cumulated CPU time: 2322.3 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13120 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10648 /proc/meminfo: memFree=31808484/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13120 CPUtime=2382.3 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 15147 0 0 0 238229 1 0 0 20 0 1 0 107699995 37228544 3280 18446744073709551615 4194304 5748600 140732699652784 140732699650184 5000352 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3280 816 380 0 2507 0 Current children cumulated CPU time: 2382.3 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13120 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.00 2.01 2.05 3/181 10804 /proc/meminfo: memFree=31817696/32770624 swapFree=67108764/67108860 [pid=10500] ppid=10497 vsize=36356 memory=13124 CPUtime=2400.01 cores=1,3,5,7 /proc/10500/stat : 10500 (cosoco) R 10497 10500 4674 0 -1 4202496 15304 0 0 0 240000 1 0 0 20 0 1 0 107699995 37228544 3281 18446744073709551615 4194304 5748600 140732699652784 140732699650184 4906406 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20570112 140732699660745 140732699660840 140732699660840 140732699664334 0 /proc/10500/statm: 9089 3281 816 380 0 2507 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 36356 KiB Current children cumulated memory: 13124 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 10500 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400 s, system=0.018 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.01 CPU time (s): 2400.02 CPU user time (s): 2400 CPU system time (s): 0.018 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 36356 Max. memory (cumulated for all children) (KiB): 13124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.018 maximum resident set size= 13188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15352 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= 10 involuntary context switches= 991 # summary of solver processes directly reported to runsolver: # pid: 10500 # total CPU time (s): 2400.02 # total CPU user time (s): 2400 # total CPU system time (s): 0.018 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.2157 second user time and 15.1911 second system time The end
Begin job on node134 at 2017-08-13 07:11:41 IDJOB=4267267 IDBENCH=120746 IDSOLVER=2657 FILE ID=node134/4267267-1502601936 RUNJOBID= node134-1502596287-9625 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.12 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-4267267-1502601936/watcher-4267267-1502601936 -o /tmp/evaluation-result-4267267-1502601936/solver-4267267-1502601936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9625 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267267-1502601936.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83a9e5860e8605726185e9821b8e29ef RANDOM SEED=1723902542 node134.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.43 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.43 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.43 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.43 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: 31821988 kB MemAvailable: 31957744 kB Buffers: 214228 kB Cached: 214896 kB SwapCached: 4 kB Active: 355872 kB Inactive: 138720 kB Active(anon): 12368 kB Inactive(anon): 94540 kB Active(file): 343504 kB Inactive(file): 44180 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 2192 kB Writeback: 4 kB AnonPages: 65360 kB Mapped: 57124 kB Shmem: 41564 kB Slab: 154496 kB SReclaimable: 127816 kB SUnreclaim: 26680 kB KernelStack: 3280 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348592 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 07:51:41