| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 4 | 2520.05 | 2520.01 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml |
| MD5SUM | d153897c9dbbbf34794d1a29a7a79358 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1600 |
| Number of constraints | 9880 |
| Number of domains | 1 |
| Minimum domain size | 780 |
| Maximum domain size | 780 |
| Distribution of domain sizes | [{"size":780,"count":780}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":0,"count":820},{"degree":39,"count":780}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":9880}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9880 |
| Distribution of constraint types | [{"type":"intension","count":9880}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
11.29/11.30 c best=?? lower=0 upper=779 12.69/12.74 c 12.69/12.74 c This is cosoco 1.12 -- 12.69/12.74 c 12.69/12.74 c command line: cosoco -lc -model -restarts HOME/instance-4268448-1502617607.xml 12.69/12.74 c enable optimization 12.69/12.74 c ========================================[ Problem Statistics ]=========================================== 12.69/12.74 c | 12.69/12.74 c | Parse time : 11.17 s 12.69/12.74 c | 12.69/12.74 c | Variables: 1600 12.69/12.74 c | Domain Sizes: 780..780 12.69/12.74 c | 12.69/12.74 c | Constraints: 9881 12.69/12.74 c | Arity: 3..780 -- Ternary: 9880 12.69/12.74 c | 12.69/12.74 c | Types: 12.69/12.74 c | Intension: 9880 12.69/12.74 c | Max constant: 1 12.69/12.74 c | 12.69/12.74 c ========================================================================================================= 12.69/12.74 o 4 12.69/12.74 c 1 calls to solver: best=4 lower=0 upper=3 2520.04/2520.00 2520.04/2520.00 c *** INTERRUPTED *** 2520.04/2520.00 c restarts : 90 2520.04/2520.00 c conflicts : 5175019 (2054 /sec) 2520.04/2520.00 c decisions : 18284883 (7257 /sec) 2520.04/2520.00 c propagations : 263518549 (104588 /sec) 2520.04/2520.00 c root propagations : 607767 2520.04/2520.00 c filter calls : 3753058452 (1489559 /sec) 2520.04/2520.00 c useless filter calls : 3531854695 (94 %) 2520.04/2520.00 c Memory used : 768.74 MB 2520.04/2520.00 c CPU time : 2519.58 s 2520.04/2520.00 2520.04/2520.00 c nb Solutions = 1 2520.04/2520.00 s SATISFIABLE 2520.04/2520.00 c Best value found: 4 2520.04/2520.00 2520.04/2520.00 2520.04/2520.00 v <instantiation type='solution' cost='4'> 2520.04/2520.00 v <list>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][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] 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][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] 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][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] 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][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] 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][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] 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][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] 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][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] 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][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] 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][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] 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][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] 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][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] 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][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] 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][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] 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][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] 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][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] 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][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] 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][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] 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][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] 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][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] 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][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] 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][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] 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][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] 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][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][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][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] 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][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] 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][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] 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][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] 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][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] 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][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] 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][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2520.04/2520.00 v <values>* 0 3 2 3 1 3 0 1 3 4 1 0 1 3 1 1 2 2 3 2 1 2 2 0 0 1 2 0 1 3 1 0 1 3 4 0 3 3 0 * * 3 0 0 0 1 3 0 1 0 * 4 1 1 1 2 0 1 0 2 0 * 2 3 3 1 0 2 1 3 2 1 * * * * * * * * * * 1 0 0 0 2 0 1 3 * 2 1 1 1 0 2 1 0 4 2 * 2 1 2 2 0 3 1 2 0 0 * * * * * * * * * * * 1 2 0 2 3 4 1 * 2 2 0 0 0 3 3 1 1 2 * 0 0 1 0 1 1 2 2 2 3 * * * * * * * * * * * * 1 1 0 3 1 2 * 0 1 1 1 2 1 0 2 0 2 * 3 2 0 1 3 0 1 4 2 1 * * * * * * * * * * * * * 2 0 2 0 1 * 0 0 2 2 2 3 0 1 0 3 * 1 1 3 0 1 0 3 1 4 2 * * * * * * * * * * * * * * 0 1 0 3 * 0 0 4 3 1 0 0 1 3 2 * 3 2 2 2 2 0 0 1 1 3 * * * * * * * * * * * * * * * 0 2 0 * 3 1 0 2 0 3 2 3 1 1 * 0 2 1 1 2 2 1 0 0 1 * * * * * * * * * * * * * * * * 0 1 * 0 0 1 3 4 1 0 2 0 2 * 1 1 3 0 1 0 2 2 2 1 * * * * * * * * * * * * * * * * * 1 * 1 2 2 3 0 3 3 1 1 2 * 2 0 0 2 1 1 2 0 0 0 * * * * * * * * * * * * * * * * * * * 0 1 2 1 1 2 1 3 2 1 * 2 0 0 1 2 0 1 2 1 0 * * * * * * * * 4 2 1 2 0 2 1 0 1 3 * 3 2 1 3 0 0 1 0 3 4 1 1 1 3 3 0 2 0 3 0 0 2 2 1 2 2 1 0 * * * * * * * * * * * * * 1 0 2 0 1 2 2 2 3 * 0 2 1 1 3 2 1 0 0 1 * * * * * * * * * * * * * * * * * * * * * 3 2 0 2 2 1 2 3 * 1 0 0 4 1 3 3 0 0 0 * * * * * * * * * * * * * * * * * * * * * * 3 1 0 0 0 3 1 * 3 2 2 3 0 1 0 1 1 0 * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 1 1 2 * 2 3 1 2 1 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 1 0 3 0 3 * 1 1 3 2 1 0 2 2 4 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 0 1 * 0 0 0 3 3 2 2 1 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 0 * 0 0 1 2 1 1 2 2 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 * 0 0 0 1 2 0 1 0 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * 1 1 2 2 0 3 0 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 0 3 1 0 0 0 0 0 * * * * * * * * 0 3 3 2 1 1 2 2 3 4 * 2 1 2 1 0 1 4 3 3 3 * 3 3 0 1 3 1 0 0 0 0 1 2 0 2 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 2 1 1 0 1 0 3 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 0 1 0 2 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 2 2 1 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 3 1 3 4 1 4 4 1 * 2 3 2 3 2 2 0 1 3 2 * 1 1 0 3 1 0 4 1 2 0 * 1 3 0 1 0 0 * 0 0 1 4 2 1 0 3 1 3 * 0 1 1 1 3 1 0 2 3 2 * 2 3 0 1 3 0 0 2 2 1 * * 1 4 4 1 0 * 1 0 4 1 4 2 0 3 0 1 * 0 0 2 2 2 0 0 1 2 3 * 4 4 1 0 1 0 3 3 2 2 * * * 2 1 3 1 * 2 3 0 0 0 4 3 0 1 0 * 4 1 1 1 3 0 1 2 3 2 * 3 2 2 1 3 4 0 0 0 1 * * * * 1 1 1 * 2 1 2 0 0 1 3 0 2 2 * 1 3 4 2 0 0 2 2 1 1 * 3 2 2 3 3 1 0 0 0 0 * * * * * 0 3 * 1 1 4 2 1 2 0 1 0 3 * 0 0 2 0 1 3 3 0 1 0 * 2 3 1 0 0 1 2 2 1 2 * * * * * * 2 * 2 1 2 0 1 1 1 2 0 0 * 1 0 0 0 3 2 2 4 3 0 * 0 2 2 0 2 1 4 3 4 3 * * * * * * * </values> 2520.04/2520.00 v </instantiation> 2520.04/2520.00
OK 4
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 (12997 MiB free)
memory of node 1: 16384 MiB (15011 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268448-1502617607/watcher-4268448-1502617607 -o /tmp/evaluation-result-4268448-1502617607/solver-4268448-1502617607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502616748-1250 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268448-1502617607.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1279, runsolver pid=1276
[startup+0.100154 s]*
/proc/loadavg: 1.14 1.68 1.92 3/187 1280
/proc/meminfo: memFree=28668448/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=38036 memory=14060 CPUtime=0.1 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 3695 0 0 0 10 0 0 0 20 0 1 0 94848600 38948864 3515 33554432000 4194304 5972588 140732630942704 140732630939352 5395878 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 9509 3515 717 435 0 2872 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38036 KiB
Current children cumulated memory: 14060 KiB
[startup+0.209421 s]*
/proc/loadavg: 1.14 1.68 1.92 3/187 1280
/proc/meminfo: memFree=28663364/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=39436 memory=15556 CPUtime=0.21 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 4145 0 0 0 21 0 0 0 20 0 1 0 94848600 40382464 3889 33554432000 4194304 5972588 140732630942704 140732630939352 140334078571057 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 9859 3889 787 435 0 3222 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39436 KiB
Current children cumulated memory: 15556 KiB
[startup+0.309087 s]*
/proc/loadavg: 1.14 1.68 1.92 3/187 1280
/proc/meminfo: memFree=28654684/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=43892 memory=20044 CPUtime=0.3 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 5253 0 0 0 30 0 0 0 20 0 1 0 94848600 44945408 5011 33554432000 4194304 5972588 140732630942704 140732630939352 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 10973 5011 787 435 0 4336 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43892 KiB
Current children cumulated memory: 20044 KiB
[startup+0.700282 s]
/proc/loadavg: 1.14 1.68 1.92 3/187 1280
/proc/meminfo: memFree=28636828/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=61100 memory=37468 CPUtime=0.69 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 9583 0 0 0 68 1 0 0 20 0 1 0 94848600 62566400 9367 33554432000 4194304 5972588 140732630942704 140732630936264 140334077737957 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 15275 9367 787 435 0 8638 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61100 KiB
Current children cumulated memory: 37468 KiB
[startup+1.50031 s]
/proc/loadavg: 1.14 1.68 1.92 3/187 1280
/proc/meminfo: memFree=28593388/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=97256 memory=73372 CPUtime=1.48 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 18612 0 0 0 146 2 0 0 20 0 1 0 94848600 99590144 18343 33554432000 4194304 5972588 140732630942704 140732630936264 140334077747210 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 24314 18343 787 435 0 17677 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97256 KiB
Current children cumulated memory: 73372 KiB
[startup+3.10923 s]
/proc/loadavg: 1.14 1.68 1.92 3/187 1280
/proc/meminfo: memFree=28420144/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=170028 memory=146244 CPUtime=3.1 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 37852 0 0 0 305 5 0 0 20 0 1 0 94848600 174108672 36561 33554432000 4194304 5972588 140732630942704 140732630936264 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 42507 36561 787 435 0 35870 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 170028 KiB
Current children cumulated memory: 146244 KiB
[startup+6.30027 s]
/proc/loadavg: 1.20 1.68 1.92 3/187 1280
/proc/meminfo: memFree=28158476/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=314676 memory=290784 CPUtime=6.29 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 74977 0 0 0 621 8 0 0 20 0 1 0 94848600 322228224 72696 33554432000 4194304 5972588 140732630942704 140732630936264 140334077730475 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 78669 72696 787 435 0 72032 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 314676 KiB
Current children cumulated memory: 290784 KiB
[startup+12.7003 s]
/proc/loadavg: 1.27 1.69 1.92 3/187 1280
/proc/meminfo: memFree=27463952/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=778476 memory=755140 CPUtime=12.69 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 248638 0 0 0 1246 23 0 0 20 0 1 0 94848600 797159424 188750 33554432000 4194304 5972588 140732630942704 140732630939560 4965339 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 194619 188785 830 435 0 187982 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 778476 KiB
Current children cumulated memory: 755140 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 1.70 1.92 3/187 1280
/proc/meminfo: memFree=27336696/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787056 memory=763796 CPUtime=25.49 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 289636 0 0 0 2525 24 0 0 20 0 1 0 94848600 805945344 190949 33554432000 4194304 5972588 140732630942704 140732630939304 5071280 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196764 190949 831 435 0 190127 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 787056 KiB
Current children cumulated memory: 763796 KiB
[startup+51.1094 s]
/proc/loadavg: 1.62 1.73 1.92 3/187 1280
/proc/meminfo: memFree=27336540/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763876 CPUtime=51.1 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 334932 0 0 0 5084 26 0 0 20 0 1 0 94848600 806080512 190969 33554432000 4194304 5972588 140732630942704 140732630939304 4909058 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190969 831 435 0 190160 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763876 KiB
[startup+102.3 s]
/proc/loadavg: 1.84 1.77 1.93 3/187 1281
/proc/meminfo: memFree=27336356/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763876 CPUtime=102.29 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 383864 0 0 0 10201 28 0 0 20 0 1 0 94848600 806080512 190969 33554432000 4194304 5972588 140732630942704 140732630939304 5071289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190969 831 435 0 190160 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763876 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.81 1.94 3/187 1282
/proc/meminfo: memFree=27336376/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763908 CPUtime=162.3 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 431024 0 0 0 16199 31 0 0 20 0 1 0 94848600 806080512 190977 33554432000 4194304 5972588 140732630942704 140732630939304 4968786 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190977 831 435 0 190160 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763908 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 1.86 1.95 3/187 1283
/proc/meminfo: memFree=27336416/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763920 CPUtime=222.3 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 478979 0 0 0 22197 33 0 0 20 0 1 0 94848600 806080512 190980 33554432000 4194304 5972588 140732630942704 140732630939304 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190980 831 435 0 190160 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763920 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.89 1.95 3/187 1284
/proc/meminfo: memFree=27336436/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763920 CPUtime=282.31 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 512289 0 0 0 28196 35 0 0 20 0 1 0 94848600 806080512 190980 33554432000 4194304 5972588 140732630942704 140732630939304 4965382 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190980 831 435 0 190160 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763920 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.91 1.95 3/186 1285
/proc/meminfo: memFree=27337348/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763920 CPUtime=342.31 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 559097 0 0 0 34194 37 0 0 20 0 1 0 94848600 806080512 190980 33554432000 4194304 5972588 140732630942704 140732630939304 4962405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190980 831 435 0 190160 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763920 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.92 1.95 3/187 1287
/proc/meminfo: memFree=27336408/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763924 CPUtime=402.3 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 610172 0 0 0 40190 40 0 0 20 0 1 0 94848600 806080512 190981 33554432000 4194304 5972588 140732630942704 140732630939304 5071307 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190981 831 435 0 190160 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763924 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.94 1.95 3/189 1297
/proc/meminfo: memFree=27335868/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763924 CPUtime=462.29 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 644781 0 0 0 46187 42 0 0 20 0 1 0 94848600 806080512 190981 33554432000 4194304 5972588 140732630942704 140732630939304 5072002 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190981 831 435 0 190160 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763924 KiB
################
# More data... #
################
/proc/1279/statm: 196797 190982 831 435 0 190160 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763928 KiB
[startup+1782.3 s]
/proc/loadavg: 2.40 2.14 2.04 3/189 1360
/proc/meminfo: memFree=27334800/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763928 CPUtime=1782.29 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 746367 0 0 0 178182 47 0 0 20 0 1 0 94848600 806080512 190982 33554432000 4194304 5972588 140732630942704 140732630939304 4965825 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190982 831 435 0 190160 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763928 KiB
[startup+1842.3 s]
/proc/loadavg: 2.29 2.17 2.05 3/189 1361
/proc/meminfo: memFree=27334668/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763928 CPUtime=1842.3 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 746791 0 0 0 184183 47 0 0 20 0 1 0 94848600 806080512 190982 33554432000 4194304 5972588 140732630942704 140732630939304 4965428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190982 831 435 0 190160 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763928 KiB
[startup+1902.3 s]
/proc/loadavg: 2.11 2.14 2.05 3/189 1362
/proc/meminfo: memFree=27334864/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763928 CPUtime=1902.3 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 747216 0 0 0 190183 47 0 0 20 0 1 0 94848600 806080512 190982 33554432000 4194304 5972588 140732630942704 140732630939304 5338144 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190982 831 435 0 190160 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763928 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.11 2.05 3/188 1363
/proc/meminfo: memFree=27335316/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763928 CPUtime=1962.3 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 747694 0 0 0 196183 47 0 0 20 0 1 0 94848600 806080512 190982 33554432000 4194304 5972588 140732630942704 140732630939304 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190982 831 435 0 190160 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763928 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.09 2.05 3/187 1364
/proc/meminfo: memFree=27335164/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2022.31 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 748152 0 0 0 202184 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 5328649 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.08 2.05 3/187 1365
/proc/meminfo: memFree=27335288/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2082.31 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 748600 0 0 0 208184 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/187 1368
/proc/meminfo: memFree=27334988/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2142.31 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 749080 0 0 0 214184 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 4965428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 1369
/proc/meminfo: memFree=27335228/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2202.32 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 749539 0 0 0 220185 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 4968734 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 1379
/proc/meminfo: memFree=27334528/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2262.32 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 749970 0 0 0 226185 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 5071307 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 1380
/proc/meminfo: memFree=27334652/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2322.32 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 750448 0 0 0 232185 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 5072002 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 1381
/proc/meminfo: memFree=27334652/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2382.33 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 750878 0 0 0 238186 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 4909594 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 1382
/proc/meminfo: memFree=27334520/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2442.33 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 751309 0 0 0 244186 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 5328649 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 1383
/proc/meminfo: memFree=27334760/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2502.33 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 751750 0 0 0 250186 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 4968804 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.03 2.05 2/186 1383
/proc/meminfo: memFree=27924656/32770624 swapFree=67108860/67108860
[pid=1279] ppid=1276 vsize=787188 memory=763932 CPUtime=2520.04 cores=1,3,5,7
/proc/1279/stat : 1279 (cosoco) R 1276 1279 31095 0 -1 4202496 751908 0 0 0 251957 47 0 0 20 0 1 0 94848600 806080512 190983 33554432000 4194304 5972588 140732630942704 140732630939304 5071964 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39682048 140732630947007 140732630947102 140732630947102 140732630949838 0
/proc/1279/statm: 196797 190983 831 435 0 190160 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 787188 KiB
Current children cumulated memory: 763932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 1279 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.58 s, system=0.476025 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2519.58
CPU system time (s): 0.476025
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 787188
Max. memory (cumulated for all children) (KiB): 763932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.476025
maximum resident set size= 763996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 751959
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= 201
involuntary context switches= 671
# summary of solver processes directly reported to runsolver:
# pid: 1279
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.58
# total CPU system time (s): 0.476025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.37586 second user time and 16.2858 second system time
The end
Begin job on node104 at 2017-08-13 11:32:29 IDJOB=4268448 IDBENCH=140585 IDSOLVER=2658 FILE ID=node104/4268448-1502617607 RUNJOBID= node104-1502616748-1250 PBS_JOBID= 20628300 Free space on /tmp= 61860 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-40.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268448-1502617607/watcher-4268448-1502617607 -o /tmp/evaluation-result-4268448-1502617607/solver-4268448-1502617607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502616748-1250 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268448-1502617607.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d153897c9dbbbf34794d1a29a7a79358 RANDOM SEED=1214233802 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28680924 kB MemAvailable: 31979244 kB Buffers: 144596 kB Cached: 3435716 kB SwapCached: 0 kB Active: 342456 kB Inactive: 3297236 kB Active(anon): 62040 kB Inactive(anon): 25024 kB Active(file): 280416 kB Inactive(file): 3272212 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5344 kB Writeback: 0 kB AnonPages: 65584 kB Mapped: 44204 kB Shmem: 25228 kB Slab: 148308 kB SReclaimable: 123056 kB SUnreclaim: 25252 kB KernelStack: 3200 kB PageTables: 5320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 360452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61860 MiB End job on node104 at 2017-08-13 12:14:29