Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 1967 | 2519.99 | 2520.01 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml |
MD5SUM | 681710e79c8377b968f88ec392af942b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 770 |
Best CPU time to get the best result obtained on this benchmark | 2520.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1482 |
Number of constraints | 1443 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}] |
Minimum variable degree | 0 |
Maximum variable degree | 73 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 37 |
Distribution of constraint arities | [{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 37 |
Distribution of constraint types | [{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}] |
Optimization problem | YES |
Type of objective | min SUM |
0.60/0.63 c 0.60/0.63 c This is cosoco 2.00 -- 0.60/0.63 c 0.60/0.63 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397211-1568579594.xml 0.60/0.63 c enable optimization 0.60/0.63 c ========================================[ Problem Statistics ]=========================================== 0.60/0.63 c | 0.60/0.63 c | Parse time : 0.15 s 0.60/0.63 c | 0.60/0.63 c | Variables: 1482 0.60/0.63 c | Domain Sizes: 1..101 0.60/0.63 c | 0.60/0.63 c | Constraints: 1444 0.60/0.63 c | Arity: 1..1406 -- Unary: 37 -- Ternary: 1332 0.60/0.63 c | 0.60/0.63 c | Types: 0.60/0.63 c | Exactly K: 74 0.60/0.63 c | Sum: 1333 0.60/0.63 c | Unary: 37 0.60/0.63 c | 0.60/0.63 c | Objective: Minimize Sum 0.60/0.63 0.60/0.63 c ========================================================================================================= 0.60/0.63 o 2312 0.60/0.63 c 1 calls to solver(id=0): best=2312 lower=0 upper=2311 1.00/1.03 o 2310 1.39/1.42 o 2260 1.39/1.42 c 3 calls to solver(id=0): best=2260 lower=0 upper=2259 1.79/1.83 o 2242 2.19/2.23 o 2236 2.19/2.23 c 5 calls to solver(id=0): best=2236 lower=0 upper=2235 2.59/2.63 o 2235 3.00/3.04 o 2226 3.00/3.04 c 7 calls to solver(id=0): best=2226 lower=0 upper=2225 3.39/3.45 o 2150 3.79/3.87 o 2122 3.79/3.87 c 9 calls to solver(id=0): best=2122 lower=0 upper=2121 4.19/4.29 o 2092 4.69/4.71 o 2074 4.69/4.71 c 11 calls to solver(id=0): best=2074 lower=0 upper=2073 5.10/5.13 o 2072 5.49/5.54 o 2023 5.49/5.54 c 13 calls to solver(id=0): best=2023 lower=0 upper=2022 5.89/5.96 o 1989 6.29/6.38 o 1985 6.29/6.38 c 15 calls to solver(id=0): best=1985 lower=0 upper=1984 6.79/6.82 o 1979 7.19/7.24 o 1967 7.19/7.24 c 17 calls to solver(id=0): best=1967 lower=0 upper=1966 2519.98/2520.00 2519.98/2520.00 c *** INTERRUPTED *** 2519.98/2520.00 c call to solver : 17 2519.98/2520.00 c 2519.98/2520.00 c restarts : 83 2519.98/2520.00 c conflicts : 552019 (219 /sec) 2519.98/2520.00 c decisions : 17576270 (6975 /sec) 2519.98/2520.00 c propagations : 343869441 (136459 /sec) 2519.98/2520.00 c root propagations : 481 2519.98/2520.00 c filter calls : 221872611 (88046 /sec) 2519.98/2520.00 c useless filter calls : 181078299 (81 %) 2519.98/2520.00 c Memory used : 47.44 MB 2519.98/2520.00 c Best bound time (wc) : 7.2401 s 2519.98/2520.00 c CPU time : 2519.95 s 2519.98/2520.00 c real time : 2520 s 2519.98/2520.00 2519.98/2520.00 c nb Solutions = 17 2519.98/2520.00 s SATISFIABLE 2519.98/2520.00 c Best value found: 1967 2519.98/2520.00 2519.98/2520.00 2519.98/2520.00 v <instantiation type='solution' cost='1967'> 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[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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][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][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][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][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][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][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][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][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>* 70 51 14 51 17 13 53 15 33 18 74 26 62 58 21 23 75 46 37 62 37 92 100 44 34 2 64 13 63 25 31 49 92 38 11 40 87 * 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 * 0 0 0 0 0 0 0 0 0 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 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 1 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 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 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 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 1 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 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 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 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 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 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 * </values> 2519.98/2520.01 v </instantiation> 2519.98/2520.01
OK 1967
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 (14795 MiB free) memory of node 1: 16384 MiB (13423 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397211-1568579594/watcher-4397211-1568579594 -o /tmp/evaluation-result-4397211-1568579594/solver-4397211-1568579594 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568572742-17154 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397211-1568579594.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=18414, runsolver pid=18411 Current StackSize limit: 8192 KiB [startup+0.100161 s]* /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28887432/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=35764 memory=12192 CPUtime=0.1 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 3235 0 0 0 10 0 0 0 20 0 1 0 433895905 36622336 3048 33554432000 4194304 6211092 140729621381872 140729621378408 139824263773157 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 8941 3048 841 493 0 2246 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35764 KiB Current children cumulated memory: 12192 KiB [startup+0.209707 s]* /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28884084/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=38464 memory=15052 CPUtime=0.2 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 3967 0 0 0 20 0 0 0 20 0 1 0 433895905 39387136 3763 33554432000 4194304 6211092 140729621381872 140729621378408 139824263773157 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 9616 3763 894 493 0 2921 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 38464 KiB Current children cumulated memory: 15052 KiB [startup+0.309382 s]* /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28880364/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=42308 memory=18748 CPUtime=0.31 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 4904 0 0 0 30 1 0 0 20 0 1 0 433895905 43323392 4687 33554432000 4194304 6211092 140729621381872 140729621378408 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 10577 4687 894 493 0 3882 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 42308 KiB Current children cumulated memory: 18748 KiB [startup+0.700309 s] /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28879992/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=45232 memory=21652 CPUtime=0.69 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 5637 0 0 0 68 1 0 0 20 0 1 0 433895905 46317568 5413 33554432000 4194304 6211092 140729621381872 140729621378408 5250467 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 11308 5413 894 493 0 4613 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 45232 KiB Current children cumulated memory: 21652 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28876272/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=46436 memory=22972 CPUtime=1.49 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 5951 0 0 0 148 1 0 0 20 0 1 0 433895905 47550464 5743 33554432000 4194304 6211092 140729621381872 140729621380008 5155807 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 11609 5743 895 493 0 4914 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 46436 KiB Current children cumulated memory: 22972 KiB [startup+3.10914 s] /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28876272/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=46436 memory=23176 CPUtime=3.1 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 9479 0 0 0 309 1 0 0 20 0 1 0 433895905 47550464 5794 33554432000 4194304 6211092 140729621381872 140729621369752 5157544 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 11609 5794 895 493 0 4914 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 46436 KiB Current children cumulated memory: 23176 KiB [startup+6.30028 s] /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28875624/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=46704 memory=23356 CPUtime=6.29 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 13181 0 0 0 628 1 0 0 20 0 1 0 433895905 47824896 5839 33554432000 4194304 6211092 140729621381872 140729621369752 5155800 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 11676 5839 895 493 0 4981 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 46704 KiB Current children cumulated memory: 23356 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.10 2.10 3/199 18415 /proc/meminfo: memFree=28873928/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48176 memory=24856 CPUtime=12.69 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 19552 0 0 0 1267 2 0 0 20 0 1 0 433895905 49332224 6214 33554432000 4194304 6211092 140729621381872 140729621379272 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12044 6214 895 493 0 5349 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 48176 KiB Current children cumulated memory: 24856 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.09 2.10 3/199 18417 /proc/meminfo: memFree=28873168/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48308 memory=25028 CPUtime=25.49 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 25409 0 0 0 2547 2 0 0 20 0 1 0 433895905 49467392 6257 33554432000 4194304 6211092 140729621381872 140729621379272 5155807 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12077 6257 895 493 0 5382 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 48308 KiB Current children cumulated memory: 25028 KiB [startup+51.1091 s] /proc/loadavg: 2.00 2.08 2.10 3/199 18417 /proc/meminfo: memFree=28873124/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48308 memory=25036 CPUtime=51.09 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 29418 0 0 0 5107 2 0 0 20 0 1 0 433895905 49467392 6259 33554432000 4194304 6211092 140729621381872 140729621379272 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12077 6259 895 493 0 5382 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 48308 KiB Current children cumulated memory: 25036 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.07 2.09 3/199 18421 /proc/meminfo: memFree=28872684/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48308 memory=25036 CPUtime=102.27 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 35150 0 0 0 10225 2 0 0 20 0 1 0 433895905 49467392 6259 33554432000 4194304 6211092 140729621381872 140729621379272 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12077 6259 895 493 0 5382 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 48308 KiB Current children cumulated memory: 25036 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.06 2.09 3/199 18427 /proc/meminfo: memFree=28873024/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48308 memory=25076 CPUtime=162.25 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 39838 0 0 0 16223 2 0 0 20 0 1 0 433895905 49467392 6269 33554432000 4194304 6211092 140729621381872 140729621379272 5250234 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12077 6269 895 493 0 5382 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 48308 KiB Current children cumulated memory: 25076 KiB [startup+222.3 s] /proc/loadavg: 2.06 2.06 2.09 3/199 18431 /proc/meminfo: memFree=28872192/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48440 memory=25164 CPUtime=222.24 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 40013 0 0 0 22222 2 0 0 20 0 1 0 433895905 49602560 6291 33554432000 4194304 6211092 140729621381872 140729621379272 5250279 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12110 6291 895 493 0 5415 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 48440 KiB Current children cumulated memory: 25164 KiB [startup+282.3 s] /proc/loadavg: 2.02 2.05 2.08 3/199 18435 /proc/meminfo: memFree=28871776/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48440 memory=25192 CPUtime=282.24 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 40207 0 0 0 28222 2 0 0 20 0 1 0 433895905 49602560 6298 33554432000 4194304 6211092 140729621381872 140729621379272 5250234 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12110 6298 895 493 0 5415 0 Current children cumulated CPU time: 282.24 s Current children cumulated vsize: 48440 KiB Current children cumulated memory: 25192 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.04 2.08 3/199 18441 /proc/meminfo: memFree=28872328/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48440 memory=25200 CPUtime=342.24 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 40451 0 0 0 34221 3 0 0 20 0 1 0 433895905 49602560 6300 33554432000 4194304 6211092 140729621381872 140729621379272 5155804 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12110 6300 895 493 0 5415 0 Current children cumulated CPU time: 342.24 s Current children cumulated vsize: 48440 KiB Current children cumulated memory: 25200 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.07 3/199 18445 /proc/meminfo: memFree=28871600/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48440 memory=25200 CPUtime=402.24 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 40576 0 0 0 40221 3 0 0 20 0 1 0 433895905 49602560 6300 33554432000 4194304 6211092 140729621381872 140729621379272 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12110 6300 895 493 0 5415 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 48440 KiB Current children cumulated memory: 25200 KiB [startup+462.3 s] /proc/loadavg: 2.08 2.05 2.07 3/200 18457 /proc/meminfo: memFree=28870536/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48440 memory=25200 CPUtime=462.24 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 40767 0 0 0 46221 3 0 0 20 0 1 0 433895905 49602560 6300 33554432000 4194304 6211092 140729621381872 140729621379272 5250467 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12110 6300 895 493 0 5415 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 48440 KiB Current children cumulated memory: 25200 KiB ################ # More data... # ################ /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 1722.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18729 /proc/meminfo: memFree=29472984/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=1782.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 44391 0 0 0 178223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 1782.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18733 /proc/meminfo: memFree=29473076/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=1842.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 44582 0 0 0 184223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5156232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 1842.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18737 /proc/meminfo: memFree=29473048/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=1902.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 44720 0 0 0 190223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 1902.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 18743 /proc/meminfo: memFree=29473096/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=1962.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 44857 0 0 0 196223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5155812 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 1962.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18747 /proc/meminfo: memFree=29472984/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=2022.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 45037 0 0 0 202223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5157544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 2022.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18751 /proc/meminfo: memFree=29472772/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=2082.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 45176 0 0 0 208223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 2082.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18757 /proc/meminfo: memFree=29472476/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=2142.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 45311 0 0 0 214223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5250224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 2142.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+2202.3 s] /proc/loadavg: 2.08 2.03 2.05 3/199 18761 /proc/meminfo: memFree=29473136/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=2202.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 45450 0 0 0 220223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 2202.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+2262.3 s] /proc/loadavg: 2.38 2.14 2.09 3/200 18773 /proc/meminfo: memFree=29472932/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25216 CPUtime=2262.26 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 45589 0 0 0 226223 3 0 0 20 0 1 0 433895905 49737728 6304 33554432000 4194304 6211092 140729621381872 140729621379112 5157544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6304 895 493 0 5448 0 Current children cumulated CPU time: 2262.26 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25216 KiB [startup+2322.3 s] /proc/loadavg: 2.14 2.12 2.08 3/200 18779 /proc/meminfo: memFree=29473784/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25224 CPUtime=2322.27 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 45780 0 0 0 232224 3 0 0 20 0 1 0 433895905 49737728 6306 33554432000 4194304 6211092 140729621381872 140729621379112 5156232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6306 895 493 0 5448 0 Current children cumulated CPU time: 2322.27 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25224 KiB [startup+2382.3 s] /proc/loadavg: 2.05 2.10 2.08 3/200 18783 /proc/meminfo: memFree=29473100/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25224 CPUtime=2382.27 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 45909 0 0 0 238224 3 0 0 20 0 1 0 433895905 49737728 6306 33554432000 4194304 6211092 140729621381872 140729621379112 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6306 895 493 0 5448 0 Current children cumulated CPU time: 2382.27 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25224 KiB [startup+2442.3 s] /proc/loadavg: 2.09 2.09 2.08 3/200 18787 /proc/meminfo: memFree=29473392/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25224 CPUtime=2442.27 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 46095 0 0 0 244224 3 0 0 20 0 1 0 433895905 49737728 6306 33554432000 4194304 6211092 140729621381872 140729621379112 5390088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6306 895 493 0 5448 0 Current children cumulated CPU time: 2442.27 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25224 KiB [startup+2502.3 s] /proc/loadavg: 2.47 2.19 2.11 3/200 18793 /proc/meminfo: memFree=29473236/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25224 CPUtime=2502.27 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 46231 0 0 0 250224 3 0 0 20 0 1 0 433895905 49737728 6306 33554432000 4194304 6211092 140729621381872 140729621379112 5250224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6306 895 493 0 5448 0 Current children cumulated CPU time: 2502.27 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25224 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.54 2.22 2.12 3/200 18793 /proc/meminfo: memFree=29473428/32770624 swapFree=66958308/67108860 [pid=18414] ppid=18411 vsize=48572 memory=25224 CPUtime=2519.98 cores=1,3,5,7 /proc/18414/stat : 18414 (cosoco) R 18411 18414 17122 0 -1 4202496 46231 0 0 0 251995 3 0 0 20 0 1 0 433895905 49737728 6306 33554432000 4194304 6211092 140729621381872 140729621379112 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30748672 140729621386251 140729621386353 140729621386353 140729621389262 0 /proc/18414/statm: 12143 6306 895 493 0 5448 0 Current children cumulated CPU time: 2519.98 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 25224 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 18414 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.95 s, system=0.038999 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.95 CPU system time (s): 0.038999 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 48572 Max. memory (cumulated for all children) (KiB): 25224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.95 system time used= 0.038999 maximum resident set size= 25288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46287 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= 25 involuntary context switches= 843 # summary of solver processes directly reported to runsolver: # pid: 18414 # total CPU time (s): 2519.99 # total CPU user time (s): 2519.95 # total CPU system time (s): 0.038999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.97794 second user time and 15.1006 second system time The end
Begin job on node145 at 2019-09-15 22:32:32 IDJOB=4397211 IDBENCH=124450 IDSOLVER=2848 FILE ID=node145/4397211-1568579594 RUNJOBID= node145-1568572742-17154 PBS_JOBID= 21703312 Free space on /tmp= 59528 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n38-k5.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397211-1568579594/watcher-4397211-1568579594 -o /tmp/evaluation-result-4397211-1568579594/solver-4397211-1568579594 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568572742-17154 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397211-1568579594.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 681710e79c8377b968f88ec392af942b RANDOM SEED=329462617 node145.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.59 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.59 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.59 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.59 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: 28895620 kB MemAvailable: 31244688 kB Buffers: 154080 kB Cached: 2487136 kB SwapCached: 41084 kB Active: 1869484 kB Inactive: 1423580 kB Active(anon): 615608 kB Inactive(anon): 85468 kB Active(file): 1253876 kB Inactive(file): 1338112 kB Unevictable: 110680 kB Mlocked: 110680 kB SwapTotal: 67108860 kB SwapFree: 66958308 kB Dirty: 2716 kB Writeback: 0 kB AnonPages: 721904 kB Mapped: 48020 kB Shmem: 40604 kB Slab: 174788 kB SReclaimable: 145832 kB SUnreclaim: 28956 kB KernelStack: 3552 kB PageTables: 6896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1143940 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 673792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59528 MiB End job on node145 at 2019-09-15 23:14:33