Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 39 | 1987.4399 | 252.15199 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml |
| MD5SUM | 6af071621bab6d4e45a1e2acc37440b7 |
| 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 | 240.04201 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2116 |
| Number of constraints | 15180 |
| Number of domains | 1 |
| Minimum domain size | 1035 |
| Maximum domain size | 1035 |
| Distribution of domain sizes | [{"size":1035,"count":1035}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":0,"count":1081},{"degree":45,"count":1035}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":15180}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 15180 |
| Distribution of constraint types | [{"type":"intension","count":15180}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281660-1503189615.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281660-1503189615.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 12.61/4.07 c solve instance... 29.77/6.34 o 44 30.41/6.44 o 43 31.88/6.63 o 42 41.34/7.86 o 41 195.07/27.49 o 40 1480.11/188.57 o 39 1986.54/252.10 s SATISFIABLE 1986.54/252.10 v <instantiation> 1986.54/252.10 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[0][45] 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[1][45] 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[2][45] 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[3][45] 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[4][45] 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[5][45] 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[6][45] 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[7][45] 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[8][45] 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[9][45] 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[10][45] 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[11][45] 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[12][45] 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[13][45] 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[14][45] 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[15][45] 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[16][45] 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[17][45] 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[18][45] 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[19][45] 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[20][45] 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[21][45] 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[22][45] 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[23][45] 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[24][45] 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[25][45] 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[26][45] 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[27][45] 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[28][45] 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[29][45] 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[30][45] 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[31][45] 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[32][45] 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[33][45] 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[34][45] 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[35][45] 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[36][45] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45] </list> 1986.54/252.10 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 32 32 32 32 32 32 32 32 32 32 32 32 32 33 33 33 33 33 33 33 33 33 33 33 33 34 34 34 34 34 34 34 34 34 34 34 35 35 35 35 35 35 35 35 35 35 36 36 36 36 36 36 36 36 36 37 37 37 37 37 38 38 38 38 39 38 39 37 37 38 39 39 38 37 37 39 38 38 37 37 38 39 37 38 37 37 37 39 39 39 37 </values> 1986.54/252.10 v </instantiation> 1986.54/252.10 c Unexpected resolution interruption!
OK 39
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 (10290 MiB free)
memory of node 1: 16384 MiB (12484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281660-1503189615/watcher-4281660-1503189615 -o /tmp/evaluation-result-4281660-1503189615/solver-4281660-1503189615 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 17561325 HOME/instance-4281660-1503189615.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=4209, runsolver pid=4206
[startup+0.100112 s]*
/proc/loadavg: 6.72 6.16 6.63 2/199 4230
/proc/meminfo: memFree=23304600/32770624 swapFree=67108860/67108860
[pid=4209] ppid=4206 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4209/stat : 4209 (xcsp3-exec) S 4206 4209 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152042469 9740288 346 33554432000 4194304 5098028 140733371163072 140733371161176 139916336124540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8986624 140733371167852 140733371168060 140733371168060 140733371170795 0
/proc/4209/statm: 2378 346 289 221 0 87 0
[pid=4211] ppid=4209 vsize=25999808 memory=28264 CPUtime=0.11 cores=0-7
/proc/4211/stat : 4211 (java) S 4209 4209 29114 0 -1 1077944320 5464 0 0 0 10 1 0 0 20 0 20 0 152042469 26623803392 7066 33554432000 4194304 4196468 140725736487856 140725736470400 140679513063159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
/proc/4211/statm: 6499952 7066 2844 1 0 6488269 0
[pid=4211/tid=4212] ppid=4209 vsize=25999808 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/4211/task/4212/stat : 4212 (java) R 4209 4209 29114 0 -1 4202560 3476 0 0 0 8 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679517296432 140679494914093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4213] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4213/stat : 4213 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679465683728 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4214] ppid=4209 vsize=25999808 memory=139772642301568 CPUtime=0 cores=0-7
/proc/4211/task/4214/stat : 4214 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679464631184 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4215] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4215/stat : 4215 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679463578640 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4216] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4216/stat : 4216 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679462526096 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4217] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4217/stat : 4217 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679461472528 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4218] ppid=4209 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4211/task/4218/stat : 4218 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679460419984 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4219] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4219/stat : 4219 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679459367440 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4220] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4220/stat : 4220 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152042470 26623803392 7131 33554432000 4194304 4196468 140725736487856 140679458314896 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4221] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4221/stat : 4221 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042472 26623803392 7131 33554432000 4194304 4196468 140725736487856 140678640380400 140679513074306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4222] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4222/stat : 4222 (java) S 4209 4209 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152042472 26623803392 7131 33554432000 4194304 4196468 140725736487856 140678639326624 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4223] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4223/stat : 4223 (java) S 4209 4209 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152042472 26623803392 7131 33554432000 4194304 4196468 140725736487856 140678638274032 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4224] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4224/stat : 4224 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042475 26623803392 7131 33554432000 4194304 4196468 140725736487856 140678637222608 140679513081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4225] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4225/stat : 4225 (java) S 4209 4209 29114 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 152042475 26623803392 7131 33554432000 4194304 4196468 140725736487856 140678636169200 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4226] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4226/stat : 4226 (java) S 4209 4209 29114 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 152042475 26623803392 7131 33554432000 4194304 4196468 140725736487856 140678635116656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4227] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4227/stat : 4227 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152042475 26623803392 7131 33554432000 4194304 4196468 140725736487856 140677778761968 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4228] ppid=4209 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4211/task/4228/stat : 4228 (java) R 4209 4209 29114 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 152042475 26623803392 7131 33554432000 4194304 4196468 140725736487856 140677777709424 140679497143646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4229] ppid=4209 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4229/stat : 4229 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152042475 26623803392 7131 33554432000 4194304 4196468 140725736487856 140677776657120 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4230] ppid=4209 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4211/task/4230/stat : 4230 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042475 26623803392 7131 33554432000 4194304 4196468 140725736487856 140677775604656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29648 KiB
[startup+0.210085 s]*
/proc/loadavg: 6.72 6.16 6.63 3/199 4230
/proc/meminfo: memFree=23292056/32770624 swapFree=67108860/67108860
[pid=4209] ppid=4206 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4209/stat : 4209 (xcsp3-exec) S 4206 4209 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152042469 9740288 346 33554432000 4194304 5098028 140733371163072 140733371161176 139916336124540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8986624 140733371167852 140733371168060 140733371168060 140733371170795 0
/proc/4209/statm: 2378 346 289 221 0 87 0
[pid=4211] ppid=4209 vsize=26004064 memory=41116 CPUtime=0.32 cores=0-7
/proc/4211/stat : 4211 (java) S 4209 4209 29114 0 -1 1077944320 8318 0 0 0 30 2 0 0 20 0 20 0 152042469 26628161536 10279 33554432000 4194304 4196468 140725736487856 140725736470400 140679513063159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
/proc/4211/statm: 6501016 10279 3062 1 0 6488269 0
[pid=4211/tid=4212] ppid=4209 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4211/task/4212/stat : 4212 (java) R 4209 4209 29114 0 -1 4202560 5385 0 0 0 18 1 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679517284152 140679497143646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4213] ppid=4209 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/4211/task/4213/stat : 4213 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679465683728 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4214] ppid=4209 vsize=26004064 memory=139772642319501 CPUtime=0 cores=0-7
/proc/4211/task/4214/stat : 4214 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679464631184 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4215] ppid=4209 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4211/task/4215/stat : 4215 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679463578640 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4216] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4216/stat : 4216 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679462526096 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4217] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4217/stat : 4217 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679461472528 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4218] ppid=4209 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4211/task/4218/stat : 4218 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679460419984 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4219] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4219/stat : 4219 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679459367440 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4220] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4220/stat : 4220 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 10279 33554432000 4194304 4196468 140725736487856 140679458314896 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4221] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4221/stat : 4221 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042472 26628161536 10279 33554432000 4194304 4196468 140725736487856 140678640380400 140679513074306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4222] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4222/stat : 4222 (java) S 4209 4209 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152042472 26628161536 10279 33554432000 4194304 4196468 140725736487856 140678639326624 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4223] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4223/stat : 4223 (java) S 4209 4209 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152042472 26628161536 10279 33554432000 4194304 4196468 140725736487856 140678638274032 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4224] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4224/stat : 4224 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042475 26628161536 10279 33554432000 4194304 4196468 140725736487856 140678637222608 140679513081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4225] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4225/stat : 4225 (java) S 4209 4209 29114 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 152042475 26628161536 10279 33554432000 4194304 4196468 140725736487856 140678636169200 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4226] ppid=4209 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4211/task/4226/stat : 4226 (java) S 4209 4209 29114 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 152042475 26628161536 10279 33554432000 4194304 4196468 140725736487856 140678635116656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4227] ppid=4209 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/4211/task/4227/stat : 4227 (java) S 4209 4209 29114 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 152042475 26628161536 10279 33554432000 4194304 4196468 140725736487856 140677778761968 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4228] ppid=4209 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4211/task/4228/stat : 4228 (java) S 4209 4209 29114 0 -1 1077944384 750 0 0 0 7 0 0 0 20 0 20 0 152042475 26628161536 10279 33554432000 4194304 4196468 140725736487856 140677777709424 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4229] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4229/stat : 4229 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152042475 26628161536 10279 33554432000 4194304 4196468 140725736487856 140677776657120 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4230] ppid=4209 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4211/task/4230/stat : 4230 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042475 26628161536 10279 33554432000 4194304 4196468 140725736487856 140677775604656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42500 KiB
[startup+0.309558 s]*
/proc/loadavg: 6.72 6.16 6.63 3/199 4230
/proc/meminfo: memFree=23288024/32770624 swapFree=67108860/67108860
[pid=4209] ppid=4206 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4209/stat : 4209 (xcsp3-exec) S 4206 4209 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152042469 9740288 346 33554432000 4194304 5098028 140733371163072 140733371161176 139916336124540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8986624 140733371167852 140733371168060 140733371168060 140733371170795 0
/proc/4209/statm: 2378 346 289 221 0 87 0
[pid=4211] ppid=4209 vsize=26004064 memory=46068 CPUtime=0.48 cores=0-7
/proc/4211/stat : 4211 (java) S 4209 4209 29114 0 -1 1077944320 9194 0 0 0 46 2 0 0 20 0 20 0 152042469 26628161536 11517 33554432000 4194304 4196468 140725736487856 140725736470400 140679513063159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
/proc/4211/statm: 6501016 11517 3096 1 0 6488269 0
[pid=4211/tid=4212] ppid=4209 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/4211/task/4212/stat : 4212 (java) R 4209 4209 29114 0 -1 4202560 6069 0 0 0 28 1 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679517298272 140679120557880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4213] ppid=4209 vsize=26004064 memory=16444 CPUtime=0 cores=0-7
/proc/4211/task/4213/stat : 4213 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679465683728 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4214] ppid=4209 vsize=26004064 memory=24488 CPUtime=0 cores=0-7
/proc/4211/task/4214/stat : 4214 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679464631184 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4215] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4215/stat : 4215 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679463578640 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4216] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4216/stat : 4216 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679462526096 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4217] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4217/stat : 4217 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679461472528 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4218] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4218/stat : 4218 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679460419984 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4219] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4219/stat : 4219 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679459367440 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4220] ppid=4209 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4211/task/4220/stat : 4220 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152042470 26628161536 11517 33554432000 4194304 4196468 140725736487856 140679458314896 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4221] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4221/stat : 4221 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042472 26628161536 11517 33554432000 4194304 4196468 140725736487856 140678640380400 140679513074306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4222] ppid=4209 vsize=26004064 memory=139772530095055 CPUtime=0 cores=0-7
/proc/4211/task/4222/stat : 4222 (java) S 4209 4209 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152042472 26628161536 11517 33554432000 4194304 4196468 140725736487856 140678639326624 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4223] ppid=4209 vsize=26004064 memory=279545060192400 CPUtime=0 cores=0-7
/proc/4211/task/4223/stat : 4223 (java) S 4209 4209 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152042472 26628161536 11517 33554432000 4194304 4196468 140725736487856 140678638274032 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4224] ppid=4209 vsize=26004064 memory=279545060208528 CPUtime=0 cores=0-7
/proc/4211/task/4224/stat : 4224 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042475 26628161536 11517 33554432000 4194304 4196468 140725736487856 140678637222608 140679513081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4225] ppid=4209 vsize=26004064 memory=279545060206224 CPUtime=0.01 cores=0-7
/proc/4211/task/4225/stat : 4225 (java) S 4209 4209 29114 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 152042475 26628161536 11517 33554432000 4194304 4196468 140725736487856 140678636169200 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4226] ppid=4209 vsize=26004064 memory=279545060213136 CPUtime=0.02 cores=0-7
/proc/4211/task/4226/stat : 4226 (java) S 4209 4209 29114 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 20 0 152042475 26628161536 11517 33554432000 4194304 4196468 140725736487856 140678635116656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4227] ppid=4209 vsize=26004064 memory=279545060154416 CPUtime=0.03 cores=0-7
/proc/4211/task/4227/stat : 4227 (java) S 4209 4209 29114 0 -1 1077944384 337 0 0 0 3 0 0 0 20 0 20 0 152042475 26628161536 11517 33554432000 4194304 4196468 140725736487856 140677778761968 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4228] ppid=4209 vsize=26004064 memory=279545060226960 CPUtime=0.12 cores=0-7
/proc/4211/task/4228/stat : 4228 (java) R 4209 4209 29114 0 -1 4202560 884 0 0 0 12 0 0 0 20 0 20 0 152042475 26628161536 11517 33554432000 4194304 4196468 140725736487856 140677777709424 140679506163006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4229] ppid=4209 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4229/stat : 4229 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152042475 26628161536 11517 33554432000 4194304 4196468 140725736487856 140677776657120 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4230] ppid=4209 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4211/task/4230/stat : 4230 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042475 26628161536 11517 33554432000 4194304 4196468 140725736487856 140677775604656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47452 KiB
[startup+0.700969 s]
/proc/loadavg: 6.72 6.16 6.63 4/199 4230
/proc/meminfo: memFree=23260108/32770624 swapFree=67108860/67108860
[pid=4209] ppid=4206 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4209/stat : 4209 (xcsp3-exec) S 4206 4209 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152042469 9740288 346 33554432000 4194304 5098028 140733371163072 140733371161176 139916336124540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8986624 140733371167852 140733371168060 140733371168060 140733371170795 0
/proc/4209/statm: 2378 346 289 221 0 87 0
[pid=4211] ppid=4209 vsize=26004140 memory=172908 CPUtime=2.04 cores=0-7
/proc/4211/stat : 4211 (java) S 4209 4209 29114 0 -1 1077944320 13791 0 0 0 198 6 0 0 20 0 20 0 152042469 26628239360 43227 33554432000 4194304 4196468 140725736487856 140725736470400 140679513063159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
/proc/4211/statm: 6501035 43227 3201 1 0 6488269 0
[pid=4211/tid=4212] ppid=4209 vsize=26004140 memory=0 CPUtime=0.67 cores=0-7
/proc/4211/task/4212/stat : 4212 (java) R 4209 4209 29114 0 -1 4202560 6408 0 0 0 64 3 0 0 20 0 20 0 152042470 26628239360 43227 33554432000 4194304 4196468 140725736487856 140679517298096 140679124054776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4213] ppid=4209 vsize=26004140 memory=139772530303856 CPUtime=0 cores=0-7
/proc/4211/task/4213/stat : 4213 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628239360 43227 33554432000 4194304 4196468 140725736487856 140679465683728 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4214] ppid=4209 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4211/task/4214/stat : 4214 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152042470 26628239360 43227 33554432000 4194304 4196468 140725736487856 140679464631184 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4215] ppid=4209 vsize=26004140 memory=5776 CPUtime=0 cores=0-7
/proc/4211/task/4215/stat : 4215 (java) S 4209 4209 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152042470 26628239360 43227 33554432000 4194304 4196468 140725736487856 140679463578640 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
################
# More data... #
################
/proc/meminfo: memFree=17506828/32770624 swapFree=67108860/67108860
[pid=4209] ppid=4206 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4209/stat : 4209 (xcsp3-exec) S 4206 4209 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152042469 9740288 346 33554432000 4194304 5098028 140733371163072 140733371161176 139916336124540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8986624 140733371167852 140733371168060 140733371168060 140733371170795 0
/proc/4209/statm: 2378 346 289 221 0 87 0
[pid=4211] ppid=4209 vsize=26538700 memory=5861660 CPUtime=1749.66 cores=0-7
/proc/4211/stat : 4211 (java) S 4209 4209 29114 0 -1 1077944320 149799 0 0 0 174491 475 0 0 20 0 28 0 152042469 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140725736470400 140679513063159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
/proc/4211/statm: 6634675 1465415 3297 1 0 6621909 0
[pid=4211/tid=4212] ppid=4209 vsize=26538700 memory=1384 CPUtime=3.79 cores=0-7
/proc/4211/task/4212/stat : 4212 (java) S 4209 4209 29114 0 -1 1077944384 8172 0 0 0 364 15 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679517303936 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4213] ppid=4209 vsize=26538700 memory=5804316 CPUtime=1.35 cores=0-7
/proc/4211/task/4213/stat : 4213 (java) S 4209 4209 29114 0 -1 1077944384 2843 0 0 0 108 27 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679465683728 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4214] ppid=4209 vsize=26538700 memory=5249308 CPUtime=1.34 cores=0-7
/proc/4211/task/4214/stat : 4214 (java) S 4209 4209 29114 0 -1 1077944384 2132 0 0 0 108 26 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679464631184 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4215] ppid=4209 vsize=26538700 memory=5249308 CPUtime=1.31 cores=0-7
/proc/4211/task/4215/stat : 4215 (java) S 4209 4209 29114 0 -1 1077944384 2609 0 0 0 107 24 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679463578640 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4216] ppid=4209 vsize=26538700 memory=5265692 CPUtime=1.35 cores=0-7
/proc/4211/task/4216/stat : 4216 (java) S 4209 4209 29114 0 -1 1077944384 1847 0 0 0 111 24 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679462526096 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4217] ppid=4209 vsize=26538700 memory=5832988 CPUtime=1.32 cores=0-7
/proc/4211/task/4217/stat : 4217 (java) S 4209 4209 29114 0 -1 1077944384 2677 0 0 0 106 26 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679461472528 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4218] ppid=4209 vsize=26538700 memory=1384 CPUtime=1.3 cores=0-7
/proc/4211/task/4218/stat : 4218 (java) S 4209 4209 29114 0 -1 1077944384 1656 0 0 0 105 25 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679460419984 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4219] ppid=4209 vsize=26538700 memory=1156 CPUtime=1.34 cores=0-7
/proc/4211/task/4219/stat : 4219 (java) S 4209 4209 29114 0 -1 1077944384 2931 0 0 0 108 26 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679459367440 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4220] ppid=4209 vsize=26538700 memory=1384 CPUtime=1.32 cores=0-7
/proc/4211/task/4220/stat : 4220 (java) S 4209 4209 29114 0 -1 1077944384 1343 0 0 0 107 25 0 0 20 0 28 0 152042470 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140679458314896 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4221] ppid=4209 vsize=26538700 memory=1384 CPUtime=0.37 cores=0-7
/proc/4211/task/4221/stat : 4221 (java) S 4209 4209 29114 0 -1 1077944384 8832 0 0 0 36 1 0 0 20 0 28 0 152042472 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140678640380400 140679513074306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4222] ppid=4209 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/4211/task/4222/stat : 4222 (java) S 4209 4209 29114 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 152042472 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140678639326688 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4223] ppid=4209 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/4211/task/4223/stat : 4223 (java) S 4209 4209 29114 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 152042472 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140678638274048 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4224] ppid=4209 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4211/task/4224/stat : 4224 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152042475 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140678637222608 140679513081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4225] ppid=4209 vsize=26538700 memory=4317684 CPUtime=3.7 cores=0-7
/proc/4211/task/4225/stat : 4225 (java) S 4209 4209 29114 0 -1 1077944384 16526 0 0 0 366 4 0 0 20 0 28 0 152042475 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140678636169200 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4226] ppid=4209 vsize=26538700 memory=4140 CPUtime=3.5 cores=0-7
/proc/4211/task/4226/stat : 4226 (java) S 4209 4209 29114 0 -1 1077944384 12527 0 0 0 348 2 0 0 20 0 28 0 152042475 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140678635116656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4227] ppid=4209 vsize=26538700 memory=42476 CPUtime=3.82 cores=0-7
/proc/4211/task/4227/stat : 4227 (java) S 4209 4209 29114 0 -1 1077944384 13348 0 0 0 378 4 0 0 20 0 28 0 152042475 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677778761968 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4228] ppid=4209 vsize=26538700 memory=1384 CPUtime=0.89 cores=0-7
/proc/4211/task/4228/stat : 4228 (java) S 4209 4209 29114 0 -1 1077944384 13159 0 0 0 85 4 0 0 20 0 28 0 152042475 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677777709424 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4229] ppid=4209 vsize=26538700 memory=5249308 CPUtime=0 cores=0-7
/proc/4211/task/4229/stat : 4229 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152042475 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677776657120 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4230] ppid=4209 vsize=26538700 memory=13159779797765 CPUtime=0.09 cores=0-7
/proc/4211/task/4230/stat : 4230 (java) S 4209 4209 29114 0 -1 1077944384 2444 0 0 0 0 9 0 0 20 0 28 0 152042475 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677775604656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4280] ppid=4209 vsize=26538700 memory=0 CPUtime=33.71 cores=0-7
/proc/4211/task/4280/stat : 4280 (java) R 4209 4209 29114 0 -1 4202560 1724 0 0 0 3371 0 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677766541352 140679130350690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4281] ppid=4209 vsize=26538700 memory=279545061992048 CPUtime=33.72 cores=0-7
/proc/4211/task/4281/stat : 4281 (java) R 4209 4209 29114 0 -1 4202560 737 0 0 0 3372 0 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677764436984 140679127148066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4282] ppid=4209 vsize=26538700 memory=157848638071022 CPUtime=33.71 cores=0-7
/proc/4211/task/4282/stat : 4282 (java) R 4209 4209 29114 0 -1 4202560 343 0 0 0 3371 0 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677767594360 140679123405260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4283] ppid=4209 vsize=26538700 memory=1384 CPUtime=33.53 cores=0-7
/proc/4211/task/4283/stat : 4283 (java) R 4209 4209 29114 0 -1 4202560 5654 0 0 0 3314 39 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140676752715800 140679122507303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4284] ppid=4209 vsize=26538700 memory=4140 CPUtime=33.72 cores=0-7
/proc/4211/task/4284/stat : 4284 (java) R 4209 4209 29114 0 -1 4202560 1412 0 0 0 3369 3 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677765488304 140679129649772 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4285] ppid=4209 vsize=26538700 memory=42476 CPUtime=33.72 cores=0-7
/proc/4211/task/4285/stat : 4285 (java) R 4209 4209 29114 0 -1 4202560 614 0 0 0 3372 0 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140677763383800 140679123554468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4286] ppid=4209 vsize=26538700 memory=1296 CPUtime=33.16 cores=0-7
/proc/4211/task/4286/stat : 4286 (java) R 4209 4209 29114 0 -1 4202560 506 0 0 0 3316 0 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140676753769080 140679127148066 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4287] ppid=4209 vsize=26538700 memory=4140 CPUtime=33.69 cores=0-7
/proc/4211/task/4287/stat : 4287 (java) R 4209 4209 29114 0 -1 4202560 1142 0 0 0 3362 7 0 0 20 0 28 0 152061327 27175628800 1465415 33554432000 4194304 4196468 140725736487856 140676754821464 140679130009369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
Current children cumulated CPU time: 1749.66 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5863044 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.01 7.20 6.95 9/209 4296
/proc/meminfo: memFree=17051920/32770624 swapFree=67108860/67108860
[pid=4209] ppid=4206 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4209/stat : 4209 (xcsp3-exec) S 4206 4209 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152042469 9740288 346 33554432000 4194304 5098028 140733371163072 140733371161176 139916336124540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8986624 140733371167852 140733371168060 140733371168060 140733371170795 0
/proc/4209/statm: 2378 346 289 221 0 87 0
[pid=4211] ppid=4209 vsize=26538700 memory=6290436 CPUtime=1986.54 cores=0-7
/proc/4211/stat : 4211 (java) S 4209 4209 29114 0 -1 1077944320 171135 0 0 0 198100 554 0 0 20 0 28 0 152042469 27175628800 1572609 33554432000 4194304 4196468 140725736487856 140725736470400 140679513063159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
/proc/4211/statm: 6634675 1572609 3297 1 0 6621909 0
[pid=4211/tid=4212] ppid=4209 vsize=26538700 memory=6935054825532540783 CPUtime=3.79 cores=0-7
/proc/4211/task/4212/stat : 4212 (java) S 4209 4209 29114 0 -1 1077944384 8172 0 0 0 364 15 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679517303936 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4213] ppid=4209 vsize=26538700 memory=1200 CPUtime=1.38 cores=0-7
/proc/4211/task/4213/stat : 4213 (java) S 4209 4209 29114 0 -1 1077944384 3019 0 0 0 110 28 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679465683728 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4214] ppid=4209 vsize=26538700 memory=15876 CPUtime=1.37 cores=0-7
/proc/4211/task/4214/stat : 4214 (java) S 4209 4209 29114 0 -1 1077944384 2936 0 0 0 110 27 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679464631184 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4215] ppid=4209 vsize=26538700 memory=4044 CPUtime=1.35 cores=0-7
/proc/4211/task/4215/stat : 4215 (java) S 4209 4209 29114 0 -1 1077944384 3354 0 0 0 109 26 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679463578640 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4216] ppid=4209 vsize=26538700 memory=16444 CPUtime=1.38 cores=0-7
/proc/4211/task/4216/stat : 4216 (java) S 4209 4209 29114 0 -1 1077944384 2643 0 0 0 113 25 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679462526096 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4217] ppid=4209 vsize=26538700 memory=24492 CPUtime=1.35 cores=0-7
/proc/4211/task/4217/stat : 4217 (java) S 4209 4209 29114 0 -1 1077944384 2889 0 0 0 108 27 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679461472528 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4218] ppid=4209 vsize=26538700 memory=8112282956445269571 CPUtime=1.33 cores=0-7
/proc/4211/task/4218/stat : 4218 (java) S 4209 4209 29114 0 -1 1077944384 2129 0 0 0 107 26 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679460419984 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4219] ppid=4209 vsize=26538700 memory=5991488 CPUtime=1.37 cores=0-7
/proc/4211/task/4219/stat : 4219 (java) S 4209 4209 29114 0 -1 1077944384 3300 0 0 0 110 27 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679459367440 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4220] ppid=4209 vsize=26538700 memory=1696 CPUtime=1.35 cores=0-7
/proc/4211/task/4220/stat : 4220 (java) S 4209 4209 29114 0 -1 1077944384 1776 0 0 0 109 26 0 0 20 0 28 0 152042470 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140679458314896 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4221] ppid=4209 vsize=26538700 memory=920 CPUtime=0.38 cores=0-7
/proc/4211/task/4221/stat : 4221 (java) S 4209 4209 29114 0 -1 1077944384 9578 0 0 0 37 1 0 0 20 0 28 0 152042472 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140678640380400 140679513074306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4222] ppid=4209 vsize=26538700 memory=301741373374332954 CPUtime=0 cores=0-7
/proc/4211/task/4222/stat : 4222 (java) S 4209 4209 29114 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 152042472 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140678639326688 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4223] ppid=4209 vsize=26538700 memory=303148769816609083 CPUtime=0 cores=0-7
/proc/4211/task/4223/stat : 4223 (java) S 4209 4209 29114 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 152042472 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140678638274048 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4224] ppid=4209 vsize=26538700 memory=16102567671237591 CPUtime=0 cores=0-7
/proc/4211/task/4224/stat : 4224 (java) S 4209 4209 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152042475 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140678637222608 140679513081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4225] ppid=4209 vsize=26538700 memory=1796 CPUtime=3.83 cores=0-7
/proc/4211/task/4225/stat : 4225 (java) S 4209 4209 29114 0 -1 1077944384 18914 0 0 0 378 5 0 0 20 0 28 0 152042475 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140678636169200 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4226] ppid=4209 vsize=26538700 memory=792 CPUtime=3.59 cores=0-7
/proc/4211/task/4226/stat : 4226 (java) S 4209 4209 29114 0 -1 1077944384 13356 0 0 0 357 2 0 0 20 0 28 0 152042475 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140678635116656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4227] ppid=4209 vsize=26538700 memory=1424 CPUtime=3.87 cores=0-7
/proc/4211/task/4227/stat : 4227 (java) S 4209 4209 29114 0 -1 1077944384 14237 0 0 0 383 4 0 0 20 0 28 0 152042475 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140677778761968 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4228] ppid=4209 vsize=26538700 memory=1936 CPUtime=0.9 cores=0-7
/proc/4211/task/4228/stat : 4228 (java) S 4209 4209 29114 0 -1 1077944384 13727 0 0 0 86 4 0 0 20 0 28 0 152042475 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140677777709424 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4229] ppid=4209 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/4211/task/4229/stat : 4229 (java) S 4209 4209 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152042475 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140677776657120 140679513073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4230] ppid=4209 vsize=26538700 memory=1716 CPUtime=0.11 cores=0-7
/proc/4211/task/4230/stat : 4230 (java) S 4209 4209 29114 0 -1 1077944384 2549 0 0 0 0 11 0 0 20 0 28 0 152042475 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140677775604656 140679513074306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4280] ppid=4209 vsize=26538700 memory=10640 CPUtime=63.28 cores=0-7
/proc/4211/task/4280/stat : 4280 (java) R 4209 4209 29114 0 -1 4202560 2653 0 0 0 6328 0 0 0 20 0 28 0 152061327 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140677766540568 140679123405333 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4281] ppid=4209 vsize=26538700 memory=1384 CPUtime=63.29 cores=0-7
/proc/4211/task/4281/stat : 4281 (java) R 4209 4209 29114 0 -1 4202560 1183 0 0 0 6329 0 0 0 20 0 28 0 152061327 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140677764436984 140679123853096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4282] ppid=4209 vsize=26538700 memory=5991628 CPUtime=63.35 cores=0-7
/proc/4211/task/4282/stat : 4282 (java) R 4209 4209 29114 0 -1 4202560 622 0 0 0 6335 0 0 0 20 0 28 0 152061327 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140677767593504 140679129548441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4283] ppid=4209 vsize=26538700 memory=4044 CPUtime=63.07 cores=0-7
/proc/4211/task/4283/stat : 4283 (java) R 4209 4209 29114 0 -1 4202560 8541 0 0 0 6249 58 0 0 20 0 28 0 152061327 27175628800 1574145 33554432000 4194304 4196468 140725736487856 140676752715800 140679126599829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4284] ppid=4209 vsize=26538700 memory=16444 CPUtime=63.38 cores=0-7
/proc/4211/task/4284/stat : 4284 (java) R 4209 4209 29114 0 -1 4202560 2366 0 0 0 6334 4 0 0 20 0 28 0 152061327 27175628800 1574657 33554432000 4194304 4196468 140725736487856 140677765488552 140679129649464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4285] ppid=4209 vsize=26538700 memory=24492 CPUtime=63.38 cores=0-7
/proc/4211/task/4285/stat : 4285 (java) R 4209 4209 29114 0 -1 4202560 951 0 0 0 6338 0 0 0 20 0 28 0 152061327 27175628800 1574657 33554432000 4194304 4196468 140725736487856 140677763383224 140679130351430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4286] ppid=4209 vsize=26538700 memory=1796 CPUtime=62.23 cores=0-7
/proc/4211/task/4286/stat : 4286 (java) R 4209 4209 29114 0 -1 4202560 784 0 0 0 6222 1 0 0 20 0 28 0 152061327 27175628800 1574657 33554432000 4194304 4196468 140725736487856 140676753769080 140679123852989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
[pid=4211/tid=4287] ppid=4209 vsize=26538700 memory=2244 CPUtime=63.35 cores=0-7
/proc/4211/task/4287/stat : 4287 (java) R 4209 4209 29114 0 -1 4202560 6843 0 0 0 6279 56 0 0 20 0 28 0 152061327 27175628800 1574657 33554432000 4194304 4196468 140725736487856 140676754823392 140679124800411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140725736490136 140725736490312 140725736490312 140725736493007 0
Current children cumulated CPU time: 1986.54 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6291820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.04 s]
# the end of solver process 4209 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001964 s
[startup+252.152 s]
# the end of solver process 4211 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1981.73 s, system=5.70563 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+252.128 s]*
/proc/loadavg: 8.01 7.20 6.95 2/182 4298
/proc/meminfo: memFree=18177512/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001964 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 252.152
CPU time (s): 1987.44
CPU user time (s): 1981.73
CPU system time (s): 5.70563
CPU usage (%): 788.19
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 6291820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1981.73
system time used= 5.70562
maximum resident set size= 6400536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12358
involuntary context switches= 20975
# summary of solver processes directly reported to runsolver:
# pid: 4209,4211
# total CPU time (s): 1987.44
# total CPU user time (s): 1981.73
# total CPU system time (s): 5.70563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24917 second user time and 3.0566 second system time
The end
Begin job on node150 at 2017-08-20 02:25:55 IDJOB=4281660 IDBENCH=140591 IDSOLVER=2676 FILE ID=node150/4281660-1503189615 RUNJOBID= node150-1503183633-29141 PBS_JOBID= 20630853 Free space on /tmp= 61904 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281660-1503189615/watcher-4281660-1503189615 -o /tmp/evaluation-result-4281660-1503189615/solver-4281660-1503189615 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 17561325 HOME/instance-4281660-1503189615.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=17561325 node150.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 : 5332.89 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 : 5332.89 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 : 5332.89 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 : 5332.89 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: 23321912 kB MemAvailable: 31961608 kB Buffers: 301016 kB Cached: 8618348 kB SwapCached: 0 kB Active: 2719392 kB Inactive: 6252896 kB Active(anon): 3504 kB Inactive(anon): 85776 kB Active(file): 2715888 kB Inactive(file): 6167120 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8528 kB Writeback: 0 kB AnonPages: 60588 kB Mapped: 51744 kB Shmem: 33416 kB Slab: 170928 kB SReclaimable: 145044 kB SUnreclaim: 25884 kB KernelStack: 3168 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61896 MiB End job on node150 at 2017-08-20 02:30:07