Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 5 | 19822.5 | 2520.14 |
Name | Ramsey/Ramsey-m1-s1/ Ramsey-45.xml |
MD5SUM | 1426235d943c6b8ba94de7087c35e664 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 2520 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2025 |
Number of constraints | 14190 |
Number of domains | 1 |
Minimum domain size | 990 |
Maximum domain size | 990 |
Distribution of domain sizes | [{"size":990,"count":990}] |
Minimum variable degree | 0 |
Maximum variable degree | 44 |
Distribution of variable degrees | [{"degree":0,"count":1035},{"degree":44,"count":990}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":14190}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"nValues","count":14190}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404778-1569002232.xml" -tl '20160s' -p 8 0.11/0.20 c Choco 3fb4b153 0.11/0.20 c [HOME/instance-4404778-1569002232.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.51/0.32 c parse instance... 13.62/4.04 c solve instance... 31.21/6.38 o 989 34.86/6.91 o 885 48.89/8.80 o 866 60.66/10.39 o 865 64.50/11.14 o 820 75.12/12.79 o 819 77.27/13.17 o 489 86.28/14.30 o 488 88.19/14.61 o 476 96.42/15.75 o 475 98.68/16.26 o 199 106.99/17.39 o 181 115.50/18.55 o 180 123.10/19.52 o 179 130.46/20.61 o 178 134.66/21.41 o 174 147.84/23.11 o 173 152.42/23.88 o 145 164.89/25.52 o 144 170.83/26.33 o 143 182.03/27.88 o 142 184.06/28.33 o 126 187.49/29.05 o 43 190.48/29.56 o 42 204.74/37.80 o 41 211.78/38.85 o 40 219.51/39.95 o 39 227.82/41.61 o 38 241.42/48.88 o 37 248.90/50.01 o 36 262.52/57.23 o 35 269.54/58.13 o 34 273.61/59.53 o 25 282.66/60.85 o 23 289.18/61.84 o 22 293.20/62.56 o 21 305.64/64.27 o 20 311.28/65.09 o 18 321.00/67.52 o 17 327.39/68.42 o 16 334.35/71.16 o 13 342.37/72.30 o 12 349.93/74.45 o 11 357.26/75.50 o 10 364.77/76.55 o 9 372.28/77.63 o 8 379.85/78.74 o 7 391.66/81.52 o 6 2150.98/303.88 o 5 19821.74/2520.07 s SATISFIABLE 19821.74/2520.07 v <instantiation> 19821.74/2520.07 v <list>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[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44] </list> 19821.74/2520.07 v <values>1 1 0 0 1 0 3 0 4 1 1 3 0 2 0 2 1 0 3 3 2 1 1 0 4 2 2 3 0 2 0 5 0 3 1 4 1 3 0 4 2 0 2 4 2 3 1 0 3 0 1 2 5 0 1 1 2 0 4 0 1 3 0 2 3 0 2 0 2 0 1 1 2 3 4 3 3 2 1 4 0 3 1 2 3 1 5 0 0 2 2 1 1 0 2 0 1 0 1 0 1 4 2 1 2 0 0 2 3 4 1 3 0 0 3 3 2 2 3 0 1 2 1 0 4 0 3 2 2 2 0 5 0 1 1 4 1 1 2 1 3 0 1 3 4 0 5 2 3 2 2 0 3 1 1 2 1 2 4 1 1 1 0 0 4 3 2 5 0 0 0 2 1 2 1 0 3 3 4 2 4 1 4 2 0 0 2 4 0 3 0 1 0 5 3 3 1 3 1 0 2 3 1 5 2 2 1 1 4 4 3 4 1 0 4 2 0 2 1 1 2 3 1 1 5 0 3 3 4 2 1 1 0 0 3 3 0 5 2 2 4 3 3 1 0 0 2 1 4 1 1 1 0 0 1 2 1 3 3 0 3 4 4 0 0 0 2 2 3 0 0 1 2 1 3 4 5 0 1 1 2 1 3 0 2 1 3 4 0 0 2 0 2 3 1 2 3 1 0 1 0 0 2 1 1 2 4 4 4 1 2 2 4 5 0 0 3 4 4 1 0 3 3 1 0 2 2 0 4 3 3 2 3 4 0 0 0 3 2 1 1 2 0 2 5 1 3 0 1 0 4 0 0 3 3 0 0 1 2 0 3 4 3 1 0 1 0 0 0 2 1 4 1 0 0 2 4 3 4 2 1 3 1 3 3 3 2 2 0 2 1 3 3 2 1 3 1 2 1 1 0 2 0 3 1 2 3 3 0 1 0 2 1 0 1 0 4 0 1 4 2 0 1 0 1 1 0 4 0 0 1 4 1 4 3 0 1 2 3 2 4 0 1 0 2 3 2 1 0 0 0 0 4 2 0 1 2 1 1 0 3 0 0 0 0 0 0 2 2 2 1 1 1 4 2 5 1 4 2 4 4 1 2 4 2 4 3 2 3 3 5 1 2 1 1 2 1 1 2 2 0 1 3 0 1 0 0 0 4 2 3 3 0 1 0 3 4 2 0 2 3 3 3 2 2 2 5 2 3 2 0 4 1 1 3 4 0 0 3 4 0 2 1 0 3 3 2 0 2 0 0 3 1 0 0 1 1 4 0 3 1 2 1 2 2 0 2 2 3 0 1 0 3 0 1 1 0 4 4 0 2 1 0 0 2 1 0 1 4 3 3 2 0 4 0 3 1 0 3 0 3 0 3 0 5 2 1 0 0 4 3 1 1 0 1 4 2 4 3 1 0 3 2 0 0 0 0 2 0 2 3 0 1 1 0 1 0 0 0 0 0 1 1 1 2 0 2 0 2 3 0 1 1 4 2 1 0 3 3 3 0 2 1 0 4 1 1 1 4 0 4 4 2 2 1 3 1 1 0 4 1 4 3 0 0 2 2 2 3 3 2 3 1 0 4 2 1 0 0 3 0 3 1 2 0 1 1 4 3 3 2 1 1 4 2 3 3 1 0 3 1 2 0 0 4 0 1 3 3 1 2 4 1 1 0 0 3 2 0 1 0 3 5 3 4 0 0 0 0 4 3 0 1 1 0 1 0 0 0 2 1 1 2 1 0 0 4 3 4 2 2 0 0 1 0 0 1 2 0 0 0 4 0 1 1 0 1 1 2 1 1 0 2 1 3 3 0 4 2 2 2 1 0 0 3 0 4 0 3 0 1 0 3 0 2 3 3 1 0 3 3 1 3 3 1 2 1 0 0 3 2 3 1 0 2 4 1 1 0 1 0 2 2 1 4 4 2 1 5 1 1 0 3 2 3 2 2 2 1 0 4 0 2 0 1 3 4 3 0 2 1 2 2 1 4 3 4 4 0 5 4 1 1 3 3 1 5 2 2 1 1 1 0 1 4 5 4 1 4 3 2 2 2 0 5 0 4 1 2 2 2 1 1 3 0 2 1 2 0 2 1 2 1 4 1 1 0 3 1 2 1 0 4 5 1 0 2 3 2 0 2 4 1 1 3 2 2 0 3 0 1 0 0 4 3 3 3 3 1 0 4 2 1 4 2 2 2 4 1 2 4 0 1 1 2 1 2 1 3 3 4 5 2 2 0 0 1 4 2 1 </values> 19821.74/2520.07 v </instantiation> 19821.74/2520.07 c Unexpected resolution interruption!
OK 5
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: 16375 MiB (12358 MiB free) memory of node 1: 16384 MiB (12376 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404778-1569002232/watcher-4404778-1569002232 -o /tmp/evaluation-result-4404778-1569002232/solver-4404778-1569002232 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324510577-22426 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 364396564 HOME/instance-4404778-1569002232.xml running on 8 cores: 0-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 Current StackSize limit: 8192 KiB solver pid=25857, runsolver pid=25854 [startup+0.100116 s]* /proc/loadavg: 7.89 8.10 8.26 2/211 25878 /proc/meminfo: memFree=25314796/32770688 swapFree=66927236/67108860 [pid=25857] ppid=25854 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25857/stat : 25857 (xcsp3-exec) S 25854 25857 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476229418 115843072 363 33554432000 4194304 5098028 140729511148800 140729511146904 140315976774268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23916544 140729511154550 140729511154793 140729511154793 140729511157706 0 /proc/25857/statm: 28282 363 304 221 0 87 0 [pid=25859] ppid=25857 vsize=28227396 memory=27576 CPUtime=0.11 cores=0-7 /proc/25859/stat : 25859 (java) S 25857 25857 22399 0 -1 1077944320 5908 0 0 0 10 1 0 0 20 0 20 0 476229418 28904853504 6894 33554432000 4194304 4196468 140727327102192 140727327084736 139924091215607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 /proc/25859/statm: 7056849 6894 3118 1 0 7019032 0 [pid=25859/tid=25860] ppid=25857 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/25859/task/25860/stat : 25860 (java) R 25857 25857 22399 0 -1 4202560 3789 0 0 0 8 1 0 0 20 0 20 0 476229419 28904853504 6894 33554432000 4194304 4196468 140727327102192 139924095449088 139924091227542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25861] ppid=25857 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25859/task/25861/stat : 25861 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139924063058704 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25862] ppid=25857 vsize=28227396 memory=139874585962112 CPUtime=0 cores=0-7 /proc/25859/task/25862/stat : 25862 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923641895824 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25863] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25863/stat : 25863 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923640843280 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25864] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25864/stat : 25864 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923639790736 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25865] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25865/stat : 25865 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923638737168 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25866] ppid=25857 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25859/task/25866/stat : 25866 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923637684624 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25867] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25867/stat : 25867 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923636632080 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25868] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25868/stat : 25868 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923635579536 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25869] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25869/stat : 25869 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229421 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923207350768 139924091226754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25870] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25870/stat : 25870 (java) S 25857 25857 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476229422 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923206296992 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25871] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25871/stat : 25871 (java) S 25857 25857 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476229422 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923205244400 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25872] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25872/stat : 25872 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923204192976 139924091234203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25873] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25873/stat : 25873 (java) S 25857 25857 22399 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923203139568 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25874] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25874/stat : 25874 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923202087024 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25875] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25875/stat : 25875 (java) S 25857 25857 22399 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923201034480 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25876] ppid=25857 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25859/task/25876/stat : 25876 (java) S 25857 25857 22399 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 476229425 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923199981936 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25877] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25877/stat : 25877 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923198929632 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25878] ppid=25857 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25859/task/25878/stat : 25878 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 6894 33554432000 4194304 4196468 140727327102192 139923197877168 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29028 KiB [startup+0.211334 s]* /proc/loadavg: 7.89 8.10 8.26 2/211 25878 /proc/meminfo: memFree=25302124/32770688 swapFree=66927236/67108860 [pid=25857] ppid=25854 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25857/stat : 25857 (xcsp3-exec) S 25854 25857 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476229418 115843072 363 33554432000 4194304 5098028 140729511148800 140729511146904 140315976774268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23916544 140729511154550 140729511154793 140729511154793 140729511157706 0 /proc/25857/statm: 28282 363 304 221 0 87 0 [pid=25859] ppid=25857 vsize=28227396 memory=39320 CPUtime=0.33 cores=0-7 /proc/25859/stat : 25859 (java) S 25857 25857 22399 0 -1 1077944320 9533 0 0 0 30 3 0 0 20 0 20 0 476229418 28904853504 9830 33554432000 4194304 4196468 140727327102192 140727327084736 139924091215607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 /proc/25859/statm: 7056849 9830 3311 1 0 7019032 0 [pid=25859/tid=25860] ppid=25857 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25859/task/25860/stat : 25860 (java) R 25857 25857 22399 0 -1 4202560 6661 0 0 0 18 2 0 0 20 0 20 0 476229419 28904853504 9830 33554432000 4194304 4196468 140727327102192 139924095455728 139924091237533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25861] ppid=25857 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/25859/task/25861/stat : 25861 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139924063058704 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25862] ppid=25857 vsize=28227396 memory=4123243818852443808 CPUtime=0 cores=0-7 /proc/25859/task/25862/stat : 25862 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923641895824 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25863] ppid=25857 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25859/task/25863/stat : 25863 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923640843280 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25864] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25864/stat : 25864 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923639790736 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25865] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25865/stat : 25865 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923638737168 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25866] ppid=25857 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25859/task/25866/stat : 25866 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923637684624 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25867] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25867/stat : 25867 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923636632080 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25868] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25868/stat : 25868 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923635579536 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25869] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25869/stat : 25869 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229421 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923207350768 139924091226754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25870] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25870/stat : 25870 (java) S 25857 25857 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476229422 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923206296992 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25871] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25871/stat : 25871 (java) S 25857 25857 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476229422 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923205244400 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25872] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25872/stat : 25872 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923204192976 139924091234203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25873] ppid=25857 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25859/task/25873/stat : 25873 (java) S 25857 25857 22399 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 476229425 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923203139568 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25874] ppid=25857 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25859/task/25874/stat : 25874 (java) S 25857 25857 22399 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 20 0 476229425 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923202087024 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25875] ppid=25857 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/25859/task/25875/stat : 25875 (java) S 25857 25857 22399 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 476229425 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923201034480 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25876] ppid=25857 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/25859/task/25876/stat : 25876 (java) S 25857 25857 22399 0 -1 1077944384 872 0 0 0 7 0 0 0 20 0 20 0 476229425 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923199981936 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25877] ppid=25857 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25877/stat : 25877 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923198929632 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25878] ppid=25857 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25859/task/25878/stat : 25878 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229425 28904853504 9830 33554432000 4194304 4196468 140727327102192 139923197877168 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 40772 KiB [startup+0.310805 s]* /proc/loadavg: 7.89 8.10 8.26 4/211 25878 /proc/meminfo: memFree=25295692/32770688 swapFree=66927236/67108860 [pid=25857] ppid=25854 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25857/stat : 25857 (xcsp3-exec) S 25854 25857 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476229418 115843072 363 33554432000 4194304 5098028 140729511148800 140729511146904 140315976774268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23916544 140729511154550 140729511154793 140729511154793 140729511157706 0 /proc/25857/statm: 28282 363 304 221 0 87 0 [pid=25859] ppid=25857 vsize=28231652 memory=45668 CPUtime=0.51 cores=0-7 /proc/25859/stat : 25859 (java) S 25857 25857 22399 0 -1 1077944320 10829 0 0 0 47 4 0 0 20 0 20 0 476229418 28909211648 11417 33554432000 4194304 4196468 140727327102192 140727327084736 139924091215607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 /proc/25859/statm: 7057913 11417 3332 1 0 7019032 0 [pid=25859/tid=25860] ppid=25857 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/25859/task/25860/stat : 25860 (java) R 25857 25857 22399 0 -1 4202560 7653 0 0 0 27 3 0 0 20 0 20 0 476229419 28909211648 11417 33554432000 4194304 4196468 140727327102192 139924095438640 139924091237533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25861] ppid=25857 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25861/stat : 25861 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139924063058704 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25862] ppid=25857 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25862/stat : 25862 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923641895824 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25863] ppid=25857 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25863/stat : 25863 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923640843280 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25864] ppid=25857 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25864/stat : 25864 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923639790736 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25865] ppid=25857 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25865/stat : 25865 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923638737168 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25866] ppid=25857 vsize=28231652 memory=139874468457135 CPUtime=0 cores=0-7 /proc/25859/task/25866/stat : 25866 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923637684624 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25867] ppid=25857 vsize=28231652 memory=139874468459440 CPUtime=0 cores=0-7 /proc/25859/task/25867/stat : 25867 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923636632080 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25868] ppid=25857 vsize=28231652 memory=139874468461744 CPUtime=0 cores=0-7 /proc/25859/task/25868/stat : 25868 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923635579536 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25869] ppid=25857 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25869/stat : 25869 (java) S 25857 25857 22399 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476229421 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923207350768 139924091226754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25870] ppid=25857 vsize=28231652 memory=279748936937360 CPUtime=0 cores=0-7 /proc/25859/task/25870/stat : 25870 (java) S 25857 25857 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476229422 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923206296992 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25871] ppid=25857 vsize=28231652 memory=279748936935056 CPUtime=0 cores=0-7 /proc/25859/task/25871/stat : 25871 (java) S 25857 25857 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476229422 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923205244400 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25872] ppid=25857 vsize=28231652 memory=279748936941968 CPUtime=0 cores=0-7 /proc/25859/task/25872/stat : 25872 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229425 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923204192976 139924091234203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25873] ppid=25857 vsize=28231652 memory=279748936883248 CPUtime=0.02 cores=0-7 /proc/25859/task/25873/stat : 25873 (java) S 25857 25857 22399 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 20 0 476229425 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923203139568 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25874] ppid=25857 vsize=28231652 memory=279748936955792 CPUtime=0.02 cores=0-7 /proc/25859/task/25874/stat : 25874 (java) S 25857 25857 22399 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 476229425 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923202087024 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25875] ppid=25857 vsize=28231652 memory=279748936962704 CPUtime=0.02 cores=0-7 /proc/25859/task/25875/stat : 25875 (java) S 25857 25857 22399 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 20 0 476229425 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923201034480 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25876] ppid=25857 vsize=28231652 memory=279748936960400 CPUtime=0.12 cores=0-7 /proc/25859/task/25876/stat : 25876 (java) S 25857 25857 22399 0 -1 1077944384 1084 0 0 0 12 0 0 0 20 0 20 0 476229425 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923199981936 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25877] ppid=25857 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25877/stat : 25877 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476229425 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923198929632 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25878] ppid=25857 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25859/task/25878/stat : 25878 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229425 28909211648 11417 33554432000 4194304 4196468 140727327102192 139923197877168 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47120 KiB [startup+0.701029 s] /proc/loadavg: 7.89 8.10 8.26 6/211 25878 /proc/meminfo: memFree=25271180/32770688 swapFree=66927236/67108860 [pid=25857] ppid=25854 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25857/stat : 25857 (xcsp3-exec) S 25854 25857 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476229418 115843072 363 33554432000 4194304 5098028 140729511148800 140729511146904 140315976774268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23916544 140729511154550 140729511154793 140729511154793 140729511157706 0 /proc/25857/statm: 28282 363 304 221 0 87 0 [pid=25859] ppid=25857 vsize=28233776 memory=101744 CPUtime=1.89 cores=0-7 /proc/25859/stat : 25859 (java) S 25857 25857 22399 0 -1 1077944320 15086 0 0 0 183 6 0 0 20 0 20 0 476229418 28911386624 25436 33554432000 4194304 4196468 140727327102192 140727327084736 139924091215607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 /proc/25859/statm: 7058444 25436 3445 1 0 7019544 0 [pid=25859/tid=25860] ppid=25857 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/25859/task/25860/stat : 25860 (java) R 25857 25857 22399 0 -1 4202560 8462 0 0 0 63 4 0 0 20 0 20 0 476229419 28911386624 25436 33554432000 4194304 4196468 140727327102192 139924095450424 139924091227542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25861] ppid=25857 vsize=28233776 memory=139874468668272 CPUtime=0 cores=0-7 /proc/25859/task/25861/stat : 25861 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476229420 28911386624 25436 33554432000 4194304 4196468 140727327102192 139924063058704 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25862] ppid=25857 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25859/task/25862/stat : 25862 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28911386624 25436 33554432000 4194304 4196468 140727327102192 139923641895824 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25863] ppid=25857 vsize=28233776 memory=1176 CPUtime=0 cores=0-7 /proc/25859/task/25863/stat : 25863 (java) S 25857 25857 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476229420 28911386624 25436 33554432000 4194304 4196468 140727327102192 139923640843280 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 ################ # More data... # ################ [pid=25859/tid=26305] ppid=25857 vsize=28766288 memory=3624 CPUtime=2135.79 cores=0-7 /proc/25859/task/26305/stat : 26305 (java) R 25857 25857 22399 0 -1 4202560 12301 0 0 0 213561 18 0 0 20 0 28 0 476259807 29456678912 892539 33554432000 4194304 4196468 140727327102192 139922198479096 139923732629983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 Current children cumulated CPU time: 19201.9 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3571608 KiB [startup+2502.3 s] /proc/loadavg: 7.78 8.22 8.25 9/220 26469 /proc/meminfo: memFree=21839988/32770688 swapFree=66927236/67108860 [pid=25857] ppid=25854 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25857/stat : 25857 (xcsp3-exec) S 25854 25857 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476229418 115843072 363 33554432000 4194304 5098028 140729511148800 140729511146904 140315976774268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23916544 140729511154550 140729511154793 140729511154793 140729511157706 0 /proc/25857/statm: 28282 363 304 221 0 87 0 [pid=25859] ppid=25857 vsize=28766288 memory=3497516 CPUtime=19680.5 cores=0-7 /proc/25859/stat : 25859 (java) S 25857 25857 22399 0 -1 1077944320 594388 0 0 0 1966665 1381 0 0 20 0 28 0 476229418 29456678912 874379 33554432000 4194304 4196468 140727327102192 140727327084736 139924091215607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 /proc/25859/statm: 7191572 874379 3547 1 0 7152672 0 [pid=25859/tid=25860] ppid=25857 vsize=28766288 memory=3497516 CPUtime=3.44 cores=0-7 /proc/25859/task/25860/stat : 25860 (java) S 25857 25857 22399 0 -1 1077944384 15847 0 0 0 331 13 0 0 20 0 28 0 476229419 29456678912 874379 33554432000 4194304 4196468 140727327102192 139924095456384 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25861] ppid=25857 vsize=28766288 memory=3497516 CPUtime=2.33 cores=0-7 /proc/25859/task/25861/stat : 25861 (java) S 25857 25857 22399 0 -1 1077944384 7615 0 0 0 137 96 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139924063058704 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25862] ppid=25857 vsize=28766288 memory=3571432 CPUtime=2.36 cores=0-7 /proc/25859/task/25862/stat : 25862 (java) S 25857 25857 22399 0 -1 1077944384 7392 0 0 0 140 96 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923641895824 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25863] ppid=25857 vsize=28766288 memory=3625104 CPUtime=2.28 cores=0-7 /proc/25859/task/25863/stat : 25863 (java) S 25857 25857 22399 0 -1 1077944384 6782 0 0 0 136 92 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923640843280 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25864] ppid=25857 vsize=28766288 memory=3625104 CPUtime=2.33 cores=0-7 /proc/25859/task/25864/stat : 25864 (java) S 25857 25857 22399 0 -1 1077944384 7147 0 0 0 135 98 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923639790736 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25865] ppid=25857 vsize=28766288 memory=3625104 CPUtime=2.32 cores=0-7 /proc/25859/task/25865/stat : 25865 (java) S 25857 25857 22399 0 -1 1077944384 6691 0 0 0 137 95 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923638737168 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25866] ppid=25857 vsize=28766288 memory=3570148 CPUtime=2.38 cores=0-7 /proc/25859/task/25866/stat : 25866 (java) S 25857 25857 22399 0 -1 1077944384 7651 0 0 0 134 104 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923637684624 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25867] ppid=25857 vsize=28766288 memory=3570148 CPUtime=2.37 cores=0-7 /proc/25859/task/25867/stat : 25867 (java) S 25857 25857 22399 0 -1 1077944384 9374 0 0 0 139 98 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923636632080 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25868] ppid=25857 vsize=28766288 memory=3570148 CPUtime=2.32 cores=0-7 /proc/25859/task/25868/stat : 25868 (java) S 25857 25857 22399 0 -1 1077944384 7540 0 0 0 137 95 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923635579536 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25869] ppid=25857 vsize=28766288 memory=3571432 CPUtime=1.42 cores=0-7 /proc/25859/task/25869/stat : 25869 (java) S 25857 25857 22399 0 -1 1077944384 18214 0 0 0 53 89 0 0 20 0 28 0 476229421 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923207350768 139924091226754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25870] ppid=25857 vsize=28766288 memory=3497516 CPUtime=0 cores=0-7 /proc/25859/task/25870/stat : 25870 (java) S 25857 25857 22399 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 476229422 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923206297056 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25871] ppid=25857 vsize=28766288 memory=3497516 CPUtime=0 cores=0-7 /proc/25859/task/25871/stat : 25871 (java) S 25857 25857 22399 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 476229422 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923205244416 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25872] ppid=25857 vsize=28766288 memory=3497516 CPUtime=0 cores=0-7 /proc/25859/task/25872/stat : 25872 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923204192976 139924091234203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25873] ppid=25857 vsize=28766288 memory=1452 CPUtime=4.75 cores=0-7 /proc/25859/task/25873/stat : 25873 (java) S 25857 25857 22399 0 -1 1077944384 29258 0 0 0 469 6 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923203139568 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25874] ppid=25857 vsize=28766288 memory=3497516 CPUtime=3.63 cores=0-7 /proc/25859/task/25874/stat : 25874 (java) S 25857 25857 22399 0 -1 1077944384 19709 0 0 0 358 5 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923202087024 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25875] ppid=25857 vsize=28766288 memory=1452 CPUtime=3.6 cores=0-7 /proc/25859/task/25875/stat : 25875 (java) S 25857 25857 22399 0 -1 1077944384 21453 0 0 0 356 4 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923201034480 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25876] ppid=25857 vsize=28766288 memory=3497516 CPUtime=1.16 cores=0-7 /proc/25859/task/25876/stat : 25876 (java) S 25857 25857 22399 0 -1 1077944384 29104 0 0 0 109 7 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923199981936 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25877] ppid=25857 vsize=28766288 memory=3571432 CPUtime=0 cores=0-7 /proc/25859/task/25877/stat : 25877 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923198929632 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25878] ppid=25857 vsize=28766288 memory=1452 CPUtime=0.92 cores=0-7 /proc/25859/task/25878/stat : 25878 (java) S 25857 25857 22399 0 -1 1077944384 4225 0 0 0 29 63 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923197877168 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26298] ppid=25857 vsize=28766288 memory=1452 CPUtime=2190.81 cores=0-7 /proc/25859/task/26298/stat : 26298 (java) R 25857 25857 22399 0 -1 4202560 36183 0 0 0 219016 65 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922196372512 139923732630193 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26299] ppid=25857 vsize=28766288 memory=3497516 CPUtime=2195.33 cores=0-7 /proc/25859/task/26299/stat : 26299 (java) R 25857 25857 22399 0 -1 4202560 7309 0 0 0 219523 10 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922193216280 139923732630220 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26300] ppid=25857 vsize=28766288 memory=1452 CPUtime=2195.83 cores=0-7 /proc/25859/task/26300/stat : 26300 (java) R 25857 25857 22399 0 -1 4202560 37759 0 0 0 219513 70 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922197426072 139923732630159 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26301] ppid=25857 vsize=28766288 memory=3497516 CPUtime=2182.84 cores=0-7 /proc/25859/task/26301/stat : 26301 (java) R 25857 25857 22399 0 -1 4202560 11037 0 0 0 218264 20 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922199531544 139923735786074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26302] ppid=25857 vsize=28766288 memory=776 CPUtime=2186.55 cores=0-7 /proc/25859/task/26302/stat : 26302 (java) R 25857 25857 22399 0 -1 4202560 35627 0 0 0 218630 25 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922194268296 139923732630045 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26303] ppid=25857 vsize=28766288 memory=660 CPUtime=2195.71 cores=0-7 /proc/25859/task/26303/stat : 26303 (java) R 25857 25857 22399 0 -1 4202560 12080 0 0 0 219536 35 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922195323568 139923735785896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26304] ppid=25857 vsize=28766288 memory=1556 CPUtime=2177.93 cores=0-7 /proc/25859/task/26304/stat : 26304 (java) R 25857 25857 22399 0 -1 4202560 9349 0 0 0 217784 9 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923190993192 139923732630169 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26305] ppid=25857 vsize=28766288 memory=1452 CPUtime=2195.73 cores=0-7 /proc/25859/task/26305/stat : 26305 (java) R 25857 25857 22399 0 -1 4202560 12624 0 0 0 219554 19 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922198479208 139923732630196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 Current children cumulated CPU time: 19680.5 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3498968 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 7.91 8.22 8.25 9/219 26469 /proc/meminfo: memFree=21840100/32770688 swapFree=66927236/67108860 [pid=25857] ppid=25854 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25857/stat : 25857 (xcsp3-exec) S 25854 25857 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476229418 115843072 363 33554432000 4194304 5098028 140729511148800 140729511146904 140315976774268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23916544 140729511154550 140729511154793 140729511154793 140729511157706 0 /proc/25857/statm: 28282 363 304 221 0 87 0 [pid=25859] ppid=25857 vsize=28766288 memory=3497516 CPUtime=19821.7 cores=0-7 /proc/25859/stat : 25859 (java) S 25857 25857 22399 0 -1 1077944320 595331 0 0 0 1980791 1383 0 0 20 0 28 0 476229418 29456678912 874379 33554432000 4194304 4196468 140727327102192 140727327084736 139924091215607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 /proc/25859/statm: 7191572 874379 3547 1 0 7152672 0 [pid=25859/tid=25860] ppid=25857 vsize=28766288 memory=924 CPUtime=3.44 cores=0-7 /proc/25859/task/25860/stat : 25860 (java) S 25857 25857 22399 0 -1 1077944384 15847 0 0 0 331 13 0 0 20 0 28 0 476229419 29456678912 874379 33554432000 4194304 4196468 140727327102192 139924095456384 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25861] ppid=25857 vsize=28766288 memory=4872558044660077418 CPUtime=2.33 cores=0-7 /proc/25859/task/25861/stat : 25861 (java) S 25857 25857 22399 0 -1 1077944384 7615 0 0 0 137 96 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139924063058704 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25862] ppid=25857 vsize=28766288 memory=1452 CPUtime=2.36 cores=0-7 /proc/25859/task/25862/stat : 25862 (java) S 25857 25857 22399 0 -1 1077944384 7392 0 0 0 140 96 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923641895824 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25863] ppid=25857 vsize=28766288 memory=3497516 CPUtime=2.28 cores=0-7 /proc/25859/task/25863/stat : 25863 (java) S 25857 25857 22399 0 -1 1077944384 6782 0 0 0 136 92 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923640843280 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25864] ppid=25857 vsize=28766288 memory=33280 CPUtime=2.33 cores=0-7 /proc/25859/task/25864/stat : 25864 (java) S 25857 25857 22399 0 -1 1077944384 7147 0 0 0 135 98 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923639790736 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25865] ppid=25857 vsize=28766288 memory=2120 CPUtime=2.32 cores=0-7 /proc/25859/task/25865/stat : 25865 (java) S 25857 25857 22399 0 -1 1077944384 6691 0 0 0 137 95 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923638737168 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25866] ppid=25857 vsize=28766288 memory=496 CPUtime=2.38 cores=0-7 /proc/25859/task/25866/stat : 25866 (java) S 25857 25857 22399 0 -1 1077944384 7651 0 0 0 134 104 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923637684624 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25867] ppid=25857 vsize=28766288 memory=1560 CPUtime=2.37 cores=0-7 /proc/25859/task/25867/stat : 25867 (java) S 25857 25857 22399 0 -1 1077944384 9374 0 0 0 139 98 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923636632080 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25868] ppid=25857 vsize=28766288 memory=984 CPUtime=2.32 cores=0-7 /proc/25859/task/25868/stat : 25868 (java) S 25857 25857 22399 0 -1 1077944384 7540 0 0 0 137 95 0 0 20 0 28 0 476229420 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923635579536 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25869] ppid=25857 vsize=28766288 memory=2020 CPUtime=1.42 cores=0-7 /proc/25859/task/25869/stat : 25869 (java) S 25857 25857 22399 0 -1 1077944384 18214 0 0 0 53 89 0 0 20 0 28 0 476229421 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923207350768 139924091226754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25870] ppid=25857 vsize=28766288 memory=1420 CPUtime=0 cores=0-7 /proc/25859/task/25870/stat : 25870 (java) S 25857 25857 22399 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 476229422 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923206297056 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25871] ppid=25857 vsize=28766288 memory=1712 CPUtime=0 cores=0-7 /proc/25859/task/25871/stat : 25871 (java) S 25857 25857 22399 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 476229422 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923205244416 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25872] ppid=25857 vsize=28766288 memory=6028 CPUtime=0 cores=0-7 /proc/25859/task/25872/stat : 25872 (java) S 25857 25857 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923204192976 139924091234203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25873] ppid=25857 vsize=28766288 memory=3668 CPUtime=4.75 cores=0-7 /proc/25859/task/25873/stat : 25873 (java) S 25857 25857 22399 0 -1 1077944384 29259 0 0 0 469 6 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923203139568 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25874] ppid=25857 vsize=28766288 memory=1056 CPUtime=3.63 cores=0-7 /proc/25859/task/25874/stat : 25874 (java) S 25857 25857 22399 0 -1 1077944384 19715 0 0 0 358 5 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923202087024 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25875] ppid=25857 vsize=28766288 memory=2820 CPUtime=3.6 cores=0-7 /proc/25859/task/25875/stat : 25875 (java) S 25857 25857 22399 0 -1 1077944384 21454 0 0 0 356 4 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923201034480 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25876] ppid=25857 vsize=28766288 memory=1176 CPUtime=1.16 cores=0-7 /proc/25859/task/25876/stat : 25876 (java) S 25857 25857 22399 0 -1 1077944384 29106 0 0 0 109 7 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923199981936 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25877] ppid=25857 vsize=28766288 memory=980 CPUtime=0 cores=0-7 /proc/25859/task/25877/stat : 25877 (java) S 25857 25857 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923198929632 139924091225813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=25878] ppid=25857 vsize=28766288 memory=14008 CPUtime=0.92 cores=0-7 /proc/25859/task/25878/stat : 25878 (java) S 25857 25857 22399 0 -1 1077944384 4230 0 0 0 29 63 0 0 20 0 28 0 476229425 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923197877168 139924091226754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26298] ppid=25857 vsize=28766288 memory=12028 CPUtime=2208.51 cores=0-7 /proc/25859/task/26298/stat : 26298 (java) R 25857 25857 22399 0 -1 4202560 36406 0 0 0 220786 65 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922196372512 139923732630061 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26299] ppid=25857 vsize=28766288 memory=33280 CPUtime=2213.03 cores=0-7 /proc/25859/task/26299/stat : 26299 (java) R 25857 25857 22399 0 -1 4202560 7366 0 0 0 221293 10 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922193216280 139923732630169 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26300] ppid=25857 vsize=28766288 memory=1444 CPUtime=2213.53 cores=0-7 /proc/25859/task/26300/stat : 26300 (java) R 25857 25857 22399 0 -1 4202560 38003 0 0 0 221282 71 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922197426072 139923732630188 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26301] ppid=25857 vsize=28766288 memory=1764 CPUtime=2200.55 cores=0-7 /proc/25859/task/26301/stat : 26301 (java) R 25857 25857 22399 0 -1 4202560 11046 0 0 0 220035 20 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922199531544 139923735786162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26302] ppid=25857 vsize=28766288 memory=111632 CPUtime=2204.25 cores=0-7 /proc/25859/task/26302/stat : 26302 (java) R 25857 25857 22399 0 -1 4202560 35661 0 0 0 220400 25 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922194268296 139923735786124 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26303] ppid=25857 vsize=28766288 memory=800 CPUtime=2213.42 cores=0-7 /proc/25859/task/26303/stat : 26303 (java) R 25857 25857 22399 0 -1 4202560 12218 0 0 0 221307 35 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922195323568 139923735786185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26304] ppid=25857 vsize=28766288 memory=1808 CPUtime=2195.25 cores=0-7 /proc/25859/task/26304/stat : 26304 (java) R 25857 25857 22399 0 -1 4202560 9459 0 0 0 219516 9 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139923190993192 139923732630203 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 [pid=25859/tid=26305] ppid=25857 vsize=28766288 memory=924 CPUtime=2213.43 cores=0-7 /proc/25859/task/26305/stat : 26305 (java) R 25857 25857 22399 0 -1 4202560 12737 0 0 0 221324 19 0 0 20 0 28 0 476259807 29456678912 874379 33554432000 4194304 4196468 140727327102192 139922198479208 139923732630080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140727327110122 140727327110294 140727327110294 140727327113167 0 Current children cumulated CPU time: 19821.7 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3498968 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 25857 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000855 s, system=0.001711 s [startup+2520.14 s] # the end of solver process 25859 was just reported to runsolver # cumulated CPU time of all completed processes: user=19808.6 s, system=13.8793 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 Child status: 143 Real time (s): 2520.14 CPU time (s): 19822.5 CPU user time (s): 19808.6 CPU system time (s): 13.8793 CPU usage (%): 786.562 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 4147432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19808.6 system time used= 13.8793 maximum resident set size= 4235328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 597016 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68227 involuntary context switches= 229033 # summary of solver processes directly reported to runsolver: # pid: 25857,25859 # total CPU time (s): 19822.5 # total CPU user time (s): 19808.6 # total CPU system time (s): 13.8793 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.1285 second user time and 32.3921 second system time The end
Begin job on node120 at 2011-12-22 02:17:33 IDJOB=4404778 IDBENCH=133905 IDSOLVER=2865 FILE ID=node120/4404778-1569002232 RUNJOBID= node120-1324510577-22426 PBS_JOBID= 21704737 Free space on /tmp= 23408 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.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-4404778-1569002232/watcher-4404778-1569002232 -o /tmp/evaluation-result-4404778-1569002232/solver-4404778-1569002232 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324510577-22426 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 364396564 HOME/instance-4404778-1569002232.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=364396564 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25328112 kB MemAvailable: 31789604 kB Buffers: 54904 kB Cached: 6681356 kB SwapCached: 68652 kB Active: 3324212 kB Inactive: 3485656 kB Active(anon): 4620 kB Inactive(anon): 125084 kB Active(file): 3319592 kB Inactive(file): 3360572 kB Unevictable: 107788 kB Mlocked: 107788 kB SwapTotal: 67108860 kB SwapFree: 66927236 kB Dirty: 22464 kB Writeback: 0 kB AnonPages: 130496 kB Mapped: 57756 kB Shmem: 47352 kB Slab: 223652 kB SReclaimable: 194324 kB SUnreclaim: 29328 kB KernelStack: 3712 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 523240 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23384 MiB End job on node120 at 2011-12-22 02:59:34