Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco-sat 1.1 | No Cert. | 2400.08 | 2400.4 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml |
| MD5SUM | e0f1e7fd363778103a4292aa9d177ae8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 297 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1379 |
| Number of constraints | 824 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1353 |
| Distribution of domain sizes | [{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 28 |
| Distribution of constraint arities | [{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}] |
| Number of extensional constraints | 672 |
| Number of intensional constraints | 121 |
| Distribution of constraint types | [{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
1.49/1.88 c SAT : Variables: 39135 -- Clauses: 23950587 1.49/16.95 c best=?? lower=0 upper=576 1.49/16.95 c 1.49/16.95 c This is cosoco 1.0 -- 1.49/16.95 c 1.49/16.95 c enable optimization 1.49/16.95 c ========================================[ Problem Statistics ]=========================================== 1.49/16.95 c | 1.49/16.95 c | Parse time : 1.65 s 1.49/16.95 c | 1.49/16.95 c | Variables: 1379 1.49/16.95 c | Domain Sizes: 2..1353 1.49/16.95 c | 1.49/16.95 c | Constraints: 925 1.49/16.95 c | Arity: 1..28 -- Unary: 105 -- Binary: 122 -- Ternary: 96 1.49/16.95 c | 1.49/16.95 c | Types: 1.49/16.95 c | : 92 1.49/16.95 c | Extension: 580 (nb tuples: 1..724) -- (shared: 667) 1.49/16.95 c | Intension: 122 1.49/16.95 c | Sum: 27 1.49/16.95 c | Unary: 104 1.49/16.95 c | 1.49/16.95 c ========================================================================================================= 1.49/16.95 o 11 1.49/16.95 c 1 calls to solver: best=11 lower=12 upper=576 1.49/16.95 o 12 1.49/16.95 o 13 1.49/16.95 c 3 calls to solver: best=13 lower=14 upper=576 1.49/16.95 o 20 1.49/16.95 o 21 1.49/16.95 c 5 calls to solver: best=21 lower=22 upper=576 24.38/24.41 o 23 44.17/44.25 o 24 44.17/44.25 c 7 calls to solver: best=24 lower=25 upper=576 46.87/46.98 o 26 46.97/47.09 o 27 46.97/47.09 c 9 calls to solver: best=27 lower=28 upper=576 47.17/47.24 o 29 47.67/47.73 o 31 47.67/47.73 c 11 calls to solver: best=31 lower=32 upper=576 48.27/48.36 o 32 51.47/51.51 o 33 51.47/51.51 c 13 calls to solver: best=33 lower=34 upper=576 55.76/55.85 o 34 58.37/58.49 o 36 58.37/58.49 c 15 calls to solver: best=36 lower=37 upper=576 66.87/66.98 o 37 72.97/73.07 o 38 72.97/73.07 c 17 calls to solver: best=38 lower=39 upper=576 76.36/76.49 o 40 94.05/94.13 o 41 94.05/94.13 c 19 calls to solver: best=41 lower=42 upper=576 96.95/97.06 o 42 125.36/125.47 o 43 125.36/125.47 c 21 calls to solver: best=43 lower=44 upper=576 137.25/137.37 o 45 340.21/340.32 o 49 340.21/340.32 c 23 calls to solver: best=49 lower=50 upper=576 581.18/581.37 o 50 1533.67/1533.98 o 51 1533.67/1533.98 c 25 calls to solver: best=51 lower=52 upper=576 2400.07/2400.40 2400.07/2400.40 c *** INTERRUPTED *** 2400.07/2400.40 s SATISFIABLE 2400.07/2400.40 c Best value found: 51 2400.07/2400.40 2400.07/2400.40 2400.07/2400.40 v <instantiation type='solution' cost='51'> 2400.07/2400.40 v <list>x[0][0] x[0][1] 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[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][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[1][0] x[1][1] 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[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][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[2][0] x[2][1] 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[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][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[3][0] x[3][1] 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[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][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[4][0] x[4][1] 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[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][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[5][0] x[5][1] 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[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][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[6][0] x[6][1] 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[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][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[7][0] x[7][1] 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[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][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[8][0] x[8][1] 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[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][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[10][0] x[10][1] 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[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][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[11][0] x[11][1] 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[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][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[12][0] x[12][1] 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[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][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[13][0] x[13][1] 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[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][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[14][0] x[14][1] 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[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][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[15][0] x[15][1] 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[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][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[16][0] x[16][1] 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[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][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[17][0] x[17][1] 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[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][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[18][0] x[18][1] 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[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][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[19][0] x[19][1] 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[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][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[20][0] x[20][1] 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[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][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[21][0] x[21][1] 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[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][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[22][0] x[22][1] 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[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][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[23][0] x[23][1] 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[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][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[24][0] x[24][1] 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[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][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[25][0] x[25][1] 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[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][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] w[0][0] w[0][1] 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[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][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[1][0] w[1][1] 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[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][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[2][0] w[2][1] 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[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][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[3][0] w[3][1] 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[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][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[4][0] w[4][1] 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[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][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[5][0] w[5][1] 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[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][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[6][0] w[6][1] 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[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][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[7][0] w[7][1] 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[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][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[8][0] w[8][1] 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[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][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] 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][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[10][0] w[10][1] 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[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][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[11][0] w[11][1] 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[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][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[12][0] w[12][1] 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[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][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[13][0] w[13][1] 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[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][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[14][0] w[14][1] 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[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][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[15][0] w[15][1] 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[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][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[16][0] w[16][1] 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[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][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[17][0] w[17][1] 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[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][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[18][0] w[18][1] 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[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][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[19][0] w[19][1] 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[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][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[20][0] w[20][1] 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[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][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[21][0] w[21][1] 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[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][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[22][0] w[22][1] 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[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][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[23][0] w[23][1] 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[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][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[24][0] w[24][1] 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[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
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239945-1500632939/watcher-4239945-1500632939 -o /tmp/evaluation-result-4239945-1500632939/solver-4239945-1500632939 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239945-1500632939.xml pid=11166 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.95 2.00 2.04 3/187 11169 /proc/meminfo: memFree=30980940/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=27124 CPUtime=0 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 969 0 0 0 0 0 0 0 20 0 1 0 18041025 27774976 766 33554432000 4194304 5970956 140731205468992 140731205465640 140091117329381 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 6781 766 683 434 0 145 0 [startup+0.100096 s] /proc/loadavg: 1.95 2.00 2.04 3/187 11169 /proc/meminfo: memFree=30980940/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=33244 CPUtime=0.09 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 2599 0 0 0 9 0 0 0 20 0 1 0 18041025 34041856 2430 33554432000 4194304 5970956 140731205468992 140731205461328 140091117329381 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 8311 2430 792 434 0 1675 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33244 [startup+0.200357 s] /proc/loadavg: 1.95 2.00 2.04 3/187 11169 /proc/meminfo: memFree=30980940/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=34128 CPUtime=0.19 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 2823 0 0 0 19 0 0 0 20 0 1 0 18041025 34947072 2650 33554432000 4194304 5970956 140731205468992 140731205462824 140091117329381 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 8532 2650 792 434 0 1896 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 34128 [startup+0.30025 s] /proc/loadavg: 1.95 2.00 2.04 3/187 11169 /proc/meminfo: memFree=30980940/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=76468 CPUtime=0.29 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 10579 0 0 0 27 2 0 0 20 0 1 0 18041025 78303232 11929 33554432000 4194304 5970956 140731205468992 140731205465816 140091117398571 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 19117 11929 839 434 0 12481 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 76468 [startup+0.700257 s] /proc/loadavg: 1.95 2.00 2.04 3/187 11169 /proc/meminfo: memFree=30980940/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=312740 CPUtime=0.69 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 39374 0 0 0 61 8 0 0 20 0 1 0 18041025 320245760 65740 33554432000 4194304 5970956 140731205468992 140731205465816 5279679 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 78185 65740 839 434 0 71549 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 312740 [startup+1.50024 s] /proc/loadavg: 1.95 2.00 2.04 3/188 11170 /proc/meminfo: memFree=30502816/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=787320 CPUtime=1.49 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 90919 0 0 0 131 18 0 0 20 0 1 0 18041025 806215680 171950 33554432000 4194304 5970956 140731205468992 140731205465816 140091117398571 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 196830 171950 839 434 0 190194 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 787320 [startup+17.0558 s] /proc/loadavg: 1.95 2.00 2.04 3/188 11170 /proc/meminfo: memFree=30502816/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=1152332 CPUtime=17.03 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 161313 0 0 0 1677 26 0 0 20 0 1 0 18041025 1179987968 224812 33554432000 4194304 5970956 140731205468992 140731205465816 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288083 224812 855 434 0 281447 0 Current children cumulated CPU time (s) 17.03 Current children cumulated vsize (KiB) 1152332 [startup+17.1003 s] /proc/loadavg: 1.95 2.00 2.04 3/188 11170 /proc/meminfo: memFree=30502816/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=1152332 CPUtime=17.08 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 161314 0 0 0 1682 26 0 0 20 0 1 0 18041025 1179987968 224812 33554432000 4194304 5970956 140731205468992 140731205465816 4934035 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288083 224812 855 434 0 281447 0 Current children cumulated CPU time (s) 17.08 Current children cumulated vsize (KiB) 1152332 [startup+17.2003 s] /proc/loadavg: 1.95 2.00 2.04 3/188 11170 /proc/meminfo: memFree=30502816/32770624 swapFree=6312/1038508 [pid=11169] ppid=11166 vsize=1152332 CPUtime=17.18 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 161315 0 0 0 1692 26 0 0 20 0 1 0 18041025 1179987968 224812 33554432000 4194304 5970956 140731205468992 140731205465816 5040388 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288083 224812 855 434 0 281447 0 Current children cumulated CPU time (s) 17.18 Current children cumulated vsize (KiB) 1152332 [startup+25.5003 s] /proc/loadavg: 3.43 2.33 2.15 3/187 11173 /proc/meminfo: memFree=31100356/32770624 swapFree=6312/26688 [pid=11169] ppid=11166 vsize=1152844 CPUtime=25.48 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 180381 0 0 0 2521 27 0 0 20 0 1 0 18041025 1180512256 225436 33554432000 4194304 5970956 140731205468992 140731205466328 5039186 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288211 225436 855 434 0 281575 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1152844 [startup+51.1002 s] /proc/loadavg: 2.94 2.31 2.14 3/187 11173 /proc/meminfo: memFree=31097936/32770624 swapFree=6312/26268 [pid=11169] ppid=11166 vsize=1153380 CPUtime=51.07 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 202168 0 0 0 5079 28 0 0 20 0 1 0 18041025 1181061120 226097 33554432000 4194304 5970956 140731205468992 140731205466552 5311659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288345 226097 855 434 0 281709 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1153380 [startup+102.3 s] /proc/loadavg: 2.38 2.26 2.13 3/188 11182 /proc/meminfo: memFree=31095400/32770624 swapFree=6312/26344 [pid=11169] ppid=11166 vsize=1153636 CPUtime=102.26 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 225159 0 0 0 10197 29 0 0 20 0 1 0 18041025 1181323264 226672 33554432000 4194304 5970956 140731205468992 140731205466552 4908922 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288409 226672 855 434 0 281773 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1153636 [startup+162.3 s] /proc/loadavg: 2.14 2.21 2.13 3/188 11183 /proc/meminfo: memFree=31095332/32770624 swapFree=6312/26392 [pid=11169] ppid=11166 vsize=1153768 CPUtime=162.24 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 241974 0 0 0 16194 30 0 0 20 0 1 0 18041025 1181458432 226702 33554432000 4194304 5970956 140731205468992 140731205466552 5052118 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288442 226702 855 434 0 281806 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1153768 [startup+222.306 s] /proc/loadavg: 2.05 2.17 2.12 3/188 11184 /proc/meminfo: memFree=31095420/32770624 swapFree=6312/26420 [pid=11169] ppid=11166 vsize=1153768 CPUtime=222.23 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 248216 0 0 0 22193 30 0 0 20 0 1 0 18041025 1181458432 226704 33554432000 4194304 5970956 140731205468992 140731205466552 4964397 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288442 226704 855 434 0 281806 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1153768 [startup+282.3 s] /proc/loadavg: 2.02 2.14 2.12 3/188 11185 /proc/meminfo: memFree=31095312/32770624 swapFree=6312/26456 [pid=11169] ppid=11166 vsize=1153768 CPUtime=282.21 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 252353 0 0 0 28191 30 0 0 20 0 1 0 18041025 1181458432 226731 33554432000 4194304 5970956 140731205468992 140731205466552 5250391 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288442 226731 855 434 0 281806 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1153768 [startup+342.3 s] /proc/loadavg: 2.01 2.12 2.11 3/188 11186 /proc/meminfo: memFree=31094816/32770624 swapFree=6312/26492 [pid=11169] ppid=11166 vsize=1153904 CPUtime=342.21 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 262668 0 0 0 34190 31 0 0 20 0 1 0 18041025 1181597696 226767 33554432000 4194304 5970956 140731205468992 140731205456296 4964366 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226767 855 434 0 281840 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 1153904 [startup+402.3 s] /proc/loadavg: 2.20 2.14 2.12 3/187 11187 /proc/meminfo: memFree=31094956/32770624 swapFree=6312/26516 [pid=11169] ppid=11166 vsize=1153904 CPUtime=402.2 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 267596 0 0 0 40189 31 0 0 20 0 1 0 18041025 1181597696 226771 33554432000 4194304 5970956 140731205468992 140731205456296 5337487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226771 855 434 0 281840 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 1153904 [startup+462.3 s] /proc/loadavg: 2.10 2.13 2.12 3/187 11188 /proc/meminfo: memFree=31094760/32770624 swapFree=6312/26552 [pid=11169] ppid=11166 vsize=1153904 CPUtime=462.19 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 268122 0 0 0 46188 31 0 0 20 0 1 0 18041025 1181597696 226771 33554432000 4194304 5970956 140731205468992 140731205456296 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226771 855 434 0 281840 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 1153904 [startup+522.3 s] /proc/loadavg: 2.04 2.11 2.12 3/187 11189 /proc/meminfo: memFree=31095160/32770624 swapFree=6312/26576 [pid=11169] ppid=11166 vsize=1153904 CPUtime=522.19 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 269102 0 0 0 52188 31 0 0 20 0 1 0 18041025 1181597696 226771 33554432000 4194304 5970956 140731205468992 140731205456296 4909030 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226771 855 434 0 281840 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 1153904 [startup+582.3 s] /proc/loadavg: 2.01 2.09 2.11 3/187 11190 /proc/meminfo: memFree=31095760/32770624 swapFree=6312/26624 [pid=11169] ppid=11166 vsize=1153904 CPUtime=582.18 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 270118 0 0 0 58187 31 0 0 20 0 1 0 18041025 1181597696 226775 33554432000 4194304 5970956 140731205468992 140731205466552 5272786 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226775 855 434 0 281840 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 1153904 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.13 2.07 2.06 3/187 11281 /proc/meminfo: memFree=18322388/32770624 swapFree=6312/27232 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1482.07 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 282842 0 0 0 148175 32 0 0 20 0 1 0 18041025 1181597696 226948 33554432000 4194304 5970956 140731205468992 140731205466552 4964846 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226948 855 434 0 281840 0 Current children cumulated CPU time (s) 1482.07 Current children cumulated vsize (KiB) 1153904 [startup+1542.31 s] /proc/loadavg: 2.05 2.06 2.05 3/187 11282 /proc/meminfo: memFree=18308184/32770624 swapFree=6312/27288 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1542.07 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 284015 0 0 0 154175 32 0 0 20 0 1 0 18041025 1181597696 226948 33554432000 4194304 5970956 140731205468992 140731205456296 5327380 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226948 855 434 0 281840 0 Current children cumulated CPU time (s) 1542.07 Current children cumulated vsize (KiB) 1153904 [startup+1602.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 11284 /proc/meminfo: memFree=18302088/32770624 swapFree=6312/27328 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1602.06 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 284655 0 0 0 160174 32 0 0 20 0 1 0 18041025 1181597696 226948 33554432000 4194304 5970956 140731205468992 140731205456296 5040562 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226948 855 434 0 281840 0 Current children cumulated CPU time (s) 1602.06 Current children cumulated vsize (KiB) 1153904 [startup+1662.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 11285 /proc/meminfo: memFree=18294484/32770624 swapFree=6312/27364 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1662.05 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 285286 0 0 0 166173 32 0 0 20 0 1 0 18041025 1181597696 226948 33554432000 4194304 5970956 140731205468992 140731205456296 5069929 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226948 855 434 0 281840 0 Current children cumulated CPU time (s) 1662.05 Current children cumulated vsize (KiB) 1153904 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 11286 /proc/meminfo: memFree=18288892/32770624 swapFree=6312/27400 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1722.04 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 286159 0 0 0 172172 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 1722.04 Current children cumulated vsize (KiB) 1153904 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 11288 /proc/meminfo: memFree=18283832/32770624 swapFree=6312/27448 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1782.04 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 286809 0 0 0 178172 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 5039615 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 1782.04 Current children cumulated vsize (KiB) 1153904 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 11289 /proc/meminfo: memFree=18276648/32770624 swapFree=6312/27476 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1842.03 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 287489 0 0 0 184171 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 1842.03 Current children cumulated vsize (KiB) 1153904 [startup+1902.3 s] /proc/loadavg: 2.07 2.03 2.05 3/188 11298 /proc/meminfo: memFree=18271800/32770624 swapFree=6312/27516 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1902.02 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 288556 0 0 0 190170 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 5327383 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 1902.02 Current children cumulated vsize (KiB) 1153904 [startup+1962.3 s] /proc/loadavg: 2.06 2.04 2.05 3/188 11321 /proc/meminfo: memFree=18265292/32770624 swapFree=6312/27552 [pid=11169] ppid=11166 vsize=1153904 CPUtime=1962.02 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 289204 0 0 0 196170 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 5038155 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 1962.02 Current children cumulated vsize (KiB) 1153904 [startup+2022.3 s] /proc/loadavg: 2.02 2.03 2.05 3/188 11322 /proc/meminfo: memFree=18260844/32770624 swapFree=6312/27580 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2022.01 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 290287 0 0 0 202169 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2022.01 Current children cumulated vsize (KiB) 1153904 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 2.05 3/188 11323 /proc/meminfo: memFree=18256268/32770624 swapFree=6312/27624 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2082.01 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 290902 0 0 0 208169 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 5337513 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2082.01 Current children cumulated vsize (KiB) 1153904 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 11324 /proc/meminfo: memFree=18249960/32770624 swapFree=6312/27652 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2142 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 291534 0 0 0 214168 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 4934506 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2142 Current children cumulated vsize (KiB) 1153904 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/187 11325 /proc/meminfo: memFree=18245400/32770624 swapFree=6312/27696 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2202 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 292641 0 0 0 220168 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 4934069 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2202 Current children cumulated vsize (KiB) 1153904 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11326 /proc/meminfo: memFree=18239924/32770624 swapFree=6312/27728 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2261.98 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 293289 0 0 0 226166 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 5311662 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2261.98 Current children cumulated vsize (KiB) 1153904 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11327 /proc/meminfo: memFree=18234376/32770624 swapFree=6312/27756 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2321.98 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 293991 0 0 0 232166 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 4908944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2321.98 Current children cumulated vsize (KiB) 1153904 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11328 /proc/meminfo: memFree=18226636/32770624 swapFree=6312/27796 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2381.97 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 294922 0 0 0 238165 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 5038183 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2381.97 Current children cumulated vsize (KiB) 1153904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.4 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11328 /proc/meminfo: memFree=18224000/32770624 swapFree=6312/27800 [pid=11169] ppid=11166 vsize=1153904 CPUtime=2400.07 cores=1,3,5,7 /proc/11169/stat : 11169 (cosoco) R 11166 11169 5313 0 -1 4202496 295129 0 0 0 239975 32 0 0 20 0 1 0 18041025 1181597696 226950 33554432000 4194304 5970956 140731205468992 140731205456296 4934050 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 20254720 140731205473468 140731205473603 140731205473603 140731205476302 0 /proc/11169/statm: 288476 226950 855 434 0 281840 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 1153904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11169 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.4 CPU time (s): 2400.08 CPU user time (s): 2399.75 CPU system time (s): 0.328961 CPU usage (%): 99.9865 Max. virtual memory (cumulated for all children) (KiB): 1153904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.75 system time used= 0.328961 maximum resident set size= 907848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295165 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= 68 involuntary context switches= 120665 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.80359 second user time and 7.29559 second system time The end
Begin job on node104 at 2017-07-21 12:29:00 IDJOB=4239945 IDBENCH=115885 IDSOLVER=2621 FILE ID=node104/4239945-1500632939 RUNJOBID= node104-1500623789-5345 PBS_JOBID= 20623023 Free space on /tmp= 61524 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239945-1500632939/watcher-4239945-1500632939 -o /tmp/evaluation-result-4239945-1500632939/solver-4239945-1500632939 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239945-1500632939.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8 RANDOM SEED=1033519505 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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: 30981488 kB MemAvailable: 31995796 kB Buffers: 130428 kB Cached: 1164260 kB SwapCached: 0 kB Active: 243396 kB Inactive: 1109676 kB Active(anon): 6960 kB Inactive(anon): 70908 kB Active(file): 236436 kB Inactive(file): 1038768 kB Unevictable: 6312 kB Mlocked: 6312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 855344 kB Writeback: 12828 kB AnonPages: 64484 kB Mapped: 34528 kB Shmem: 17044 kB Slab: 135800 kB SReclaimable: 109880 kB SUnreclaim: 25920 kB KernelStack: 3280 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 344064 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62016 MiB End job on node104 at 2017-07-21 13:09:00