Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.1 | SAT (TO) | 44 | 251.994 | 252.00999 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 367 |
Best CPU time to get the best result obtained on this benchmark | 251.811 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1712 |
Number of constraints | 1007 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1683 |
Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
Minimum variable degree | 1 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
Number of extensional constraints | 837 |
Number of intensional constraints | 136 |
Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.10/0.20 c best=?? lower=0 upper=729 1.79/1.87 c 1.79/1.87 c This is cosoco 1.1 -- 1.79/1.87 c 1.79/1.87 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258818-1502636892.xml 1.79/1.87 c enable optimization 1.79/1.87 c ========================================[ Problem Statistics ]=========================================== 1.79/1.87 c | 1.79/1.87 c | Parse time : 0.19 s 1.79/1.87 c | 1.79/1.87 c | Variables: 1712 1.79/1.87 c | Domain Sizes: 2..1683 1.79/1.87 c | 1.79/1.87 c | Constraints: 1120 1.79/1.87 c | Arity: 1..31 -- Unary: 117 -- Binary: 137 -- Ternary: 108 1.79/1.87 c | 1.79/1.87 c | Types: 1.79/1.87 c | Extension: 837 (nb tuples: 1..724) -- (shared: 832) 1.79/1.87 c | Intension: 137 1.79/1.87 c | Sum: 30 1.79/1.87 c | Unary: 116 1.79/1.87 c | 1.79/1.87 c ========================================================================================================= 1.79/1.87 o 8 1.79/1.87 c 1 calls to solver: best=8 lower=9 upper=729 2.10/2.11 o 18 2.69/2.79 o 25 2.69/2.79 c 3 calls to solver: best=25 lower=26 upper=729 2.89/2.99 o 26 3.89/3.92 o 39 3.89/3.92 c 5 calls to solver: best=39 lower=40 upper=729 5.39/5.43 o 40 21.48/21.51 o 41 21.48/21.51 c 7 calls to solver: best=41 lower=42 upper=729 28.67/28.76 o 42 31.67/31.75 o 43 31.67/31.75 c 9 calls to solver: best=43 lower=44 upper=729 63.17/63.26 o 44 251.98/252.00 251.98/252.00 c *** INTERRUPTED *** 251.98/252.00 c restarts : 62 251.98/252.00 c conflicts : 359371 (1426 /sec) 251.98/252.00 c decisions : 3928524 (15592 /sec) 251.98/252.00 c propagations : 133688327 (530605 /sec) 251.98/252.00 c root propagations : 25736 251.98/252.00 c filter calls : 89268086 (354302 /sec) 251.98/252.00 c useless filter calls : 62325757 (69 %) 251.98/252.00 c Memory used : 63.07 MB 251.98/252.00 c CPU time : 251.955 s 251.98/252.00 251.98/252.00 c nb Solutions = 10 251.98/252.00 s SATISFIABLE 251.98/252.00 c Best value found: 44 251.98/252.00 251.98/252.00 251.98/252.00 v <instantiation type='solution' cost='44'> 251.98/252.00 v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][1] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][1] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][1] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 251.98/252.00 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 2 2 2 2 0 0 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 1 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 1 1 1 0 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 1 0 0 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 0 1 0 1 1 0 0 1 0 1 2 2 2 2 2 2 2 1 1 2 2 1 2 2 2 2 2 2 1 1 1 0 1 0 0 1 1 1 2 2 2 2 2 2 2 1 0 0 1 2 1 2 2 2 2 2 2 2 1 1 1 0 0 0 1 1 2 2 2 2 2 2 2 2 1 0 0 1 2 1 2 2 2 2 2 2 2 1 1 1 1 1 0 0 1 0 2 2 2 2 2 2 2 2 1 1 2 2 1 2 2 2 2 2 2 2 2 1 2 2 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 1 1 1 0 0 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 0 1 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 2 2 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 0 0 1 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 0 0 1 2 2 2 1 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 1 2 2 2 2 27 559 608 656 702 743 783 822 862 906 953 83 1002 1053 1107 1163 1217 1266 1316 1365 1390 139 195 251 307 361 411 460 509 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 44 </values> 251.98/252.01 v </instantiation> 251.98/252.01
OK 44
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 (13537 MiB free) memory of node 1: 16384 MiB (14662 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258818-1502636892/watcher-4258818-1502636892 -o /tmp/evaluation-result-4258818-1502636892/solver-4258818-1502636892 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502635273-10383 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258818-1502636892.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 solver pid=10801, runsolver pid=10798 Current StackSize limit: 8192 KiB [startup+0.100147 s]* /proc/loadavg: 2.00 2.22 2.73 3/187 10817 /proc/meminfo: memFree=28861120/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=36532 memory=12996 CPUtime=0.1 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 3435 0 0 0 10 0 0 0 20 0 1 0 96770087 37408768 3249 33554432000 4194304 5972556 140725397591520 140725397588168 139643779438496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 9133 3249 797 435 0 2496 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 36532 KiB Current children cumulated memory: 12996 KiB [startup+0.209703 s]* /proc/loadavg: 2.00 2.22 2.73 3/187 10817 /proc/meminfo: memFree=28845456/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=44624 memory=21240 CPUtime=0.21 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 5511 0 0 0 20 1 0 0 20 0 1 0 96770087 45694976 5310 33554432000 4194304 5972556 140725397591520 140725397588168 4935569 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 11156 5310 815 435 0 4519 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 44624 KiB Current children cumulated memory: 21240 KiB [startup+0.309344 s]* /proc/loadavg: 2.00 2.22 2.73 3/187 10817 /proc/meminfo: memFree=28834916/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=47288 memory=23880 CPUtime=0.31 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 6181 0 0 0 30 1 0 0 20 0 1 0 96770087 48422912 5970 33554432000 4194304 5972556 140725397591520 140725397588168 139643779390437 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 11822 5970 854 435 0 5185 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 47288 KiB Current children cumulated memory: 23880 KiB [startup+0.700311 s] /proc/loadavg: 2.00 2.22 2.73 3/187 10817 /proc/meminfo: memFree=28826236/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=50864 memory=27576 CPUtime=0.69 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 7076 0 0 0 68 1 0 0 20 0 1 0 96770087 52084736 6894 33554432000 4194304 5972556 140725397591520 140725397588168 5327988 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 12716 6894 854 435 0 6079 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 50864 KiB Current children cumulated memory: 27576 KiB [startup+1.50034 s] /proc/loadavg: 2.00 2.22 2.73 3/187 10817 /proc/meminfo: memFree=28814160/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=59236 memory=36024 CPUtime=1.49 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 9170 0 0 0 148 1 0 0 20 0 1 0 96770087 60657664 9006 33554432000 4194304 5972556 140725397591520 140725397588232 5040122 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 14809 9006 854 435 0 8172 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 59236 KiB Current children cumulated memory: 36024 KiB [startup+3.10957 s] /proc/loadavg: 2.00 2.22 2.73 3/187 10817 /proc/meminfo: memFree=28799716/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=62588 memory=39256 CPUtime=3.1 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 17503 0 0 0 308 2 0 0 20 0 1 0 96770087 64090112 9814 33554432000 4194304 5972556 140725397591520 140725397588280 5039422 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 15647 9814 855 435 0 9010 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 62588 KiB Current children cumulated memory: 39256 KiB [startup+6.30028 s] /proc/loadavg: 2.00 2.22 2.73 3/187 10817 /proc/meminfo: memFree=28795280/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64052 memory=40768 CPUtime=6.29 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 25993 0 0 0 627 2 0 0 20 0 1 0 96770087 65589248 10192 33554432000 4194304 5972556 140725397591520 140725397588968 4923673 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16013 10192 855 435 0 9376 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 64052 KiB Current children cumulated memory: 40768 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.22 2.72 3/187 10817 /proc/meminfo: memFree=28793852/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64052 memory=40768 CPUtime=12.69 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 33856 0 0 0 1266 3 0 0 20 0 1 0 96770087 65589248 10192 33554432000 4194304 5972556 140725397591520 140725397588968 4935447 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16013 10192 855 435 0 9376 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 64052 KiB Current children cumulated memory: 40768 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.21 2.71 3/187 10817 /proc/meminfo: memFree=28793444/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64452 memory=41248 CPUtime=25.48 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 45564 0 0 0 2545 3 0 0 20 0 1 0 96770087 65998848 10312 33554432000 4194304 5972556 140725397591520 140725397578712 4936098 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16113 10312 855 435 0 9476 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 64452 KiB Current children cumulated memory: 41248 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.19 2.69 3/187 10817 /proc/meminfo: memFree=28792652/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64584 memory=41348 CPUtime=51.08 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 46158 0 0 0 5105 3 0 0 20 0 1 0 96770087 66134016 10337 33554432000 4194304 5972556 140725397591520 140725397578712 5040141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16146 10337 855 435 0 9509 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 64584 KiB Current children cumulated memory: 41348 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.16 2.65 3/187 10819 /proc/meminfo: memFree=28792148/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64584 memory=41408 CPUtime=102.27 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 46377 0 0 0 10224 3 0 0 20 0 1 0 96770087 66134016 10352 33554432000 4194304 5972556 140725397591520 140725397588968 4931760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16146 10352 855 435 0 9509 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 64584 KiB Current children cumulated memory: 41408 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.13 2.61 3/187 10820 /proc/meminfo: memFree=28792392/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64584 memory=41408 CPUtime=162.27 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 46551 0 0 0 16224 3 0 0 20 0 1 0 96770087 66134016 10352 33554432000 4194304 5972556 140725397591520 140725397588968 4931785 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16146 10352 855 435 0 9509 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 64584 KiB Current children cumulated memory: 41408 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.11 2.58 3/187 10821 /proc/meminfo: memFree=28792788/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64584 memory=41428 CPUtime=222.27 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 46728 0 0 0 22224 3 0 0 20 0 1 0 96770087 66134016 10357 33554432000 4194304 5972556 140725397591520 140725397588968 4931760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16146 10357 855 435 0 9509 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 64584 KiB Current children cumulated memory: 41428 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.10 2.56 3/187 10823 /proc/meminfo: memFree=28792296/32770624 swapFree=67108860/67108860 [pid=10801] ppid=10798 vsize=64584 memory=41428 CPUtime=251.98 cores=1,3,5,7 /proc/10801/stat : 10801 (cosoco) R 10798 10801 4973 0 -1 4202496 46897 0 0 0 25195 3 0 0 20 0 1 0 96770087 66134016 10357 33554432000 4194304 5972556 140725397591520 140725397588968 5338125 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24526848 140725397599393 140725397599523 140725397599523 140725397602254 0 /proc/10801/statm: 16146 10357 855 435 0 9509 0 Current children cumulated CPU time: 251.98 s Current children cumulated vsize: 64584 KiB Current children cumulated memory: 41428 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 10801 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.955 s, system=0.039 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 251.994 CPU user time (s): 251.955 CPU system time (s): 0.039 CPU usage (%): 99.9937 Max. virtual memory (cumulated for all children) (KiB): 64584 Max. memory (cumulated for all children) (KiB): 41428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.955 system time used= 0.039 maximum resident set size= 41496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46943 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= 28 involuntary context switches= 205 # summary of solver processes directly reported to runsolver: # pid: 10801 # total CPU time (s): 251.994 # total CPU user time (s): 251.955 # total CPU system time (s): 0.039 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.913867 second user time and 1.68334 second system time The end
Begin job on node151 at 2017-08-13 16:53:53 IDJOB=4258818 IDBENCH=115900 IDSOLVER=2644 FILE ID=node151/4258818-1502636892 RUNJOBID= node151-1502635273-10383 PBS_JOBID= 20628306 Free space on /tmp= 61756 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258818-1502636892/watcher-4258818-1502636892 -o /tmp/evaluation-result-4258818-1502636892/solver-4258818-1502636892 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502635273-10383 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258818-1502636892.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=1863097806 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 28877088 kB MemAvailable: 31994032 kB Buffers: 241716 kB Cached: 3166904 kB SwapCached: 0 kB Active: 846716 kB Inactive: 2613780 kB Active(anon): 54732 kB Inactive(anon): 25044 kB Active(file): 791984 kB Inactive(file): 2588736 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2352 kB Writeback: 0 kB AnonPages: 52988 kB Mapped: 43704 kB Shmem: 25224 kB Slab: 131236 kB SReclaimable: 104116 kB SUnreclaim: 27120 kB KernelStack: 3200 kB PageTables: 5092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 61752 MiB End job on node151 at 2017-08-13 16:58:06