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-09) | SAT (TO) | 37 | 1988.13 | 252.14 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml |
| MD5SUM | 0962135a9df7191e1203c0b83ceb0052 |
| 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.08299 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1936 |
| Number of constraints | 13244 |
| Number of domains | 1 |
| Minimum domain size | 946 |
| Maximum domain size | 946 |
| Distribution of domain sizes | [{"size":946,"count":946}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 43 |
| Distribution of variable degrees | [{"degree":0,"count":990},{"degree":43,"count":946}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":13244}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 13244 |
| Distribution of constraint types | [{"type":"intension","count":13244}] |
| 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-4271849-1502648700.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271849-1502648700.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 13.82/4.11 c solve instance... 25.69/5.71 o 42 26.42/5.85 o 41 27.14/5.96 o 40 35.81/7.09 o 39 146.34/21.00 o 38 1150.33/147.10 o 37 1987.39/252.08 s SATISFIABLE 1987.39/252.08 v <instantiation> 1987.39/252.08 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][40] x[39][41] x[39][42] x[39][43] x[40][41] x[40][42] x[40][43] x[41][42] x[41][43] x[42][43] </list> 1987.39/252.08 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 31 31 31 31 31 31 31 31 31 31 31 31 32 32 32 32 32 32 32 32 32 32 32 33 33 33 33 33 33 33 33 33 33 34 34 34 34 34 34 34 34 34 35 35 35 35 35 36 36 36 36 37 36 37 35 35 36 37 37 36 35 35 37 36 36 35 35 36 37 35 36 35 35 35 37 37 37 35 </values> 1987.39/252.08 v </instantiation> 1987.39/252.08 c Unexpected resolution interruption!
OK 37
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 (12927 MiB free)
memory of node 1: 16384 MiB (14988 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271849-1502648700/watcher-4271849-1502648700 -o /tmp/evaluation-result-4271849-1502648700/solver-4271849-1502648700 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1993754059 HOME/instance-4271849-1502648700.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
solver pid=17947, runsolver pid=17944
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 7.99 7.80 6.54 4/200 17968
/proc/meminfo: memFree=28570136/32770624 swapFree=67108860/67108860
[pid=17947] ppid=17944 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17947/stat : 17947 (xcsp3-exec) S 17944 17947 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97957873 9740288 345 33554432000 4194304 5098028 140735673290736 140735673288840 140345984381564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20676608 140735673291882 140735673292092 140735673292092 140735673294827 0
/proc/17947/statm: 2378 345 289 221 0 87 0
[pid=17949] ppid=17947 vsize=25999808 memory=26748 CPUtime=0.12 cores=0-7
/proc/17949/stat : 17949 (java) S 17947 17947 4410 0 -1 1077944320 5510 0 0 0 10 2 0 0 20 0 20 0 97957873 26623803392 6687 33554432000 4194304 4196468 140733999295392 140733999277936 140275954958071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
/proc/17949/statm: 6499952 6687 2886 1 0 6488269 0
[pid=17949/tid=17950] ppid=17947 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17949/task/17950/stat : 17950 (java) R 17947 17947 4410 0 -1 4202560 3517 0 0 0 7 1 0 0 20 0 20 0 97957873 26623803392 6687 33554432000 4194304 4196468 140733999295392 140275959184608 140275954970006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17951] ppid=17947 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17949/task/17951/stat : 17951 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6687 33554432000 4194304 4196468 140733999295392 140275513575952 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17952] ppid=17947 vsize=25999808 memory=140599591155328 CPUtime=0 cores=0-7
/proc/17949/task/17952/stat : 17952 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6687 33554432000 4194304 4196468 140733999295392 140275512523408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17953] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17953/stat : 17953 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6687 33554432000 4194304 4196468 140733999295392 140275511470352 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17954] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17954/stat : 17954 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6687 33554432000 4194304 4196468 140733999295392 140275510417808 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17955] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17955/stat : 17955 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6752 33554432000 4194304 4196468 140733999295392 140275509365776 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17956] ppid=17947 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17949/task/17956/stat : 17956 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6752 33554432000 4194304 4196468 140733999295392 140275508313232 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17957] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17957/stat : 17957 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6752 33554432000 4194304 4196468 140733999295392 140275507260176 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17958] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17958/stat : 17958 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26623803392 6752 33554432000 4194304 4196468 140733999295392 140275506207632 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17959] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17959/stat : 17959 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957875 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274226387184 140275954969218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17960] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17960/stat : 17960 (java) S 17947 17947 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97957876 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274225333408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17961] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17961/stat : 17961 (java) S 17947 17947 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97957876 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274224280304 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17962] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17962/stat : 17962 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957879 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274223228880 140275954976667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17963] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17963/stat : 17963 (java) S 17947 17947 4410 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 97957879 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274222177008 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17964] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17964/stat : 17964 (java) R 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957879 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274221124464 140275954969218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17965] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17965/stat : 17965 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97957879 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274220071408 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17966] ppid=17947 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17949/task/17966/stat : 17966 (java) R 17947 17947 4410 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 97957879 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274219018864 140275936195632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17967] ppid=17947 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17967/stat : 17967 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97957879 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274217966048 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17968] ppid=17947 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17949/task/17968/stat : 17968 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957879 26623803392 6752 33554432000 4194304 4196468 140733999295392 140274216913584 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28128 KiB
[startup+0.21058 s]*
/proc/loadavg: 7.99 7.80 6.54 3/200 17968
/proc/meminfo: memFree=28558848/32770624 swapFree=67108860/67108860
[pid=17947] ppid=17944 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17947/stat : 17947 (xcsp3-exec) S 17944 17947 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97957873 9740288 345 33554432000 4194304 5098028 140735673290736 140735673288840 140345984381564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20676608 140735673291882 140735673292092 140735673292092 140735673294827 0
/proc/17947/statm: 2378 345 289 221 0 87 0
[pid=17949] ppid=17947 vsize=26004064 memory=39208 CPUtime=0.33 cores=0-7
/proc/17949/stat : 17949 (java) S 17947 17947 4410 0 -1 1077944320 8386 0 0 0 30 3 0 0 20 0 20 0 97957873 26628161536 9802 33554432000 4194304 4196468 140733999295392 140733999277936 140275954958071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
/proc/17949/statm: 6501016 9802 3051 1 0 6488269 0
[pid=17949/tid=17950] ppid=17947 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17949/task/17950/stat : 17950 (java) R 17947 17947 4410 0 -1 4202560 5442 0 0 0 17 2 0 0 20 0 20 0 97957873 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275959180112 140275939038558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17951] ppid=17947 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/17949/task/17951/stat : 17951 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275513575952 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17952] ppid=17947 vsize=26004064 memory=140599591556743 CPUtime=0 cores=0-7
/proc/17949/task/17952/stat : 17952 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275512523408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17953] ppid=17947 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17949/task/17953/stat : 17953 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275511470352 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17954] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17954/stat : 17954 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275510417808 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17955] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17955/stat : 17955 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275509365776 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17956] ppid=17947 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17949/task/17956/stat : 17956 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275508313232 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17957] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17957/stat : 17957 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275507260176 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17958] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17958/stat : 17958 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 9802 33554432000 4194304 4196468 140733999295392 140275506207632 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17959] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17959/stat : 17959 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957875 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274226387184 140275954969218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17960] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17960/stat : 17960 (java) S 17947 17947 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97957876 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274225333408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17961] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17961/stat : 17961 (java) S 17947 17947 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97957876 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274224280304 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17962] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17962/stat : 17962 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957879 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274223228880 140275954976667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17963] ppid=17947 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17949/task/17963/stat : 17963 (java) S 17947 17947 4410 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 97957879 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274222177008 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17964] ppid=17947 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17949/task/17964/stat : 17964 (java) S 17947 17947 4410 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 97957879 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274221124464 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17965] ppid=17947 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/17949/task/17965/stat : 17965 (java) S 17947 17947 4410 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 97957879 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274220071408 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17966] ppid=17947 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17949/task/17966/stat : 17966 (java) S 17947 17947 4410 0 -1 1077944384 754 0 0 0 7 0 0 0 20 0 20 0 97957879 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274219018864 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17967] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17967/stat : 17967 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97957879 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274217966048 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17968] ppid=17947 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17949/task/17968/stat : 17968 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957879 26628161536 9802 33554432000 4194304 4196468 140733999295392 140274216913584 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40588 KiB
[startup+0.310581 s]*
/proc/loadavg: 7.99 7.80 6.54 4/200 17968
/proc/meminfo: memFree=28554072/32770624 swapFree=67108860/67108860
[pid=17947] ppid=17944 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17947/stat : 17947 (xcsp3-exec) S 17944 17947 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97957873 9740288 345 33554432000 4194304 5098028 140735673290736 140735673288840 140345984381564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20676608 140735673291882 140735673292092 140735673292092 140735673294827 0
/proc/17947/statm: 2378 345 289 221 0 87 0
[pid=17949] ppid=17947 vsize=26004064 memory=45872 CPUtime=0.51 cores=0-7
/proc/17949/stat : 17949 (java) S 17947 17947 4410 0 -1 1077944320 9237 0 0 0 47 4 0 0 20 0 20 0 97957873 26628161536 11468 33554432000 4194304 4196468 140733999295392 140733999277936 140275954958071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
/proc/17949/statm: 6501016 11468 3082 1 0 6488269 0
[pid=17949/tid=17950] ppid=17947 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/17949/task/17950/stat : 17950 (java) R 17947 17947 4410 0 -1 4202560 6093 0 0 0 27 3 0 0 20 0 20 0 97957873 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275959195968 140275954979997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17951] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17951/stat : 17951 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275513575952 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17952] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17952/stat : 17952 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275512523408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17953] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17953/stat : 17953 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275511470352 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17954] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17954/stat : 17954 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275510417808 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17955] ppid=17947 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17949/task/17955/stat : 17955 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275509365776 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17956] ppid=17947 vsize=26004064 memory=140599445517231 CPUtime=0 cores=0-7
/proc/17949/task/17956/stat : 17956 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275508313232 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17957] ppid=17947 vsize=26004064 memory=140599445519536 CPUtime=0 cores=0-7
/proc/17949/task/17957/stat : 17957 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275507260176 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17958] ppid=17947 vsize=26004064 memory=140599445521840 CPUtime=0 cores=0-7
/proc/17949/task/17958/stat : 17958 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628161536 11468 33554432000 4194304 4196468 140733999295392 140275506207632 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17959] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17959/stat : 17959 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957875 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274226387184 140275954969218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17960] ppid=17947 vsize=26004064 memory=281198891050640 CPUtime=0 cores=0-7
/proc/17949/task/17960/stat : 17960 (java) S 17947 17947 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97957876 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274225333408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17961] ppid=17947 vsize=26004064 memory=281198891057552 CPUtime=0 cores=0-7
/proc/17949/task/17961/stat : 17961 (java) S 17947 17947 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97957876 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274224280304 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17962] ppid=17947 vsize=26004064 memory=281198890998832 CPUtime=0 cores=0-7
/proc/17949/task/17962/stat : 17962 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957879 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274223228880 140275954976667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17963] ppid=17947 vsize=26004064 memory=281198891071376 CPUtime=0.02 cores=0-7
/proc/17949/task/17963/stat : 17963 (java) S 17947 17947 4410 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 20 0 97957879 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274222177008 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17964] ppid=17947 vsize=26004064 memory=281198891078288 CPUtime=0.02 cores=0-7
/proc/17949/task/17964/stat : 17964 (java) S 17947 17947 4410 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 20 0 97957879 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274221124464 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17965] ppid=17947 vsize=26004064 memory=281198891075984 CPUtime=0.03 cores=0-7
/proc/17949/task/17965/stat : 17965 (java) R 17947 17947 4410 0 -1 4202560 359 0 0 0 3 0 0 0 20 0 20 0 97957879 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274220061520 140275938433218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17966] ppid=17947 vsize=26004064 memory=281198891092144 CPUtime=0.12 cores=0-7
/proc/17949/task/17966/stat : 17966 (java) R 17947 17947 4410 0 -1 4202560 852 0 0 0 12 0 0 0 20 0 20 0 97957879 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274219015232 140275938302216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17967] ppid=17947 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17967/stat : 17967 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97957879 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274217966048 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17968] ppid=17947 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17949/task/17968/stat : 17968 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957879 26628161536 11468 33554432000 4194304 4196468 140733999295392 140274216913584 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47252 KiB
[startup+0.700994 s]
/proc/loadavg: 7.99 7.80 6.54 6/200 17968
/proc/meminfo: memFree=28524356/32770624 swapFree=67108860/67108860
[pid=17947] ppid=17944 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17947/stat : 17947 (xcsp3-exec) S 17944 17947 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97957873 9740288 345 33554432000 4194304 5098028 140735673290736 140735673288840 140345984381564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20676608 140735673291882 140735673292092 140735673292092 140735673294827 0
/proc/17947/statm: 2378 345 289 221 0 87 0
[pid=17949] ppid=17947 vsize=26004140 memory=169988 CPUtime=2.07 cores=0-7
/proc/17949/stat : 17949 (java) S 17947 17947 4410 0 -1 1077944320 14133 0 0 0 200 7 0 0 20 0 20 0 97957873 26628239360 42497 33554432000 4194304 4196468 140733999295392 140733999277936 140275954958071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
/proc/17949/statm: 6501035 42497 3200 1 0 6488269 0
[pid=17949/tid=17950] ppid=17947 vsize=26004140 memory=281198891450032 CPUtime=0.67 cores=0-7
/proc/17949/task/17950/stat : 17950 (java) R 17947 17947 4410 0 -1 4202560 6466 0 0 0 62 5 0 0 20 0 20 0 97957873 26628239360 42497 33554432000 4194304 4196468 140733999295392 140275959191056 140275947274576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17951] ppid=17947 vsize=26004140 memory=140599445726064 CPUtime=0 cores=0-7
/proc/17949/task/17951/stat : 17951 (java) S 17947 17947 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97957874 26628239360 42497 33554432000 4194304 4196468 140733999295392 140275513575952 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17952] ppid=17947 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17952/stat : 17952 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628239360 42497 33554432000 4194304 4196468 140733999295392 140275512523408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17953] ppid=17947 vsize=26004140 memory=11008 CPUtime=0 cores=0-7
/proc/17949/task/17953/stat : 17953 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97957874 26628239360 42497 33554432000 4194304 4196468 140733999295392 140275511470352 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
################
# More data... #
################
[pid=17949/tid=18024] ppid=17947 vsize=26538700 memory=1236 CPUtime=14.99 cores=0-7
/proc/17949/task/18024/stat : 18024 (java) R 17947 17947 4410 0 -1 4202560 699 0 0 0 1495 4 0 0 20 0 28 0 97972583 27175628800 1097588 33554432000 4194304 4196468 140733999295392 140274204135216 140275602875097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
Current children cumulated CPU time: 1272.16 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4391732 KiB
[startup+222.301 s]
/proc/loadavg: 8.02 7.89 6.84 9/208 18024
/proc/meminfo: memFree=22117032/32770624 swapFree=67108860/67108860
[pid=17947] ppid=17944 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17947/stat : 17947 (xcsp3-exec) S 17944 17947 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97957873 9740288 345 33554432000 4194304 5098028 140735673290736 140735673288840 140345984381564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20676608 140735673291882 140735673292092 140735673292092 140735673294827 0
/proc/17947/statm: 2378 345 289 221 0 87 0
[pid=17949] ppid=17947 vsize=26538700 memory=6468988 CPUtime=1750.46 cores=0-7
/proc/17949/stat : 17949 (java) S 17947 17947 4410 0 -1 1077944320 145726 0 0 0 174628 418 0 0 20 0 28 0 97957873 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140733999277936 140275954958071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
/proc/17949/statm: 6634675 1617247 3295 1 0 6621909 0
[pid=17949/tid=17950] ppid=17947 vsize=26538700 memory=1380 CPUtime=3.7 cores=0-7
/proc/17949/task/17950/stat : 17950 (java) S 17947 17947 4410 0 -1 1077944384 7726 0 0 0 356 14 0 0 20 0 28 0 97957873 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275959198848 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17951] ppid=17947 vsize=26538700 memory=6468988 CPUtime=1.19 cores=0-7
/proc/17949/task/17951/stat : 17951 (java) S 17947 17947 4410 0 -1 1077944384 2832 0 0 0 95 24 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275513575952 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17952] ppid=17947 vsize=26538700 memory=1380 CPUtime=1.25 cores=0-7
/proc/17949/task/17952/stat : 17952 (java) S 17947 17947 4410 0 -1 1077944384 2317 0 0 0 100 25 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275512523408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17953] ppid=17947 vsize=26538700 memory=1380 CPUtime=1.23 cores=0-7
/proc/17949/task/17953/stat : 17953 (java) S 17947 17947 4410 0 -1 1077944384 2709 0 0 0 96 27 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275511470352 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17954] ppid=17947 vsize=26538700 memory=6468988 CPUtime=1.21 cores=0-7
/proc/17949/task/17954/stat : 17954 (java) S 17947 17947 4410 0 -1 1077944384 2747 0 0 0 97 24 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275510417808 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17955] ppid=17947 vsize=26538700 memory=125 CPUtime=1.18 cores=0-7
/proc/17949/task/17955/stat : 17955 (java) S 17947 17947 4410 0 -1 1077944384 2293 0 0 0 94 24 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275509365776 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17956] ppid=17947 vsize=26538700 memory=6791534058613427641 CPUtime=1.24 cores=0-7
/proc/17949/task/17956/stat : 17956 (java) S 17947 17947 4410 0 -1 1077944384 2970 0 0 0 98 26 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275508313232 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17957] ppid=17947 vsize=26538700 memory=1380 CPUtime=1.22 cores=0-7
/proc/17949/task/17957/stat : 17957 (java) S 17947 17947 4410 0 -1 1077944384 2887 0 0 0 97 25 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275507260176 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17958] ppid=17947 vsize=26538700 memory=0 CPUtime=1.18 cores=0-7
/proc/17949/task/17958/stat : 17958 (java) S 17947 17947 4410 0 -1 1077944384 2289 0 0 0 93 25 0 0 20 0 28 0 97957874 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140275506207632 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17959] ppid=17947 vsize=26538700 memory=7302981873990390096 CPUtime=0.33 cores=0-7
/proc/17949/task/17959/stat : 17959 (java) S 17947 17947 4410 0 -1 1077944384 8791 0 0 0 32 1 0 0 20 0 28 0 97957875 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274226387184 140275954969218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17960] ppid=17947 vsize=26538700 memory=214 CPUtime=0 cores=0-7
/proc/17949/task/17960/stat : 17960 (java) S 17947 17947 4410 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97957876 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274225333472 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17961] ppid=17947 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/17949/task/17961/stat : 17961 (java) S 17947 17947 4410 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97957876 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274224280320 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17962] ppid=17947 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/17949/task/17962/stat : 17962 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97957879 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274223228880 140275954976667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17963] ppid=17947 vsize=26538700 memory=1380 CPUtime=3.78 cores=0-7
/proc/17949/task/17963/stat : 17963 (java) S 17947 17947 4410 0 -1 1077944384 12467 0 0 0 376 2 0 0 20 0 28 0 97957879 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274222177008 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17964] ppid=17947 vsize=26538700 memory=1380 CPUtime=3.89 cores=0-7
/proc/17949/task/17964/stat : 17964 (java) S 17947 17947 4410 0 -1 1077944384 11829 0 0 0 386 3 0 0 20 0 28 0 97957879 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274221124464 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17965] ppid=17947 vsize=26538700 memory=1380 CPUtime=4.19 cores=0-7
/proc/17949/task/17965/stat : 17965 (java) S 17947 17947 4410 0 -1 1077944384 18716 0 0 0 416 3 0 0 20 0 28 0 97957879 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274220071408 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17966] ppid=17947 vsize=26538700 memory=6791534058613427641 CPUtime=0.89 cores=0-7
/proc/17949/task/17966/stat : 17966 (java) S 17947 17947 4410 0 -1 1077944384 10135 0 0 0 87 2 0 0 20 0 28 0 97957879 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274219018864 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17967] ppid=17947 vsize=26538700 memory=4390424 CPUtime=0 cores=0-7
/proc/17949/task/17967/stat : 17967 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97957879 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274217966048 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17968] ppid=17947 vsize=26538700 memory=1228 CPUtime=0.08 cores=0-7
/proc/17949/task/17968/stat : 17968 (java) S 17947 17947 4410 0 -1 1077944384 1721 0 0 0 0 8 0 0 20 0 28 0 97957879 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274216913584 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18017] ppid=17947 vsize=26538700 memory=6468736 CPUtime=75.01 cores=0-7
/proc/17949/task/18017/stat : 18017 (java) R 17947 17947 4410 0 -1 4202560 1148 0 0 0 7499 2 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274203081608 140275596088053 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18018] ppid=17947 vsize=26538700 memory=1380 CPUtime=74.82 cores=0-7
/proc/17949/task/18018/stat : 18018 (java) R 17947 17947 4410 0 -1 4202560 951 0 0 0 7481 1 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274208345976 140275602997178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18019] ppid=17947 vsize=26538700 memory=6468736 CPUtime=74.89 cores=0-7
/proc/17949/task/18019/stat : 18019 (java) R 17947 17947 4410 0 -1 4202560 1196 0 0 0 7487 2 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274206241056 140275594823759 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18020] ppid=17947 vsize=26538700 memory=6468988 CPUtime=74.82 cores=0-7
/proc/17949/task/18020/stat : 18020 (java) R 17947 17947 4410 0 -1 4202560 3779 0 0 0 7474 8 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274202030936 140275602393130 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18021] ppid=17947 vsize=26538700 memory=1380 CPUtime=74.78 cores=0-7
/proc/17949/task/18021/stat : 18021 (java) R 17947 17947 4410 0 -1 4202560 2181 0 0 0 7478 0 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274209399496 140275603298855 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18022] ppid=17947 vsize=26538700 memory=6468988 CPUtime=74.92 cores=0-7
/proc/17949/task/18022/stat : 18022 (java) R 17947 17947 4410 0 -1 4202560 1393 0 0 0 7491 1 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274205188472 140275602997983 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18023] ppid=17947 vsize=26538700 memory=1380 CPUtime=74.5 cores=0-7
/proc/17949/task/18023/stat : 18023 (java) R 17947 17947 4410 0 -1 4202560 8400 0 0 0 7408 42 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274207293400 140275601906107 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18024] ppid=17947 vsize=26538700 memory=6468988 CPUtime=73.91 cores=0-7
/proc/17949/task/18024/stat : 18024 (java) R 17947 17947 4410 0 -1 4202560 8576 0 0 0 7351 40 0 0 20 0 28 0 97972583 27175628800 1617247 33554432000 4194304 4196468 140733999295392 140274204135448 140275601905605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
Current children cumulated CPU time: 1750.46 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6470368 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.01 7.90 6.88 9/208 18024
/proc/meminfo: memFree=22032496/32770624 swapFree=67108860/67108860
[pid=17947] ppid=17944 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17947/stat : 17947 (xcsp3-exec) S 17944 17947 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97957873 9740288 345 33554432000 4194304 5098028 140735673290736 140735673288840 140345984381564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20676608 140735673291882 140735673292092 140735673292092 140735673294827 0
/proc/17947/statm: 2378 345 289 221 0 87 0
[pid=17949] ppid=17947 vsize=26538700 memory=6553856 CPUtime=1987.39 cores=0-7
/proc/17949/stat : 17949 (java) S 17947 17947 4410 0 -1 1077944320 159750 0 0 0 198289 450 0 0 20 0 28 0 97957873 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140733999277936 140275954958071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
/proc/17949/statm: 6634675 1638464 3295 1 0 6621909 0
[pid=17949/tid=17950] ppid=17947 vsize=26538700 memory=6791534058613427641 CPUtime=3.7 cores=0-7
/proc/17949/task/17950/stat : 17950 (java) S 17947 17947 4410 0 -1 1077944384 7726 0 0 0 356 14 0 0 20 0 28 0 97957873 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275959198848 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17951] ppid=17947 vsize=26538700 memory=4872558044660077418 CPUtime=1.22 cores=0-7
/proc/17949/task/17951/stat : 17951 (java) S 17947 17947 4410 0 -1 1077944384 3036 0 0 0 95 27 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275513575952 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17952] ppid=17947 vsize=26538700 memory=7811886501630206823 CPUtime=1.28 cores=0-7
/proc/17949/task/17952/stat : 17952 (java) S 17947 17947 4410 0 -1 1077944384 2438 0 0 0 100 28 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275512523408 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17953] ppid=17947 vsize=26538700 memory=7236274585439786595 CPUtime=1.26 cores=0-7
/proc/17949/task/17953/stat : 17953 (java) S 17947 17947 4410 0 -1 1077944384 3175 0 0 0 97 29 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275511470352 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17954] ppid=17947 vsize=26538700 memory=7800344859672537426 CPUtime=1.24 cores=0-7
/proc/17949/task/17954/stat : 17954 (java) S 17947 17947 4410 0 -1 1077944384 3191 0 0 0 98 26 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275510417808 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17955] ppid=17947 vsize=26538700 memory=6553856 CPUtime=1.22 cores=0-7
/proc/17949/task/17955/stat : 17955 (java) S 17947 17947 4410 0 -1 1077944384 2698 0 0 0 95 27 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275509365776 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17956] ppid=17947 vsize=26538700 memory=6553856 CPUtime=1.28 cores=0-7
/proc/17949/task/17956/stat : 17956 (java) S 17947 17947 4410 0 -1 1077944384 3696 0 0 0 101 27 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275508313232 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17957] ppid=17947 vsize=26538700 memory=6791534058613427641 CPUtime=1.25 cores=0-7
/proc/17949/task/17957/stat : 17957 (java) S 17947 17947 4410 0 -1 1077944384 3089 0 0 0 97 28 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275507260176 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17958] ppid=17947 vsize=26538700 memory=4872558044660077418 CPUtime=1.21 cores=0-7
/proc/17949/task/17958/stat : 17958 (java) S 17947 17947 4410 0 -1 1077944384 2390 0 0 0 94 27 0 0 20 0 28 0 97957874 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140275506207632 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17959] ppid=17947 vsize=26538700 memory=952 CPUtime=0.33 cores=0-7
/proc/17949/task/17959/stat : 17959 (java) S 17947 17947 4410 0 -1 1077944384 9084 0 0 0 32 1 0 0 20 0 28 0 97957875 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274226387184 140275954969218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17960] ppid=17947 vsize=26538700 memory=2340 CPUtime=0 cores=0-7
/proc/17949/task/17960/stat : 17960 (java) S 17947 17947 4410 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97957876 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274225333472 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17961] ppid=17947 vsize=26538700 memory=1580 CPUtime=0 cores=0-7
/proc/17949/task/17961/stat : 17961 (java) S 17947 17947 4410 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97957876 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274224280320 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17962] ppid=17947 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/17949/task/17962/stat : 17962 (java) S 17947 17947 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97957879 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274223228880 140275954976667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17963] ppid=17947 vsize=26538700 memory=2240 CPUtime=3.87 cores=0-7
/proc/17949/task/17963/stat : 17963 (java) S 17947 17947 4410 0 -1 1077944384 16248 0 0 0 384 3 0 0 20 0 28 0 97957879 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274222177008 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17964] ppid=17947 vsize=26538700 memory=-3622645143214314312 CPUtime=3.9 cores=0-7
/proc/17949/task/17964/stat : 17964 (java) S 17947 17947 4410 0 -1 1077944384 13021 0 0 0 387 3 0 0 20 0 28 0 97957879 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274221124464 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17965] ppid=17947 vsize=26538700 memory=6468988 CPUtime=4.21 cores=0-7
/proc/17949/task/17965/stat : 17965 (java) S 17947 17947 4410 0 -1 1077944384 19721 0 0 0 418 3 0 0 20 0 28 0 97957879 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274220071408 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17966] ppid=17947 vsize=26538700 memory=6468736 CPUtime=0.89 cores=0-7
/proc/17949/task/17966/stat : 17966 (java) S 17947 17947 4410 0 -1 1077944384 10722 0 0 0 87 2 0 0 20 0 28 0 97957879 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274219018864 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17967] ppid=17947 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/17949/task/17967/stat : 17967 (java) S 17947 17947 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97957879 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274217966048 140275954968277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=17968] ppid=17947 vsize=26538700 memory=6553856 CPUtime=0.1 cores=0-7
/proc/17949/task/17968/stat : 17968 (java) S 17947 17947 4410 0 -1 1077944384 1917 0 0 0 0 10 0 0 20 0 28 0 97957879 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274216913584 140275954969218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18017] ppid=17947 vsize=26538700 memory=6791534058613427641 CPUtime=104.66 cores=0-7
/proc/17949/task/18017/stat : 18017 (java) R 17947 17947 4410 0 -1 4202560 1304 0 0 0 10464 2 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274203081272 140275596087837 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18018] ppid=17947 vsize=26538700 memory=1728 CPUtime=104.48 cores=0-7
/proc/17949/task/18018/stat : 18018 (java) R 17947 17947 4410 0 -1 4202560 1051 0 0 0 10447 1 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274208346440 140275603298826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18019] ppid=17947 vsize=26538700 memory=1716 CPUtime=104.43 cores=0-7
/proc/17949/task/18019/stat : 18019 (java) R 17947 17947 4410 0 -1 4202560 1396 0 0 0 10441 2 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274206241160 140275602237331 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18020] ppid=17947 vsize=26538700 memory=796 CPUtime=104.47 cores=0-7
/proc/17949/task/18020/stat : 18020 (java) R 17947 17947 4410 0 -1 4202560 4900 0 0 0 10436 11 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274202030936 140275602393394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18021] ppid=17947 vsize=26538700 memory=1952 CPUtime=104.34 cores=0-7
/proc/17949/task/18021/stat : 18021 (java) R 17947 17947 4410 0 -1 4202560 2474 0 0 0 10433 1 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274209399496 140275602399670 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18022] ppid=17947 vsize=26538700 memory=1200 CPUtime=104.53 cores=0-7
/proc/17949/task/18022/stat : 18022 (java) R 17947 17947 4410 0 -1 4202560 1593 0 0 0 10451 2 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274205188616 140275603298743 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18023] ppid=17947 vsize=26538700 memory=8552 CPUtime=103.72 cores=0-7
/proc/17949/task/18023/stat : 18023 (java) R 17947 17947 4410 0 -1 4202560 9599 0 0 0 10327 45 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274207293400 140275602875097 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
[pid=17949/tid=18024] ppid=17947 vsize=26538700 memory=0 CPUtime=103.53 cores=0-7
/proc/17949/task/18024/stat : 18024 (java) R 17947 17947 4410 0 -1 4202560 9608 0 0 0 10311 42 0 0 20 0 28 0 97972583 27175628800 1638464 33554432000 4194304 4196468 140733999295392 140274204135448 140275602875113 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31195136 140733999301784 140733999301960 140733999301960 140733999304655 0
Current children cumulated CPU time: 1987.39 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6555236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.045 s]
# the end of solver process 17947 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000994 s, system=0.000994 s
[startup+252.14 s]
# the end of solver process 17949 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1983.58 s, system=4.55277 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): 252.14
CPU time (s): 1988.13
CPU user time (s): 1983.58
CPU system time (s): 4.55277
CPU usage (%): 788.502
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 6555236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1983.58
system time used= 4.55277
maximum resident set size= 6555060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12354
involuntary context switches= 21458
# summary of solver processes directly reported to runsolver:
# pid: 17947,17949
# total CPU time (s): 1988.13
# total CPU user time (s): 1983.58
# total CPU system time (s): 4.55277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23913 second user time and 3.02169 second system time
The end
Begin job on node104 at 2017-08-13 20:10:41 IDJOB=4271849 IDBENCH=140589 IDSOLVER=2663 FILE ID=node104/4271849-1502648700 RUNJOBID= node104-1502637289-4437 PBS_JOBID= 20628328 Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-44.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-4271849-1502648700/watcher-4271849-1502648700 -o /tmp/evaluation-result-4271849-1502648700/solver-4271849-1502648700 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1993754059 HOME/instance-4271849-1502648700.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052 RANDOM SEED=1993754059 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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: 28586572 kB MemAvailable: 31985544 kB Buffers: 166356 kB Cached: 3513696 kB SwapCached: 0 kB Active: 402696 kB Inactive: 3327292 kB Active(anon): 52832 kB Inactive(anon): 25024 kB Active(file): 349864 kB Inactive(file): 3302268 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8496 kB Writeback: 0 kB AnonPages: 52172 kB Mapped: 43596 kB Shmem: 25228 kB Slab: 150644 kB SReclaimable: 125352 kB SUnreclaim: 25292 kB KernelStack: 3232 kB PageTables: 4472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324012 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-13 20:14:53