Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2 | SAT (TO) | 1209 | 2519.99 | 2520.01 |
Name | Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml |
MD5SUM | aadfd6ed706e08b9468e37c047f4c189 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 508 |
Best CPU time to get the best result obtained on this benchmark | 19845.3 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1640 |
Number of constraints | 1599 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 141 |
Distribution of domain sizes | [{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}] |
Minimum variable degree | 0 |
Maximum variable degree | 77 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 39 |
Distribution of constraint arities | [{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 39 |
Distribution of constraint types | [{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}] |
Optimization problem | YES |
Type of objective | min SUM |
1.05/1.13 c 1.05/1.13 c This is cosoco 2.00 -- 1.05/1.13 c 1.05/1.13 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389923-1568329059.xml 1.05/1.13 c enable optimization 1.05/1.13 c ========================================[ Problem Statistics ]=========================================== 1.05/1.13 c | 1.05/1.13 c | Parse time : 0.17 s 1.05/1.13 c | 1.05/1.13 c | Variables: 1640 1.05/1.13 c | Domain Sizes: 1..141 1.05/1.13 c | 1.05/1.13 c | Constraints: 1600 1.05/1.13 c | Arity: 1..1560 -- Unary: 39 -- Ternary: 1482 1.05/1.13 c | 1.05/1.13 c | Types: 1.05/1.13 c | Exactly K: 78 1.05/1.13 c | Sum: 1483 1.05/1.13 c | Unary: 39 1.05/1.13 c | 1.05/1.13 c | Objective: Minimize Sum 1.05/1.13 1.05/1.13 c ========================================================================================================= 1.05/1.13 o 1342 1.05/1.13 c 1 calls to solver(id=0): best=1342 lower=0 upper=1341 1.74/1.83 o 1322 2.43/2.56 o 1312 2.43/2.56 c 3 calls to solver(id=0): best=1312 lower=0 upper=1311 3.23/3.30 o 1311 3.94/4.04 o 1285 3.94/4.04 c 5 calls to solver(id=0): best=1285 lower=0 upper=1284 4.63/4.79 o 1278 5.43/5.54 o 1276 5.43/5.54 c 7 calls to solver(id=0): best=1276 lower=0 upper=1275 6.23/6.30 o 1266 6.94/7.06 o 1265 6.94/7.06 c 9 calls to solver(id=0): best=1265 lower=0 upper=1264 7.73/7.82 o 1258 8.44/8.59 o 1242 8.44/8.59 c 11 calls to solver(id=0): best=1242 lower=0 upper=1241 9.24/9.36 o 1225 10.05/10.18 o 1224 10.05/10.18 c 13 calls to solver(id=0): best=1224 lower=0 upper=1223 10.84/10.95 o 1216 11.64/11.72 o 1214 11.64/11.72 c 15 calls to solver(id=0): best=1214 lower=0 upper=1213 12.33/12.50 o 1209 2519.98/2520.00 2519.98/2520.00 c *** INTERRUPTED *** 2519.98/2520.00 c call to solver : 16 2519.98/2520.00 c 2519.98/2520.00 c restarts : 95 2519.98/2520.00 c conflicts : 401304 (159 /sec) 2519.98/2520.00 c decisions : 14694161 (5831 /sec) 2519.98/2520.00 c propagations : 337635029 (133984 /sec) 2519.98/2520.00 c root propagations : 618 2519.98/2520.00 c filter calls : 195171949 (77450 /sec) 2519.98/2520.00 c useless filter calls : 157646989 (80 %) 2519.98/2520.00 c Memory used : 52.17 MB 2519.98/2520.00 c Best bound time (wc) : 12.443 s 2519.98/2520.00 c CPU time : 2519.96 s 2519.98/2520.00 c real time : 2519.95 s 2519.98/2520.00 2519.98/2520.00 c nb Solutions = 16 2519.98/2520.00 s SATISFIABLE 2519.98/2520.00 c Best value found: 1209 2519.98/2520.00 2519.98/2520.00 2519.98/2520.00 v <instantiation type='solution' cost='1209'> 2519.98/2520.00 v <list>u[0] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[1] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[2] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[3] u[4] u[5] u[6] u[7] u[8] u[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][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> 2519.98/2520.01 v <values>* 139 38 89 42 110 10 61 107 83 19 18 66 104 25 96 19 124 96 34 80 89 126 37 11 46 60 96 17 90 9 134 104 70 119 21 139 19 84 11 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * </values> 2519.98/2520.01 v </instantiation> 2519.98/2520.01
OK 1209
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 (14049 MiB free) memory of node 1: 16384 MiB (13760 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389923-1568329059/watcher-4389923-1568329059 -o /tmp/evaluation-result-4389923-1568329059/solver-4389923-1568329059 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389923-1568329059.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 solver pid=3521, runsolver pid=3516 Current StackSize limit: 8192 KiB [startup+0.10017 s]* /proc/loadavg: 1.37 0.84 0.91 3/199 3526 /proc/meminfo: memFree=28467856/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=31452 memory=7872 CPUtime=0.04 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 2130 0 1 0 4 0 0 0 20 0 1 0 409174748 32206848 1968 33554432000 4194304 6210612 140720487098224 140720487095496 139917811583973 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 7863 1968 839 493 0 1168 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 31452 KiB Current children cumulated memory: 7872 KiB [startup+0.210571 s]* /proc/loadavg: 1.37 0.84 0.91 4/199 3526 /proc/meminfo: memFree=28457160/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=39976 memory=16260 CPUtime=0.15 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 4268 0 1 0 15 0 0 0 20 0 1 0 409174748 40935424 4065 33554432000 4194304 6210612 140720487098224 140720487094488 5753425 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 9994 4065 849 493 0 3299 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 39976 KiB Current children cumulated memory: 16260 KiB [startup+0.309574 s]* /proc/loadavg: 1.37 0.84 0.91 3/199 3526 /proc/meminfo: memFree=28457808/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=41032 memory=17580 CPUtime=0.25 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 4583 0 1 0 25 0 0 0 20 0 1 0 409174748 42016768 4395 33554432000 4194304 6210612 140720487098224 140720487094488 139917811583973 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 10258 4395 890 493 0 3563 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 41032 KiB Current children cumulated memory: 17580 KiB [startup+0.700296 s] /proc/loadavg: 1.37 0.84 0.91 3/199 3526 /proc/meminfo: memFree=28452972/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=46616 memory=23124 CPUtime=0.64 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 5984 0 1 0 63 1 0 0 20 0 1 0 409174748 47734784 5781 33554432000 4194304 6210612 140720487098224 140720487095464 139917811653163 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 11654 5781 890 493 0 4959 0 Current children cumulated CPU time: 0.64 s Current children cumulated vsize: 46616 KiB Current children cumulated memory: 23124 KiB [startup+1.50028 s] /proc/loadavg: 1.42 0.86 0.91 3/199 3526 /proc/meminfo: memFree=28449624/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=50608 memory=27084 CPUtime=1.44 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 6970 0 1 0 143 1 0 0 20 0 1 0 409174748 51822592 6771 33554432000 4194304 6210612 140720487098224 140720487086104 5157826 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 12652 6771 892 493 0 5957 0 Current children cumulated CPU time: 1.44 s Current children cumulated vsize: 50608 KiB Current children cumulated memory: 27084 KiB [startup+3.10923 s] /proc/loadavg: 1.42 0.86 0.91 3/199 3526 /proc/meminfo: memFree=28447888/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=50876 memory=27560 CPUtime=3.04 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 11139 0 1 0 303 1 0 0 20 0 1 0 409174748 52097024 6890 33554432000 4194304 6210612 140720487098224 140720487096360 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 12719 6890 892 493 0 6024 0 Current children cumulated CPU time: 3.04 s Current children cumulated vsize: 50876 KiB Current children cumulated memory: 27560 KiB [startup+6.30026 s] /proc/loadavg: 1.46 0.88 0.92 3/199 3527 /proc/meminfo: memFree=28447872/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=51012 memory=27656 CPUtime=6.23 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 15327 0 1 0 622 1 0 0 20 0 1 0 409174748 52236288 6914 33554432000 4194304 6210612 140720487098224 140720487086104 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 12753 6914 892 493 0 6058 0 Current children cumulated CPU time: 6.23 s Current children cumulated vsize: 51012 KiB Current children cumulated memory: 27656 KiB [startup+12.7003 s] /proc/loadavg: 1.51 0.89 0.92 3/199 3527 /proc/meminfo: memFree=28448072/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=51412 memory=28140 CPUtime=12.63 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 23465 0 1 0 1261 2 0 0 20 0 1 0 409174748 52645888 7035 33554432000 4194304 6210612 140720487098224 140720487096360 5249719 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 12853 7035 892 493 0 6158 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 51412 KiB Current children cumulated memory: 28140 KiB [startup+25.5003 s] /proc/loadavg: 1.58 0.93 0.93 3/199 3527 /proc/meminfo: memFree=28446720/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53152 memory=29808 CPUtime=25.43 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 29329 0 1 0 2541 2 0 0 20 0 1 0 409174748 54427648 7452 33554432000 4194304 6210612 140720487098224 140720487095496 5249681 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13288 7452 892 493 0 6593 0 Current children cumulated CPU time: 25.43 s Current children cumulated vsize: 53152 KiB Current children cumulated memory: 29808 KiB [startup+51.1091 s] /proc/loadavg: 1.75 1.03 0.97 3/199 3529 /proc/meminfo: memFree=28445976/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53288 memory=30000 CPUtime=51.03 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 34420 0 1 0 5101 2 0 0 20 0 1 0 409174748 54566912 7500 33554432000 4194304 6210612 140720487098224 140720487095464 5249664 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13322 7500 892 493 0 6627 0 Current children cumulated CPU time: 51.03 s Current children cumulated vsize: 53288 KiB Current children cumulated memory: 30000 KiB [startup+102.3 s] /proc/loadavg: 1.94 1.20 1.03 3/200 3535 /proc/meminfo: memFree=28445868/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30080 CPUtime=102.22 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 35449 0 1 0 10220 2 0 0 20 0 1 0 409174748 54702080 7520 33554432000 4194304 6210612 140720487098224 140720487095624 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7520 892 493 0 6660 0 Current children cumulated CPU time: 102.22 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30080 KiB [startup+162.3 s] /proc/loadavg: 1.98 1.34 1.09 3/201 3541 /proc/meminfo: memFree=28445436/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30096 CPUtime=162.22 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 35813 0 1 0 16220 2 0 0 20 0 1 0 409174748 54702080 7524 33554432000 4194304 6210612 140720487098224 140720487095624 5157176 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7524 892 493 0 6660 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30096 KiB [startup+222.3 s] /proc/loadavg: 1.99 1.46 1.15 3/200 3552 /proc/meminfo: memFree=28444972/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30120 CPUtime=222.22 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 36173 0 1 0 22220 2 0 0 20 0 1 0 409174748 54702080 7530 33554432000 4194304 6210612 140720487098224 140720487095624 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7530 892 493 0 6660 0 Current children cumulated CPU time: 222.22 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30120 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.56 1.20 3/201 3582 /proc/meminfo: memFree=28444768/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30128 CPUtime=282.22 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 36668 0 1 0 28220 2 0 0 20 0 1 0 409174748 54702080 7532 33554432000 4194304 6210612 140720487098224 140720487095624 5380096 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7532 892 493 0 6660 0 Current children cumulated CPU time: 282.22 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30128 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.64 1.25 3/202 3588 /proc/meminfo: memFree=28444940/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30136 CPUtime=342.22 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 37020 0 1 0 34220 2 0 0 20 0 1 0 409174748 54702080 7534 33554432000 4194304 6210612 140720487098224 140720487095624 5155576 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7534 892 493 0 6660 0 Current children cumulated CPU time: 342.22 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30136 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.71 1.30 3/200 3592 /proc/meminfo: memFree=28444972/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30136 CPUtime=402.22 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 37242 0 1 0 40220 2 0 0 20 0 1 0 409174748 54702080 7534 33554432000 4194304 6210612 140720487098224 140720487095624 5249664 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7534 892 493 0 6660 0 Current children cumulated CPU time: 402.22 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30136 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.76 1.34 3/200 3596 /proc/meminfo: memFree=28444676/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30136 CPUtime=462.22 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 37576 0 1 0 46220 2 0 0 20 0 1 0 409174748 54702080 7534 33554432000 4194304 6210612 140720487098224 140720487095624 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7534 892 493 0 6660 0 Current children cumulated CPU time: 462.22 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30136 KiB ################ # More data... # ################ /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 1722.26 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+1782.3 s] /proc/loadavg: 2.04 2.14 1.92 3/199 3715 /proc/meminfo: memFree=28444576/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=1782.26 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 43847 0 1 0 178223 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 1782.26 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+1842.3 s] /proc/loadavg: 2.01 2.12 1.93 3/199 3721 /proc/meminfo: memFree=28444628/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=1842.26 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 44059 0 1 0 184223 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 1842.26 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.10 1.93 3/199 3726 /proc/meminfo: memFree=28444144/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=1902.26 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 44277 0 1 0 190223 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5157176 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 1902.26 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.08 1.94 3/200 3732 /proc/meminfo: memFree=28443524/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=1962.26 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 44489 0 1 0 196223 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 1962.26 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.06 1.94 3/200 3744 /proc/meminfo: memFree=28443792/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2022.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 44808 0 1 0 202224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5157176 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2022.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2082.3 s] /proc/loadavg: 2.06 2.07 1.95 3/200 3748 /proc/meminfo: memFree=28444056/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2082.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 45009 0 1 0 208224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5249674 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2082.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2142.3 s] /proc/loadavg: 2.02 2.06 1.95 3/201 3754 /proc/meminfo: memFree=28443620/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2142.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 45212 0 1 0 214224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2142.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.05 1.95 3/200 3758 /proc/meminfo: memFree=28444172/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2202.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 45550 0 1 0 220224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2202.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.04 1.95 3/200 3762 /proc/meminfo: memFree=28444448/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2262.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 45763 0 1 0 226224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155606 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2262.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.03 1.95 3/200 3768 /proc/meminfo: memFree=28443624/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2322.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 45980 0 1 0 232224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2322.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.03 1.95 3/199 3772 /proc/meminfo: memFree=28443952/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2382.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 46194 0 1 0 238224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2382.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.02 1.95 3/199 3776 /proc/meminfo: memFree=28443888/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2442.27 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 46532 0 1 0 244224 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155864 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2442.27 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.02 1.95 3/200 3782 /proc/meminfo: memFree=28443772/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2502.28 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 46745 0 1 0 250225 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5157176 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2502.28 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 1.95 3/199 3782 /proc/meminfo: memFree=28443672/32770624 swapFree=66998520/67108860 [pid=3521] ppid=3516 vsize=53420 memory=30144 CPUtime=2519.98 cores=1,3,5,7 /proc/3521/stat : 3521 (cosoco) R 3516 3521 3464 0 -1 4202496 46745 0 1 0 251995 3 0 0 20 0 1 0 409174748 54702080 7536 33554432000 4194304 6210612 140720487098224 140720487095624 5155436 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8308220 8313664 13627392 140720487105547 140720487105649 140720487105649 140720487108558 0 /proc/3521/statm: 13355 7536 892 493 0 6660 0 Current children cumulated CPU time: 2519.98 s Current children cumulated vsize: 53420 KiB Current children cumulated memory: 30144 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 3521 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.96 s, system=0.033 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): 2519.99 CPU user time (s): 2519.96 CPU system time (s): 0.033 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 53420 Max. memory (cumulated for all children) (KiB): 30144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.96 system time used= 0.033 maximum resident set size= 30212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46802 page faults= 1 swaps= 0 block input operations= 728 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52 involuntary context switches= 711 # summary of solver processes directly reported to runsolver: # pid: 3521 # total CPU time (s): 2519.99 # total CPU user time (s): 2519.96 # total CPU system time (s): 0.033 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.71028 second user time and 16.3345 second system time The end
Begin job on node127 at 2019-09-13 00:56:59 IDJOB=4389923 IDBENCH=124389 IDSOLVER=2829 FILE ID=node127/4389923-1568329059 RUNJOBID= node127-1568329019-3496 PBS_JOBID= 21701156 Free space on /tmp= 58824 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389923-1568329059/watcher-4389923-1568329059 -o /tmp/evaluation-result-4389923-1568329059/solver-4389923-1568329059 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389923-1568329059.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189 RANDOM SEED=590360537 node127.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.55 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.55 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.55 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.55 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: 28478360 kB MemAvailable: 31867968 kB Buffers: 121648 kB Cached: 3526764 kB SwapCached: 6780 kB Active: 1988356 kB Inactive: 1671732 kB Active(anon): 3952 kB Inactive(anon): 48916 kB Active(file): 1984404 kB Inactive(file): 1622816 kB Unevictable: 109404 kB Mlocked: 109404 kB SwapTotal: 67108860 kB SwapFree: 66998520 kB Dirty: 5416 kB Writeback: 0 kB AnonPages: 105008 kB Mapped: 44016 kB Shmem: 32692 kB Slab: 225804 kB SReclaimable: 196444 kB SUnreclaim: 29360 kB KernelStack: 3648 kB PageTables: 6096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 501972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 59392 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 58816 MiB End job on node127 at 2019-09-13 01:38:59