Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 60 | 251.923 | 252.00999 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml |
MD5SUM | f7605bb50abdbd05cc6d9fedf17196d1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 386 |
Best CPU time to get the best result obtained on this benchmark | 251.79601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1831 |
Number of constraints | 1072 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1801 |
Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}] |
Minimum variable degree | 1 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 32 |
Distribution of constraint arities | [{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}] |
Number of extensional constraints | 896 |
Number of intensional constraints | 141 |
Distribution of constraint types | [{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.14/0.27 c best=?? lower=0 upper=784 1.72/1.89 c 1.72/1.89 c This is cosoco 1.12 -- 1.72/1.89 c 1.72/1.89 c command line: cosoco -lc -model -restarts HOME/instance-4268853-1502646140.xml 1.72/1.89 c enable optimization 1.72/1.89 c ========================================[ Problem Statistics ]=========================================== 1.72/1.89 c | 1.72/1.89 c | Parse time : 0.21 s 1.72/1.89 c | 1.72/1.89 c | Variables: 1831 1.72/1.89 c | Domain Sizes: 2..1801 1.72/1.89 c | 1.72/1.89 c | Constraints: 1189 1.72/1.89 c | Arity: 1..32 -- Unary: 121 -- Binary: 142 -- Ternary: 112 1.72/1.89 c | 1.72/1.89 c | Types: 1.72/1.89 c | Extension: 896 (nb tuples: 1..724) -- (shared: 891) 1.72/1.89 c | Intension: 142 1.72/1.89 c | Sum: 31 1.72/1.89 c | Unary: 120 1.72/1.89 c | 1.72/1.89 c ========================================================================================================= 1.72/1.89 o 45 1.72/1.89 c 1 calls to solver: best=45 lower=46 upper=784 3.83/3.98 o 55 4.42/4.59 o 56 4.42/4.59 c 3 calls to solver: best=56 lower=57 upper=784 8.83/8.94 o 60 251.91/252.00 251.91/252.00 c *** INTERRUPTED *** 251.91/252.00 c restarts : 61 251.91/252.00 c conflicts : 337484 (1340 /sec) 251.91/252.00 c decisions : 3811603 (15134 /sec) 251.91/252.00 c propagations : 120480481 (478354 /sec) 251.91/252.00 c root propagations : 28436 251.91/252.00 c filter calls : 83217970 (330408 /sec) 251.91/252.00 c useless filter calls : 58274253 (70 %) 251.91/252.00 c Memory used : 67.69 MB 251.91/252.00 c CPU time : 251.864 s 251.91/252.00 251.91/252.00 c nb Solutions = 4 251.91/252.00 s SATISFIABLE 251.91/252.00 c Best value found: 60 251.91/252.00 251.91/252.00 251.91/252.00 v <instantiation type='solution' cost='60'> 251.91/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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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[29][0] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][1] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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[29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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][29] 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.91/252.01 v <values>0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 0 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 1 1 0 0 0 0 0 2 0 2 0 2 1 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 1 0 0 0 1 1 1 2 0 0 0 2 0 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 0 0 0 1 2 2 2 2 1 2 0 0 0 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 2 1 1 2 2 2 2 2 1 2 2 1 1 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 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 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 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 1 1 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 1 0 0 0 2 2 2 2 2 2 2 2 1 2 2 1 0 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 1 2 1 1 0 1 1 0 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 1 1 0 0 1 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 1 1 1 1 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 1 1 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 1 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 1 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 2 2 2 2 2 1 2 2 1 1 0 0 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 1 2 0 1 2 2 2 2 1 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 2 2 2 2 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 2 2 1 0 0 2 2 0 0 1 2 1 2 2 2 2 2 2 2 2 1 2 1 0 0 0 0 0 1 1 2 2 2 0 0 1 2 1 1 0 2 1 1 2 2 2 2 2 2 2 1 2 2 1 1 1 1 0 1 1 2 2 1 1 0 1 2 2 0 0 2 0 1 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 2 1 2 2 2 1 1 2 2 2 2 1 2 1 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 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 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 2 1 2 2 1 1 2 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 0 0 0 0 0 0 21 492 533 576 624 680 738 796 854 910 962 61 1012 1062 1114 1170 1226 1276 1323 1370 1416 1440 96 136 180 234 292 350 404 449 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 0 1 1 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 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 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 1 0 1 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 1 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 1 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 60 </values> 251.91/252.01 v </instantiation> 251.91/252.01
OK 60
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 (15360 MiB free) memory of node 1: 16384 MiB (15614 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268853-1502646140/watcher-4268853-1502646140 -o /tmp/evaluation-result-4268853-1502646140/solver-4268853-1502646140 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30670 --watchdog 312 cosoco -lc -model -restarts HOME/instance-4268853-1502646140.xml running on 4 cores: 0,2,4,6 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=31125, runsolver pid=31122 Current StackSize limit: 8192 KiB [startup+0.100839 s]* /proc/loadavg: 2.00 2.04 2.16 3/182 31126 /proc/meminfo: memFree=31706668/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=36932 memory=13412 CPUtime=0.04 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 3518 0 0 0 4 0 0 0 20 0 1 0 52954649 37818368 3353 18446744073709551615 4194304 5972588 140728620026464 140728620020888 5187104 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 9233 3353 794 435 0 2596 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 36932 KiB Current children cumulated memory: 13412 KiB [startup+0.209457 s]* /proc/loadavg: 2.00 2.04 2.16 3/182 31126 /proc/meminfo: memFree=31704040/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=38356 memory=14836 CPUtime=0.14 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 3874 0 0 0 14 0 0 0 20 0 1 0 52954649 39276544 3709 18446744073709551615 4194304 5972588 140728620026464 140728620019864 5172842 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 9589 3709 797 435 0 2952 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 38356 KiB Current children cumulated memory: 14836 KiB [startup+0.308956 s]* /proc/loadavg: 2.00 2.04 2.16 3/182 31126 /proc/meminfo: memFree=31695668/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=46608 memory=23144 CPUtime=0.24 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 5994 0 0 0 24 0 0 0 20 0 1 0 52954649 47726592 5786 18446744073709551615 4194304 5972588 140728620026464 140728620020264 140406462667749 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 11652 5786 823 435 0 5015 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 46608 KiB Current children cumulated memory: 23144 KiB [startup+0.700294 s] /proc/loadavg: 2.00 2.04 2.16 3/182 31126 /proc/meminfo: memFree=31687740/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=56232 memory=32912 CPUtime=0.63 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 8398 0 0 0 62 1 0 0 20 0 1 0 52954649 57581568 8228 18446744073709551615 4194304 5972588 140728620026464 140728620020264 5039490 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 14058 8228 854 435 0 7421 0 Current children cumulated CPU time: 0.63 s Current children cumulated vsize: 56232 KiB Current children cumulated memory: 32912 KiB [startup+1.50031 s] /proc/loadavg: 2.00 2.04 2.16 3/182 31126 /proc/meminfo: memFree=31679928/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=62480 memory=38984 CPUtime=1.42 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 9968 0 0 0 141 1 0 0 20 0 1 0 52954649 63979520 9746 18446744073709551615 4194304 5972588 140728620026464 140728620023064 5099648 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 15620 9746 854 435 0 8983 0 Current children cumulated CPU time: 1.42 s Current children cumulated vsize: 62480 KiB Current children cumulated memory: 38984 KiB [startup+3.10932 s] /proc/loadavg: 2.00 2.04 2.16 3/182 31126 /proc/meminfo: memFree=31669000/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=65560 memory=42296 CPUtime=3.04 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 18700 0 0 0 301 3 0 0 20 0 1 0 52954649 67133440 10574 18446744073709551615 4194304 5972588 140728620026464 140728620013656 5099648 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 16390 10574 855 435 0 9753 0 Current children cumulated CPU time: 3.04 s Current children cumulated vsize: 65560 KiB Current children cumulated memory: 42296 KiB [startup+6.3003 s] /proc/loadavg: 2.00 2.04 2.16 3/182 31126 /proc/meminfo: memFree=31665132/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=68104 memory=44852 CPUtime=6.23 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 28551 0 0 0 619 4 0 0 20 0 1 0 52954649 69738496 11213 18446744073709551615 4194304 5972588 140728620026464 140728620013656 5099653 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17026 11213 855 435 0 10389 0 Current children cumulated CPU time: 6.23 s Current children cumulated vsize: 68104 KiB Current children cumulated memory: 44852 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.04 2.15 3/182 31127 /proc/meminfo: memFree=31664380/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=68776 memory=45584 CPUtime=12.63 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 37787 0 0 0 1259 4 0 0 20 0 1 0 52954649 70426624 11396 18446744073709551615 4194304 5972588 140728620026464 140728620023912 4931808 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17194 11396 855 435 0 10557 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 68776 KiB Current children cumulated memory: 45584 KiB [startup+25.5002 s] /proc/loadavg: 2.00 2.04 2.15 3/182 31127 /proc/meminfo: memFree=31663744/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=68908 memory=45716 CPUtime=25.42 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 54665 0 0 0 2537 5 0 0 20 0 1 0 52954649 70561792 11429 18446744073709551615 4194304 5972588 140728620026464 140728620023064 4909651 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17227 11429 855 435 0 10590 0 Current children cumulated CPU time: 25.42 s Current children cumulated vsize: 68908 KiB Current children cumulated memory: 45716 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.04 2.15 3/182 31127 /proc/meminfo: memFree=31662704/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=69176 memory=45964 CPUtime=51.02 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 59703 0 0 0 5097 5 0 0 20 0 1 0 52954649 70836224 11491 18446744073709551615 4194304 5972588 140728620026464 140728620023224 5338173 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17294 11491 855 435 0 10657 0 Current children cumulated CPU time: 51.02 s Current children cumulated vsize: 69176 KiB Current children cumulated memory: 45964 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.14 3/182 31129 /proc/meminfo: memFree=31662328/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=69308 memory=46036 CPUtime=102.21 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 60056 0 0 0 10216 5 0 0 20 0 1 0 52954649 70971392 11509 18446744073709551615 4194304 5972588 140728620026464 140728620023080 5328036 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17327 11509 855 435 0 10690 0 Current children cumulated CPU time: 102.21 s Current children cumulated vsize: 69308 KiB Current children cumulated memory: 46036 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.03 2.13 3/186 31146 /proc/meminfo: memFree=31657280/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=69308 memory=46052 CPUtime=162.2 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 60379 0 0 0 16215 5 0 0 20 0 1 0 52954649 70971392 11513 18446744073709551615 4194304 5972588 140728620026464 140728620023080 4931747 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17327 11513 855 435 0 10690 0 Current children cumulated CPU time: 162.2 s Current children cumulated vsize: 69308 KiB Current children cumulated memory: 46052 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.12 3/184 31148 /proc/meminfo: memFree=31659184/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=69308 memory=46080 CPUtime=222.2 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 60692 0 0 0 22215 5 0 0 20 0 1 0 52954649 70971392 11520 18446744073709551615 4194304 5972588 140728620026464 140728620023080 4931776 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17327 11520 855 435 0 10690 0 Current children cumulated CPU time: 222.2 s Current children cumulated vsize: 69308 KiB Current children cumulated memory: 46080 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.02 2.12 7/196 31180 /proc/meminfo: memFree=31631852/32770624 swapFree=67108860/67108860 [pid=31125] ppid=31122 vsize=69308 memory=46100 CPUtime=251.91 cores=0,2,4,6 /proc/31125/stat : 31125 (cosoco) R 31122 31125 11586 0 -1 4202496 60994 0 0 0 25186 5 0 0 20 0 1 0 52954649 70971392 11525 18446744073709551615 4194304 5972588 140728620026464 140728620023080 5328036 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 31043584 140728620028366 140728620028461 140728620028461 140728620031950 0 /proc/31125/statm: 17327 11525 855 435 0 10690 0 Current children cumulated CPU time: 251.91 s Current children cumulated vsize: 69308 KiB Current children cumulated memory: 46100 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 31125 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.865 s, system=0.057996 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.923 CPU user time (s): 251.865 CPU system time (s): 0.057996 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 69308 Max. memory (cumulated for all children) (KiB): 46100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.866 system time used= 0.057996 maximum resident set size= 46168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61040 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= 26 involuntary context switches= 331 # summary of solver processes directly reported to runsolver: # pid: 31125 # total CPU time (s): 251.923 # total CPU user time (s): 251.865 # total CPU system time (s): 0.057996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.919943 second user time and 1.70606 second system time The end
Begin job on node124 at 2017-08-13 19:28:04 IDJOB=4268853 IDBENCH=115904 IDSOLVER=2659 FILE ID=node124/4268853-1502646140 RUNJOBID= node124-1502644521-30670 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268853-1502646140/watcher-4268853-1502646140 -o /tmp/evaluation-result-4268853-1502646140/solver-4268853-1502646140 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30670 --watchdog 312 cosoco -lc -model -restarts HOME/instance-4268853-1502646140.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=1273073855 node124.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.51 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.51 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.51 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.51 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: 31718872 kB MemAvailable: 31980064 kB Buffers: 172248 kB Cached: 378456 kB SwapCached: 0 kB Active: 443224 kB Inactive: 183792 kB Active(anon): 27376 kB Inactive(anon): 73804 kB Active(file): 415848 kB Inactive(file): 109988 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4936 kB Writeback: 0 kB AnonPages: 202944 kB Mapped: 44988 kB Shmem: 25320 kB Slab: 128676 kB SReclaimable: 102384 kB SUnreclaim: 26292 kB KernelStack: 3536 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348408 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-13 19:32:16