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 | 2520.47 | 637.697 |
| 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-4403878-1568991661.xml" -tl '2520s' -p 4 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4403878-1568991661.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 7.10/2.54 c solve instance... 14.52/4.47 o 885 21.61/6.24 o 866 27.18/7.63 o 820 32.35/8.99 o 489 37.15/10.14 o 476 41.13/11.18 o 199 45.09/12.18 o 181 51.85/13.83 o 139 56.02/14.90 o 111 59.58/15.88 o 106 72.75/19.21 o 43 75.59/20.31 o 42 79.65/21.46 o 41 117.52/31.09 o 29 124.78/34.82 o 13 129.26/36.04 o 11 133.63/37.24 o 9 140.85/39.17 o 8 145.57/40.41 o 7 197.67/53.63 o 6 877.06/224.87 o 5 2520.14/637.65 s SATISFIABLE 2520.14/637.65 v <instantiation> 2520.14/637.65 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.14/637.65 v <values>4 3 2 2 3 1 2 4 0 1 1 1 3 5 0 0 1 0 4 0 2 4 3 2 3 0 0 1 0 1 2 1 2 0 3 1 1 1 0 2 2 2 3 4 2 3 1 0 0 4 5 2 0 1 4 0 4 3 1 0 2 2 0 0 3 4 2 0 3 1 0 1 3 0 3 1 4 3 3 2 1 1 3 0 2 1 1 2 1 0 1 0 2 3 0 1 0 4 1 2 2 3 4 4 0 3 3 0 3 0 1 1 0 1 1 2 1 1 0 0 2 3 3 1 2 0 1 0 3 3 4 1 0 3 0 2 2 0 0 1 1 3 3 3 2 1 4 0 1 3 2 1 2 4 0 1 3 1 1 0 5 0 0 4 1 1 0 1 2 2 1 4 3 2 1 2 3 5 1 3 0 0 4 2 2 0 3 4 1 1 2 0 0 1 0 0 0 2 4 3 2 0 3 3 0 1 5 0 2 2 1 2 0 0 3 4 2 2 3 0 3 4 3 0 1 1 0 4 2 4 0 2 3 1 2 1 4 0 2 1 0 0 1 3 3 4 2 1 0 1 1 2 2 0 0 1 3 0 3 2 3 0 2 2 0 0 1 1 4 2 2 0 5 3 4 0 0 4 4 0 0 3 3 4 2 2 1 0 2 1 1 3 4 0 0 4 2 2 0 2 0 2 2 4 3 0 3 2 1 0 0 1 0 5 3 1 4 1 1 1 3 3 1 2 3 1 1 0 3 4 3 0 0 0 3 4 2 2 4 4 3 1 1 1 0 1 4 0 1 2 0 3 2 1 2 3 2 5 4 3 3 0 2 4 1 4 2 4 3 4 1 0 1 0 4 1 2 5 3 2 0 0 4 4 3 0 2 1 1 2 2 2 0 3 1 0 2 3 1 1 0 5 4 0 1 1 3 1 1 1 0 3 4 0 2 2 0 0 2 3 0 0 3 0 2 2 1 4 3 2 0 0 1 2 0 0 1 0 1 1 2 1 0 3 3 3 2 2 1 2 4 4 1 2 4 4 2 0 0 3 0 5 1 0 3 3 4 2 1 1 1 2 1 0 2 0 0 3 1 0 0 3 4 3 2 4 3 2 1 1 4 0 1 1 1 1 0 1 1 0 3 2 1 4 0 4 3 4 3 2 0 2 0 2 3 0 2 3 1 0 2 2 3 2 5 3 0 2 2 4 2 2 3 0 5 3 2 3 0 3 4 1 0 2 1 0 1 0 2 0 4 3 2 1 3 1 0 2 5 2 2 2 3 0 4 2 1 0 1 4 3 0 2 1 0 4 1 2 2 4 0 3 0 1 2 4 1 1 2 0 1 2 1 1 2 2 4 3 1 1 2 2 3 3 2 0 5 0 0 2 0 0 4 0 1 1 5 0 1 2 0 3 3 1 2 1 2 0 3 1 0 0 4 0 3 2 3 1 0 0 1 0 3 0 1 4 1 2 0 1 2 2 3 0 2 1 0 0 3 4 2 1 3 1 1 0 2 3 3 3 4 2 1 1 2 1 3 3 1 1 3 2 1 3 2 2 2 0 0 5 3 0 5 2 2 4 1 1 2 2 2 0 0 1 3 2 0 0 3 3 2 4 5 0 0 2 0 4 3 0 1 0 1 3 1 1 0 2 4 1 0 4 0 3 3 3 2 1 2 0 1 1 0 1 1 0 1 1 3 0 2 4 4 0 2 4 2 1 5 0 2 4 0 3 3 4 2 5 4 1 1 1 1 2 3 0 1 2 2 3 0 4 1 3 3 1 5 1 0 4 2 0 0 1 1 4 3 3 2 2 0 0 2 0 0 3 3 2 2 4 1 2 3 1 2 1 0 1 0 2 0 3 2 2 2 3 1 0 1 1 3 3 0 0 5 0 2 0 2 3 1 0 0 4 2 1 0 2 2 1 0 4 0 4 0 2 3 2 3 4 2 2 4 0 1 4 1 0 1 0 3 5 3 4 2 3 3 3 4 4 3 4 2 0 2 1 4 2 0 1 5 0 0 3 0 0 3 0 1 0 4 3 2 3 0 0 1 4 1 1 0 0 2 0 1 5 2 2 3 0 1 2 3 1 3 0 1 3 5 5 3 1 0 4 2 2 2 5 1 1 1 3 0 2 0 0 2 4 1 1 2 1 4 0 2 0 3 0 3 1 0 1 5 1 1 3 0 1 2 0 2 1 1 3 4 0 0 2 0 2 1 0 3 2 0 4 2 1 3 3 </values> 2520.14/637.65 v </instantiation> 2520.14/637.65 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 (6829 MiB free)
memory of node 1: 16384 MiB (2325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403878-1568991661/watcher-4403878-1568991661 -o /var/tmp/evaluation-result-4403878-1568991661/solver-4403878-1568991661 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3665 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1030839273 HOME/instance-4403878-1568991661.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
Current StackSize limit: 8192 KiB
solver pid=6691, runsolver pid=6688
[startup+0.10009 s]*
/proc/loadavg: 8.01 5.40 3.00 10/234 6707
/proc/meminfo: memFree=9356948/32770624 swapFree=66935844/67108860
[pid=6691] ppid=6688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (xcsp3-exec) S 6688 6691 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475079964 115843072 363 33554432000 4194304 5098028 140721110405824 140721110403928 139838391931516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25178112 140721110410070 140721110410329 140721110410329 140721110413254 0
/proc/6691/statm: 28282 363 304 221 0 87 0
[pid=6693] ppid=6691 vsize=15144776 memory=30064 CPUtime=0.13 cores=0,2,4,6
/proc/6693/stat : 6693 (java) S 6691 6691 3634 0 -1 1077944320 5412 0 0 0 12 1 0 0 20 0 15 0 475079964 15508250624 7516 33554432000 4194304 4196468 140725380556304 140725380538848 139677208641271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
/proc/6693/statm: 3786194 7516 3150 1 0 3748377 0
[pid=6693/tid=6694] ppid=6691 vsize=15144776 memory=8116232681942127451 CPUtime=0.08 cores=0,2,4,6
/proc/6693/task/6694/stat : 6694 (java) R 6691 6691 3634 0 -1 4202560 3369 0 0 0 8 0 0 0 20 0 15 0 475079965 15508250624 7516 33554432000 4194304 4196468 140725380556304 139677212874544 139677200878398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6695] ppid=6691 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6695/stat : 6695 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 7516 33554432000 4194304 4196468 140725380556304 139677169601040 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6696] ppid=6691 vsize=15144776 memory=140249565918848 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6696/stat : 6696 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 7516 33554432000 4194304 4196468 140725380556304 139676800227984 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6697] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6697/stat : 6697 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 7516 33554432000 4194304 4196468 140725380556304 139676799174928 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6698] ppid=6691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6698/stat : 6698 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 7516 33554432000 4194304 4196468 140725380556304 139676798122384 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6699] ppid=6691 vsize=15144776 memory=140249565918848 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6699/stat : 6699 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079967 15508250624 7516 33554432000 4194304 4196468 140725380556304 139676677245680 139677208652418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6700] ppid=6691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6700/stat : 6700 (java) S 6691 6691 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475079967 15508250624 7516 33554432000 4194304 4196468 140725380556304 139676676191904 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6701] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6701/stat : 6701 (java) S 6691 6691 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475079967 15508250624 7516 33554432000 4194304 4196468 140725380556304 139676675138800 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6702] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6702/stat : 6702 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 7582 33554432000 4194304 4196468 140725380556304 139676674087376 139677208659867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6703] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6703/stat : 6703 (java) R 6691 6691 3634 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 7582 33554432000 4194304 4196468 140725380556304 139676673033664 139677201746993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6704] ppid=6691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6704/stat : 6704 (java) R 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 7582 33554432000 4194304 4196468 140725380556304 139676671982032 139677208651477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6705] ppid=6691 vsize=15144776 memory=140249565918848 CPUtime=0.02 cores=0,2,4,6
/proc/6693/task/6705/stat : 6705 (java) R 6691 6691 3634 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 475079970 15508250624 7582 33554432000 4194304 4196468 140725380556304 139676670928880 139677208653206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6706] ppid=6691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6706/stat : 6706 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 7582 33554432000 4194304 4196468 140725380556304 139676669876576 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6707] ppid=6691 vsize=15144776 memory=140249565918848 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6707/stat : 6707 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 7648 33554432000 4194304 4196468 140725380556304 139676668824624 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31516 KiB
[startup+0.210704 s]*
/proc/loadavg: 8.01 5.40 3.00 7/234 6707
/proc/meminfo: memFree=9344100/32770624 swapFree=66935844/67108860
[pid=6691] ppid=6688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (xcsp3-exec) S 6688 6691 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475079964 115843072 363 33554432000 4194304 5098028 140721110405824 140721110403928 139838391931516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25178112 140721110410070 140721110410329 140721110410329 140721110413254 0
/proc/6691/statm: 28282 363 304 221 0 87 0
[pid=6693] ppid=6691 vsize=15144776 memory=41284 CPUtime=0.34 cores=0,2,4,6
/proc/6693/stat : 6693 (java) S 6691 6691 3634 0 -1 1077944320 9019 0 0 0 31 3 0 0 20 0 15 0 475079964 15508250624 10321 33554432000 4194304 4196468 140725380556304 140725380538848 139677208641271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
/proc/6693/statm: 3786194 10321 3301 1 0 3748377 0
[pid=6693/tid=6694] ppid=6691 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6693/task/6694/stat : 6694 (java) R 6691 6691 3634 0 -1 4202560 6177 0 0 0 18 2 0 0 20 0 15 0 475079965 15508250624 10321 33554432000 4194304 4196468 140725380556304 139677212875200 139677208653206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6695] ppid=6691 vsize=15144776 memory=8956 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6695/stat : 6695 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 10321 33554432000 4194304 4196468 140725380556304 139677169601040 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6696] ppid=6691 vsize=15144776 memory=288370625717630592 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6696/stat : 6696 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676800227984 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6697] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6697/stat : 6697 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676799174928 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6698] ppid=6691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6698/stat : 6698 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676798122384 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6699] ppid=6691 vsize=15144776 memory=140249565918848 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6699/stat : 6699 (java) S 6691 6691 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475079967 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676677245680 139677208652418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6700] ppid=6691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6700/stat : 6700 (java) S 6691 6691 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475079967 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676676191904 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6701] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6701/stat : 6701 (java) S 6691 6691 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475079967 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676675138800 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6702] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6702/stat : 6702 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676674087376 139677208659867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6703] ppid=6691 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6693/task/6703/stat : 6703 (java) S 6691 6691 3634 0 -1 1077944384 632 0 0 0 2 0 0 0 20 0 15 0 475079970 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676673034480 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6704] ppid=6691 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6693/task/6704/stat : 6704 (java) S 6691 6691 3634 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 475079970 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676671981936 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6705] ppid=6691 vsize=15144776 memory=140249565918848 CPUtime=0.07 cores=0,2,4,6
/proc/6693/task/6705/stat : 6705 (java) R 6691 6691 3634 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 15 0 475079970 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676670928880 139677187300474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6706] ppid=6691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6706/stat : 6706 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676669876576 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6707] ppid=6691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6707/stat : 6707 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079970 15508250624 10321 33554432000 4194304 4196468 140725380556304 139676668824624 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42736 KiB
[startup+0.320173 s]*
/proc/loadavg: 8.01 5.40 3.00 9/234 6707
/proc/meminfo: memFree=9337524/32770624 swapFree=66935844/67108860
[pid=6691] ppid=6688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (xcsp3-exec) S 6688 6691 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475079964 115843072 363 33554432000 4194304 5098028 140721110405824 140721110403928 139838391931516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25178112 140721110410070 140721110410329 140721110410329 140721110413254 0
/proc/6691/statm: 28282 363 304 221 0 87 0
[pid=6693] ppid=6691 vsize=15149032 memory=50024 CPUtime=0.55 cores=0,2,4,6
/proc/6693/stat : 6693 (java) S 6691 6691 3634 0 -1 1077944320 10399 0 0 0 51 4 0 0 20 0 15 0 475079964 15512608768 12506 33554432000 4194304 4196468 140725380556304 140725380538848 139677208641271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
/proc/6693/statm: 3787258 12506 3342 1 0 3748377 0
[pid=6693/tid=6694] ppid=6691 vsize=15149032 memory=8112282956445269571 CPUtime=0.31 cores=0,2,4,6
/proc/6693/task/6694/stat : 6694 (java) R 6691 6691 3634 0 -1 4202560 7393 0 0 0 28 3 0 0 20 0 15 0 475079965 15512608768 12571 33554432000 4194304 4196468 140725380556304 139677212872384 139677208663197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6695] ppid=6691 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6695/stat : 6695 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15512608768 12571 33554432000 4194304 4196468 140725380556304 139677169601040 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6696] ppid=6691 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6696/stat : 6696 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676800227984 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6697] ppid=6691 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6697/stat : 6697 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676799174928 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6698] ppid=6691 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6698/stat : 6698 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676798122384 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6699] ppid=6691 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6699/stat : 6699 (java) S 6691 6691 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475079967 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676677245680 139677208652418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6700] ppid=6691 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6700/stat : 6700 (java) S 6691 6691 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475079967 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676676191904 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6701] ppid=6691 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6701/stat : 6701 (java) S 6691 6691 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475079967 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676675138800 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6702] ppid=6691 vsize=15149032 memory=-6372718397967082684 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6702/stat : 6702 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676674087376 139677208659867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6703] ppid=6691 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/6693/task/6703/stat : 6703 (java) S 6691 6691 3634 0 -1 1077944384 643 0 0 0 4 0 0 0 20 0 15 0 475079970 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676673034480 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6704] ppid=6691 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6693/task/6704/stat : 6704 (java) S 6691 6691 3634 0 -1 1077944384 229 0 0 0 5 0 0 0 20 0 15 0 475079970 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676671981936 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6705] ppid=6691 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6693/task/6705/stat : 6705 (java) S 6691 6691 3634 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 15 0 475079970 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676670928880 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6706] ppid=6691 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6706/stat : 6706 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676669876576 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6707] ppid=6691 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6707/stat : 6707 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079970 15512608768 12579 33554432000 4194304 4196468 140725380556304 139676668824624 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51476 KiB
[startup+0.70117 s]
/proc/loadavg: 8.01 5.44 3.02 7/234 6707
/proc/meminfo: memFree=9314596/32770624 swapFree=66935844/67108860
[pid=6691] ppid=6688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (xcsp3-exec) S 6688 6691 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475079964 115843072 363 33554432000 4194304 5098028 140721110405824 140721110403928 139838391931516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25178112 140721110410070 140721110410329 140721110410329 140721110413254 0
/proc/6691/statm: 28282 363 304 221 0 87 0
[pid=6693] ppid=6691 vsize=15151156 memory=126392 CPUtime=1.71 cores=0,2,4,6
/proc/6693/stat : 6693 (java) S 6691 6691 3634 0 -1 1077944320 13596 0 0 0 165 6 0 0 20 0 15 0 475079964 15514783744 31598 33554432000 4194304 4196468 140725380556304 140725380538848 139677208641271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
/proc/6693/statm: 3787789 31598 3445 1 0 3748889 0
[pid=6693/tid=6694] ppid=6691 vsize=15151156 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/6693/task/6694/stat : 6694 (java) R 6691 6691 3634 0 -1 4202560 7858 0 0 0 64 4 0 0 20 0 15 0 475079965 15514783744 31598 33554432000 4194304 4196468 140725380556304 139677212876600 139676848715812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6695] ppid=6691 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6695/stat : 6695 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15514783744 31598 33554432000 4194304 4196468 140725380556304 139677169601040 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6696] ppid=6691 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6696/stat : 6696 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676800227984 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6697] ppid=6691 vsize=15151156 memory=55780 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6697/stat : 6697 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079965 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676799174928 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6698] ppid=6691 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6698/stat : 6698 (java) S 6691 6691 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475079965 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676798122384 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6699] ppid=6691 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6699/stat : 6699 (java) S 6691 6691 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475079967 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676677245680 139677208652418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6700] ppid=6691 vsize=15151156 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6700/stat : 6700 (java) S 6691 6691 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475079967 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676676191904 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6701] ppid=6691 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6701/stat : 6701 (java) S 6691 6691 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475079967 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676675138800 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6702] ppid=6691 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6702/stat : 6702 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676674087376 139677208659867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6703] ppid=6691 vsize=15151156 memory=6024 CPUtime=0.35 cores=0,2,4,6
/proc/6693/task/6703/stat : 6703 (java) R 6691 6691 3634 0 -1 4202560 1620 0 0 0 35 0 0 0 20 0 15 0 475079970 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676673014272 139677188329742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6704] ppid=6691 vsize=15151156 memory=11416 CPUtime=0.36 cores=0,2,4,6
/proc/6693/task/6704/stat : 6704 (java) R 6691 6691 3634 0 -1 4202560 1143 0 0 0 36 0 0 0 20 0 15 0 475079970 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676671975128 139677193551396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6705] ppid=6691 vsize=15151156 memory=780 CPUtime=0.3 cores=0,2,4,6
/proc/6693/task/6705/stat : 6705 (java) S 6691 6691 3634 0 -1 1077944384 1666 0 0 0 29 1 0 0 20 0 15 0 475079970 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676670928880 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6706] ppid=6691 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6706/stat : 6706 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475079970 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676669876576 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6707] ppid=6691 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6707/stat : 6707 (java) S 6691 6691 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475079970 15514783744 31598 33554432000 4194304 4196468 140725380556304 139676668824624 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 127844 KiB
[startup+1.50122 s]
/proc/loadavg: 8.01 5.44 3.02 7/234 6707
/proc/meminfo: memFree=9189348/32770624 swapFree=66935844/67108860
[pid=6691] ppid=6688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (xcsp3-exec) S 6688 6691 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475079964 115843072 363 33554432000 4194304 5098028 140721110405824 140721110403928 139838391931516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25178112 140721110410070 140721110410329 140721110410329 140721110413254 0
/proc/6691/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6693/stat : 6693 (java) S 6691 6691 3634 0 -1 1077944320 192156 0 0 0 205947 165 0 0 20 0 19 0 475079964 15923752960 545347 33554432000 4194304 4196468 140725380556304 140725380538848 139677208641271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
/proc/6693/statm: 3887635 545347 3541 1 0 3848735 0
[pid=6693/tid=6694] ppid=6691 vsize=15550540 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/6693/task/6694/stat : 6694 (java) S 6691 6691 3634 0 -1 1077944384 10367 0 0 0 213 10 0 0 20 0 19 0 475079965 15923752960 545347 33554432000 4194304 4196468 140725380556304 139677212882048 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6695] ppid=6691 vsize=15550540 memory=2181388 CPUtime=0.69 cores=0,2,4,6
/proc/6693/task/6695/stat : 6695 (java) S 6691 6691 3634 0 -1 1077944384 4836 0 0 0 43 26 0 0 20 0 19 0 475079965 15923752960 545347 33554432000 4194304 4196468 140725380556304 139677169601040 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6696] ppid=6691 vsize=15550540 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/6693/task/6696/stat : 6696 (java) S 6691 6691 3634 0 -1 1077944384 5124 0 0 0 44 25 0 0 20 0 19 0 475079965 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676800227984 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6697] ppid=6691 vsize=15550540 memory=2181388 CPUtime=0.65 cores=0,2,4,6
/proc/6693/task/6697/stat : 6697 (java) S 6691 6691 3634 0 -1 1077944384 4068 0 0 0 40 25 0 0 20 0 19 0 475079965 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676799174928 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6698] ppid=6691 vsize=15550540 memory=2181388 CPUtime=0.67 cores=0,2,4,6
/proc/6693/task/6698/stat : 6698 (java) S 6691 6691 3634 0 -1 1077944384 4320 0 0 0 42 25 0 0 20 0 19 0 475079965 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676798122384 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6699] ppid=6691 vsize=15550540 memory=1452 CPUtime=0.31 cores=0,2,4,6
/proc/6693/task/6699/stat : 6699 (java) S 6691 6691 3634 0 -1 1077944384 7062 0 0 0 11 20 0 0 20 0 19 0 475079967 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676677245680 139677208652418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6700] ppid=6691 vsize=15550540 memory=2181388 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6700/stat : 6700 (java) S 6691 6691 3634 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475079967 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676676191968 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6701] ppid=6691 vsize=15550540 memory=28902 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6701/stat : 6701 (java) S 6691 6691 3634 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475079967 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676675138816 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6702] ppid=6691 vsize=15550540 memory=28956 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6702/stat : 6702 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475079970 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676674087376 139677208659867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6703] ppid=6691 vsize=15550540 memory=1452 CPUtime=4.71 cores=0,2,4,6
/proc/6693/task/6703/stat : 6703 (java) S 6691 6691 3634 0 -1 1077944384 39028 0 0 0 468 3 0 0 20 0 19 0 475079970 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676673034480 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6704] ppid=6691 vsize=15550540 memory=1452 CPUtime=4.83 cores=0,2,4,6
/proc/6693/task/6704/stat : 6704 (java) S 6691 6691 3634 0 -1 1077944384 38926 0 0 0 480 3 0 0 20 0 19 0 475079970 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676671981936 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6705] ppid=6691 vsize=15550540 memory=8112282956445269571 CPUtime=0.89 cores=0,2,4,6
/proc/6693/task/6705/stat : 6705 (java) S 6691 6691 3634 0 -1 1077944384 17227 0 0 0 87 2 0 0 20 0 19 0 475079970 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676670928880 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6706] ppid=6691 vsize=15550540 memory=2181388 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6706/stat : 6706 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475079970 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676669876576 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6707] ppid=6691 vsize=15550540 memory=1452 CPUtime=0.15 cores=0,2,4,6
/proc/6693/task/6707/stat : 6707 (java) S 6691 6691 3634 0 -1 1077944384 1779 0 0 0 5 10 0 0 20 0 19 0 475079970 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676668824624 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6832] ppid=6691 vsize=15550540 memory=3512 CPUtime=296.41 cores=0,2,4,6
/proc/6693/task/6832/stat : 6832 (java) R 6691 6691 3634 0 -1 4202560 2119 0 0 0 29641 0 0 0 20 0 19 0 475102452 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676656446648 139676849849678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6833] ppid=6691 vsize=15550540 memory=1452 CPUtime=296.96 cores=0,2,4,6
/proc/6693/task/6833/stat : 6833 (java) R 6691 6691 3634 0 -1 4202560 2690 0 0 0 29696 0 0 0 20 0 19 0 475102455 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676655394376 139676849553589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6834] ppid=6691 vsize=15550540 memory=2181388 CPUtime=296.07 cores=0,2,4,6
/proc/6693/task/6834/stat : 6834 (java) R 6691 6691 3634 0 -1 4202560 8588 0 0 0 29606 1 0 0 20 0 19 0 475102455 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676659607688 139676849849843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6835] ppid=6691 vsize=15550540 memory=1452 CPUtime=293.77 cores=0,2,4,6
/proc/6693/task/6835/stat : 6835 (java) R 6691 6691 3634 0 -1 4202560 4020 0 0 0 29377 0 0 0 20 0 19 0 475102455 15923752960 545347 33554432000 4194304 4196468 140725380556304 139676654342224 139676851842158 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
Current children cumulated CPU time: 2061.12 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 2182840 KiB
[startup+582.303 s]
/proc/loadavg: 8.40 8.04 5.55 9/237 6863
/proc/meminfo: memFree=7200688/32770624 swapFree=66935844/67108860
[pid=6691] ppid=6688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (xcsp3-exec) S 6688 6691 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475079964 115843072 363 33554432000 4194304 5098028 140721110405824 140721110403928 139838391931516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25178112 140721110410070 140721110410329 140721110410329 140721110413254 0
/proc/6691/statm: 28282 363 304 221 0 87 0
[pid=6693] ppid=6691 vsize=15550540 memory=2181392 CPUtime=2299.96 cores=0,2,4,6
/proc/6693/stat : 6693 (java) S 6691 6691 3634 0 -1 1077944320 194819 0 0 0 229828 168 0 0 20 0 19 0 475079964 15923752960 545348 33554432000 4194304 4196468 140725380556304 140725380538848 139677208641271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
/proc/6693/statm: 3887635 545348 3541 1 0 3848735 0
[pid=6693/tid=6694] ppid=6691 vsize=15550540 memory=2181392 CPUtime=2.23 cores=0,2,4,6
/proc/6693/task/6694/stat : 6694 (java) S 6691 6691 3634 0 -1 1077944384 10367 0 0 0 213 10 0 0 20 0 19 0 475079965 15923752960 545348 33554432000 4194304 4196468 140725380556304 139677212882048 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6695] ppid=6691 vsize=15550540 memory=2181392 CPUtime=0.69 cores=0,2,4,6
/proc/6693/task/6695/stat : 6695 (java) S 6691 6691 3634 0 -1 1077944384 4836 0 0 0 43 26 0 0 20 0 19 0 475079965 15923752960 545348 33554432000 4194304 4196468 140725380556304 139677169601040 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6696] ppid=6691 vsize=15550540 memory=2181392 CPUtime=0.69 cores=0,2,4,6
/proc/6693/task/6696/stat : 6696 (java) S 6691 6691 3634 0 -1 1077944384 5124 0 0 0 44 25 0 0 20 0 19 0 475079965 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676800227984 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6697] ppid=6691 vsize=15550540 memory=2181392 CPUtime=0.65 cores=0,2,4,6
/proc/6693/task/6697/stat : 6697 (java) S 6691 6691 3634 0 -1 1077944384 4068 0 0 0 40 25 0 0 20 0 19 0 475079965 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676799174928 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6698] ppid=6691 vsize=15550540 memory=1452 CPUtime=0.67 cores=0,2,4,6
/proc/6693/task/6698/stat : 6698 (java) S 6691 6691 3634 0 -1 1077944384 4320 0 0 0 42 25 0 0 20 0 19 0 475079965 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676798122384 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6699] ppid=6691 vsize=15550540 memory=1452 CPUtime=0.35 cores=0,2,4,6
/proc/6693/task/6699/stat : 6699 (java) S 6691 6691 3634 0 -1 1077944384 7192 0 0 0 12 23 0 0 20 0 19 0 475079967 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676677245680 139677208652418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6700] ppid=6691 vsize=15550540 memory=2181392 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6700/stat : 6700 (java) S 6691 6691 3634 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475079967 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676676191968 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6701] ppid=6691 vsize=15550540 memory=2181392 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6701/stat : 6701 (java) S 6691 6691 3634 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475079967 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676675138816 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6702] ppid=6691 vsize=15550540 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6702/stat : 6702 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475079970 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676674087376 139677208659867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6703] ppid=6691 vsize=15550540 memory=1452 CPUtime=4.71 cores=0,2,4,6
/proc/6693/task/6703/stat : 6703 (java) S 6691 6691 3634 0 -1 1077944384 39031 0 0 0 468 3 0 0 20 0 19 0 475079970 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676673034480 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6704] ppid=6691 vsize=15550540 memory=1452 CPUtime=4.83 cores=0,2,4,6
/proc/6693/task/6704/stat : 6704 (java) S 6691 6691 3634 0 -1 1077944384 38929 0 0 0 480 3 0 0 20 0 19 0 475079970 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676671981936 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6705] ppid=6691 vsize=15550540 memory=4486604260213485459 CPUtime=0.89 cores=0,2,4,6
/proc/6693/task/6705/stat : 6705 (java) S 6691 6691 3634 0 -1 1077944384 18099 0 0 0 87 2 0 0 20 0 19 0 475079970 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676670928880 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6706] ppid=6691 vsize=15550540 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6706/stat : 6706 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475079970 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676669876576 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6707] ppid=6691 vsize=15550540 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/6693/task/6707/stat : 6707 (java) S 6691 6691 3634 0 -1 1077944384 1805 0 0 0 5 11 0 0 20 0 19 0 475079970 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676668824624 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6832] ppid=6691 vsize=15550540 memory=2181392 CPUtime=355.82 cores=0,2,4,6
/proc/6693/task/6832/stat : 6832 (java) R 6691 6691 3634 0 -1 4202560 2274 0 0 0 35582 0 0 0 20 0 19 0 475102452 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676656446648 139676849849743 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6833] ppid=6691 vsize=15550540 memory=8112282956445269571 CPUtime=356.95 cores=0,2,4,6
/proc/6693/task/6833/stat : 6833 (java) R 6691 6691 3634 0 -1 4202560 2968 0 0 0 35694 1 0 0 20 0 19 0 475102455 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676655394128 139676849553601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6834] ppid=6691 vsize=15550540 memory=1560 CPUtime=356.03 cores=0,2,4,6
/proc/6693/task/6834/stat : 6834 (java) R 6691 6691 3634 0 -1 4202560 9343 0 0 0 35602 1 0 0 20 0 19 0 475102455 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676659605560 139676849849816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6835] ppid=6691 vsize=15550540 memory=1452 CPUtime=353.21 cores=0,2,4,6
/proc/6693/task/6835/stat : 6835 (java) R 6691 6691 3634 0 -1 4202560 4461 0 0 0 35321 0 0 0 20 0 19 0 475102455 15923752960 545348 33554432000 4194304 4196468 140725380556304 139676654342472 139676849553535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
Current children cumulated CPU time: 2299.96 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 2182844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.601 s]
/proc/loadavg: 8.31 8.07 5.70 11/238 7038
/proc/meminfo: memFree=8823040/32770624 swapFree=66935844/67108860
[pid=6691] ppid=6688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (xcsp3-exec) S 6688 6691 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475079964 115843072 363 33554432000 4194304 5098028 140721110405824 140721110403928 139838391931516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25178112 140721110410070 140721110410329 140721110410329 140721110413254 0
/proc/6691/statm: 28282 363 304 221 0 87 0
[pid=6693] ppid=6691 vsize=15550540 memory=2390544 CPUtime=2520.14 cores=0,2,4,6
/proc/6693/stat : 6693 (java) S 6691 6691 3634 0 -1 1077944320 197602 0 0 0 251834 180 0 0 20 0 19 0 475079964 15923752960 597636 33554432000 4194304 4196468 140725380556304 140725380538848 139677208641271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
/proc/6693/statm: 3887635 597636 3541 1 0 3848735 0
[pid=6693/tid=6694] ppid=6691 vsize=15550540 memory=8112282956445269571 CPUtime=2.23 cores=0,2,4,6
/proc/6693/task/6694/stat : 6694 (java) S 6691 6691 3634 0 -1 1077944384 10367 0 0 0 213 10 0 0 20 0 19 0 475079965 15923752960 597636 33554432000 4194304 4196468 140725380556304 139677212882048 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6695] ppid=6691 vsize=15550540 memory=2390544 CPUtime=0.74 cores=0,2,4,6
/proc/6693/task/6695/stat : 6695 (java) S 6691 6691 3634 0 -1 1077944384 5070 0 0 0 45 29 0 0 20 0 19 0 475079965 15923752960 597636 33554432000 4194304 4196468 140725380556304 139677169601040 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6696] ppid=6691 vsize=15550540 memory=55808 CPUtime=0.74 cores=0,2,4,6
/proc/6693/task/6696/stat : 6696 (java) S 6691 6691 3634 0 -1 1077944384 5198 0 0 0 46 28 0 0 20 0 19 0 475079965 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676800227984 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6697] ppid=6691 vsize=15550540 memory=2020 CPUtime=0.69 cores=0,2,4,6
/proc/6693/task/6697/stat : 6697 (java) S 6691 6691 3634 0 -1 1077944384 4250 0 0 0 42 27 0 0 20 0 19 0 475079965 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676799174928 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6698] ppid=6691 vsize=15550540 memory=988 CPUtime=0.72 cores=0,2,4,6
/proc/6693/task/6698/stat : 6698 (java) S 6691 6691 3634 0 -1 1077944384 4896 0 0 0 44 28 0 0 20 0 19 0 475079965 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676798122384 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6699] ppid=6691 vsize=15550540 memory=3848 CPUtime=0.35 cores=0,2,4,6
/proc/6693/task/6699/stat : 6699 (java) S 6691 6691 3634 0 -1 1077944384 7473 0 0 0 12 23 0 0 20 0 19 0 475079967 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676677245680 139677208652418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6700] ppid=6691 vsize=15550540 memory=2604 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6700/stat : 6700 (java) S 6691 6691 3634 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475079967 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676676191968 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6701] ppid=6691 vsize=15550540 memory=2672 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6701/stat : 6701 (java) S 6691 6691 3634 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475079967 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676675138816 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6702] ppid=6691 vsize=15550540 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6702/stat : 6702 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475079970 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676674087376 139677208659867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6703] ppid=6691 vsize=15550540 memory=796 CPUtime=4.71 cores=0,2,4,6
/proc/6693/task/6703/stat : 6703 (java) S 6691 6691 3634 0 -1 1077944384 39039 0 0 0 468 3 0 0 20 0 19 0 475079970 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676673034480 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6704] ppid=6691 vsize=15550540 memory=4100 CPUtime=4.83 cores=0,2,4,6
/proc/6693/task/6704/stat : 6704 (java) S 6691 6691 3634 0 -1 1077944384 38932 0 0 0 480 3 0 0 20 0 19 0 475079970 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676671981936 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6705] ppid=6691 vsize=15550540 memory=1808 CPUtime=0.89 cores=0,2,4,6
/proc/6693/task/6705/stat : 6705 (java) S 6691 6691 3634 0 -1 1077944384 18103 0 0 0 87 2 0 0 20 0 19 0 475079970 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676670928880 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6706] ppid=6691 vsize=15550540 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/6693/task/6706/stat : 6706 (java) S 6691 6691 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475079970 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676669876576 139677208651477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6707] ppid=6691 vsize=15550540 memory=1056 CPUtime=0.19 cores=0,2,4,6
/proc/6693/task/6707/stat : 6707 (java) S 6691 6691 3634 0 -1 1077944384 1835 0 0 0 6 13 0 0 20 0 19 0 475079970 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676668824624 139677208652418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6832] ppid=6691 vsize=15550540 memory=1716 CPUtime=410.08 cores=0,2,4,6
/proc/6693/task/6832/stat : 6832 (java) R 6691 6691 3634 0 -1 4202560 2443 0 0 0 41008 0 0 0 20 0 19 0 475102452 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676656446400 139676849849743 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6833] ppid=6691 vsize=15550540 memory=6024 CPUtime=412.2 cores=0,2,4,6
/proc/6693/task/6833/stat : 6833 (java) R 6691 6691 3634 0 -1 4202560 3216 0 0 0 41219 1 0 0 20 0 19 0 475102455 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676655397344 139676849553104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6834] ppid=6691 vsize=15550540 memory=11416 CPUtime=411.26 cores=0,2,4,6
/proc/6693/task/6834/stat : 6834 (java) R 6691 6691 3634 0 -1 4202560 9972 0 0 0 41123 3 0 0 20 0 19 0 475102455 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676659605560 139676849849883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
[pid=6693/tid=6835] ppid=6691 vsize=15550540 memory=1228 CPUtime=408.45 cores=0,2,4,6
/proc/6693/task/6835/stat : 6835 (java) R 6691 6691 3634 0 -1 4202560 4806 0 0 0 40845 0 0 0 20 0 19 0 475102455 15923752960 597636 33554432000 4194304 4196468 140725380556304 139676654342728 139676849553535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17399808 140725380559835 140725380560010 140725380560010 140725380562895 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 2391996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.624 s]
# the end of solver process 6691 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001253 s, system=0.001253 s
[startup+637.697 s]
# the end of solver process 6693 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.64 s, system=1.83283 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.697
CPU time (s): 2520.47
CPU user time (s): 2518.64
CPU system time (s): 1.83283
CPU usage (%): 395.246
Max. virtual memory (cumulated for all children) (KiB): 15663668
Max. memory (cumulated for all children) (KiB): 2391996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.64
system time used= 1.83283
maximum resident set size= 2391024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18845
involuntary context switches= 45232
# summary of solver processes directly reported to runsolver:
# pid: 6691,6693
# total CPU time (s): 2520.47
# total CPU user time (s): 2518.64
# total CPU system time (s): 1.83283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84065 second user time and 7.25773 second system time
The end
Begin job on node147 at 2019-09-20 17:00:18 IDJOB=4403878 IDBENCH=133905 IDSOLVER=2863 FILE ID=node147/4403878-1568991661 RUNJOBID= node147-1568991333-3665 PBS_JOBID= 21704655 Free space on /var/tmp= 13484 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-4403878-1568991661/watcher-4403878-1568991661 -o /var/tmp/evaluation-result-4403878-1568991661/solver-4403878-1568991661 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3665 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1030839273 HOME/instance-4403878-1568991661.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=1030839273 node147.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.52 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.52 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.52 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.52 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: 9374228 kB MemAvailable: 29806408 kB Buffers: 141688 kB Cached: 20218664 kB SwapCached: 68676 kB Active: 12141092 kB Inactive: 10268124 kB Active(anon): 1981152 kB Inactive(anon): 116760 kB Active(file): 10159940 kB Inactive(file): 10151364 kB Unevictable: 109112 kB Mlocked: 109112 kB SwapTotal: 67108860 kB SwapFree: 66935844 kB Dirty: 15468 kB Writeback: 0 kB AnonPages: 2193640 kB Mapped: 65592 kB Shmem: 40796 kB Slab: 579944 kB SReclaimable: 549336 kB SUnreclaim: 30608 kB KernelStack: 4176 kB PageTables: 9912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4198504 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2066432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13456 MiB End job on node147 at 2019-09-20 17:10:56