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-09-20 | SAT (TO) | 5 | 2400.44 | 722.985 |
| 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-4404178-1568991527.xml" -tl '2400s' -p 4 0.12/0.19 c Choco 3fb4b153 0.12/0.19 c [HOME/instance-4404178-1568991527.xml, -tl, 2400s, -p, 4] 0.32/0.23 c 4 solvers in parallel 0.32/0.29 c parse instance... 6.77/2.49 c solve instance... 14.43/4.44 o 885 21.87/6.35 o 866 27.44/7.78 o 820 32.64/9.08 o 489 38.16/10.43 o 476 42.94/11.61 o 199 46.91/12.66 o 181 53.67/14.36 o 139 58.04/15.45 o 111 62.01/16.49 o 106 76.90/20.43 o 43 79.23/21.37 o 42 83.23/22.45 o 41 267.29/180.66 o 29 274.71/184.37 o 13 278.86/185.45 o 11 283.35/186.71 o 9 290.72/188.68 o 8 295.75/190.43 o 7 345.86/203.13 o 6 1105.47/397.67 o 5 2400.14/722.96 s SATISFIABLE 2400.14/722.96 v <instantiation> 2400.14/722.96 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.14/722.96 v <values>0 0 2 0 3 0 1 0 1 4 4 2 4 1 3 1 3 2 2 4 1 0 0 3 1 0 2 0 4 2 3 1 0 5 1 2 0 1 1 1 0 3 1 2 1 3 2 2 2 1 1 0 1 0 0 2 3 4 3 3 3 0 0 1 1 2 0 0 2 1 1 3 0 0 2 1 4 1 4 3 0 0 3 2 1 0 1 0 1 4 1 2 3 3 5 0 0 2 1 0 1 2 3 3 1 3 4 3 3 0 1 2 2 1 2 3 2 2 1 4 1 4 0 0 2 4 3 0 0 2 0 1 0 2 3 2 3 1 1 1 2 0 2 1 0 0 0 1 0 1 2 0 3 0 0 4 4 2 3 0 2 3 0 1 1 1 3 2 2 1 1 4 4 5 0 1 0 1 0 3 3 2 1 4 0 2 2 1 3 0 0 3 2 1 4 4 0 0 2 0 4 0 1 0 4 2 3 3 0 0 4 2 1 1 0 0 2 0 1 2 1 0 3 2 3 1 2 4 0 1 4 3 4 2 1 0 1 1 3 1 0 3 1 1 2 0 0 0 0 0 1 1 1 0 4 0 4 3 0 4 2 0 0 0 2 1 2 0 3 1 1 5 3 0 0 1 0 2 0 3 0 2 2 1 1 1 3 2 3 4 1 0 1 3 0 4 1 0 3 2 5 3 2 1 2 1 0 3 1 1 3 3 3 4 0 2 4 4 0 3 2 0 2 0 0 4 0 0 1 0 1 2 1 1 1 0 2 3 4 1 3 2 0 3 2 4 0 3 3 1 0 1 1 2 0 2 3 0 0 3 0 1 1 1 4 0 3 1 0 1 3 0 0 2 1 2 0 2 4 0 3 5 2 0 1 4 4 1 3 3 0 2 2 2 2 1 0 1 2 1 1 4 2 0 0 4 3 2 1 1 3 2 3 5 0 3 0 2 0 4 2 0 0 2 1 2 3 3 5 2 2 1 2 3 2 4 2 2 2 0 0 3 3 0 2 0 0 4 3 1 0 4 1 1 0 4 1 3 2 2 1 3 0 2 4 0 0 3 3 1 0 0 1 2 5 3 1 0 1 1 1 3 1 3 3 0 2 2 4 3 1 1 5 4 2 0 3 4 0 3 1 3 5 1 3 2 0 1 1 0 3 1 1 0 3 3 2 2 5 4 0 3 1 1 2 1 2 1 0 2 2 0 0 1 4 3 2 1 1 0 3 1 4 0 0 2 0 4 0 3 2 1 2 2 0 2 0 2 3 1 3 1 0 0 4 1 4 0 3 0 0 3 1 0 1 2 4 1 2 4 0 1 1 2 1 0 1 4 4 2 1 0 2 5 3 1 4 2 2 2 0 2 4 3 1 5 4 5 0 0 3 0 2 0 0 1 4 2 2 0 0 4 3 0 4 4 1 3 3 1 2 2 0 0 1 3 1 1 3 0 0 2 3 4 4 1 1 4 1 2 0 0 0 1 2 1 3 0 2 3 5 3 1 0 3 1 5 0 4 2 3 1 0 2 1 1 1 1 1 2 0 3 3 2 2 0 0 1 3 3 1 0 3 1 1 3 4 2 2 2 2 2 0 2 5 3 1 4 1 1 0 3 3 0 3 4 0 3 1 3 2 1 0 1 2 3 1 2 1 3 3 2 3 0 0 0 2 1 0 1 2 2 4 4 0 0 1 4 3 3 2 2 2 0 4 2 0 0 2 1 3 1 3 2 2 2 2 0 3 1 0 0 3 1 1 2 4 0 0 0 2 0 0 1 0 2 1 2 1 4 0 3 0 3 3 4 1 1 1 2 2 1 0 1 4 1 4 0 1 3 1 0 2 2 2 0 0 4 4 3 2 3 2 0 0 2 2 4 0 1 3 3 1 1 0 0 0 3 2 0 2 0 0 0 2 0 1 0 1 1 4 5 4 3 3 3 4 4 5 1 3 1 2 0 0 1 2 2 0 0 0 0 0 2 3 1 2 2 1 1 1 0 0 0 1 3 3 3 1 0 1 1 2 2 1 2 2 1 0 5 0 3 1 2 3 1 1 0 2 2 2 1 4 1 4 2 2 2 0 0 1 3 3 1 1 0 1 1 2 0 1 4 2 0 2 0 2 2 3 0 0 2 1 3 2 2 1 0 3 4 1 3 3 4 0 1 0 2 1 1 4 1 1 2 0 3 1 2 1 4 0 0 4 2 3 3 0 1 4 5 2 0 0 0 4 3 4 4 3 1 </values> 2400.14/722.96 v </instantiation> 2400.14/722.96 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 (3737 MiB free)
memory of node 1: 16384 MiB (2404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404178-1568991527/watcher-4404178-1568991527 -o /var/tmp/evaluation-result-4404178-1568991527/solver-4404178-1568991527 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19951 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1335447250 HOME/instance-4404178-1568991527.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=26486, runsolver pid=26483
[startup+0.104075 s]*
/proc/loadavg: 7.91 8.54 8.37 8/233 26503
/proc/meminfo: memFree=6273872/32770624 swapFree=66953200/67108860
[pid=26486] ppid=26483 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26486/stat : 26486 (xcsp3-exec) S 26483 26486 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475067543 115843072 364 33554432000 4194304 5098028 140728248580816 140728248578920 140377265427068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22106112 140728248582998 140728248583257 140728248583257 140728248586182 0
/proc/26486/statm: 28282 364 305 221 0 87 0
[pid=26488] ppid=26486 vsize=15144776 memory=28492 CPUtime=0.12 cores=0,2,4,6
/proc/26488/stat : 26488 (java) S 26486 26486 19920 0 -1 1077944320 5525 0 0 0 11 1 0 0 20 0 15 0 475067543 15508250624 7123 33554432000 4194304 4196468 140725661879328 140725661861872 140121289871095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
/proc/26488/statm: 3786194 7123 3136 1 0 3748377 0
[pid=26488/tid=26489] ppid=26486 vsize=15144776 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/26488/task/26489/stat : 26489 (java) R 26486 26486 19920 0 -1 4202560 3544 0 0 0 8 0 0 0 20 0 15 0 475067543 15508250624 7123 33554432000 4194304 4196468 140725661879328 140121294104368 140121289883030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26490] ppid=26486 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26490/stat : 26490 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 7123 33554432000 4194304 4196468 140725661879328 140121242492048 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26491] ppid=26486 vsize=15144776 memory=140187669923456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26491/stat : 26491 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 7123 33554432000 4194304 4196468 140725661879328 140121241439248 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26493] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26493/stat : 26493 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 7123 33554432000 4194304 4196468 140725661879328 140121240386448 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26494] ppid=26486 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26494/stat : 26494 (java) S 26486 26486 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 7123 33554432000 4194304 4196468 140725661879328 140121239333648 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26495] ppid=26486 vsize=15144776 memory=140187669923456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26495/stat : 26495 (java) S 26486 26486 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475067546 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120757889392 140121289882242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26496] ppid=26486 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26496/stat : 26496 (java) S 26486 26486 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475067547 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120756835360 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26497] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26497/stat : 26497 (java) S 26486 26486 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475067547 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120755782512 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26498] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26498/stat : 26498 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120754730832 140121289889691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26499] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26499/stat : 26499 (java) S 26486 26486 19920 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120753679216 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26500] ppid=26486 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26500/stat : 26500 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120752626416 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26501] ppid=26486 vsize=15144776 memory=140187669923456 CPUtime=0.01 cores=0,2,4,6
/proc/26488/task/26501/stat : 26501 (java) S 26486 26486 19920 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 475067550 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120751573616 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26502] ppid=26486 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26502/stat : 26502 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120750521056 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26503] ppid=26486 vsize=15144776 memory=140187669923456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26503/stat : 26503 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 7123 33554432000 4194304 4196468 140725661879328 140120749468336 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29948 KiB
[startup+0.210658 s]*
/proc/loadavg: 7.91 8.54 8.37 8/233 26503
/proc/meminfo: memFree=6261428/32770624 swapFree=66953200/67108860
[pid=26486] ppid=26483 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26486/stat : 26486 (xcsp3-exec) S 26483 26486 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475067543 115843072 364 33554432000 4194304 5098028 140728248580816 140728248578920 140377265427068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22106112 140728248582998 140728248583257 140728248583257 140728248586182 0
/proc/26486/statm: 28282 364 305 221 0 87 0
[pid=26488] ppid=26486 vsize=15144776 memory=40772 CPUtime=0.32 cores=0,2,4,6
/proc/26488/stat : 26488 (java) S 26486 26486 19920 0 -1 1077944320 9423 0 0 0 30 2 0 0 20 0 15 0 475067543 15508250624 10193 33554432000 4194304 4196468 140725661879328 140725661861872 140121289871095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
/proc/26488/statm: 3786194 10193 3312 1 0 3748377 0
[pid=26488/tid=26489] ppid=26486 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/26488/task/26489/stat : 26489 (java) R 26486 26486 19920 0 -1 4202560 6555 0 0 0 17 2 0 0 20 0 15 0 475067543 15508250624 10193 33554432000 4194304 4196468 140725661879328 140121294103008 140121289883030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26490] ppid=26486 vsize=15144776 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26490/stat : 26490 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 10193 33554432000 4194304 4196468 140725661879328 140121242492048 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26491] ppid=26486 vsize=15144776 memory=3977020630376906784 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26491/stat : 26491 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 10193 33554432000 4194304 4196468 140725661879328 140121241439248 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26493] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26493/stat : 26493 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 10193 33554432000 4194304 4196468 140725661879328 140121240386448 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26494] ppid=26486 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26494/stat : 26494 (java) S 26486 26486 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475067545 15508250624 10193 33554432000 4194304 4196468 140725661879328 140121239333648 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26495] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26495/stat : 26495 (java) S 26486 26486 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475067546 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120757889392 140121289882242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26496] ppid=26486 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26496/stat : 26496 (java) S 26486 26486 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475067547 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120756835360 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26497] ppid=26486 vsize=15144776 memory=140187669923456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26497/stat : 26497 (java) S 26486 26486 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475067547 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120755782512 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26498] ppid=26486 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26498/stat : 26498 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120754730832 140121289889691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26499] ppid=26486 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26488/task/26499/stat : 26499 (java) S 26486 26486 19920 0 -1 1077944384 724 0 0 0 3 0 0 0 20 0 15 0 475067550 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120753679216 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26500] ppid=26486 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26488/task/26500/stat : 26500 (java) S 26486 26486 19920 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 475067550 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120752626416 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26501] ppid=26486 vsize=15144776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26488/task/26501/stat : 26501 (java) R 26486 26486 19920 0 -1 4202560 789 0 0 0 7 0 0 0 20 0 15 0 475067550 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120751569472 140121289883030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26502] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26502/stat : 26502 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120750521056 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26503] ppid=26486 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26503/stat : 26503 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067550 15508250624 10193 33554432000 4194304 4196468 140725661879328 140120749468336 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42228 KiB
[startup+0.31064 s]*
/proc/loadavg: 7.91 8.54 8.37 7/233 26503
/proc/meminfo: memFree=6255772/32770624 swapFree=66953200/67108860
[pid=26486] ppid=26483 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26486/stat : 26486 (xcsp3-exec) S 26483 26486 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475067543 115843072 364 33554432000 4194304 5098028 140728248580816 140728248578920 140377265427068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22106112 140728248582998 140728248583257 140728248583257 140728248586182 0
/proc/26486/statm: 28282 364 305 221 0 87 0
[pid=26488] ppid=26486 vsize=15149032 memory=48880 CPUtime=0.51 cores=0,2,4,6
/proc/26488/stat : 26488 (java) S 26486 26486 19920 0 -1 1077944320 10590 0 0 0 48 3 0 0 20 0 15 0 475067543 15512608768 12220 33554432000 4194304 4196468 140725661879328 140725661861872 140121289871095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
/proc/26488/statm: 3787258 12220 3344 1 0 3748377 0
[pid=26488/tid=26489] ppid=26486 vsize=15149032 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/26488/task/26489/stat : 26489 (java) S 26486 26486 19920 0 -1 1077944384 7606 0 0 0 26 3 0 0 20 0 15 0 475067543 15512608768 12220 33554432000 4194304 4196468 140725661879328 140121294104176 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26490] ppid=26486 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26490/stat : 26490 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15512608768 12220 33554432000 4194304 4196468 140725661879328 140121242492048 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26491] ppid=26486 vsize=15149032 memory=4266097664824967200 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26491/stat : 26491 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15512608768 12220 33554432000 4194304 4196468 140725661879328 140121241439248 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26493] ppid=26486 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26493/stat : 26493 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15512608768 12220 33554432000 4194304 4196468 140725661879328 140121240386448 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26494] ppid=26486 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26494/stat : 26494 (java) S 26486 26486 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475067545 15512608768 12220 33554432000 4194304 4196468 140725661879328 140121239333648 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26495] ppid=26486 vsize=15149032 memory=140187669923456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26495/stat : 26495 (java) S 26486 26486 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475067546 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120757889392 140121289882242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26496] ppid=26486 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26496/stat : 26496 (java) S 26486 26486 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475067547 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120756835360 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26497] ppid=26486 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26497/stat : 26497 (java) S 26486 26486 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475067547 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120755782512 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26498] ppid=26486 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26498/stat : 26498 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120754730832 140121289889691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26499] ppid=26486 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26488/task/26499/stat : 26499 (java) R 26486 26486 19920 0 -1 4202560 727 0 0 0 4 0 0 0 20 0 15 0 475067550 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120753679216 140121274264552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26500] ppid=26486 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/26488/task/26500/stat : 26500 (java) R 26486 26486 19920 0 -1 1077944384 58 0 0 0 3 0 0 0 20 0 15 0 475067550 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120752626416 140121289882242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26501] ppid=26486 vsize=15149032 memory=140187669923456 CPUtime=0.13 cores=0,2,4,6
/proc/26488/task/26501/stat : 26501 (java) S 26486 26486 19920 0 -1 1077944384 891 0 0 0 13 0 0 0 20 0 15 0 475067550 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120751573616 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26502] ppid=26486 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26502/stat : 26502 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120750521056 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26503] ppid=26486 vsize=15149032 memory=140187669923456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26503/stat : 26503 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067550 15512608768 12220 33554432000 4194304 4196468 140725661879328 140120749468336 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50336 KiB
[startup+0.700784 s]
/proc/loadavg: 7.91 8.54 8.37 9/233 26503
/proc/meminfo: memFree=6232756/32770624 swapFree=66953200/67108860
[pid=26486] ppid=26483 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26486/stat : 26486 (xcsp3-exec) S 26483 26486 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475067543 115843072 364 33554432000 4194304 5098028 140728248580816 140728248578920 140377265427068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22106112 140728248582998 140728248583257 140728248583257 140728248586182 0
/proc/26486/statm: 28282 364 305 221 0 87 0
[pid=26488] ppid=26486 vsize=15151156 memory=118016 CPUtime=1.7 cores=0,2,4,6
/proc/26488/stat : 26488 (java) S 26486 26486 19920 0 -1 1077944320 13948 0 0 0 165 5 0 0 20 0 15 0 475067543 15514783744 29504 33554432000 4194304 4196468 140725661879328 140725661861872 140121289871095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
/proc/26488/statm: 3787789 29504 3449 1 0 3748889 0
[pid=26488/tid=26489] ppid=26486 vsize=15151156 memory=2116 CPUtime=0.66 cores=0,2,4,6
/proc/26488/task/26489/stat : 26489 (java) R 26486 26486 19920 0 -1 4202560 8304 0 0 0 62 4 0 0 20 0 15 0 475067543 15514783744 29504 33554432000 4194304 4196468 140725661879328 140121294107192 140121289883030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26490] ppid=26486 vsize=15151156 memory=520 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26490/stat : 26490 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15514783744 29504 33554432000 4194304 4196468 140725661879328 140121242492048 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26491] ppid=26486 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26491/stat : 26491 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15514783744 29504 33554432000 4194304 4196468 140725661879328 140121241439248 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26493] ppid=26486 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26493/stat : 26493 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067545 15514783744 29504 33554432000 4194304 4196468 140725661879328 140121240386448 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26494] ppid=26486 vsize=15151156 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26494/stat : 26494 (java) S 26486 26486 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475067545 15514783744 29504 33554432000 4194304 4196468 140725661879328 140121239333648 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26495] ppid=26486 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26495/stat : 26495 (java) S 26486 26486 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475067546 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120757889392 140121289882242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26496] ppid=26486 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26496/stat : 26496 (java) S 26486 26486 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475067547 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120756835360 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26497] ppid=26486 vsize=15151156 memory=800 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26497/stat : 26497 (java) S 26486 26486 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475067547 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120755782512 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26498] ppid=26486 vsize=15151156 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26498/stat : 26498 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120754730832 140121289889691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26499] ppid=26486 vsize=15151156 memory=7453282923444726100 CPUtime=0.38 cores=0,2,4,6
/proc/26488/task/26499/stat : 26499 (java) R 26486 26486 19920 0 -1 4202560 1697 0 0 0 38 0 0 0 20 0 15 0 475067550 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120753665240 140121274800508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26500] ppid=26486 vsize=15151156 memory=4639059877604708710 CPUtime=0.34 cores=0,2,4,6
/proc/26488/task/26500/stat : 26500 (java) R 26486 26486 19920 0 -1 4202560 996 0 0 0 34 0 0 0 20 0 15 0 475067550 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120752612512 140121273235093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26501] ppid=26486 vsize=15151156 memory=8514726395715219869 CPUtime=0.3 cores=0,2,4,6
/proc/26488/task/26501/stat : 26501 (java) S 26486 26486 19920 0 -1 1077944384 1642 0 0 0 30 0 0 0 20 0 15 0 475067550 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120751573616 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26502] ppid=26486 vsize=15151156 memory=7523373546746438508 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26502/stat : 26502 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475067550 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120750521056 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26503] ppid=26486 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26503/stat : 26503 (java) S 26486 26486 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475067550 15514783744 29504 33554432000 4194304 4196468 140725661879328 140120749468336 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119472 KiB
[startup+1.50136 s]
/proc/loadavg: 7.91 8.54 8.37 9/233 26503
/proc/meminfo: memFree=6107896/32770624 swapFree=66953200/67108860
[pid=26486] ppid=26483 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26486/stat : 26486 (xcsp3-exec) S 26483 26486 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475067543 115843072 364 33554432000 4194304 5098028 140728248580816 140728248578920 140377265427068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22106112 140728248582998 140728248583257 140728248583257 140728248586182 0
/proc/26486/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/26488/stat : 26488 (java) S 26486 26486 19920 0 -1 1077944320 180680 0 0 0 231655 161 0 0 20 0 19 0 475067543 15787429888 549660 33554432000 4194304 4196468 140725661879328 140725661861872 140121289871095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
/proc/26488/statm: 3854353 549660 3542 1 0 3815453 0
[pid=26488/tid=26489] ppid=26486 vsize=15417412 memory=2198640 CPUtime=2.16 cores=0,2,4,6
/proc/26488/task/26489/stat : 26489 (java) S 26486 26486 19920 0 -1 1077944384 10862 0 0 0 207 9 0 0 20 0 19 0 475067543 15787429888 549660 33554432000 4194304 4196468 140725661879328 140121294111872 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26490] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0.68 cores=0,2,4,6
/proc/26488/task/26490/stat : 26490 (java) S 26486 26486 19920 0 -1 1077944384 3522 0 0 0 44 24 0 0 20 0 19 0 475067545 15787429888 549660 33554432000 4194304 4196468 140725661879328 140121242492048 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26491] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.68 cores=0,2,4,6
/proc/26488/task/26491/stat : 26491 (java) S 26486 26486 19920 0 -1 1077944384 4410 0 0 0 44 24 0 0 20 0 19 0 475067545 15787429888 549660 33554432000 4194304 4196468 140725661879328 140121241439248 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26493] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.65 cores=0,2,4,6
/proc/26488/task/26493/stat : 26493 (java) S 26486 26486 19920 0 -1 1077944384 3653 0 0 0 42 23 0 0 20 0 19 0 475067545 15787429888 549660 33554432000 4194304 4196468 140725661879328 140121240386448 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26494] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0.67 cores=0,2,4,6
/proc/26488/task/26494/stat : 26494 (java) S 26486 26486 19920 0 -1 1077944384 5549 0 0 0 43 24 0 0 20 0 19 0 475067545 15787429888 549660 33554432000 4194304 4196468 140725661879328 140121239333648 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26495] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0.3 cores=0,2,4,6
/proc/26488/task/26495/stat : 26495 (java) S 26486 26486 19920 0 -1 1077944384 6411 0 0 0 10 20 0 0 20 0 19 0 475067546 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120757889392 140121289882242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26496] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26496/stat : 26496 (java) S 26486 26486 19920 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475067547 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120756835424 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26497] ppid=26486 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26497/stat : 26497 (java) S 26486 26486 19920 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 475067547 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120755782528 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26498] ppid=26486 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26498/stat : 26498 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475067550 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120754730832 140121289889691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26499] ppid=26486 vsize=15417412 memory=1456 CPUtime=4.69 cores=0,2,4,6
/proc/26488/task/26499/stat : 26499 (java) S 26486 26486 19920 0 -1 1077944384 33611 0 0 0 467 2 0 0 20 0 19 0 475067550 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120753679216 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26500] ppid=26486 vsize=15417412 memory=2198640 CPUtime=4.1 cores=0,2,4,6
/proc/26488/task/26500/stat : 26500 (java) S 26486 26486 19920 0 -1 1077944384 29559 0 0 0 408 2 0 0 20 0 19 0 475067550 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120752626416 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26501] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0.9 cores=0,2,4,6
/proc/26488/task/26501/stat : 26501 (java) S 26486 26486 19920 0 -1 1077944384 20451 0 0 0 89 1 0 0 20 0 19 0 475067550 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120751573616 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26502] ppid=26486 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26502/stat : 26502 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475067550 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120750521056 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26503] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0.28 cores=0,2,4,6
/proc/26488/task/26503/stat : 26503 (java) S 26486 26486 19920 0 -1 1077944384 2183 0 0 0 15 13 0 0 20 0 19 0 475067550 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120749468336 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26945] ppid=26486 vsize=15417412 memory=1456 CPUtime=303.66 cores=0,2,4,6
/proc/26488/task/26945/stat : 26945 (java) R 26486 26486 19920 0 -1 4202560 1991 0 0 0 30366 0 0 0 20 0 19 0 475107310 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120739434408 140120916351503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26946] ppid=26486 vsize=15417412 memory=2198640 CPUtime=302.71 cores=0,2,4,6
/proc/26488/task/26946/stat : 26946 (java) R 26486 26486 19920 0 -1 4202560 2378 0 0 0 30271 0 0 0 20 0 19 0 475107310 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120740487592 140120911863108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26947] ppid=26486 vsize=15417412 memory=2198640 CPUtime=302.19 cores=0,2,4,6
/proc/26488/task/26947/stat : 26947 (java) R 26486 26486 19920 0 -1 4202560 8408 0 0 0 30218 1 0 0 20 0 19 0 475107310 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120737329448 140120916351635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26948] ppid=26486 vsize=15417412 memory=3504 CPUtime=303.22 cores=0,2,4,6
/proc/26488/task/26948/stat : 26948 (java) R 26486 26486 19920 0 -1 4202560 3812 0 0 0 30321 1 0 0 20 0 19 0 475107311 15787429888 549660 33554432000 4194304 4196468 140725661879328 140120738381744 140120911863191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
Current children cumulated CPU time: 2318.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2200096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+722.901 s]
/proc/loadavg: 8.43 8.25 8.15 9/238 27015
/proc/meminfo: memFree=3654332/32770624 swapFree=66953204/67108860
[pid=26486] ppid=26483 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26486/stat : 26486 (xcsp3-exec) S 26483 26486 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475067543 115843072 364 33554432000 4194304 5098028 140728248580816 140728248578920 140377265427068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22106112 140728248582998 140728248583257 140728248583257 140728248586182 0
/proc/26486/statm: 28282 364 305 221 0 87 0
[pid=26488] ppid=26486 vsize=15417412 memory=2198644 CPUtime=2400.14 cores=0,2,4,6
/proc/26488/stat : 26488 (java) S 26486 26486 19920 0 -1 1077944320 182132 0 0 0 239851 163 0 0 20 0 19 0 475067543 15787429888 549661 33554432000 4194304 4196468 140725661879328 140725661861872 140121289871095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
/proc/26488/statm: 3854353 549661 3542 1 0 3815453 0
[pid=26488/tid=26489] ppid=26486 vsize=15417412 memory=2198644 CPUtime=2.16 cores=0,2,4,6
/proc/26488/task/26489/stat : 26489 (java) S 26486 26486 19920 0 -1 1077944384 10862 0 0 0 207 9 0 0 20 0 19 0 475067543 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121294111872 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26490] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.68 cores=0,2,4,6
/proc/26488/task/26490/stat : 26490 (java) S 26486 26486 19920 0 -1 1077944384 3522 0 0 0 44 24 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121242492048 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26491] ppid=26486 vsize=15417412 memory=2198644 CPUtime=0.68 cores=0,2,4,6
/proc/26488/task/26491/stat : 26491 (java) S 26486 26486 19920 0 -1 1077944384 4410 0 0 0 44 24 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121241439248 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26493] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.65 cores=0,2,4,6
/proc/26488/task/26493/stat : 26493 (java) S 26486 26486 19920 0 -1 1077944384 3653 0 0 0 42 23 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121240386448 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26494] ppid=26486 vsize=15417412 memory=2198644 CPUtime=0.67 cores=0,2,4,6
/proc/26488/task/26494/stat : 26494 (java) S 26486 26486 19920 0 -1 1077944384 5549 0 0 0 43 24 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121239333648 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26495] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.31 cores=0,2,4,6
/proc/26488/task/26495/stat : 26495 (java) S 26486 26486 19920 0 -1 1077944384 6481 0 0 0 10 21 0 0 20 0 19 0 475067546 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120757889392 140121289882242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26496] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26496/stat : 26496 (java) S 26486 26486 19920 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475067547 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120756835424 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26497] ppid=26486 vsize=15417412 memory=2198644 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26497/stat : 26497 (java) S 26486 26486 19920 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 475067547 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120755782528 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26498] ppid=26486 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26498/stat : 26498 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120754730832 140121289889691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26499] ppid=26486 vsize=15417412 memory=2198640 CPUtime=4.69 cores=0,2,4,6
/proc/26488/task/26499/stat : 26499 (java) S 26486 26486 19920 0 -1 1077944384 33614 0 0 0 467 2 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120753679216 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26500] ppid=26486 vsize=15417412 memory=1456 CPUtime=4.1 cores=0,2,4,6
/proc/26488/task/26500/stat : 26500 (java) S 26486 26486 19920 0 -1 1077944384 29567 0 0 0 408 2 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120752626416 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26501] ppid=26486 vsize=15417412 memory=3504 CPUtime=0.9 cores=0,2,4,6
/proc/26488/task/26501/stat : 26501 (java) S 26486 26486 19920 0 -1 1077944384 20675 0 0 0 89 1 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120751573616 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26502] ppid=26486 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26502/stat : 26502 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120750521056 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26503] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.28 cores=0,2,4,6
/proc/26488/task/26503/stat : 26503 (java) S 26486 26486 19920 0 -1 1077944384 2207 0 0 0 15 13 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120749468336 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26945] ppid=26486 vsize=15417412 memory=1456 CPUtime=324.24 cores=0,2,4,6
/proc/26488/task/26945/stat : 26945 (java) R 26486 26486 19920 0 -1 4202560 2197 0 0 0 32424 0 0 0 20 0 19 0 475107310 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120739433896 140120913377348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26946] ppid=26486 vsize=15417412 memory=1456 CPUtime=323.3 cores=0,2,4,6
/proc/26488/task/26946/stat : 26946 (java) R 26486 26486 19920 0 -1 4202560 2555 0 0 0 32330 0 0 0 20 0 19 0 475107310 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120740487072 140120911863196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26947] ppid=26486 vsize=15417412 memory=1456 CPUtime=322.41 cores=0,2,4,6
/proc/26488/task/26947/stat : 26947 (java) R 26486 26486 19920 0 -1 4202560 8895 0 0 0 32240 1 0 0 20 0 19 0 475107310 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120737329448 140120916351454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26948] ppid=26486 vsize=15417412 memory=1456 CPUtime=323.78 cores=0,2,4,6
/proc/26488/task/26948/stat : 26948 (java) R 26486 26486 19920 0 -1 4202560 4065 0 0 0 32377 1 0 0 20 0 19 0 475107311 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120738381720 140120911863227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2200100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+722.924 s]
# the end of solver process 26486 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000818 s, system=0.001636 s
[startup+722.985 s]
# the end of solver process 26488 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.79 s, system=1.65566 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+722.901 s]
/proc/loadavg: 8.43 8.25 8.15 9/238 27015
/proc/meminfo: memFree=3654332/32770624 swapFree=66953204/67108860
[pid=26486] ppid=26483 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26486/stat : 26486 (xcsp3-exec) S 26483 26486 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475067543 115843072 364 33554432000 4194304 5098028 140728248580816 140728248578920 140377265427068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22106112 140728248582998 140728248583257 140728248583257 140728248586182 0
/proc/26486/statm: 28282 364 305 221 0 87 0
[pid=26488] ppid=26486 vsize=15417412 memory=2198644 CPUtime=2400.14 cores=0,2,4,6
/proc/26488/stat : 26488 (java) S 26486 26486 19920 0 -1 1077944320 182132 0 0 0 239851 163 0 0 20 0 19 0 475067543 15787429888 549661 33554432000 4194304 4196468 140725661879328 140725661861872 140121289871095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
/proc/26488/statm: 3854353 549661 3542 1 0 3815453 0
[pid=26488/tid=26489] ppid=26486 vsize=15417412 memory=2198644 CPUtime=2.16 cores=0,2,4,6
/proc/26488/task/26489/stat : 26489 (java) S 26486 26486 19920 0 -1 1077944384 10862 0 0 0 207 9 0 0 20 0 19 0 475067543 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121294111872 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26490] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.68 cores=0,2,4,6
/proc/26488/task/26490/stat : 26490 (java) S 26486 26486 19920 0 -1 1077944384 3522 0 0 0 44 24 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121242492048 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26491] ppid=26486 vsize=15417412 memory=2198644 CPUtime=0.68 cores=0,2,4,6
/proc/26488/task/26491/stat : 26491 (java) S 26486 26486 19920 0 -1 1077944384 4410 0 0 0 44 24 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121241439248 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26493] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.65 cores=0,2,4,6
/proc/26488/task/26493/stat : 26493 (java) S 26486 26486 19920 0 -1 1077944384 3653 0 0 0 42 23 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121240386448 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26494] ppid=26486 vsize=15417412 memory=2198644 CPUtime=0.67 cores=0,2,4,6
/proc/26488/task/26494/stat : 26494 (java) S 26486 26486 19920 0 -1 1077944384 5549 0 0 0 43 24 0 0 20 0 19 0 475067545 15787429888 549661 33554432000 4194304 4196468 140725661879328 140121239333648 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26495] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.31 cores=0,2,4,6
/proc/26488/task/26495/stat : 26495 (java) S 26486 26486 19920 0 -1 1077944384 6481 0 0 0 10 21 0 0 20 0 19 0 475067546 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120757889392 140121289882242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26496] ppid=26486 vsize=15417412 memory=2198640 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26496/stat : 26496 (java) S 26486 26486 19920 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475067547 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120756835424 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26497] ppid=26486 vsize=15417412 memory=2198644 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26497/stat : 26497 (java) S 26486 26486 19920 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 475067547 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120755782528 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26498] ppid=26486 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26498/stat : 26498 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120754730832 140121289889691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26499] ppid=26486 vsize=15417412 memory=2198640 CPUtime=4.69 cores=0,2,4,6
/proc/26488/task/26499/stat : 26499 (java) S 26486 26486 19920 0 -1 1077944384 33614 0 0 0 467 2 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120753679216 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26500] ppid=26486 vsize=15417412 memory=1456 CPUtime=4.1 cores=0,2,4,6
/proc/26488/task/26500/stat : 26500 (java) S 26486 26486 19920 0 -1 1077944384 29567 0 0 0 408 2 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120752626416 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26501] ppid=26486 vsize=15417412 memory=3504 CPUtime=0.9 cores=0,2,4,6
/proc/26488/task/26501/stat : 26501 (java) S 26486 26486 19920 0 -1 1077944384 20675 0 0 0 89 1 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120751573616 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26502] ppid=26486 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26488/task/26502/stat : 26502 (java) S 26486 26486 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120750521056 140121289881301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26503] ppid=26486 vsize=15417412 memory=1456 CPUtime=0.28 cores=0,2,4,6
/proc/26488/task/26503/stat : 26503 (java) S 26486 26486 19920 0 -1 1077944384 2207 0 0 0 15 13 0 0 20 0 19 0 475067550 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120749468336 140121289882242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26945] ppid=26486 vsize=15417412 memory=1456 CPUtime=324.24 cores=0,2,4,6
/proc/26488/task/26945/stat : 26945 (java) R 26486 26486 19920 0 -1 4202560 2197 0 0 0 32424 0 0 0 20 0 19 0 475107310 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120739433896 140120913377348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26946] ppid=26486 vsize=15417412 memory=1456 CPUtime=323.3 cores=0,2,4,6
/proc/26488/task/26946/stat : 26946 (java) R 26486 26486 19920 0 -1 4202560 2555 0 0 0 32330 0 0 0 20 0 19 0 475107310 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120740487072 140120911863196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26947] ppid=26486 vsize=15417412 memory=1456 CPUtime=322.41 cores=0,2,4,6
/proc/26488/task/26947/stat : 26947 (java) R 26486 26486 19920 0 -1 4202560 8895 0 0 0 32240 1 0 0 20 0 19 0 475107310 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120737329448 140120916351454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
[pid=26488/tid=26948] ppid=26486 vsize=15417412 memory=1456 CPUtime=323.78 cores=0,2,4,6
/proc/26488/task/26948/stat : 26948 (java) R 26486 26486 19920 0 -1 4202560 4065 0 0 0 32377 1 0 0 20 0 19 0 475107311 15787429888 549661 33554432000 4194304 4196468 140725661879328 140120738381720 140120911863227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34807808 140725661885403 140725661885578 140725661885578 140725661888463 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2200100 KiB
Child status: 143
Real time (s): 722.985
CPU time (s): 2400.44
CPU user time (s): 2398.79
CPU system time (s): 1.65566
CPU usage (%): 332.018
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 2200100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.79
system time used= 1.65566
maximum resident set size= 2199120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183320
page faults= 0
swaps= 0
block input operations= 8
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20554
involuntary context switches= 41706
# summary of solver processes directly reported to runsolver:
# pid: 26486,26488
# total CPU time (s): 2400.44
# total CPU user time (s): 2398.79
# total CPU system time (s): 1.65566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.58364 second user time and 8.13316 second system time
The end
Begin job on node119 at 2019-09-20 16:58:07 IDJOB=4404178 IDBENCH=133905 IDSOLVER=2864 FILE ID=node119/4404178-1568991527 RUNJOBID= node119-1568988114-19951 PBS_JOBID= 21704642 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-20 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 /var/tmp/evaluation-result-4404178-1568991527/watcher-4404178-1568991527 -o /var/tmp/evaluation-result-4404178-1568991527/solver-4404178-1568991527 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19951 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1335447250 HOME/instance-4404178-1568991527.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=1335447250 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 6289820 kB MemAvailable: 31140120 kB Buffers: 158724 kB Cached: 24611608 kB SwapCached: 46588 kB Active: 12984676 kB Inactive: 12501584 kB Active(anon): 671096 kB Inactive(anon): 94020 kB Active(file): 12313580 kB Inactive(file): 12407564 kB Unevictable: 109120 kB Mlocked: 109120 kB SwapTotal: 67108860 kB SwapFree: 66953200 kB Dirty: 27128 kB Writeback: 0 kB AnonPages: 780536 kB Mapped: 65560 kB Shmem: 40124 kB Slab: 587428 kB SReclaimable: 557616 kB SUnreclaim: 29812 kB KernelStack: 3792 kB PageTables: 6968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2104544 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 663552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13460 MiB End job on node119 at 2019-09-20 17:10:10