Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-06-14 | SAT (TO) | 5 | 2400.55 | 606.402 |
| Name | Ramsey/Ramsey-m1-s1/ Ramsey-45.xml |
| MD5SUM | 1426235d943c6b8ba94de7087c35e664 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1998.35 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2025 |
| Number of constraints | 14190 |
| Number of domains | 1 |
| Minimum domain size | 990 |
| Maximum domain size | 990 |
| Distribution of domain sizes | [{"size":990,"count":990}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 44 |
| Distribution of variable degrees | [{"degree":0,"count":1035},{"degree":44,"count":990}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":14190}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"nValues","count":14190}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394318-1568331965.xml" -tl '2400s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394318-1568331965.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 6.82/2.45 c solve instance... 13.77/4.30 o 885 20.46/5.98 o 866 25.64/7.27 o 820 30.38/8.49 o 489 34.76/9.59 o 476 39.04/10.67 o 199 42.59/11.60 o 181 46.14/12.43 o 180 50.50/13.58 o 118 54.08/14.45 o 23 60.84/18.39 o 18 64.53/19.38 o 12 68.82/20.49 o 10 72.93/21.54 o 8 78.15/22.93 o 7 111.85/31.41 o 6 1030.09/262.18 o 5 2400.17/606.37 s SATISFIABLE 2400.17/606.37 v <instantiation> 2400.17/606.37 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44] </list> 2400.17/606.37 v <values>2 1 3 0 0 3 0 2 0 1 1 5 0 1 2 4 3 2 2 0 1 3 0 3 1 5 0 0 1 1 2 0 1 0 1 3 1 2 1 4 2 3 2 0 1 3 0 2 3 2 0 3 0 1 2 3 1 1 1 2 3 3 0 3 0 0 3 0 2 5 0 4 1 0 1 1 4 1 0 3 4 1 2 1 2 1 0 0 2 0 1 2 1 1 3 3 1 3 2 0 0 1 2 3 1 4 1 4 1 0 0 3 2 0 0 4 4 2 3 2 0 2 1 2 0 0 1 0 5 0 2 4 0 2 0 4 3 2 1 2 2 3 0 2 1 0 4 2 4 0 2 1 0 1 3 1 1 0 1 0 0 4 2 4 3 1 1 2 2 0 2 0 3 1 2 4 0 4 3 1 1 1 2 0 0 4 0 3 2 4 2 1 3 3 3 1 4 1 0 1 5 2 3 4 0 2 2 2 2 5 1 1 0 4 0 2 4 4 3 3 1 3 0 0 2 0 3 1 1 3 5 1 1 2 2 0 2 0 1 4 4 4 2 0 3 4 0 1 2 3 3 2 0 2 3 5 1 1 0 0 5 2 3 2 4 2 0 0 1 0 3 0 1 1 1 1 0 0 2 4 3 1 2 1 4 2 3 2 2 0 0 4 1 3 3 0 1 0 3 1 0 1 2 2 2 4 2 4 4 3 0 1 0 2 1 1 1 4 0 5 1 3 4 1 0 2 0 0 0 3 3 2 2 3 1 4 1 3 1 3 3 2 0 1 2 2 3 0 1 0 1 3 0 4 1 2 1 3 1 2 4 1 2 1 3 3 0 3 2 5 3 4 2 1 4 0 2 3 4 1 2 2 1 0 3 1 0 1 0 0 0 0 3 0 1 4 0 0 0 0 3 3 2 1 1 3 1 1 1 3 0 2 2 3 0 1 2 2 1 2 3 2 0 2 0 0 2 0 1 2 2 0 0 4 3 1 4 0 3 2 3 0 2 1 1 1 0 0 1 3 2 1 2 0 4 3 2 0 0 0 0 3 3 1 1 1 3 3 0 0 2 3 1 3 0 1 4 1 0 1 0 1 1 2 0 0 3 2 1 4 1 3 1 0 1 1 0 0 0 4 3 1 4 3 0 0 3 1 2 0 2 0 2 0 4 0 2 2 2 1 3 2 2 1 2 4 0 0 0 1 1 2 1 3 1 0 3 4 3 3 2 0 2 0 0 0 2 3 1 3 2 2 1 3 1 3 0 1 0 1 3 1 5 2 4 3 2 0 1 2 0 0 0 0 0 1 0 1 2 1 3 4 4 4 1 1 0 0 5 0 0 2 2 5 2 0 1 3 1 0 2 2 2 1 1 1 2 5 4 5 3 0 2 1 2 0 2 0 2 1 3 1 1 4 1 3 2 1 1 2 0 2 0 0 1 0 0 0 4 1 3 1 4 0 4 1 3 0 3 3 4 4 3 1 2 1 2 0 0 3 0 0 1 0 0 4 4 2 3 0 3 0 0 2 1 2 3 1 2 2 2 1 1 0 2 0 0 2 0 3 0 3 2 3 1 2 1 1 4 1 3 5 0 2 4 2 0 0 1 2 2 2 2 4 1 5 0 0 0 2 2 0 0 1 1 2 1 2 1 2 1 2 0 4 2 3 0 2 0 1 3 0 1 0 1 5 3 0 0 3 2 0 2 1 0 0 5 0 2 0 1 0 3 2 0 2 5 2 2 3 0 1 2 1 2 1 3 1 4 4 1 2 3 0 1 3 2 1 1 3 1 1 1 2 0 1 2 2 4 2 1 4 2 2 2 1 0 3 3 4 4 0 2 3 4 1 0 1 1 2 2 1 3 0 2 0 0 1 1 1 1 0 4 4 0 5 3 4 1 0 0 1 3 4 1 0 1 1 0 2 2 0 2 1 0 0 2 4 3 3 4 1 1 1 4 0 0 0 0 1 3 2 0 3 1 2 2 2 0 2 4 1 1 1 3 3 0 0 0 0 1 0 1 3 3 3 1 2 1 2 2 2 1 4 3 0 4 0 0 1 0 4 3 3 5 0 3 5 0 0 0 1 0 4 4 3 2 4 1 4 2 2 3 2 0 1 0 1 0 1 3 5 4 3 2 3 3 0 0 0 0 0 0 2 0 3 1 3 3 4 1 3 3 0 2 3 1 1 3 1 2 1 3 1 4 1 2 1 2 0 5 3 1 1 4 3 4 3 0 2 </values> 2400.17/606.37 v </instantiation> 2400.17/606.37 c Unexpected resolution interruption!
OK 5
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15047 MiB free)
memory of node 1: 16384 MiB (14935 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394318-1568331965/watcher-4394318-1568331965 -o /tmp/evaluation-result-4394318-1568331965/solver-4394318-1568331965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 217853645 HOME/instance-4394318-1568331965.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8982, runsolver pid=8979
[startup+0.100349 s]*
/proc/loadavg: 7.84 7.48 7.41 7/233 8998
/proc/meminfo: memFree=30686504/32770624 swapFree=66933688/67108860
[pid=8982] ppid=8979 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8982/stat : 8982 (xcsp3-exec) S 8979 8982 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409467922 115843072 362 33554432000 4194304 5098028 140723112109120 140723112107224 140133723923068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34033664 140723112117115 140723112117357 140723112117357 140723112120266 0
/proc/8982/statm: 28282 362 304 221 0 87 0
[pid=8984] ppid=8982 vsize=15144768 memory=29824 CPUtime=0.13 cores=0,2,4,6
/proc/8984/stat : 8984 (java) S 8982 8982 25300 0 -1 1077944320 5934 0 0 0 11 2 0 0 20 0 15 0 409467923 15508242432 7456 33554432000 4194304 4196468 140729154699728 140729154682272 140380091739895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
/proc/8984/statm: 3786192 7456 3120 1 0 3748377 0
[pid=8984/tid=8985] ppid=8982 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/8984/task/8985/stat : 8985 (java) R 8982 8982 25300 0 -1 4202560 3832 0 0 0 8 1 0 0 20 0 15 0 409467923 15508242432 7456 33554432000 4194304 4196468 140729154699728 140380095970080 140380075820382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8986] ppid=8982 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8986/stat : 8986 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 7456 33554432000 4194304 4196468 140729154699728 140380003396752 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8987] ppid=8982 vsize=15144768 memory=139840162801280 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8987/stat : 8987 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 7456 33554432000 4194304 4196468 140729154699728 140380002343952 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8988] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8988/stat : 8988 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 7456 33554432000 4194304 4196468 140729154699728 140380001291152 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8989] ppid=8982 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8989/stat : 8989 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379680664336 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8990] ppid=8982 vsize=15144768 memory=139840162801280 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8990/stat : 8990 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467925 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379560352112 140380091751042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8991] ppid=8982 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8991/stat : 8991 (java) S 8982 8982 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409467925 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379559298080 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8992] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8992/stat : 8992 (java) S 8982 8982 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409467926 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379558245232 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8993] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8993/stat : 8993 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379557193552 140380091758491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8994] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8994/stat : 8994 (java) R 8982 8982 25300 0 -1 4202560 319 0 0 0 0 0 0 0 20 0 15 0 409467928 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379556141936 140380075240082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8995] ppid=8982 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8995/stat : 8995 (java) R 8982 8982 25300 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 409467928 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379555089136 140380091751042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8996] ppid=8982 vsize=15144768 memory=139840162801280 CPUtime=0.02 cores=0,2,4,6
/proc/8984/task/8996/stat : 8996 (java) R 8982 8982 25300 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 409467928 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379554036336 140380083977022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8997] ppid=8982 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8997/stat : 8997 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379552983776 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8998] ppid=8982 vsize=15144768 memory=139840162801280 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8998/stat : 8998 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467929 15508242432 7456 33554432000 4194304 4196468 140729154699728 140379551931056 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31272 KiB
[startup+0.210778 s]*
/proc/loadavg: 7.84 7.48 7.41 7/233 8998
/proc/meminfo: memFree=30674504/32770624 swapFree=66933688/67108860
[pid=8982] ppid=8979 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8982/stat : 8982 (xcsp3-exec) S 8979 8982 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409467922 115843072 362 33554432000 4194304 5098028 140723112109120 140723112107224 140133723923068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34033664 140723112117115 140723112117357 140723112117357 140723112120266 0
/proc/8982/statm: 28282 362 304 221 0 87 0
[pid=8984] ppid=8982 vsize=15144768 memory=40852 CPUtime=0.34 cores=0,2,4,6
/proc/8984/stat : 8984 (java) S 8982 8982 25300 0 -1 1077944320 9474 0 0 0 30 4 0 0 20 0 15 0 409467923 15508242432 10213 33554432000 4194304 4196468 140729154699728 140729154682272 140380091739895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
/proc/8984/statm: 3786192 10213 3272 1 0 3748377 0
[pid=8984/tid=8985] ppid=8982 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/8984/task/8985/stat : 8985 (java) R 8982 8982 25300 0 -1 4202560 6641 0 0 0 18 2 0 0 20 0 15 0 409467923 15508242432 10213 33554432000 4194304 4196468 140729154699728 140380095977712 140380075820382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8986] ppid=8982 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8986/stat : 8986 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 10213 33554432000 4194304 4196468 140729154699728 140380003396752 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8987] ppid=8982 vsize=15144768 memory=139840165974238 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8987/stat : 8987 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 10213 33554432000 4194304 4196468 140729154699728 140380002343952 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8988] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8988/stat : 8988 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 10213 33554432000 4194304 4196468 140729154699728 140380001291152 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8989] ppid=8982 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8989/stat : 8989 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379680664336 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8990] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8990/stat : 8990 (java) S 8982 8982 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409467925 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379560352112 140380091751042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8991] ppid=8982 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8991/stat : 8991 (java) S 8982 8982 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409467925 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379559298080 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8992] ppid=8982 vsize=15144768 memory=139840162801280 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8992/stat : 8992 (java) S 8982 8982 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409467926 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379558245232 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8993] ppid=8982 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8993/stat : 8993 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379557193552 140380091758491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8994] ppid=8982 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8984/task/8994/stat : 8994 (java) R 8982 8982 25300 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 15 0 409467928 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379556141936 140380091751042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8995] ppid=8982 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8984/task/8995/stat : 8995 (java) S 8982 8982 25300 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 409467928 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379555089136 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8996] ppid=8982 vsize=15144768 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8984/task/8996/stat : 8996 (java) R 8982 8982 25300 0 -1 4202560 763 0 0 0 7 0 0 0 20 0 15 0 409467928 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379554036336 140380091751830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8997] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8997/stat : 8997 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379552983776 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8998] ppid=8982 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8998/stat : 8998 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467929 15508242432 10213 33554432000 4194304 4196468 140729154699728 140379551931056 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42300 KiB
[startup+0.310725 s]*
/proc/loadavg: 7.84 7.48 7.41 7/233 8998
/proc/meminfo: memFree=30667236/32770624 swapFree=66933688/67108860
[pid=8982] ppid=8979 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8982/stat : 8982 (xcsp3-exec) S 8979 8982 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409467922 115843072 362 33554432000 4194304 5098028 140723112109120 140723112107224 140133723923068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34033664 140723112117115 140723112117357 140723112117357 140723112120266 0
/proc/8982/statm: 28282 362 304 221 0 87 0
[pid=8984] ppid=8982 vsize=15149024 memory=50308 CPUtime=0.53 cores=0,2,4,6
/proc/8984/stat : 8984 (java) S 8982 8982 25300 0 -1 1077944320 10861 0 0 0 48 5 0 0 20 0 15 0 409467923 15512600576 12577 33554432000 4194304 4196468 140729154699728 140729154682272 140380091739895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
/proc/8984/statm: 3787256 12577 3367 1 0 3748377 0
[pid=8984/tid=8985] ppid=8982 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/8984/task/8985/stat : 8985 (java) R 8982 8982 25300 0 -1 4202560 7822 0 0 0 27 3 0 0 20 0 15 0 409467923 15512600576 12583 33554432000 4194304 4196468 140729154699728 140380095971008 140380075820382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8986] ppid=8982 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8986/stat : 8986 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15512600576 12583 33554432000 4194304 4196468 140729154699728 140380003396752 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8987] ppid=8982 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8987/stat : 8987 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15512600576 12583 33554432000 4194304 4196468 140729154699728 140380002343952 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8988] ppid=8982 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8988/stat : 8988 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15512600576 12583 33554432000 4194304 4196468 140729154699728 140380001291152 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8989] ppid=8982 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8989/stat : 8989 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379680664336 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8990] ppid=8982 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8990/stat : 8990 (java) S 8982 8982 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409467925 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379560352112 140380091751042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8991] ppid=8982 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8991/stat : 8991 (java) S 8982 8982 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409467925 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379559298080 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8992] ppid=8982 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8992/stat : 8992 (java) S 8982 8982 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409467926 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379558245232 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8993] ppid=8982 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8993/stat : 8993 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379557193552 140380091758491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8994] ppid=8982 vsize=15149024 memory=-1751206678989134939 CPUtime=0.05 cores=0,2,4,6
/proc/8984/task/8994/stat : 8994 (java) S 8982 8982 25300 0 -1 1077944384 544 0 0 0 5 0 0 0 20 0 15 0 409467928 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379556141936 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8995] ppid=8982 vsize=15149024 memory=7680491646476169235 CPUtime=0.03 cores=0,2,4,6
/proc/8984/task/8995/stat : 8995 (java) S 8982 8982 25300 0 -1 1077944384 361 0 0 0 3 0 0 0 20 0 15 0 409467928 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379555089136 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8996] ppid=8982 vsize=15149024 memory=7088771780547993696 CPUtime=0.11 cores=0,2,4,6
/proc/8984/task/8996/stat : 8996 (java) S 8982 8982 25300 0 -1 1077944384 857 0 0 0 11 0 0 0 20 0 15 0 409467928 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379554036336 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8997] ppid=8982 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8997/stat : 8997 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379552983776 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8998] ppid=8982 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8998/stat : 8998 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467929 15512600576 12583 33554432000 4194304 4196468 140729154699728 140379551931056 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51756 KiB
[startup+0.701426 s]
/proc/loadavg: 7.84 7.48 7.41 7/233 8998
/proc/meminfo: memFree=30646136/32770624 swapFree=66933688/67108860
[pid=8982] ppid=8979 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8982/stat : 8982 (xcsp3-exec) S 8979 8982 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409467922 115843072 362 33554432000 4194304 5098028 140723112109120 140723112107224 140133723923068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34033664 140723112117115 140723112117357 140723112117357 140723112120266 0
/proc/8982/statm: 28282 362 304 221 0 87 0
[pid=8984] ppid=8982 vsize=15151148 memory=128120 CPUtime=1.73 cores=0,2,4,6
/proc/8984/stat : 8984 (java) S 8982 8982 25300 0 -1 1077944320 14006 0 0 0 166 7 0 0 20 0 15 0 409467923 15514775552 32030 33554432000 4194304 4196468 140729154699728 140729154682272 140380091739895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
/proc/8984/statm: 3787787 32030 3438 1 0 3748889 0
[pid=8984/tid=8985] ppid=8982 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8984/task/8985/stat : 8985 (java) R 8982 8982 25300 0 -1 4202560 8286 0 0 0 63 4 0 0 20 0 15 0 409467923 15514775552 32030 33554432000 4194304 4196468 140729154699728 140380095974536 140379684020708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8986] ppid=8982 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8986/stat : 8986 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15514775552 32030 33554432000 4194304 4196468 140729154699728 140380003396752 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8987] ppid=8982 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8987/stat : 8987 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467924 15514775552 32030 33554432000 4194304 4196468 140729154699728 140380002343952 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8988] ppid=8982 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8988/stat : 8988 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15514775552 32030 33554432000 4194304 4196468 140729154699728 140380001291152 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8989] ppid=8982 vsize=15151148 memory=70 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8989/stat : 8989 (java) S 8982 8982 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409467924 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379680664336 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8990] ppid=8982 vsize=15151148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8990/stat : 8990 (java) S 8982 8982 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409467925 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379560352112 140380091751042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8991] ppid=8982 vsize=15151148 memory=14323715934760 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8991/stat : 8991 (java) S 8982 8982 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409467925 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379559298080 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8992] ppid=8982 vsize=15151148 memory=2958624 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8992/stat : 8992 (java) S 8982 8982 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409467926 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379558245232 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8993] ppid=8982 vsize=15151148 memory=2966641 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8993/stat : 8993 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379557193552 140380091758491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8994] ppid=8982 vsize=15151148 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/8984/task/8994/stat : 8994 (java) R 8982 8982 25300 0 -1 4202560 1371 0 0 0 37 0 0 0 20 0 15 0 409467928 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379556128048 140380075650472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8995] ppid=8982 vsize=15151148 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/8984/task/8995/stat : 8995 (java) R 8982 8982 25300 0 -1 4202560 1396 0 0 0 35 0 0 0 20 0 15 0 409467928 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379555078928 140380076009107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8996] ppid=8982 vsize=15151148 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/8984/task/8996/stat : 8996 (java) S 8982 8982 25300 0 -1 1077944384 1646 0 0 0 29 0 0 0 20 0 15 0 409467928 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379554036336 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8997] ppid=8982 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8997/stat : 8997 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409467928 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379552983776 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8998] ppid=8982 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8998/stat : 8998 (java) S 8982 8982 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409467929 15514775552 32030 33554432000 4194304 4196468 140729154699728 140379551931056 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 129568 KiB
[startup+1.50138 s]
/proc/loadavg: 7.84 7.48 7.41 8/233 8998
/proc/meminfo: memFree=30524068/32770624 swapFree=66933688/67108860
[pid=8982] ppid=8979 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8982/stat : 8982 (xcsp3-exec) S 8979 8982 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409467922 115843072 362 33554432000 4194304 5098028 140723112109120 140723112107224 140133723923068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34033664 140723112117115 140723112117357 140723112117357 140723112120266 0
/proc/8982/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/8984/stat : 8984 (java) S 8982 8982 25300 0 -1 1077944320 116687 0 0 0 230348 114 0 0 20 0 19 0 409467923 16060067840 385288 33554432000 4194304 4196468 140729154699728 140729154682272 140380091739895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
/proc/8984/statm: 3920915 385288 3537 1 0 3882017 0
[pid=8984/tid=8985] ppid=8982 vsize=15683660 memory=1541152 CPUtime=2.14 cores=0,2,4,6
/proc/8984/task/8985/stat : 8985 (java) S 8982 8982 25300 0 -1 1077944384 10786 0 0 0 205 9 0 0 20 0 19 0 409467923 16060067840 385288 33554432000 4194304 4196468 140729154699728 140380095980672 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8986] ppid=8982 vsize=15683660 memory=1510428 CPUtime=0.58 cores=0,2,4,6
/proc/8984/task/8986/stat : 8986 (java) S 8982 8982 25300 0 -1 1077944384 2594 0 0 0 38 20 0 0 20 0 19 0 409467924 16060067840 385288 33554432000 4194304 4196468 140729154699728 140380003396752 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8987] ppid=8982 vsize=15683660 memory=1514524 CPUtime=0.58 cores=0,2,4,6
/proc/8984/task/8987/stat : 8987 (java) S 8982 8982 25300 0 -1 1077944384 3863 0 0 0 38 20 0 0 20 0 19 0 409467924 16060067840 385288 33554432000 4194304 4196468 140729154699728 140380002343952 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8988] ppid=8982 vsize=15683660 memory=1518624 CPUtime=0.59 cores=0,2,4,6
/proc/8984/task/8988/stat : 8988 (java) S 8982 8982 25300 0 -1 1077944384 2664 0 0 0 39 20 0 0 20 0 19 0 409467924 16060067840 385288 33554432000 4194304 4196468 140729154699728 140380001291152 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8989] ppid=8982 vsize=15683660 memory=1528864 CPUtime=0.57 cores=0,2,4,6
/proc/8984/task/8989/stat : 8989 (java) S 8982 8982 25300 0 -1 1077944384 3352 0 0 0 38 19 0 0 20 0 19 0 409467924 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379680664336 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8990] ppid=8982 vsize=15683660 memory=1537056 CPUtime=0.08 cores=0,2,4,6
/proc/8984/task/8990/stat : 8990 (java) S 8982 8982 25300 0 -1 1077944384 4544 0 0 0 6 2 0 0 20 0 19 0 409467925 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379560352112 140380091751042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8991] ppid=8982 vsize=15683660 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8991/stat : 8991 (java) S 8982 8982 25300 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 409467925 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379559298144 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8992] ppid=8982 vsize=15683660 memory=6352 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8992/stat : 8992 (java) S 8982 8982 25300 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 409467926 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379558245248 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8993] ppid=8982 vsize=15683660 memory=1541152 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8993/stat : 8993 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409467928 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379557193552 140380091758491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8994] ppid=8982 vsize=15683660 memory=1448 CPUtime=3.37 cores=0,2,4,6
/proc/8984/task/8994/stat : 8994 (java) S 8982 8982 25300 0 -1 1077944384 15683 0 0 0 336 1 0 0 20 0 19 0 409467928 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379556141936 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8995] ppid=8982 vsize=15683660 memory=1537056 CPUtime=3.59 cores=0,2,4,6
/proc/8984/task/8995/stat : 8995 (java) S 8982 8982 25300 0 -1 1077944384 21465 0 0 0 356 3 0 0 20 0 19 0 409467928 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379555089136 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8996] ppid=8982 vsize=15683660 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/8984/task/8996/stat : 8996 (java) S 8982 8982 25300 0 -1 1077944384 10197 0 0 0 76 2 0 0 20 0 19 0 409467928 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379554036336 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8997] ppid=8982 vsize=15683660 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8997/stat : 8997 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409467928 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379552983776 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8998] ppid=8982 vsize=15683660 memory=1537056 CPUtime=0.18 cores=0,2,4,6
/proc/8984/task/8998/stat : 8998 (java) S 8982 8982 25300 0 -1 1077944384 1319 0 0 0 6 12 0 0 20 0 19 0 409467929 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379551931056 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9397] ppid=8982 vsize=15683660 memory=6364 CPUtime=316.79 cores=0,2,4,6
/proc/8984/task/9397/stat : 9397 (java) R 8982 8982 25300 0 -1 4202560 1939 0 0 0 31679 0 0 0 20 0 19 0 409494141 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379535351240 140379685580876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9398] ppid=8982 vsize=15683660 memory=504 CPUtime=319.89 cores=0,2,4,6
/proc/8984/task/9398/stat : 9398 (java) R 8982 8982 25300 0 -1 4202560 5968 0 0 0 31988 1 0 0 20 0 19 0 409494141 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379540615056 140379687425026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9399] ppid=8982 vsize=15683660 memory=984 CPUtime=319.89 cores=0,2,4,6
/proc/8984/task/9399/stat : 9399 (java) R 8982 8982 25300 0 -1 4202560 2018 0 0 0 31987 2 0 0 20 0 19 0 409494141 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379537457528 140379685580907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9400] ppid=8982 vsize=15683660 memory=2032 CPUtime=317.49 cores=0,2,4,6
/proc/8984/task/9400/stat : 9400 (java) R 8982 8982 25300 0 -1 4202560 2582 0 0 0 31749 0 0 0 20 0 19 0 409494141 16060067840 385288 33554432000 4194304 4196468 140729154699728 140379536404360 140379687424648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
Current children cumulated CPU time: 2304.62 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 1542600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+606.301 s]
/proc/loadavg: 8.92 8.57 8.00 9/237 9794
/proc/meminfo: memFree=29516696/32770624 swapFree=66933688/67108860
[pid=8982] ppid=8979 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8982/stat : 8982 (xcsp3-exec) S 8979 8982 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409467922 115843072 362 33554432000 4194304 5098028 140723112109120 140723112107224 140133723923068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34033664 140723112117115 140723112117357 140723112117357 140723112120266 0
/proc/8982/statm: 28282 362 304 221 0 87 0
[pid=8984] ppid=8982 vsize=15683660 memory=1561632 CPUtime=2400.17 cores=0,2,4,6
/proc/8984/stat : 8984 (java) S 8982 8982 25300 0 -1 1077944320 117004 0 0 0 239902 115 0 0 20 0 19 0 409467923 16060067840 390408 33554432000 4194304 4196468 140729154699728 140729154682272 140380091739895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
/proc/8984/statm: 3920915 390408 3537 1 0 3882017 0
[pid=8984/tid=8985] ppid=8982 vsize=15683660 memory=1561632 CPUtime=2.14 cores=0,2,4,6
/proc/8984/task/8985/stat : 8985 (java) S 8982 8982 25300 0 -1 1077944384 10786 0 0 0 205 9 0 0 20 0 19 0 409467923 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380095980672 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8986] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0.58 cores=0,2,4,6
/proc/8984/task/8986/stat : 8986 (java) S 8982 8982 25300 0 -1 1077944384 2594 0 0 0 38 20 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380003396752 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8987] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0.58 cores=0,2,4,6
/proc/8984/task/8987/stat : 8987 (java) S 8982 8982 25300 0 -1 1077944384 3863 0 0 0 38 20 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380002343952 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8988] ppid=8982 vsize=15683660 memory=1559584 CPUtime=0.59 cores=0,2,4,6
/proc/8984/task/8988/stat : 8988 (java) S 8982 8982 25300 0 -1 1077944384 2664 0 0 0 39 20 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380001291152 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8989] ppid=8982 vsize=15683660 memory=1541152 CPUtime=0.57 cores=0,2,4,6
/proc/8984/task/8989/stat : 8989 (java) S 8982 8982 25300 0 -1 1077944384 3352 0 0 0 38 19 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379680664336 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8990] ppid=8982 vsize=15683660 memory=1510428 CPUtime=0.08 cores=0,2,4,6
/proc/8984/task/8990/stat : 8990 (java) S 8982 8982 25300 0 -1 1077944384 4544 0 0 0 6 2 0 0 20 0 19 0 409467925 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379560352112 140380091751042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8991] ppid=8982 vsize=15683660 memory=1514524 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8991/stat : 8991 (java) S 8982 8982 25300 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 409467925 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379559298144 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8992] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8992/stat : 8992 (java) S 8982 8982 25300 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 409467926 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379558245248 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8993] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8993/stat : 8993 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379557193552 140380091758491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8994] ppid=8982 vsize=15683660 memory=1561632 CPUtime=3.37 cores=0,2,4,6
/proc/8984/task/8994/stat : 8994 (java) S 8982 8982 25300 0 -1 1077944384 15683 0 0 0 336 1 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379556141936 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8995] ppid=8982 vsize=15683660 memory=1448 CPUtime=3.59 cores=0,2,4,6
/proc/8984/task/8995/stat : 8995 (java) S 8982 8982 25300 0 -1 1077944384 21465 0 0 0 356 3 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379555089136 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8996] ppid=8982 vsize=15683660 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/8984/task/8996/stat : 8996 (java) S 8982 8982 25300 0 -1 1077944384 10197 0 0 0 76 2 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379554036336 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8997] ppid=8982 vsize=15683660 memory=6352 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8997/stat : 8997 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379552983776 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8998] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0.19 cores=0,2,4,6
/proc/8984/task/8998/stat : 8998 (java) S 8982 8982 25300 0 -1 1077944384 1321 0 0 0 6 13 0 0 20 0 19 0 409467929 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379551931056 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9397] ppid=8982 vsize=15683660 memory=1448 CPUtime=340.78 cores=0,2,4,6
/proc/8984/task/9397/stat : 9397 (java) R 8982 8982 25300 0 -1 4202560 1950 0 0 0 34078 0 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379535351240 140379685580876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9398] ppid=8982 vsize=15683660 memory=3192 CPUtime=343.86 cores=0,2,4,6
/proc/8984/task/9398/stat : 9398 (java) R 8982 8982 25300 0 -1 4202560 6226 0 0 0 34385 1 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379540615056 140379685580904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9399] ppid=8982 vsize=15683660 memory=1448 CPUtime=343.89 cores=0,2,4,6
/proc/8984/task/9399/stat : 9399 (java) R 8982 8982 25300 0 -1 4202560 2026 0 0 0 34387 2 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379537457528 140379685580737 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9400] ppid=8982 vsize=15683660 memory=1448 CPUtime=341.06 cores=0,2,4,6
/proc/8984/task/9400/stat : 9400 (java) R 8982 8982 25300 0 -1 4202560 2620 0 0 0 34106 0 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379536404360 140379687424635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
Current children cumulated CPU time: 2400.17 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 1563080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+606.335 s]
# the end of solver process 8982 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001274 s, system=0.001274 s
[startup+606.402 s]
# the end of solver process 8984 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.38 s, system=1.16394 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+606.301 s]
/proc/loadavg: 8.92 8.57 8.00 9/237 9794
/proc/meminfo: memFree=29516696/32770624 swapFree=66933688/67108860
[pid=8982] ppid=8979 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8982/stat : 8982 (xcsp3-exec) S 8979 8982 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409467922 115843072 362 33554432000 4194304 5098028 140723112109120 140723112107224 140133723923068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34033664 140723112117115 140723112117357 140723112117357 140723112120266 0
/proc/8982/statm: 28282 362 304 221 0 87 0
[pid=8984] ppid=8982 vsize=15683660 memory=1561632 CPUtime=2400.17 cores=0,2,4,6
/proc/8984/stat : 8984 (java) S 8982 8982 25300 0 -1 1077944320 117004 0 0 0 239902 115 0 0 20 0 19 0 409467923 16060067840 390408 33554432000 4194304 4196468 140729154699728 140729154682272 140380091739895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
/proc/8984/statm: 3920915 390408 3537 1 0 3882017 0
[pid=8984/tid=8985] ppid=8982 vsize=15683660 memory=1561632 CPUtime=2.14 cores=0,2,4,6
/proc/8984/task/8985/stat : 8985 (java) S 8982 8982 25300 0 -1 1077944384 10786 0 0 0 205 9 0 0 20 0 19 0 409467923 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380095980672 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8986] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0.58 cores=0,2,4,6
/proc/8984/task/8986/stat : 8986 (java) S 8982 8982 25300 0 -1 1077944384 2594 0 0 0 38 20 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380003396752 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8987] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0.58 cores=0,2,4,6
/proc/8984/task/8987/stat : 8987 (java) S 8982 8982 25300 0 -1 1077944384 3863 0 0 0 38 20 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380002343952 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8988] ppid=8982 vsize=15683660 memory=1559584 CPUtime=0.59 cores=0,2,4,6
/proc/8984/task/8988/stat : 8988 (java) S 8982 8982 25300 0 -1 1077944384 2664 0 0 0 39 20 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140380001291152 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8989] ppid=8982 vsize=15683660 memory=1541152 CPUtime=0.57 cores=0,2,4,6
/proc/8984/task/8989/stat : 8989 (java) S 8982 8982 25300 0 -1 1077944384 3352 0 0 0 38 19 0 0 20 0 19 0 409467924 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379680664336 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8990] ppid=8982 vsize=15683660 memory=1510428 CPUtime=0.08 cores=0,2,4,6
/proc/8984/task/8990/stat : 8990 (java) S 8982 8982 25300 0 -1 1077944384 4544 0 0 0 6 2 0 0 20 0 19 0 409467925 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379560352112 140380091751042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8991] ppid=8982 vsize=15683660 memory=1514524 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8991/stat : 8991 (java) S 8982 8982 25300 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 409467925 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379559298144 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8992] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8992/stat : 8992 (java) S 8982 8982 25300 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 409467926 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379558245248 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8993] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8993/stat : 8993 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379557193552 140380091758491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8994] ppid=8982 vsize=15683660 memory=1561632 CPUtime=3.37 cores=0,2,4,6
/proc/8984/task/8994/stat : 8994 (java) S 8982 8982 25300 0 -1 1077944384 15683 0 0 0 336 1 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379556141936 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8995] ppid=8982 vsize=15683660 memory=1448 CPUtime=3.59 cores=0,2,4,6
/proc/8984/task/8995/stat : 8995 (java) S 8982 8982 25300 0 -1 1077944384 21465 0 0 0 356 3 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379555089136 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8996] ppid=8982 vsize=15683660 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/8984/task/8996/stat : 8996 (java) S 8982 8982 25300 0 -1 1077944384 10197 0 0 0 76 2 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379554036336 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8997] ppid=8982 vsize=15683660 memory=6352 CPUtime=0 cores=0,2,4,6
/proc/8984/task/8997/stat : 8997 (java) S 8982 8982 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409467928 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379552983776 140380091750101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=8998] ppid=8982 vsize=15683660 memory=1561632 CPUtime=0.19 cores=0,2,4,6
/proc/8984/task/8998/stat : 8998 (java) S 8982 8982 25300 0 -1 1077944384 1321 0 0 0 6 13 0 0 20 0 19 0 409467929 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379551931056 140380091751042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9397] ppid=8982 vsize=15683660 memory=1448 CPUtime=340.78 cores=0,2,4,6
/proc/8984/task/9397/stat : 9397 (java) R 8982 8982 25300 0 -1 4202560 1950 0 0 0 34078 0 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379535351240 140379685580876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9398] ppid=8982 vsize=15683660 memory=3192 CPUtime=343.86 cores=0,2,4,6
/proc/8984/task/9398/stat : 9398 (java) R 8982 8982 25300 0 -1 4202560 6226 0 0 0 34385 1 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379540615056 140379685580904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9399] ppid=8982 vsize=15683660 memory=1448 CPUtime=343.89 cores=0,2,4,6
/proc/8984/task/9399/stat : 9399 (java) R 8982 8982 25300 0 -1 4202560 2026 0 0 0 34387 2 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379537457528 140379685580737 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
[pid=8984/tid=9400] ppid=8982 vsize=15683660 memory=1448 CPUtime=341.06 cores=0,2,4,6
/proc/8984/task/9400/stat : 9400 (java) R 8982 8982 25300 0 -1 4202560 2620 0 0 0 34106 0 0 0 20 0 19 0 409494141 16060067840 390408 33554432000 4194304 4196468 140729154699728 140379536404360 140379687424635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140729154708463 140729154708634 140729154708634 140729154711503 0
Current children cumulated CPU time: 2400.17 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 1563080 KiB
Child status: 143
Real time (s): 606.402
CPU time (s): 2400.55
CPU user time (s): 2399.38
CPU system time (s): 1.16394
CPU usage (%): 395.867
Max. virtual memory (cumulated for all children) (KiB): 15796788
Max. memory (cumulated for all children) (KiB): 1563080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.38
system time used= 1.16394
maximum resident set size= 1568280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17247
involuntary context switches= 42548
# summary of solver processes directly reported to runsolver:
# pid: 8982,8984
# total CPU time (s): 2400.55
# total CPU user time (s): 2399.38
# total CPU system time (s): 1.16394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87285 second user time and 6.95193 second system time
The end
Begin job on node151 at 2019-09-13 01:45:25 IDJOB=4394318 IDBENCH=133905 IDSOLVER=2842 FILE ID=node151/4394318-1568331965 RUNJOBID= node151-1568323682-25331 PBS_JOBID= 21701147 Free space on /tmp= 56976 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394318-1568331965/watcher-4394318-1568331965 -o /tmp/evaluation-result-4394318-1568331965/solver-4394318-1568331965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 217853645 HOME/instance-4394318-1568331965.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=217853645 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30703296 kB MemAvailable: 31296744 kB Buffers: 134772 kB Cached: 749452 kB SwapCached: 72496 kB Active: 1034164 kB Inactive: 483292 kB Active(anon): 568160 kB Inactive(anon): 96432 kB Active(file): 466004 kB Inactive(file): 386860 kB Unevictable: 111232 kB Mlocked: 111232 kB SwapTotal: 67108860 kB SwapFree: 66933688 kB Dirty: 26872 kB Writeback: 0 kB AnonPages: 682308 kB Mapped: 47780 kB Shmem: 22940 kB Slab: 142096 kB SReclaimable: 112840 kB SUnreclaim: 29256 kB KernelStack: 4064 kB PageTables: 7340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1834408 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 585728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 56948 MiB End job on node151 at 2019-09-13 01:55:32