Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | SAT (TO) | 994 | 19253.1 | 2520.23 |
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 |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394023-1568424574.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394023-1568424574.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.11/1.28 c solve instance... 14.51/2.63 o 1347 14.51/2.64 o 1341 14.51/2.65 o 1338 14.51/2.69 o 1306 15.22/2.71 o 1287 15.22/2.72 o 1284 15.22/2.73 o 1272 15.22/2.73 o 1250 15.22/2.74 o 1241 15.22/2.74 o 1240 15.22/2.75 o 1235 15.22/2.76 o 1230 21.36/3.54 o 1226 34.32/9.41 o 1169 34.32/9.43 o 1166 34.98/9.50 o 1156 268.34/89.98 o 1110 268.61/90.04 o 1048 269.38/90.11 o 1012 289.25/108.04 o 994 19252.03/2520.08 s SATISFIABLE 19252.03/2520.08 v <instantiation> 19252.03/2520.08 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] 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[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] 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[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] 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[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] 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[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] 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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] 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[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] 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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] 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[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] 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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] 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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] 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[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] 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[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] 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[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] 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[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] 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[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] 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[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] 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[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] 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[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] 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[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] 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[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] 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[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] 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[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] 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[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] 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[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] 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[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] 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[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[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][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][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[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[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][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][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[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[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][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][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[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[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][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][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[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] 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][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][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[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] 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][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][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[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] 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][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][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[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] 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][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][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[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] 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][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][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[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] 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][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][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[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] 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][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][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[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] 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][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][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[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] 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][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][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[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] 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][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][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] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] </list> 19252.03/2520.08 v <values>0 0 0 0 0 0 0 1 1 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 0 0 0 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 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 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 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 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 17 47 66 140 107 52 20 43 135 140 86 131 106 73 82 124 15 87 12 50 109 67 36 83 46 8 102 22 140 71 127 59 89 134 139 10 121 98 107 </values> 19252.03/2520.08 v </instantiation> 19252.03/2520.08 c Unexpected resolution interruption!
OK 994
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 (13854 MiB free) memory of node 1: 16384 MiB (14242 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394023-1568424574/watcher-4394023-1568424574 -o /tmp/evaluation-result-4394023-1568424574/solver-4394023-1568424574 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 179813745 HOME/instance-4394023-1568424574.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=20852, runsolver pid=20849 Current StackSize limit: 8192 KiB [startup+0.100192 s]* /proc/loadavg: 8.05 8.03 8.07 3/211 20874 /proc/meminfo: memFree=28753828/32770624 swapFree=66959224/67108860 [pid=20852] ppid=20849 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20852/stat : 20852 (xcsp3-exec) S 20849 20852 16408 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418397611 115843072 364 33554432000 4194304 5098028 140734039100496 140734039098600 139937803129468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9871360 140734039106422 140734039106665 140734039106665 140734039109578 0 /proc/20852/statm: 28282 364 305 221 0 87 0 [pid=20854] ppid=20852 vsize=28227388 memory=30064 CPUtime=0.13 cores=0-7 /proc/20854/stat : 20854 (java) S 20852 20852 16408 0 -1 1077944320 5487 0 0 0 11 2 0 0 20 0 20 0 418397611 28904845312 7516 33554432000 4194304 4196468 140728944423184 140728944405728 139738350497527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 /proc/20854/statm: 7056847 7516 3121 1 0 7019032 0 [pid=20854/tid=20855] ppid=20852 vsize=28227388 memory=8256394924504554908 CPUtime=0.09 cores=0-7 /proc/20854/task/20855/stat : 20855 (java) R 20852 20852 16408 0 -1 4202560 3392 0 0 0 8 1 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139738354733952 139738350509462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20856] ppid=20852 vsize=28227388 memory=732370504835435493 CPUtime=0 cores=0-7 /proc/20854/task/20856/stat : 20856 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139738307049872 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20857] ppid=20852 vsize=28227388 memory=140366497982080 CPUtime=0 cores=0-7 /proc/20854/task/20857/stat : 20857 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139738305997072 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20858] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20858/stat : 20858 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737899850384 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20859] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20859/stat : 20859 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737898797584 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20860] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20860/stat : 20860 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737897745296 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20861] ppid=20852 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20854/task/20861/stat : 20861 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737896692496 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20862] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20862/stat : 20862 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737895640208 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20863] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20863/stat : 20863 (java) S 20852 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737894587408 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20864] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20864/stat : 20864 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397614 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737735243888 139738350508674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20865] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20865/stat : 20865 (java) S 20852 20852 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418397614 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737734189856 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20866] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20866/stat : 20866 (java) S 20852 20852 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418397615 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737733137520 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20868] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20868/stat : 20868 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737732085840 139738350516123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20869] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20869/stat : 20869 (java) S 20852 20852 16408 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737731033712 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20870] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20870/stat : 20870 (java) R 20852 20852 16408 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737729972560 139738333896700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20871] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20871/stat : 20871 (java) S 20852 20852 16408 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737728928624 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20872] ppid=20852 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/20854/task/20872/stat : 20872 (java) R 20852 20852 16408 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 20 0 418397617 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737727875824 139738329059669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20873] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20873/stat : 20873 (java) S 20852 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737726822752 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20874] ppid=20852 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20854/task/20874/stat : 20874 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 7516 33554432000 4194304 4196468 140728944423184 139737725770032 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31520 KiB [startup+0.210536 s]* /proc/loadavg: 8.05 8.03 8.07 3/211 20874 /proc/meminfo: memFree=28741028/32770624 swapFree=66959224/67108860 [pid=20852] ppid=20849 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20852/stat : 20852 (xcsp3-exec) S 20849 20852 16408 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418397611 115843072 364 33554432000 4194304 5098028 140734039100496 140734039098600 139937803129468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9871360 140734039106422 140734039106665 140734039106665 140734039109578 0 /proc/20852/statm: 28282 364 305 221 0 87 0 [pid=20854] ppid=20852 vsize=28227388 memory=41412 CPUtime=0.34 cores=0-7 /proc/20854/stat : 20854 (java) S 20852 20852 16408 0 -1 1077944320 9051 0 0 0 31 3 0 0 20 0 20 0 418397611 28904845312 10353 33554432000 4194304 4196468 140728944423184 140728944405728 139738350497527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 /proc/20854/statm: 7056847 10353 3311 1 0 7019032 0 [pid=20854/tid=20855] ppid=20852 vsize=28227388 memory=0 CPUtime=0.2 cores=0-7 /proc/20854/task/20855/stat : 20855 (java) R 20852 20852 16408 0 -1 4202560 6198 0 0 0 18 2 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139738354736528 139738334578014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20856] ppid=20852 vsize=28227388 memory=280732874319608 CPUtime=0 cores=0-7 /proc/20854/task/20856/stat : 20856 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139738307049872 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20857] ppid=20852 vsize=28227388 memory=140366497982080 CPUtime=0 cores=0-7 /proc/20854/task/20857/stat : 20857 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139738305997072 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20858] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20858/stat : 20858 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737899850384 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20859] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20859/stat : 20859 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737898797584 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20860] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20860/stat : 20860 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737897745296 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20861] ppid=20852 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20854/task/20861/stat : 20861 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737896692496 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20862] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20862/stat : 20862 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737895640208 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20863] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20863/stat : 20863 (java) S 20852 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418397612 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737894587408 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20864] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20864/stat : 20864 (java) S 20852 20852 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418397614 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737735243888 139738350508674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20865] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20865/stat : 20865 (java) S 20852 20852 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418397614 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737734189856 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20866] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20866/stat : 20866 (java) S 20852 20852 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418397615 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737733137520 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20868] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20868/stat : 20868 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737732085840 139738350516123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20869] ppid=20852 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20854/task/20869/stat : 20869 (java) S 20852 20852 16408 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 418397617 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737731033712 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20870] ppid=20852 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20854/task/20870/stat : 20870 (java) S 20852 20852 16408 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 418397617 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737729980912 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20871] ppid=20852 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20854/task/20871/stat : 20871 (java) R 20852 20852 16408 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 418397617 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737728928624 139738350508674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20872] ppid=20852 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/20854/task/20872/stat : 20872 (java) S 20852 20852 16408 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 20 0 418397617 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737727875824 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20873] ppid=20852 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20873/stat : 20873 (java) S 20852 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737726822752 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20874] ppid=20852 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20854/task/20874/stat : 20874 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397617 28904845312 10353 33554432000 4194304 4196468 140728944423184 139737725770032 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42868 KiB [startup+0.319963 s]* /proc/loadavg: 8.05 8.03 8.07 3/211 20874 /proc/meminfo: memFree=28733384/32770624 swapFree=66959224/67108860 [pid=20852] ppid=20849 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20852/stat : 20852 (xcsp3-exec) S 20849 20852 16408 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418397611 115843072 364 33554432000 4194304 5098028 140734039100496 140734039098600 139937803129468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9871360 140734039106422 140734039106665 140734039106665 140734039109578 0 /proc/20852/statm: 28282 364 305 221 0 87 0 [pid=20854] ppid=20852 vsize=28231644 memory=50860 CPUtime=0.54 cores=0-7 /proc/20854/stat : 20854 (java) S 20852 20852 16408 0 -1 1077944320 10534 0 0 0 50 4 0 0 20 0 20 0 418397611 28909203456 12715 33554432000 4194304 4196468 140728944423184 140728944405728 139738350497527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 /proc/20854/statm: 7057911 12715 3360 1 0 7019032 0 [pid=20854/tid=20855] ppid=20852 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20854/task/20855/stat : 20855 (java) R 20852 20852 16408 0 -1 4202560 7451 0 0 0 28 2 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139738354729920 139738334578014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20856] ppid=20852 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20856/stat : 20856 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139738307049872 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20857] ppid=20852 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20857/stat : 20857 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139738305997072 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20858] ppid=20852 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20858/stat : 20858 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737899850384 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20859] ppid=20852 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20859/stat : 20859 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737898797584 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20860] ppid=20852 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/20854/task/20860/stat : 20860 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737897745296 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20861] ppid=20852 vsize=28231644 memory=140366376432559 CPUtime=0 cores=0-7 /proc/20854/task/20861/stat : 20861 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737896692496 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20862] ppid=20852 vsize=28231644 memory=140366376434864 CPUtime=0 cores=0-7 /proc/20854/task/20862/stat : 20862 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737895640208 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20863] ppid=20852 vsize=28231644 memory=140366376437168 CPUtime=0 cores=0-7 /proc/20854/task/20863/stat : 20863 (java) S 20852 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418397612 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737894587408 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20864] ppid=20852 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20864/stat : 20864 (java) S 20852 20852 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418397614 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737735243888 139738350508674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20865] ppid=20852 vsize=28231644 memory=280732752881296 CPUtime=0 cores=0-7 /proc/20854/task/20865/stat : 20865 (java) S 20852 20852 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418397614 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737734189856 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20866] ppid=20852 vsize=28231644 memory=280732752888208 CPUtime=0 cores=0-7 /proc/20854/task/20866/stat : 20866 (java) S 20852 20852 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418397615 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737733137520 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20868] ppid=20852 vsize=28231644 memory=280732752829488 CPUtime=0 cores=0-7 /proc/20854/task/20868/stat : 20868 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397617 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737732085840 139738350516123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20869] ppid=20852 vsize=28231644 memory=280732752902032 CPUtime=0.02 cores=0-7 /proc/20854/task/20869/stat : 20869 (java) S 20852 20852 16408 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 20 0 418397617 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737731033712 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20870] ppid=20852 vsize=28231644 memory=280732752908944 CPUtime=0.02 cores=0-7 /proc/20854/task/20870/stat : 20870 (java) S 20852 20852 16408 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 418397617 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737729980912 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20871] ppid=20852 vsize=28231644 memory=280732752906640 CPUtime=0.03 cores=0-7 /proc/20854/task/20871/stat : 20871 (java) S 20852 20852 16408 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 20 0 418397617 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737728928624 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20872] ppid=20852 vsize=28231644 memory=280732752922800 CPUtime=0.13 cores=0-7 /proc/20854/task/20872/stat : 20872 (java) S 20852 20852 16408 0 -1 1077944384 864 0 0 0 13 0 0 0 20 0 20 0 418397617 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737727875824 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20873] ppid=20852 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20854/task/20873/stat : 20873 (java) S 20852 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418397617 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737726822752 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20874] ppid=20852 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/20854/task/20874/stat : 20874 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397617 28909203456 12715 33554432000 4194304 4196468 140728944423184 139737725770032 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 52316 KiB [startup+0.701027 s] /proc/loadavg: 8.05 8.03 8.07 4/211 20874 /proc/meminfo: memFree=28711416/32770624 swapFree=66959224/67108860 [pid=20852] ppid=20849 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20852/stat : 20852 (xcsp3-exec) S 20849 20852 16408 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418397611 115843072 364 33554432000 4194304 5098028 140734039100496 140734039098600 139937803129468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9871360 140734039106422 140734039106665 140734039106665 140734039109578 0 /proc/20852/statm: 28282 364 305 221 0 87 0 [pid=20854] ppid=20852 vsize=28233768 memory=96488 CPUtime=1.98 cores=0-7 /proc/20854/stat : 20854 (java) S 20852 20852 16408 0 -1 1077944320 15293 0 0 0 192 6 0 0 20 0 20 0 418397611 28911378432 24122 33554432000 4194304 4196468 140728944423184 140728944405728 139738350497527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 /proc/20854/statm: 7058442 24122 3451 1 0 7019544 0 [pid=20854/tid=20855] ppid=20852 vsize=28233768 memory=280732753217664 CPUtime=0.67 cores=0-7 /proc/20854/task/20855/stat : 20855 (java) R 20852 20852 16408 0 -1 4202560 8655 0 0 0 64 3 0 0 20 0 20 0 418397612 28911378432 24122 33554432000 4194304 4196468 140728944423184 139738354732816 139737990479712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20856] ppid=20852 vsize=28233768 memory=1436 CPUtime=0 cores=0-7 /proc/20854/task/20856/stat : 20856 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28911378432 24122 33554432000 4194304 4196468 140728944423184 139738307049872 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20857] ppid=20852 vsize=28233768 memory=580 CPUtime=0 cores=0-7 /proc/20854/task/20857/stat : 20857 (java) S 20852 20852 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418397612 28911378432 24122 33554432000 4194304 4196468 140728944423184 139738305997072 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20858] ppid=20852 vsize=28233768 memory=1720 CPUtime=0 cores=0-7 /proc/20854/task/20858/stat : 20858 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418397612 28911378432 24122 33554432000 4194304 4196468 140728944423184 139737899850384 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 ################ # More data... # ################ [pid=20854/tid=21053] ppid=20852 vsize=28768328 memory=1456 CPUtime=2327.15 cores=0-7 /proc/20854/task/21053/stat : 21053 (java) R 20852 20852 16408 0 -1 4202560 62444 0 0 0 232612 103 0 0 20 0 28 0 418408415 29458767872 310700 33554432000 4194304 4196468 140728944423184 139737713410536 139737993350848 0 4 0 16800975 0 0 0 -1 7 0 0 22 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21054] ppid=20852 vsize=28768328 memory=1456 CPUtime=2331.98 cores=0-7 /proc/20854/task/21054/stat : 21054 (java) R 20852 20852 16408 0 -1 4202560 27183 0 0 0 233180 18 0 0 20 0 28 0 418408416 29458767872 310700 33554432000 4194304 4196468 140728944423184 139737708147768 139737993520909 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21055] ppid=20852 vsize=28768328 memory=1456 CPUtime=2367.51 cores=0-7 /proc/20854/task/21055/stat : 21055 (java) R 20852 20852 16408 0 -1 4202560 16583 0 0 0 236697 54 0 0 20 0 28 0 418408416 29458767872 310700 33554432000 4194304 4196468 140728944423184 139737709198944 139737997082853 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 Current children cumulated CPU time: 19113.4 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1244256 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520.01 s]* /proc/loadavg: 9.07 8.34 8.15 9/220 21256 /proc/meminfo: memFree=27599216/32770624 swapFree=66959224/67108860 [pid=20852] ppid=20849 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20852/stat : 20852 (xcsp3-exec) S 20849 20852 16408 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418397611 115843072 364 33554432000 4194304 5098028 140734039100496 140734039098600 139937803129468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9871360 140734039106422 140734039106665 140734039106665 140734039109578 0 /proc/20852/statm: 28282 364 305 221 0 87 0 [pid=20854] ppid=20852 vsize=28768328 memory=1180212 CPUtime=19252 cores=0-7 /proc/20854/stat : 20854 (java) S 20852 20852 16408 0 -1 1077944320 1086591 0 0 0 1921211 3992 0 0 20 0 28 0 418397611 29458767872 295053 33554432000 4194304 4196468 140728944423184 140728944405728 139738350497527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 /proc/20854/statm: 7192082 295053 3560 1 0 7153184 0 [pid=20854/tid=20855] ppid=20852 vsize=28768328 memory=10604 CPUtime=1.31 cores=0-7 /proc/20854/task/20855/stat : 20855 (java) S 20852 20852 16408 0 -1 1077944384 11039 0 0 0 125 6 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139738354738304 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20856] ppid=20852 vsize=28768328 memory=3360 CPUtime=10.42 cores=0-7 /proc/20854/task/20856/stat : 20856 (java) S 20852 20852 16408 0 -1 1077944384 36267 0 0 0 972 70 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139738307049872 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20857] ppid=20852 vsize=28768328 memory=-7003737579269690708 CPUtime=10.45 cores=0-7 /proc/20854/task/20857/stat : 20857 (java) S 20852 20852 16408 0 -1 1077944384 35979 0 0 0 976 69 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139738305997072 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20858] ppid=20852 vsize=28768328 memory=1436 CPUtime=10.41 cores=0-7 /proc/20854/task/20858/stat : 20858 (java) S 20852 20852 16408 0 -1 1077944384 41939 0 0 0 972 69 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737899850384 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20859] ppid=20852 vsize=28768328 memory=1984 CPUtime=10.39 cores=0-7 /proc/20854/task/20859/stat : 20859 (java) S 20852 20852 16408 0 -1 1077944384 39622 0 0 0 971 68 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737898797584 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20860] ppid=20852 vsize=28768328 memory=2580 CPUtime=10.45 cores=0-7 /proc/20854/task/20860/stat : 20860 (java) S 20852 20852 16408 0 -1 1077944384 37626 0 0 0 973 72 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737897745296 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20861] ppid=20852 vsize=28768328 memory=1760 CPUtime=10.45 cores=0-7 /proc/20854/task/20861/stat : 20861 (java) S 20852 20852 16408 0 -1 1077944384 35739 0 0 0 974 71 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737896692496 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20862] ppid=20852 vsize=28768328 memory=111636 CPUtime=10.45 cores=0-7 /proc/20854/task/20862/stat : 20862 (java) S 20852 20852 16408 0 -1 1077944384 38136 0 0 0 974 71 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737895640208 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20863] ppid=20852 vsize=28768328 memory=800 CPUtime=10.47 cores=0-7 /proc/20854/task/20863/stat : 20863 (java) S 20852 20852 16408 0 -1 1077944384 35513 0 0 0 979 68 0 0 20 0 28 0 418397612 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737894587408 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20864] ppid=20852 vsize=28768328 memory=1804 CPUtime=44.84 cores=0-7 /proc/20854/task/20864/stat : 20864 (java) S 20852 20852 16408 0 -1 1077944384 158610 0 0 0 1788 2696 0 0 20 0 28 0 418397614 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737735243888 139738350508674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20865] ppid=20852 vsize=28768328 memory=920 CPUtime=0 cores=0-7 /proc/20854/task/20865/stat : 20865 (java) S 20852 20852 16408 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 418397614 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737734189920 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20866] ppid=20852 vsize=28768328 memory=4752 CPUtime=0 cores=0-7 /proc/20854/task/20866/stat : 20866 (java) S 20852 20852 16408 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 418397615 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737733137536 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20868] ppid=20852 vsize=28768328 memory=14048 CPUtime=0 cores=0-7 /proc/20854/task/20868/stat : 20868 (java) S 20852 20852 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418397617 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737732085840 139738350516123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20869] ppid=20852 vsize=28768328 memory=2124 CPUtime=4.5 cores=0-7 /proc/20854/task/20869/stat : 20869 (java) S 20852 20852 16408 0 -1 1077944384 34507 0 0 0 444 6 0 0 20 0 28 0 418397617 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737731033712 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20870] ppid=20852 vsize=28768328 memory=3620 CPUtime=4.85 cores=0-7 /proc/20854/task/20870/stat : 20870 (java) S 20852 20852 16408 0 -1 1077944384 37835 0 0 0 479 6 0 0 20 0 28 0 418397617 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737729980912 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20871] ppid=20852 vsize=28768328 memory=1660 CPUtime=4.28 cores=0-7 /proc/20854/task/20871/stat : 20871 (java) S 20852 20852 16408 0 -1 1077944384 38001 0 0 0 421 7 0 0 20 0 28 0 418397617 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737728928624 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20872] ppid=20852 vsize=28768328 memory=1456 CPUtime=1.49 cores=0-7 /proc/20854/task/20872/stat : 20872 (java) S 20852 20852 16408 0 -1 1077944384 33347 0 0 0 143 6 0 0 20 0 28 0 418397617 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737727875824 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20873] ppid=20852 vsize=28768328 memory=1228948 CPUtime=0 cores=0-7 /proc/20854/task/20873/stat : 20873 (java) S 20852 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418397617 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737726822752 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20874] ppid=20852 vsize=28768328 memory=1456 CPUtime=0.95 cores=0-7 /proc/20854/task/20874/stat : 20874 (java) S 20852 20852 16408 0 -1 1077944384 9046 0 0 0 42 53 0 0 20 0 28 0 418397617 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737725770032 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21048] ppid=20852 vsize=28768328 memory=1228948 CPUtime=2351.5 cores=0-7 /proc/20854/task/21048/stat : 21048 (java) R 20852 20852 16408 0 -1 4202560 28470 0 0 0 235125 25 0 0 20 0 28 0 418408415 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737712355976 139737993521548 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21049] ppid=20852 vsize=28768328 memory=1436 CPUtime=2348.73 cores=0-7 /proc/20854/task/21049/stat : 21049 (java) R 20852 20852 16408 0 -1 4202560 28540 0 0 0 234854 19 0 0 20 0 28 0 418408415 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737710252728 139737996893696 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21050] ppid=20852 vsize=28768328 memory=580 CPUtime=2348.02 cores=0-7 /proc/20854/task/21050/stat : 21050 (java) R 20852 20852 16408 0 -1 4202560 147376 0 0 0 234571 231 0 0 20 0 28 0 418408415 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737714462600 139737988062208 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21051] ppid=20852 vsize=28768328 memory=1720 CPUtime=2354.97 cores=0-7 /proc/20854/task/21051/stat : 21051 (java) R 20852 20852 16408 0 -1 4202560 73740 0 0 0 235362 135 0 0 20 0 28 0 418408415 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737707097152 139737992473424 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21052] ppid=20852 vsize=28768328 memory=10604 CPUtime=2350.59 cores=0-7 /proc/20854/task/21052/stat : 21052 (java) R 20852 20852 16408 0 -1 4202560 52140 0 0 0 234996 63 0 0 20 0 28 0 418408415 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737711304760 139737994894843 0 4 0 16800975 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21053] ppid=20852 vsize=28768328 memory=6791534058613427641 CPUtime=2344.27 cores=0-7 /proc/20854/task/21053/stat : 21053 (java) R 20852 20852 16408 0 -1 4202560 63841 0 0 0 234324 103 0 0 20 0 28 0 418408415 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737713411288 139737993018507 0 4 0 16800975 0 0 0 -1 7 0 0 22 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21054] ppid=20852 vsize=28768328 memory=1456 CPUtime=2349.22 cores=0-7 /proc/20854/task/21054/stat : 21054 (java) R 20852 20852 16408 0 -1 4202560 27544 0 0 0 234903 19 0 0 20 0 28 0 418408416 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737708147192 139737995628650 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21055] ppid=20852 vsize=28768328 memory=1185856 CPUtime=2385.12 cores=0-7 /proc/20854/task/21055/stat : 21055 (java) R 20852 20852 16408 0 -1 4202560 16822 0 0 0 238455 57 0 0 20 0 28 0 418408416 29458767872 295053 33554432000 4194304 4196468 140728944423184 139737709198944 139737997082867 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 Current children cumulated CPU time: 19252 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1181668 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 20852 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00164 s, system=0.00082 s [startup+2520.23 s] # the end of solver process 20854 was just reported to runsolver # cumulated CPU time of all completed processes: user=19213.1 s, system=39.9975 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.21 s] /proc/loadavg: 9.07 8.34 8.15 3/218 21258 /proc/meminfo: memFree=27599464/32770624 swapFree=66959224/67108860 [pid=20854] ppid=20849 vsize=28901456 memory=1180352 CPUtime=19253 cores=0-7 /proc/20854/stat : 20854 (java) S 20849 20852 16408 0 -1 1077944320 1087161 0 0 0 1921304 3998 0 0 20 0 27 0 418397611 29595090944 295088 33554432000 4194304 4196468 140728944423184 140728944405728 139738350497527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 /proc/20854/statm: 7225364 295088 3560 1 0 7186466 0 [pid=20854/tid=20855] ppid=20849 vsize=28901456 memory=288230621803970871 CPUtime=1.31 cores=0-7 /proc/20854/task/20855/stat : 20855 (java) S 20849 20852 16408 0 -1 1077944384 11039 0 0 0 125 6 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139738354738304 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20856] ppid=20849 vsize=28901456 memory=16104758104557987 CPUtime=10.42 cores=0-7 /proc/20854/task/20856/stat : 20856 (java) S 20849 20852 16408 0 -1 1077944384 36267 0 0 0 972 70 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139738307049872 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20857] ppid=20849 vsize=28901456 memory=832 CPUtime=10.45 cores=0-7 /proc/20854/task/20857/stat : 20857 (java) S 20849 20852 16408 0 -1 1077944384 35979 0 0 0 976 69 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139738305997072 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20858] ppid=20849 vsize=28901456 memory=1436 CPUtime=10.41 cores=0-7 /proc/20854/task/20858/stat : 20858 (java) S 20849 20852 16408 0 -1 1077944384 41939 0 0 0 972 69 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737899850384 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20859] ppid=20849 vsize=28901456 memory=1984 CPUtime=10.39 cores=0-7 /proc/20854/task/20859/stat : 20859 (java) S 20849 20852 16408 0 -1 1077944384 39622 0 0 0 971 68 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737898797584 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20860] ppid=20849 vsize=28901456 memory=2580 CPUtime=10.45 cores=0-7 /proc/20854/task/20860/stat : 20860 (java) S 20849 20852 16408 0 -1 1077944384 37626 0 0 0 973 72 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737897745296 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20861] ppid=20849 vsize=28901456 memory=1760 CPUtime=10.45 cores=0-7 /proc/20854/task/20861/stat : 20861 (java) S 20849 20852 16408 0 -1 1077944384 35739 0 0 0 974 71 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737896692496 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20862] ppid=20849 vsize=28901456 memory=111636 CPUtime=10.45 cores=0-7 /proc/20854/task/20862/stat : 20862 (java) S 20849 20852 16408 0 -1 1077944384 38136 0 0 0 974 71 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737895640208 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20863] ppid=20849 vsize=28901456 memory=800 CPUtime=10.47 cores=0-7 /proc/20854/task/20863/stat : 20863 (java) S 20849 20852 16408 0 -1 1077944384 35513 0 0 0 979 68 0 0 20 0 27 0 418397612 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737894587408 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20864] ppid=20849 vsize=28901456 memory=1804 CPUtime=44.92 cores=0-7 /proc/20854/task/20864/stat : 20864 (java) R 20849 20852 16408 0 -1 4202560 158610 0 0 0 1791 2701 0 0 20 0 27 0 418397614 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737735243888 139738343125735 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20865] ppid=20849 vsize=28901456 memory=920 CPUtime=0 cores=0-7 /proc/20854/task/20865/stat : 20865 (java) S 20849 20852 16408 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 27 0 418397614 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737734189920 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20866] ppid=20849 vsize=28901456 memory=4752 CPUtime=0 cores=0-7 /proc/20854/task/20866/stat : 20866 (java) S 20849 20852 16408 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 27 0 418397615 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737733137536 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20869] ppid=20849 vsize=28901456 memory=1412 CPUtime=4.5 cores=0-7 /proc/20854/task/20869/stat : 20869 (java) S 20849 20852 16408 0 -1 1077944384 34507 0 0 0 444 6 0 0 20 0 27 0 418397617 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737731033712 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20870] ppid=20849 vsize=28901456 memory=7739547493098668132 CPUtime=4.85 cores=0-7 /proc/20854/task/20870/stat : 20870 (java) S 20849 20852 16408 0 -1 1077944384 37835 0 0 0 479 6 0 0 20 0 27 0 418397617 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737729980912 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20871] ppid=20849 vsize=28901456 memory=7739547493098668132 CPUtime=4.28 cores=0-7 /proc/20854/task/20871/stat : 20871 (java) S 20849 20852 16408 0 -1 1077944384 38001 0 0 0 421 7 0 0 20 0 27 0 418397617 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737728928624 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20872] ppid=20849 vsize=28901456 memory=7739547493098668132 CPUtime=1.49 cores=0-7 /proc/20854/task/20872/stat : 20872 (java) S 20849 20852 16408 0 -1 1077944384 33557 0 0 0 143 6 0 0 20 0 27 0 418397617 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737727875824 139738350508674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=20873] ppid=20849 vsize=28901456 memory=7739547493098668132 CPUtime=0 cores=0-7 /proc/20854/task/20873/stat : 20873 (java) S 20849 20852 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 418397617 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737726822752 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21048] ppid=20849 vsize=28901456 memory=7523615452491704178 CPUtime=2351.6 cores=0-7 /proc/20854/task/21048/stat : 21048 (java) S 20849 20852 16408 0 -1 1077944384 28470 0 0 0 235135 25 0 0 20 0 27 0 418408415 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737712356416 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21049] ppid=20849 vsize=28901456 memory=7019818051782863720 CPUtime=2348.83 cores=0-7 /proc/20854/task/21049/stat : 21049 (java) S 20849 20852 16408 0 -1 1077944384 28541 0 0 0 234864 19 0 0 20 0 27 0 418408415 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737710252624 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21050] ppid=20849 vsize=28901456 memory=7019818051782863720 CPUtime=2348.12 cores=0-7 /proc/20854/task/21050/stat : 21050 (java) S 20849 20852 16408 0 -1 1077944384 147376 0 0 0 234581 231 0 0 20 0 27 0 418408415 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737714462464 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21051] ppid=20849 vsize=28901456 memory=7881698914398921835 CPUtime=2355.07 cores=0-7 /proc/20854/task/21051/stat : 21051 (java) S 20849 20852 16408 0 -1 1077944384 73742 0 0 0 235372 135 0 0 20 0 27 0 418408415 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737707094832 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21052] ppid=20849 vsize=28901456 memory=7235992011187710272 CPUtime=2350.69 cores=0-7 /proc/20854/task/21052/stat : 21052 (java) S 20849 20852 16408 0 -1 1077944384 52140 0 0 0 235006 63 0 0 20 0 27 0 418408415 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737711304768 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21053] ppid=20849 vsize=28901456 memory=7235992011187710272 CPUtime=2344.37 cores=0-7 /proc/20854/task/21053/stat : 21053 (java) S 20849 20852 16408 0 -1 1077944384 63844 0 0 0 234334 103 0 0 20 0 27 0 418408415 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737713409776 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21054] ppid=20849 vsize=28901456 memory=7739547493098668132 CPUtime=2349.31 cores=0-7 /proc/20854/task/21054/stat : 21054 (java) S 20849 20852 16408 0 -1 1077944384 27545 0 0 0 234912 19 0 0 20 0 27 0 418408416 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737708147632 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21055] ppid=20849 vsize=28901456 memory=7235992011187710272 CPUtime=2385.31 cores=0-7 /proc/20854/task/21055/stat : 21055 (java) R 20849 20852 16408 0 -1 4202560 16822 0 0 0 238474 57 0 0 20 0 27 0 418408416 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737709198944 139737997082798 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 [pid=20854/tid=21257] ppid=20849 vsize=28901456 memory=7881698914398921835 CPUtime=0 cores=0-7 /proc/20854/task/21257/stat : 21257 (java) S 20849 20852 16408 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 27 0 418649615 29595090944 295088 33554432000 4194304 4196468 140728944423184 139737706045424 139738350507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36716544 140728944432106 140728944432278 140728944432278 140728944435151 0 Current cumulated CPU time of completed processes: 0.00246 s Current children cumulated CPU time: 19253 s Current children cumulated vsize: 28901456 KiB Current children cumulated memory: 1180352 KiB Child status: 143 Real time (s): 2520.23 CPU time (s): 19253.1 CPU user time (s): 19213.1 CPU system time (s): 39.9975 CPU usage (%): 763.94 Max. virtual memory (cumulated for all children) (KiB): 28901456 Max. memory (cumulated for all children) (KiB): 2722464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19213.1 system time used= 39.9975 maximum resident set size= 2733388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1087732 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 115918 involuntary context switches= 228224 # summary of solver processes directly reported to runsolver: # pid: 20852,20854 # total CPU time (s): 19253.1 # total CPU user time (s): 19213.1 # total CPU system time (s): 39.9975 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.405 second user time and 28.4218 second system time The end
Begin job on node124 at 2019-09-14 03:28:54 IDJOB=4394023 IDBENCH=124389 IDSOLVER=2841 FILE ID=node124/4394023-1568424574 RUNJOBID= node124-1568416728-16435 PBS_JOBID= 21702259 Free space on /tmp= 61812 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394023-1568424574/watcher-4394023-1568424574 -o /tmp/evaluation-result-4394023-1568424574/solver-4394023-1568424574 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 179813745 HOME/instance-4394023-1568424574.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189 RANDOM SEED=179813745 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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.47 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.47 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.47 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: 28771232 kB MemAvailable: 31849260 kB Buffers: 191580 kB Cached: 3167224 kB SwapCached: 45888 kB Active: 989548 kB Inactive: 2423008 kB Active(anon): 4984 kB Inactive(anon): 90128 kB Active(file): 984564 kB Inactive(file): 2332880 kB Unevictable: 106512 kB Mlocked: 106512 kB SwapTotal: 67108860 kB SwapFree: 66959224 kB Dirty: 26172 kB Writeback: 0 kB AnonPages: 123172 kB Mapped: 43664 kB Shmem: 32744 kB Slab: 182360 kB SReclaimable: 152836 kB SUnreclaim: 29524 kB KernelStack: 3712 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61784 MiB End job on node124 at 2019-09-14 04:10:55