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 | 2520.37 | 637.313 |
| Name | Ramsey/Ramsey-m1-s1/ Ramsey-45.xml |
| MD5SUM | 1426235d943c6b8ba94de7087c35e664 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2520 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2025 |
| Number of constraints | 14190 |
| Number of domains | 1 |
| Minimum domain size | 990 |
| Maximum domain size | 990 |
| Distribution of domain sizes | [{"size":990,"count":990}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 44 |
| Distribution of variable degrees | [{"degree":0,"count":1035},{"degree":44,"count":990}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":14190}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"nValues","count":14190}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393418-1568320465.xml" -tl '2520s' -p 4 0.10/0.19 c Choco e747e1e 0.10/0.19 c [HOME/instance-4393418-1568320465.xml, -tl, 2520s, -p, 4] 0.31/0.23 c 4 solvers in parallel 0.31/0.30 c parse instance... 6.89/2.50 c solve instance... 14.10/4.33 o 885 21.59/6.29 o 866 27.10/7.77 o 820 32.48/9.19 o 489 36.81/10.28 o 476 40.78/11.29 o 199 44.75/12.24 o 181 48.35/13.14 o 180 52.32/14.20 o 118 55.87/15.05 o 23 62.95/19.05 o 18 66.24/19.93 o 12 69.63/20.86 o 10 74.08/22.03 o 8 79.32/23.44 o 7 111.96/31.70 o 6 894.35/228.81 o 5 2520.01/637.26 s SATISFIABLE 2520.01/637.26 v <instantiation> 2520.01/637.26 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> 2520.01/637.26 v <values>3 2 2 3 3 0 0 0 0 2 3 0 4 1 1 3 2 0 5 1 1 1 1 3 2 3 4 1 2 3 0 2 0 2 0 1 1 0 2 4 2 2 4 1 1 4 2 2 2 4 0 0 2 0 0 1 0 3 1 2 5 4 1 3 1 0 1 0 4 3 0 2 4 3 5 1 1 0 4 3 5 3 3 0 3 2 2 4 1 1 4 2 4 0 4 0 3 0 5 1 2 4 0 0 0 1 2 2 4 4 2 0 0 3 3 2 1 3 4 0 1 4 3 1 1 0 0 1 3 2 2 0 1 1 3 3 3 0 2 0 1 3 5 2 2 4 1 1 0 0 0 0 4 1 3 2 2 5 0 0 1 5 1 3 3 4 4 0 2 0 5 1 1 3 2 0 0 0 3 0 3 4 3 0 5 2 3 1 3 1 2 4 3 0 3 1 1 2 2 1 1 4 0 2 4 3 3 0 4 1 0 2 2 0 1 1 0 0 1 2 1 1 0 3 0 0 1 1 0 2 4 3 3 0 5 4 2 1 1 0 4 1 0 2 3 0 2 3 3 3 1 2 0 0 3 1 2 0 4 0 2 0 2 1 5 3 5 1 2 0 0 3 2 2 2 1 2 2 0 0 1 1 1 1 2 1 3 4 5 4 1 2 1 3 0 0 2 4 2 0 2 0 4 3 3 1 4 0 1 2 3 1 2 2 3 0 2 3 1 0 1 1 0 0 3 3 3 4 5 1 4 0 2 1 0 1 2 3 5 0 3 2 0 3 1 1 2 0 3 2 2 1 0 2 0 4 4 0 2 3 2 2 2 1 3 1 0 2 4 3 1 4 0 4 1 1 1 2 1 1 0 4 0 1 0 4 0 0 5 1 1 2 3 3 0 4 3 0 3 2 0 3 1 2 1 2 2 2 0 0 2 3 1 0 0 2 3 5 3 0 1 5 4 1 1 0 1 1 0 1 3 2 1 0 4 1 2 2 0 0 2 1 4 2 1 1 5 2 2 0 0 3 2 1 3 5 0 0 3 2 0 1 1 2 0 0 5 2 0 1 1 0 2 2 1 1 4 3 4 0 3 0 1 4 2 0 3 1 1 1 1 2 2 4 1 4 3 1 1 3 3 2 0 0 2 3 0 1 2 2 3 1 0 0 0 3 1 1 2 0 0 2 2 5 1 0 0 2 3 0 0 2 2 3 4 1 1 0 2 2 3 0 0 3 4 1 0 2 0 1 1 1 1 4 4 1 1 5 3 3 0 3 4 0 0 3 2 2 0 2 1 3 2 0 0 2 2 4 4 2 0 1 4 3 0 0 2 2 1 4 3 4 2 0 3 3 4 1 3 1 4 2 1 1 3 2 1 3 3 2 2 1 2 3 1 1 4 0 2 0 3 4 3 4 1 4 0 3 0 0 4 3 1 1 0 0 0 1 0 5 3 1 0 0 3 0 1 2 2 2 0 3 0 2 0 1 2 2 4 0 2 1 5 4 3 1 3 4 0 2 0 0 2 1 1 5 3 4 0 0 1 1 1 4 3 0 2 1 4 0 2 4 0 2 0 0 1 2 2 0 1 1 3 0 4 2 0 3 0 2 2 3 3 4 3 5 1 2 3 0 0 1 3 0 2 3 4 3 0 0 3 2 4 4 1 3 0 3 0 1 4 0 4 1 4 3 5 2 4 0 2 3 2 1 1 0 0 1 2 3 4 3 0 2 0 1 0 1 2 2 1 0 2 0 1 1 1 1 3 4 5 2 3 0 3 4 2 2 5 3 5 0 1 1 2 0 1 3 0 2 2 0 2 3 1 0 1 4 3 4 0 3 0 3 3 4 3 3 1 0 0 0 1 1 4 2 1 0 0 2 0 3 2 0 3 1 5 4 1 0 2 2 3 0 1 3 5 2 1 1 1 1 2 2 3 1 2 0 0 0 2 4 4 1 0 4 1 3 2 4 2 2 0 0 1 2 3 4 1 0 0 4 0 0 1 4 3 0 3 4 3 1 2 4 0 2 0 0 2 3 1 3 5 2 2 1 0 0 0 0 0 4 1 1 3 2 1 1 3 2 4 4 3 4 3 1 0 0 4 2 3 0 1 2 4 3 1 5 3 1 1 1 1 0 2 2 0 1 0 2 2 3 1 2 3 1 0 3 3 0 2 3 2 1 0 2 2 0 2 2 0 3 0 0 0 2 3 4 5 0 5 2 2 1 3 2 1 4 1 1 </values> 2520.01/637.26 v </instantiation> 2520.01/637.26 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 (9198 MiB free)
memory of node 1: 16384 MiB (15160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393418-1568320465/watcher-4393418-1568320465 -o /tmp/evaluation-result-4393418-1568320465/solver-4393418-1568320465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1572089603 HOME/instance-4393418-1568320465.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=23831, runsolver pid=23828
Current StackSize limit: 8192 KiB
[startup+0.10188 s]*
/proc/loadavg: 8.84 8.57 8.32 6/233 23847
/proc/meminfo: memFree=24927548/32770624 swapFree=66977612/67108860
[pid=23831] ppid=23828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (xcsp3-exec) S 23828 23831 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408303796 115843072 362 33554432000 4194304 5098028 140721916194448 140721916192552 139662365954684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11091968 140721916195706 140721916195949 140721916195949 140721916198858 0
/proc/23831/statm: 28282 362 304 221 0 87 0
[pid=23833] ppid=23831 vsize=15144768 memory=28872 CPUtime=0.1 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23831 23831 15592 0 -1 1077944320 5674 0 0 0 9 1 0 0 20 0 15 0 408303796 15508242432 7218 33554432000 4194304 4196468 140731262324720 140731262307264 139928231214839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
/proc/23833/statm: 3786192 7218 3117 1 0 3748377 0
[pid=23833/tid=23834] ppid=23831 vsize=15144768 memory=576460756329955459 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) R 23831 23831 15592 0 -1 4202560 3588 0 0 0 7 0 0 0 20 0 15 0 408303796 15508242432 7218 33554432000 4194304 4196468 140731262324720 139928235437600 139928231226774 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23835] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23835/stat : 23835 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 7218 33554432000 4194304 4196468 140731262324720 139928159255568 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23836] ppid=23831 vsize=15144768 memory=139625584734005 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 7218 33554432000 4194304 4196468 140731262324720 139928158203024 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23837] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 7218 33554432000 4194304 4196468 140731262324720 139928157149968 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23838] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23831 23831 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927820299152 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23839] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23831 23831 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303799 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927767050480 139928231225986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23840] ppid=23831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23831 23831 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408303799 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927765996704 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23841] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23831 23831 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408303799 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927764943600 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23842] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303802 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927763892176 139928231233435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23843] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23831 23831 15592 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 408303803 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927762840304 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23844] ppid=23831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23831 23831 15592 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408303803 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927761787760 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23845] ppid=23831 vsize=15144768 memory=139625584715392 CPUtime=0.01 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23831 23831 15592 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 408303803 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927760734704 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23846] ppid=23831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303803 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927759682400 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23847] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303803 15508242432 7218 33554432000 4194304 4196468 140731262324720 139927758629424 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30320 KiB
[startup+0.210782 s]*
/proc/loadavg: 8.84 8.57 8.32 6/233 23847
/proc/meminfo: memFree=24915020/32770624 swapFree=66977612/67108860
[pid=23831] ppid=23828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (xcsp3-exec) S 23828 23831 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408303796 115843072 362 33554432000 4194304 5098028 140721916194448 140721916192552 139662365954684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11091968 140721916195706 140721916195949 140721916195949 140721916198858 0
/proc/23831/statm: 28282 362 304 221 0 87 0
[pid=23833] ppid=23831 vsize=15144768 memory=40756 CPUtime=0.31 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23831 23831 15592 0 -1 1077944320 9431 0 0 0 28 3 0 0 20 0 15 0 408303796 15508242432 10189 33554432000 4194304 4196468 140731262324720 140731262307264 139928231214839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
/proc/23833/statm: 3786192 10189 3301 1 0 3748377 0
[pid=23833/tid=23834] ppid=23831 vsize=15144768 memory=7883960649037381690 CPUtime=0.18 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) R 23831 23831 15592 0 -1 4202560 6564 0 0 0 16 2 0 0 20 0 15 0 408303796 15508242432 10189 33554432000 4194304 4196468 140731262324720 139928235444112 139928223892853 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23835] ppid=23831 vsize=15144768 memory=1898157 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23835/stat : 23835 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 10189 33554432000 4194304 4196468 140731262324720 139928159255568 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23836] ppid=23831 vsize=15144768 memory=288370001736427136 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 10189 33554432000 4194304 4196468 140731262324720 139928158203024 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23837] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 10189 33554432000 4194304 4196468 140731262324720 139928157149968 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23838] ppid=23831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23831 23831 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303797 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927820299152 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23839] ppid=23831 vsize=15144768 memory=139625584715392 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23831 23831 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303799 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927767050480 139928231225986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23840] ppid=23831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23831 23831 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408303799 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927765996704 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23841] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23831 23831 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408303799 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927764943600 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23842] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303802 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927763892176 139928231233435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23843] ppid=23831 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23831 23831 15592 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 408303803 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927762840304 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23844] ppid=23831 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23831 23831 15592 0 -1 1077944384 394 0 0 0 2 0 0 0 20 0 15 0 408303803 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927761787760 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23845] ppid=23831 vsize=15144768 memory=139625584715392 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23831 23831 15592 0 -1 1077944384 725 0 0 0 7 0 0 0 20 0 15 0 408303803 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927760734704 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23846] ppid=23831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303803 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927759682400 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23847] ppid=23831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303803 15508242432 10189 33554432000 4194304 4196468 140731262324720 139927758629424 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42204 KiB
[startup+0.311223 s]*
/proc/loadavg: 8.84 8.57 8.32 7/233 23847
/proc/meminfo: memFree=24907140/32770624 swapFree=66977612/67108860
[pid=23831] ppid=23828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (xcsp3-exec) S 23828 23831 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408303796 115843072 362 33554432000 4194304 5098028 140721916194448 140721916192552 139662365954684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11091968 140721916195706 140721916195949 140721916195949 140721916198858 0
/proc/23831/statm: 28282 362 304 221 0 87 0
[pid=23833] ppid=23831 vsize=15149024 memory=47028 CPUtime=0.49 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23831 23831 15592 0 -1 1077944320 10602 0 0 0 45 4 0 0 20 0 15 0 408303796 15512600576 11757 33554432000 4194304 4196468 140731262324720 140731262307264 139928231214839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
/proc/23833/statm: 3787256 11757 3341 1 0 3748377 0
[pid=23833/tid=23834] ppid=23831 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23831 23831 15592 0 -1 1077944384 7635 0 0 0 26 3 0 0 20 0 15 0 408303796 15512600576 11757 33554432000 4194304 4196468 140731262324720 139928235448048 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23835] ppid=23831 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23835/stat : 23835 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15512600576 11757 33554432000 4194304 4196468 140731262324720 139928159255568 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23836] ppid=23831 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15512600576 11757 33554432000 4194304 4196468 140731262324720 139928158203024 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23837] ppid=23831 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15512600576 11757 33554432000 4194304 4196468 140731262324720 139928157149968 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23838] ppid=23831 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23831 23831 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303797 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927820299152 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23839] ppid=23831 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23831 23831 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408303799 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927767050480 139928231225986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23840] ppid=23831 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23831 23831 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408303799 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927765996704 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23841] ppid=23831 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23831 23831 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408303799 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927764943600 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23842] ppid=23831 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303802 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927763892176 139928231233435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23843] ppid=23831 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23831 23831 15592 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 408303803 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927762840304 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23844] ppid=23831 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) R 23831 23831 15592 0 -1 4202560 401 0 0 0 4 0 0 0 20 0 15 0 408303803 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927761787760 139928212393632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23845] ppid=23831 vsize=15149024 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23831 23831 15592 0 -1 1077944384 798 0 0 0 11 0 0 0 20 0 15 0 408303803 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927760734704 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23846] ppid=23831 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303803 15512600576 11757 33554432000 4194304 4196468 140731262324720 139927759682400 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23847] ppid=23831 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303803 15512600576 11822 33554432000 4194304 4196468 140731262324720 139927758629424 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48476 KiB
[startup+0.701219 s]
/proc/loadavg: 8.84 8.57 8.32 9/233 23847
/proc/meminfo: memFree=24882512/32770624 swapFree=66977612/67108860
[pid=23831] ppid=23828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (xcsp3-exec) S 23828 23831 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408303796 115843072 362 33554432000 4194304 5098028 140721916194448 140721916192552 139662365954684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11091968 140721916195706 140721916195949 140721916195949 140721916198858 0
/proc/23831/statm: 28282 362 304 221 0 87 0
[pid=23833] ppid=23831 vsize=15151148 memory=118284 CPUtime=1.68 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23831 23831 15592 0 -1 1077944320 14130 0 0 0 162 6 0 0 20 0 15 0 408303796 15514775552 29571 33554432000 4194304 4196468 140731262324720 140731262307264 139928231214839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
/proc/23833/statm: 3787787 29571 3445 1 0 3748889 0
[pid=23833/tid=23834] ppid=23831 vsize=15151148 memory=-3704326594973231466 CPUtime=0.66 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) R 23831 23831 15592 0 -1 4202560 8284 0 0 0 62 4 0 0 20 0 15 0 408303796 15514775552 29571 33554432000 4194304 4196468 140731262324720 139928235448768 139928215744571 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23835] ppid=23831 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23835/stat : 23835 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15514775552 29571 33554432000 4194304 4196468 140731262324720 139928159255568 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23836] ppid=23831 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15514775552 29571 33554432000 4194304 4196468 140731262324720 139928158203024 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23837] ppid=23831 vsize=15151148 memory=704 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303797 15514775552 29571 33554432000 4194304 4196468 140731262324720 139928157149968 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23838] ppid=23831 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23831 23831 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303797 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927820299152 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23839] ppid=23831 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23831 23831 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408303799 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927767050480 139928231225986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23840] ppid=23831 vsize=15151148 memory=780 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23831 23831 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408303799 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927765996704 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23841] ppid=23831 vsize=15151148 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23831 23831 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408303799 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927764943600 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23842] ppid=23831 vsize=15151148 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303802 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927763892176 139928231233435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23843] ppid=23831 vsize=15151148 memory=5952 CPUtime=0.35 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) R 23831 23831 15592 0 -1 4202560 1394 0 0 0 35 0 0 0 20 0 15 0 408303803 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927762840304 139928215330602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23844] ppid=23831 vsize=15151148 memory=7552 CPUtime=0.34 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) R 23831 23831 15592 0 -1 4202560 1489 0 0 0 34 0 0 0 20 0 15 0 408303803 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927761773640 139928216144252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23845] ppid=23831 vsize=15151148 memory=2832 CPUtime=0.29 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23831 23831 15592 0 -1 1077944384 1657 0 0 0 29 0 0 0 20 0 15 0 408303803 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927760734704 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23846] ppid=23831 vsize=15151148 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303803 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927759682400 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23847] ppid=23831 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23831 23831 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303803 15514775552 29571 33554432000 4194304 4196468 140731262324720 139927758629424 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 119732 KiB
[startup+1.50084 s]
/proc/loadavg: 8.84 8.57 8.32 9/233 23847
/proc/meminfo: memFree=24753252/32770624 swapFree=66977612/67108860
[pid=23831] ppid=23828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (xcsp3-exec) S 23828 23831 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408303796 115843072 362 33554432000 4194304 5098028 140721916194448 140721916192552 139662365954684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11091968 140721916195706 140721916195949 140721916195949 140721916198858 0
/proc/23831/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23833/stat : 23833 (java) S 23831 23831 15592 0 -1 1077944320 123102 0 0 0 206133 128 0 0 20 0 19 0 408303796 15787421696 366550 33554432000 4194304 4196468 140731262324720 140731262307264 139928231214839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
/proc/23833/statm: 3854351 366550 3538 1 0 3815453 0
[pid=23833/tid=23834] ppid=23831 vsize=15417404 memory=1466200 CPUtime=2.17 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23831 23831 15592 0 -1 1077944384 10534 0 0 0 209 8 0 0 20 0 19 0 408303796 15787421696 366550 33554432000 4194304 4196468 140731262324720 139928235455616 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23835] ppid=23831 vsize=15417404 memory=1466200 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23835/stat : 23835 (java) S 23831 23831 15592 0 -1 1077944384 4003 0 0 0 39 21 0 0 20 0 19 0 408303797 15787421696 366550 33554432000 4194304 4196468 140731262324720 139928159255568 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23836] ppid=23831 vsize=15417404 memory=1466200 CPUtime=0.58 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23831 23831 15592 0 -1 1077944384 3703 0 0 0 38 20 0 0 20 0 19 0 408303797 15787421696 366550 33554432000 4194304 4196468 140731262324720 139928158203024 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23837] ppid=23831 vsize=15417404 memory=1448 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23831 23831 15592 0 -1 1077944384 3194 0 0 0 39 21 0 0 20 0 19 0 408303797 15787421696 366550 33554432000 4194304 4196468 140731262324720 139928157149968 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23838] ppid=23831 vsize=15417404 memory=1466200 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23831 23831 15592 0 -1 1077944384 3256 0 0 0 40 20 0 0 20 0 19 0 408303797 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927820299152 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23839] ppid=23831 vsize=15417404 memory=56 CPUtime=0.13 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23831 23831 15592 0 -1 1077944384 3077 0 0 0 5 8 0 0 20 0 19 0 408303799 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927767050480 139928231225986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23840] ppid=23831 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23831 23831 15592 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 408303799 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927765996768 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23841] ppid=23831 vsize=15417404 memory=1466200 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23831 23831 15592 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408303799 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927764943616 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23842] ppid=23831 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303802 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927763892176 139928231233435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23843] ppid=23831 vsize=15417404 memory=38240 CPUtime=3.9 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23831 23831 15592 0 -1 1077944384 20352 0 0 0 388 2 0 0 20 0 19 0 408303803 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927762840304 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23844] ppid=23831 vsize=15417404 memory=1448 CPUtime=3.46 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23831 23831 15592 0 -1 1077944384 23750 0 0 0 344 2 0 0 20 0 19 0 408303803 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927761787760 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23845] ppid=23831 vsize=15417404 memory=1466200 CPUtime=0.78 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23831 23831 15592 0 -1 1077944384 11563 0 0 0 76 2 0 0 20 0 19 0 408303803 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927760734704 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23846] ppid=23831 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303803 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927759682400 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23847] ppid=23831 vsize=15417404 memory=1466200 CPUtime=0.18 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23831 23831 15592 0 -1 1077944384 2383 0 0 0 0 18 0 0 20 0 19 0 408303803 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927758629424 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23933] ppid=23831 vsize=15417404 memory=1466200 CPUtime=293.34 cores=0,2,4,6
/proc/23833/task/23933/stat : 23933 (java) R 23831 23831 15592 0 -1 4202560 1745 0 0 0 29334 0 0 0 20 0 19 0 408326677 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927678234216 139927840706471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23934] ppid=23831 vsize=15417404 memory=1448 CPUtime=293.24 cores=0,2,4,6
/proc/23833/task/23934/stat : 23934 (java) R 23831 23831 15592 0 -1 4202560 4223 0 0 0 29316 8 0 0 20 0 19 0 408326677 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927680340376 139927844213346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23935] ppid=23831 vsize=15417404 memory=704 CPUtime=288.14 cores=0,2,4,6
/proc/23833/task/23935/stat : 23935 (java) R 23831 23831 15592 0 -1 4202560 2085 0 0 0 28814 0 0 0 20 0 19 0 408326677 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927679287832 139927844803634 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23936] ppid=23831 vsize=15417404 memory=1056 CPUtime=293.17 cores=0,2,4,6
/proc/23833/task/23936/stat : 23936 (java) R 23831 23831 15592 0 -1 4202560 3868 0 0 0 29317 0 0 0 20 0 19 0 408326677 15787421696 366550 33554432000 4194304 4196468 140731262324720 139927681392048 139927843053060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
Current children cumulated CPU time: 2062.61 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1467648 KiB
[startup+582.301 s]
/proc/loadavg: 6.50 7.85 8.16 10/233 24051
/proc/meminfo: memFree=10748576/32770624 swapFree=66977612/67108860
[pid=23831] ppid=23828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (xcsp3-exec) S 23828 23831 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408303796 115843072 362 33554432000 4194304 5098028 140721916194448 140721916192552 139662365954684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11091968 140721916195706 140721916195949 140721916195949 140721916198858 0
/proc/23831/statm: 28282 362 304 221 0 87 0
[pid=23833] ppid=23831 vsize=15417404 memory=1494876 CPUtime=2301.45 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23831 23831 15592 0 -1 1077944320 124870 0 0 0 230017 128 0 0 20 0 19 0 408303796 15787421696 373719 33554432000 4194304 4196468 140731262324720 140731262307264 139928231214839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
/proc/23833/statm: 3854351 373719 3538 1 0 3815453 0
[pid=23833/tid=23834] ppid=23831 vsize=15417404 memory=1494876 CPUtime=2.17 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23831 23831 15592 0 -1 1077944384 10534 0 0 0 209 8 0 0 20 0 19 0 408303796 15787421696 373719 33554432000 4194304 4196468 140731262324720 139928235455616 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23835] ppid=23831 vsize=15417404 memory=1492828 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23835/stat : 23835 (java) S 23831 23831 15592 0 -1 1077944384 4003 0 0 0 39 21 0 0 20 0 19 0 408303797 15787421696 373719 33554432000 4194304 4196468 140731262324720 139928159255568 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23836] ppid=23831 vsize=15417404 memory=1466200 CPUtime=0.58 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23831 23831 15592 0 -1 1077944384 3703 0 0 0 38 20 0 0 20 0 19 0 408303797 15787421696 373719 33554432000 4194304 4196468 140731262324720 139928158203024 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23837] ppid=23831 vsize=15417404 memory=1472344 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23831 23831 15592 0 -1 1077944384 3194 0 0 0 39 21 0 0 20 0 19 0 408303797 15787421696 373719 33554432000 4194304 4196468 140731262324720 139928157149968 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23838] ppid=23831 vsize=15417404 memory=1474392 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23831 23831 15592 0 -1 1077944384 3256 0 0 0 40 20 0 0 20 0 19 0 408303797 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927820299152 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23839] ppid=23831 vsize=15417404 memory=1488732 CPUtime=0.13 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23831 23831 15592 0 -1 1077944384 3084 0 0 0 5 8 0 0 20 0 19 0 408303799 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927767050480 139928231225986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23840] ppid=23831 vsize=15417404 memory=1492828 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23831 23831 15592 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 408303799 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927765996768 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23841] ppid=23831 vsize=15417404 memory=1492828 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23831 23831 15592 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408303799 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927764943616 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23842] ppid=23831 vsize=15417404 memory=1494876 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303802 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927763892176 139928231233435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23843] ppid=23831 vsize=15417404 memory=1448 CPUtime=3.9 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23831 23831 15592 0 -1 1077944384 20355 0 0 0 388 2 0 0 20 0 19 0 408303803 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927762840304 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23844] ppid=23831 vsize=15417404 memory=279250855335296 CPUtime=3.46 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23831 23831 15592 0 -1 1077944384 23753 0 0 0 344 2 0 0 20 0 19 0 408303803 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927761787760 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23845] ppid=23831 vsize=15417404 memory=1492828 CPUtime=0.78 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23831 23831 15592 0 -1 1077944384 12317 0 0 0 76 2 0 0 20 0 19 0 408303803 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927760734704 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23846] ppid=23831 vsize=15417404 memory=1494876 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303803 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927759682400 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23847] ppid=23831 vsize=15417404 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23831 23831 15592 0 -1 1077944384 2420 0 0 0 0 22 0 0 20 0 19 0 408303803 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927758629424 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23933] ppid=23831 vsize=15417404 memory=1448 CPUtime=353.3 cores=0,2,4,6
/proc/23833/task/23933/stat : 23933 (java) R 23831 23831 15592 0 -1 4202560 1910 0 0 0 35330 0 0 0 20 0 19 0 408326677 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927678234216 139927840706368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23934] ppid=23831 vsize=15417404 memory=1448 CPUtime=353.21 cores=0,2,4,6
/proc/23833/task/23934/stat : 23934 (java) R 23831 23831 15592 0 -1 4202560 4750 0 0 0 35312 9 0 0 20 0 19 0 408326677 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927680342680 139927843053235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23935] ppid=23831 vsize=15417404 memory=1490780 CPUtime=347.06 cores=0,2,4,6
/proc/23833/task/23935/stat : 23935 (java) R 23831 23831 15592 0 -1 4202560 2220 0 0 0 34706 0 0 0 20 0 19 0 408326677 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927679287832 139927840706443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23936] ppid=23831 vsize=15417404 memory=1448 CPUtime=353.12 cores=0,2,4,6
/proc/23833/task/23936/stat : 23936 (java) R 23831 23831 15592 0 -1 4202560 4005 0 0 0 35312 0 0 0 20 0 19 0 408326677 15787421696 373719 33554432000 4194304 4196468 140731262324720 139927681392048 139927843053046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
Current children cumulated CPU time: 2301.45 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1496324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.201 s]
/proc/loadavg: 7.86 7.99 8.19 9/237 24136
/proc/meminfo: memFree=23023704/32770624 swapFree=66977612/67108860
[pid=23831] ppid=23828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (xcsp3-exec) S 23828 23831 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408303796 115843072 362 33554432000 4194304 5098028 140721916194448 140721916192552 139662365954684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11091968 140721916195706 140721916195949 140721916195949 140721916198858 0
/proc/23831/statm: 28282 362 304 221 0 87 0
[pid=23833] ppid=23831 vsize=15417404 memory=1535836 CPUtime=2520.01 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23831 23831 15592 0 -1 1077944320 125996 0 0 0 251871 130 0 0 20 0 19 0 408303796 15787421696 383959 33554432000 4194304 4196468 140731262324720 140731262307264 139928231214839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
/proc/23833/statm: 3854351 383959 3538 1 0 3815453 0
[pid=23833/tid=23834] ppid=23831 vsize=15417404 memory=1531740 CPUtime=2.17 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23831 23831 15592 0 -1 1077944384 10534 0 0 0 209 8 0 0 20 0 19 0 408303796 15787421696 383959 33554432000 4194304 4196468 140731262324720 139928235455616 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23835] ppid=23831 vsize=15417404 memory=988 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23835/stat : 23835 (java) S 23831 23831 15592 0 -1 1077944384 4003 0 0 0 39 21 0 0 20 0 19 0 408303797 15787421696 383959 33554432000 4194304 4196468 140731262324720 139928159255568 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23836] ppid=23831 vsize=15417404 memory=2004 CPUtime=0.58 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23831 23831 15592 0 -1 1077944384 3703 0 0 0 38 20 0 0 20 0 19 0 408303797 15787421696 383959 33554432000 4194304 4196468 140731262324720 139928158203024 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23837] ppid=23831 vsize=15417404 memory=1428 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23831 23831 15592 0 -1 1077944384 3194 0 0 0 39 21 0 0 20 0 19 0 408303797 15787421696 383959 33554432000 4194304 4196468 140731262324720 139928157149968 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23838] ppid=23831 vsize=15417404 memory=1724 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23831 23831 15592 0 -1 1077944384 3256 0 0 0 40 20 0 0 20 0 19 0 408303797 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927820299152 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23839] ppid=23831 vsize=15417404 memory=704 CPUtime=0.13 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23831 23831 15592 0 -1 1077944384 3144 0 0 0 5 8 0 0 20 0 19 0 408303799 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927767050480 139928231225986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23840] ppid=23831 vsize=15417404 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23831 23831 15592 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 408303799 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927765996768 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23841] ppid=23831 vsize=15417404 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23831 23831 15592 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408303799 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927764943616 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23842] ppid=23831 vsize=15417404 memory=780 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303802 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927763892176 139928231233435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23843] ppid=23831 vsize=15417404 memory=3252 CPUtime=3.9 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23831 23831 15592 0 -1 1077944384 20546 0 0 0 388 2 0 0 20 0 19 0 408303803 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927762840304 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23844] ppid=23831 vsize=15417404 memory=1533788 CPUtime=3.46 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23831 23831 15592 0 -1 1077944384 23756 0 0 0 344 2 0 0 20 0 19 0 408303803 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927761787760 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23845] ppid=23831 vsize=15417404 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23831 23831 15592 0 -1 1077944384 12330 0 0 0 76 2 0 0 20 0 19 0 408303803 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927760734704 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23846] ppid=23831 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23831 23831 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303803 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927759682400 139928231225045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23847] ppid=23831 vsize=15417404 memory=1531740 CPUtime=0.24 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23831 23831 15592 0 -1 1077944384 2444 0 0 0 0 24 0 0 20 0 19 0 408303803 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927758629424 139928231225986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23933] ppid=23831 vsize=15417404 memory=4100 CPUtime=407.32 cores=0,2,4,6
/proc/23833/task/23933/stat : 23933 (java) R 23831 23831 15592 0 -1 4202560 2098 0 0 0 40732 0 0 0 20 0 19 0 408326677 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927678234728 139927840706443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23934] ppid=23831 vsize=15417404 memory=1412 CPUtime=408.09 cores=0,2,4,6
/proc/23833/task/23934/stat : 23934 (java) R 23831 23831 15592 0 -1 4202560 5164 0 0 0 40800 9 0 0 20 0 19 0 408326677 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927680340744 139927843053176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23935] ppid=23831 vsize=15417404 memory=2932 CPUtime=401.8 cores=0,2,4,6
/proc/23833/task/23935/stat : 23935 (java) R 23831 23831 15592 0 -1 4202560 2270 0 0 0 40180 0 0 0 20 0 19 0 408326677 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927679288344 139927840706408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
[pid=23833/tid=23936] ppid=23831 vsize=15417404 memory=6791534058613427641 CPUtime=407.99 cores=0,2,4,6
/proc/23833/task/23936/stat : 23936 (java) R 23831 23831 15592 0 -1 4202560 4188 0 0 0 40799 0 0 0 20 0 19 0 408326677 15787421696 383959 33554432000 4194304 4196468 140731262324720 139927681392296 139927843053053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8876032 140731262325743 140731262325914 140731262325914 140731262328783 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1537284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.235 s]
# the end of solver process 23831 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002329 s, system=0 s
[startup+637.313 s]
# the end of solver process 23833 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.03 s, system=1.33624 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 637.313
CPU time (s): 2520.37
CPU user time (s): 2519.03
CPU system time (s): 1.33624
CPU usage (%): 395.468
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1537284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.03
system time used= 1.33624
maximum resident set size= 1542556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127318
page faults= 0
swaps= 0
block input operations= 8
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17798
involuntary context switches= 32908
# summary of solver processes directly reported to runsolver:
# pid: 23831,23833
# total CPU time (s): 2520.37
# total CPU user time (s): 2519.03
# total CPU system time (s): 1.33624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01736 second user time and 7.33503 second system time
The end
Begin job on node104 at 2019-09-12 21:24:08 IDJOB=4393418 IDBENCH=133905 IDSOLVER=2840 FILE ID=node104/4393418-1568320465 RUNJOBID= node104-1568309054-15623 PBS_JOBID= 21701133 Free space on /tmp= 56548 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-4393418-1568320465/watcher-4393418-1568320465 -o /tmp/evaluation-result-4393418-1568320465/solver-4393418-1568320465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1572089603 HOME/instance-4393418-1568320465.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=1572089603 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 24943368 kB MemAvailable: 31626044 kB Buffers: 126188 kB Cached: 6770168 kB SwapCached: 31864 kB Active: 2008576 kB Inactive: 5130008 kB Active(anon): 206196 kB Inactive(anon): 77652 kB Active(file): 1802380 kB Inactive(file): 5052356 kB Unevictable: 107804 kB Mlocked: 107804 kB SwapTotal: 67108860 kB SwapFree: 66977612 kB Dirty: 27248 kB Writeback: 0 kB AnonPages: 340380 kB Mapped: 55968 kB Shmem: 32780 kB Slab: 286324 kB SReclaimable: 256400 kB SUnreclaim: 29924 kB KernelStack: 4064 kB PageTables: 6524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1419920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56524 MiB End job on node104 at 2019-09-12 21:34:46