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-16 parallel | SAT (TO) | 5 | 1754.5 | 252.15 |
| Name | Ramsey/Ramsey-m1-s1/ Ramsey-45.xml |
| MD5SUM | 1426235d943c6b8ba94de7087c35e664 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1998.35 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2025 |
| Number of constraints | 14190 |
| Number of domains | 1 |
| Minimum domain size | 990 |
| Maximum domain size | 990 |
| Distribution of domain sizes | [{"size":990,"count":990}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 44 |
| Distribution of variable degrees | [{"degree":0,"count":1035},{"degree":44,"count":990}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":14190}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"nValues","count":14190}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400278-1568711201.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400278-1568711201.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 11.84/3.60 c solve instance... 30.79/6.03 o 989 34.51/6.74 o 959 37.27/7.74 o 885 52.60/9.75 o 884 55.30/10.12 o 866 63.16/11.21 o 863 66.35/11.76 o 820 82.84/17.50 o 489 87.70/18.42 o 487 92.78/19.30 o 476 101.89/20.61 o 199 108.66/21.61 o 198 111.46/22.26 o 197 112.40/22.47 o 181 121.00/23.66 o 180 124.84/24.34 o 139 128.89/24.99 o 138 132.08/25.56 o 111 136.37/26.24 o 110 138.78/26.85 o 106 143.25/27.60 o 105 146.85/28.18 o 104 152.42/29.03 o 103 153.61/29.29 o 99 188.58/44.84 o 98 189.85/45.04 o 93 197.25/47.84 o 92 199.87/48.40 o 91 205.15/49.17 o 90 209.45/49.79 o 89 214.86/50.55 o 88 218.36/51.12 o 87 224.12/52.43 o 86 225.60/52.73 o 43 227.61/53.17 o 42 232.93/53.94 o 41 237.15/54.60 o 40 243.18/55.40 o 39 248.06/56.11 o 38 253.30/56.89 o 37 259.05/58.40 o 36 264.25/59.16 o 35 268.59/59.86 o 34 272.84/60.59 o 33 276.42/61.29 o 32 280.53/61.99 o 31 284.01/62.56 o 23 289.34/63.32 o 22 292.18/63.90 o 14 299.28/65.72 o 13 302.02/66.26 o 12 307.08/66.94 o 11 312.66/68.79 o 10 318.54/69.66 o 9 321.74/70.20 o 8 327.47/71.01 o 7 333.89/72.04 o 6 1431.99/211.62 o 5 1753.73/252.07 s SATISFIABLE 1753.73/252.07 v <instantiation> 1753.73/252.07 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> 1753.73/252.07 v <values>2 3 0 2 1 1 1 1 0 0 0 3 2 1 4 0 5 3 3 1 2 2 3 3 3 1 5 2 1 3 4 1 1 4 4 0 3 0 0 2 1 4 2 0 4 1 3 1 0 1 4 0 0 4 0 0 2 3 3 2 0 3 3 1 3 5 2 1 1 3 0 1 1 5 2 2 0 4 1 2 3 0 4 3 2 1 1 0 3 0 0 0 3 5 4 1 0 2 2 3 3 2 1 4 3 3 1 2 2 1 1 3 1 1 2 4 1 1 1 3 4 1 1 0 0 4 0 3 0 3 3 4 2 2 1 1 3 2 4 3 0 2 0 0 1 2 3 1 0 1 3 0 0 3 0 0 1 2 0 3 1 2 2 3 1 2 0 1 2 4 1 0 1 4 3 2 0 4 0 2 5 4 0 0 0 5 0 1 0 2 1 1 2 1 1 0 3 0 1 1 2 2 5 1 3 0 0 2 0 3 2 2 4 0 1 2 1 1 4 1 0 1 0 1 0 2 0 3 1 4 3 1 0 0 3 1 0 2 0 1 0 1 5 3 3 2 2 2 3 3 0 2 1 3 2 2 2 0 0 2 4 3 4 3 1 2 1 3 2 0 2 3 1 3 3 0 2 0 1 0 0 1 2 3 1 1 2 0 1 1 0 1 1 2 0 0 1 0 0 3 0 0 2 1 2 4 1 2 4 2 1 4 3 0 0 3 1 2 3 3 0 4 3 2 0 2 2 0 0 2 5 5 3 1 1 0 2 1 4 2 3 0 2 0 0 0 0 0 2 1 1 3 4 3 1 3 2 0 0 1 4 1 4 3 3 3 2 0 1 0 3 0 2 0 2 1 1 2 1 1 1 2 1 0 1 0 2 0 1 4 0 0 2 2 1 1 2 3 0 2 2 3 1 2 0 1 0 1 4 1 2 0 1 1 2 2 0 1 1 3 3 3 1 2 0 0 3 3 2 0 3 1 2 2 1 3 1 0 5 3 2 5 0 0 3 0 0 3 0 2 4 2 1 4 2 4 1 2 1 0 1 2 4 3 0 0 0 1 0 4 2 1 0 2 1 1 0 3 1 1 3 3 0 1 0 1 0 0 3 1 1 1 1 1 0 2 2 4 1 3 2 3 1 4 0 0 1 0 3 1 1 2 2 0 1 0 0 2 0 2 1 1 1 1 0 2 0 5 1 2 2 0 1 0 1 1 3 4 0 0 0 0 4 3 1 3 1 1 4 2 4 3 0 0 3 4 4 1 4 0 2 1 3 2 1 1 2 1 1 1 3 0 2 1 2 2 4 1 3 0 1 0 1 0 2 1 5 4 2 1 4 0 0 0 4 2 1 3 1 3 3 1 1 1 5 2 3 1 1 1 1 1 1 2 0 1 3 3 3 0 1 2 0 1 1 0 1 3 0 2 2 5 1 3 4 3 0 2 0 4 1 2 2 4 2 0 2 1 2 2 4 0 3 3 3 2 3 0 3 3 2 2 0 2 0 0 1 2 1 2 0 0 4 0 0 1 0 4 3 3 3 1 2 2 3 2 2 0 3 0 0 1 0 2 3 2 2 1 2 2 1 3 0 1 0 1 0 0 0 1 2 3 1 1 1 2 0 0 0 0 5 4 3 1 2 3 2 1 3 2 4 2 1 1 1 4 0 0 4 2 0 1 3 5 0 0 2 0 2 3 3 0 4 2 3 4 0 0 2 0 0 1 2 3 2 5 1 3 2 0 1 0 1 3 4 1 2 3 2 0 2 1 3 0 0 0 0 0 4 2 3 4 4 1 2 1 0 0 0 1 2 2 4 5 0 1 0 3 4 1 2 4 4 1 0 0 2 0 3 1 4 5 4 3 2 2 0 0 0 2 3 0 0 4 3 3 4 0 1 1 0 1 3 0 4 3 2 1 1 2 1 0 0 1 4 3 2 2 0 5 0 2 0 5 1 0 5 1 3 3 3 2 2 3 2 0 3 0 2 0 0 4 2 3 3 1 2 1 0 0 0 1 3 0 2 3 2 2 0 1 2 3 0 0 3 1 0 0 2 5 4 4 0 4 0 1 0 0 0 1 2 1 1 3 0 1 1 3 2 1 2 4 1 1 1 2 2 0 0 4 3 2 3 2 3 4 2 1 2 5 4 0 0 2 0 1 2 4 0 0 0 2 3 1 3 1 1 1 1 2 0 0 0 0 3 1 0 2 0 4 3 4 4 4 3 3 0 5 2 0 </values> 1753.73/252.07 v </instantiation> 1753.73/252.07 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 (15224 MiB free)
memory of node 1: 16384 MiB (15528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400278-1568711201/watcher-4400278-1568711201 -o /tmp/evaluation-result-4400278-1568711201/solver-4400278-1568711201 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568700929-11062 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1332786510 HOME/instance-4400278-1568711201.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14775, runsolver pid=14772
[startup+0.100163 s]*
/proc/loadavg: 8.00 8.15 8.24 2/212 14796
/proc/meminfo: memFree=31474064/32770624 swapFree=66997372/67108860
[pid=14775] ppid=14772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14775/stat : 14775 (xcsp3-exec) S 14772 14775 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447373191 115843072 362 33554432000 4194304 5098028 140731892255696 140731892253800 140078335058556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39251968 140731892261755 140731892261998 140731892261998 140731892264906 0
/proc/14775/statm: 28282 362 304 221 0 87 0
[pid=14777] ppid=14775 vsize=28227396 memory=29084 CPUtime=0.12 cores=0-7
/proc/14777/stat : 14777 (java) S 14775 14775 11035 0 -1 1077944320 5736 0 0 0 11 1 0 0 20 0 20 0 447373191 28904853504 7271 33554432000 4194304 4196468 140733980267552 140733980250096 140447118843639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
/proc/14777/statm: 7056849 7271 3120 1 0 7019032 0
[pid=14777/tid=14778] ppid=14775 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14775 14775 11035 0 -1 4202560 3666 0 0 0 8 0 0 0 20 0 20 0 447373192 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447123069936 140447111182180 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14779] ppid=14775 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373192 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447071464464 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14780] ppid=14775 vsize=28227396 memory=140474205808256 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447070411920 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14781] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447069358864 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14782] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447068306320 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14783] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447067253264 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14784] ppid=14775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447066200720 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14785] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447065147664 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14786] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 7271 33554432000 4194304 4196468 140733980267552 140447064095120 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14787] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373194 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445247130352 140447118854786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14788] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14775 14775 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447373195 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445246076576 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14789] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14775 14775 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447373195 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445245023472 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14790] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373197 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445243972048 140447118862235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14791] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) S 14775 14775 11035 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 447373197 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445242919152 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14792] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14775 14775 11035 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447373197 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445241866608 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14793] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447373197 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445240813552 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14794] ppid=14775 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) R 14775 14775 11035 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 20 0 447373197 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445239761008 140447097556551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14795] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447373197 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445238709216 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14796] ppid=14775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373198 28904853504 7271 33554432000 4194304 4196468 140733980267552 140445237656752 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30532 KiB
[startup+0.210189 s]*
/proc/loadavg: 8.00 8.15 8.24 2/212 14796
/proc/meminfo: memFree=31461092/32770624 swapFree=66997372/67108860
[pid=14775] ppid=14772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14775/stat : 14775 (xcsp3-exec) S 14772 14775 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447373191 115843072 362 33554432000 4194304 5098028 140731892255696 140731892253800 140078335058556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39251968 140731892261755 140731892261998 140731892261998 140731892264906 0
/proc/14775/statm: 28282 362 304 221 0 87 0
[pid=14777] ppid=14775 vsize=28227396 memory=41160 CPUtime=0.33 cores=0-7
/proc/14777/stat : 14777 (java) S 14775 14775 11035 0 -1 1077944320 9492 0 0 0 31 2 0 0 20 0 20 0 447373191 28904853504 10290 33554432000 4194304 4196468 140733980267552 140733980250096 140447118843639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
/proc/14777/statm: 7056849 10290 3290 1 0 7019032 0
[pid=14777/tid=14778] ppid=14775 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14775 14775 11035 0 -1 4202560 6670 0 0 0 19 1 0 0 20 0 20 0 447373192 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447123075552 140447118855574 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14779] ppid=14775 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373192 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447071464464 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14780] ppid=14775 vsize=28227396 memory=3546504403083536032 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447070411920 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14781] ppid=14775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447069358864 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14782] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447068306320 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14783] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447067253264 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14784] ppid=14775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447066200720 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14785] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447065147664 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14786] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447373193 28904853504 10290 33554432000 4194304 4196468 140733980267552 140447064095120 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14787] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14775 14775 11035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447373194 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445247130352 140447118854786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14788] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14775 14775 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447373195 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445246076576 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14789] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14775 14775 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447373195 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445245023472 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14790] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373197 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445243972048 140447118862235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14791] ppid=14775 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) R 14775 14775 11035 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 447373197 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445242919152 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14792] ppid=14775 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14775 14775 11035 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 447373197 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445241866608 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14793] ppid=14775 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) R 14775 14775 11035 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 447373197 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445240813552 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14794] ppid=14775 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) R 14775 14775 11035 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 447373197 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445239761008 140447098253425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14795] ppid=14775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447373197 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445238709216 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14796] ppid=14775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373198 28904853504 10290 33554432000 4194304 4196468 140733980267552 140445237656752 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42608 KiB
[startup+0.309557 s]*
/proc/loadavg: 8.00 8.15 8.24 4/212 14796
/proc/meminfo: memFree=31453460/32770624 swapFree=66997372/67108860
[pid=14775] ppid=14772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14775/stat : 14775 (xcsp3-exec) S 14772 14775 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447373191 115843072 362 33554432000 4194304 5098028 140731892255696 140731892253800 140078335058556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39251968 140731892261755 140731892261998 140731892261998 140731892264906 0
/proc/14775/statm: 28282 362 304 221 0 87 0
[pid=14777] ppid=14775 vsize=28231652 memory=49960 CPUtime=0.52 cores=0-7
/proc/14777/stat : 14777 (java) S 14775 14775 11035 0 -1 1077944320 10830 0 0 0 49 3 0 0 20 0 20 0 447373191 28909211648 12490 33554432000 4194304 4196468 140733980267552 140733980250096 140447118843639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
/proc/14777/statm: 7057913 12490 3335 1 0 7019032 0
[pid=14777/tid=14778] ppid=14775 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14775 14775 11035 0 -1 4202560 7779 0 0 0 28 2 0 0 20 0 20 0 447373192 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447123074752 140447102924126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14779] ppid=14775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373192 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447071464464 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14780] ppid=14775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447070411920 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14781] ppid=14775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447069358864 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14782] ppid=14775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447068306320 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14783] ppid=14775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447067253264 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14784] ppid=14775 vsize=28231652 memory=140474086156975 CPUtime=0 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447066200720 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14785] ppid=14775 vsize=28231652 memory=140474086159280 CPUtime=0 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447065147664 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14786] ppid=14775 vsize=28231652 memory=140474086161584 CPUtime=0 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447373193 28909211648 12490 33554432000 4194304 4196468 140733980267552 140447064095120 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14787] ppid=14775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14775 14775 11035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447373194 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445247130352 140447118854786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14788] ppid=14775 vsize=28231652 memory=280948172337040 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14775 14775 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447373195 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445246076576 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14789] ppid=14775 vsize=28231652 memory=280948172334736 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14775 14775 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447373195 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445245023472 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14790] ppid=14775 vsize=28231652 memory=280948172341648 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373197 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445243972048 140447118862235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14791] ppid=14775 vsize=28231652 memory=280948172282928 CPUtime=0.02 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) R 14775 14775 11035 0 -1 4202560 434 0 0 0 2 0 0 0 20 0 20 0 447373197 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445242900168 140447100022592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14792] ppid=14775 vsize=28231652 memory=280948172355472 CPUtime=0.02 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14775 14775 11035 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 20 0 447373197 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445241866608 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14793] ppid=14775 vsize=28231652 memory=280948172362384 CPUtime=0.03 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) S 14775 14775 11035 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 20 0 447373197 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445240813552 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14794] ppid=14775 vsize=28231652 memory=280948172360080 CPUtime=0.12 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) S 14775 14775 11035 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 20 0 447373197 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445239761008 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14795] ppid=14775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447373197 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445238709216 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14796] ppid=14775 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373198 28909211648 12490 33554432000 4194304 4196468 140733980267552 140445237656752 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51408 KiB
[startup+0.700939 s]
/proc/loadavg: 8.00 8.15 8.24 4/212 14796
/proc/meminfo: memFree=31426624/32770624 swapFree=66997372/67108860
[pid=14775] ppid=14772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14775/stat : 14775 (xcsp3-exec) S 14772 14775 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447373191 115843072 362 33554432000 4194304 5098028 140731892255696 140731892253800 140078335058556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39251968 140731892261755 140731892261998 140731892261998 140731892264906 0
/proc/14775/statm: 28282 362 304 221 0 87 0
[pid=14777] ppid=14775 vsize=28233776 memory=141168 CPUtime=2 cores=0-7
/proc/14777/stat : 14777 (java) S 14775 14775 11035 0 -1 1077944320 15162 0 0 0 194 6 0 0 20 0 20 0 447373191 28911386624 35292 33554432000 4194304 4196468 140733980267552 140733980250096 140447118843639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
/proc/14777/statm: 7058444 35292 3452 1 0 7019544 0
[pid=14777/tid=14778] ppid=14775 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14775 14775 11035 0 -1 4202560 8375 0 0 0 64 4 0 0 20 0 20 0 447373192 28911386624 35292 33554432000 4194304 4196468 140733980267552 140447123078288 140446726225615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14779] ppid=14775 vsize=28233776 memory=140474086368112 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373192 28911386624 35292 33554432000 4194304 4196468 140733980267552 140447071464464 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14780] ppid=14775 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14775 14775 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447373193 28911386624 35292 33554432000 4194304 4196468 140733980267552 140447070411920 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14781] ppid=14775 vsize=28233776 memory=1004 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447373193 28911386624 35292 33554432000 4194304 4196468 140733980267552 140447069358864 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
################
# More data... #
################
/proc/meminfo: memFree=28300600/32770624 swapFree=66997372/67108860
[pid=14775] ppid=14772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14775/stat : 14775 (xcsp3-exec) S 14772 14775 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447373191 115843072 362 33554432000 4194304 5098028 140731892255696 140731892253800 140078335058556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39251968 140731892261755 140731892261998 140731892261998 140731892264906 0
/proc/14775/statm: 28282 362 304 221 0 87 0
[pid=14777] ppid=14775 vsize=28767316 memory=3199572 CPUtime=1516.99 cores=0-7
/proc/14777/stat : 14777 (java) S 14775 14775 11035 0 -1 1077944320 367570 0 0 0 151040 659 0 0 20 0 28 0 447373191 29457731584 799893 33554432000 4194304 4196468 140733980267552 140733980250096 140447118843639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
/proc/14777/statm: 7191829 799893 3544 1 0 7152929 0
[pid=14777/tid=14778] ppid=14775 vsize=28767316 memory=1448 CPUtime=3.04 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) S 14775 14775 11035 0 -1 1077944384 12066 0 0 0 294 10 0 0 20 0 28 0 447373192 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447123084416 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14779] ppid=14775 vsize=28767316 memory=2789612 CPUtime=1.19 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14775 14775 11035 0 -1 1077944384 2927 0 0 0 64 55 0 0 20 0 28 0 447373192 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447071464464 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14780] ppid=14775 vsize=28767316 memory=2789612 CPUtime=1.19 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14775 14775 11035 0 -1 1077944384 2542 0 0 0 66 53 0 0 20 0 28 0 447373193 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447070411920 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14781] ppid=14775 vsize=28767316 memory=1448 CPUtime=1.21 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14775 14775 11035 0 -1 1077944384 3282 0 0 0 68 53 0 0 20 0 28 0 447373193 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447069358864 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14782] ppid=14775 vsize=28767316 memory=2849004 CPUtime=1.2 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14775 14775 11035 0 -1 1077944384 2838 0 0 0 67 53 0 0 20 0 28 0 447373193 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447068306320 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14783] ppid=14775 vsize=28767316 memory=3142448 CPUtime=1.18 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14775 14775 11035 0 -1 1077944384 2561 0 0 0 66 52 0 0 20 0 28 0 447373193 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447067253264 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14784] ppid=14775 vsize=28767316 memory=3199572 CPUtime=1.23 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14775 14775 11035 0 -1 1077944384 2819 0 0 0 66 57 0 0 20 0 28 0 447373193 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447066200720 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14785] ppid=14775 vsize=28767316 memory=3199572 CPUtime=1.23 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14775 14775 11035 0 -1 1077944384 3683 0 0 0 69 54 0 0 20 0 28 0 447373193 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447065147664 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14786] ppid=14775 vsize=28767316 memory=3199032 CPUtime=1.24 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14775 14775 11035 0 -1 1077944384 3694 0 0 0 64 60 0 0 20 0 28 0 447373193 29457731584 799893 33554432000 4194304 4196468 140733980267552 140447064095120 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14787] ppid=14775 vsize=28767316 memory=3199436 CPUtime=0.22 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14775 14775 11035 0 -1 1077944384 7689 0 0 0 14 8 0 0 20 0 28 0 447373194 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445247130352 140447118854786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14788] ppid=14775 vsize=28767316 memory=3199572 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14775 14775 11035 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 447373195 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445246076640 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14789] ppid=14775 vsize=28767316 memory=3199572 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14775 14775 11035 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 447373195 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445245023488 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14790] ppid=14775 vsize=28767316 memory=3199572 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447373197 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445243972048 140447118862235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14791] ppid=14775 vsize=28767316 memory=3199572 CPUtime=3.47 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) S 14775 14775 11035 0 -1 1077944384 18527 0 0 0 343 4 0 0 20 0 28 0 447373197 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445242919152 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14792] ppid=14775 vsize=28767316 memory=1448 CPUtime=3.75 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14775 14775 11035 0 -1 1077944384 25740 0 0 0 371 4 0 0 20 0 28 0 447373197 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445241866608 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14793] ppid=14775 vsize=28767316 memory=99 CPUtime=3.07 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) S 14775 14775 11035 0 -1 1077944384 15834 0 0 0 305 2 0 0 20 0 28 0 447373197 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445240813552 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14794] ppid=14775 vsize=28767316 memory=1448 CPUtime=1 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) S 14775 14775 11035 0 -1 1077944384 14464 0 0 0 96 4 0 0 20 0 28 0 447373197 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445239761008 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14795] ppid=14775 vsize=28767316 memory=3199032 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447373197 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445238709216 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14796] ppid=14775 vsize=28767316 memory=3199572 CPUtime=0.08 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14775 14775 11035 0 -1 1077944384 2691 0 0 0 4 4 0 0 20 0 28 0 447373198 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445237656752 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 61 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15275] ppid=14775 vsize=28767316 memory=3504 CPUtime=10.53 cores=0-7
/proc/14777/task/15275/stat : 15275 (java) R 14775 14775 11035 0 -1 4202560 3166 0 0 0 1052 1 0 0 20 0 28 0 447394353 29457731584 799893 33554432000 4194304 4196468 140733980267552 140444916583112 140446726033474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15276] ppid=14775 vsize=28767316 memory=1448 CPUtime=10.64 cores=0-7
/proc/14777/task/15276/stat : 15276 (java) R 14775 14775 11035 0 -1 4202560 332 0 0 0 1064 0 0 0 20 0 28 0 447394353 29457731584 799893 33554432000 4194304 4196468 140733980267552 140444917637688 140446726033408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15277] ppid=14775 vsize=28767316 memory=3199572 CPUtime=10.64 cores=0-7
/proc/14777/task/15277/stat : 15277 (java) R 14775 14775 11035 0 -1 4202560 4105 0 0 0 1063 1 0 0 20 0 28 0 447394353 29457731584 799893 33554432000 4194304 4196468 140733980267552 140444912373944 140446726033359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15278] ppid=14775 vsize=28767316 memory=4872558044660077418 CPUtime=10.56 cores=0-7
/proc/14777/task/15278/stat : 15278 (java) R 14775 14775 11035 0 -1 4202560 218 0 0 0 1056 0 0 0 20 0 28 0 447394354 29457731584 799893 33554432000 4194304 4196468 140733980267552 140444915532088 140446727026542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15279] ppid=14775 vsize=28767316 memory=3504 CPUtime=10.57 cores=0-7
/proc/14777/task/15279/stat : 15279 (java) R 14775 14775 11035 0 -1 4202560 496 0 0 0 1057 0 0 0 20 0 28 0 447394354 29457731584 799893 33554432000 4194304 4196468 140733980267552 140445230772488 140446729774142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15280] ppid=14775 vsize=28767316 memory=48672 CPUtime=10.6 cores=0-7
/proc/14777/task/15280/stat : 15280 (java) R 14775 14775 11035 0 -1 4202560 2687 0 0 0 1060 0 0 0 20 0 28 0 447394354 29457731584 799893 33554432000 4194304 4196468 140733980267552 140444914479656 140446729594940 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15281] ppid=14775 vsize=28767316 memory=1448 CPUtime=10.63 cores=0-7
/proc/14777/task/15281/stat : 15281 (java) R 14775 14775 11035 0 -1 4202560 734 0 0 0 1059 4 0 0 20 0 28 0 447394354 29457731584 799893 33554432000 4194304 4196468 140733980267552 140444913426904 140446731499501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15282] ppid=14775 vsize=28767316 memory=3199572 CPUtime=10.46 cores=0-7
/proc/14777/task/15282/stat : 15282 (java) R 14775 14775 11035 0 -1 4202560 75 0 0 0 1046 0 0 0 20 0 28 0 447394354 29457731584 799893 33554432000 4194304 4196468 140733980267552 140444918690032 140446727026480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
Current children cumulated CPU time: 1516.99 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 3201020 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 7.85 7.60 7.95 9/219 15285
/proc/meminfo: memFree=28300672/32770624 swapFree=66997372/67108860
[pid=14775] ppid=14772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14775/stat : 14775 (xcsp3-exec) S 14772 14775 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447373191 115843072 362 33554432000 4194304 5098028 140731892255696 140731892253800 140078335058556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39251968 140731892261755 140731892261998 140731892261998 140731892264906 0
/proc/14775/statm: 28282 362 304 221 0 87 0
[pid=14777] ppid=14775 vsize=28767316 memory=3199580 CPUtime=1753.73 cores=0-7
/proc/14777/stat : 14777 (java) S 14775 14775 11035 0 -1 1077944320 433351 0 0 0 174688 685 0 0 20 0 28 0 447373191 29457731584 799895 33554432000 4194304 4196468 140733980267552 140733980250096 140447118843639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
/proc/14777/statm: 7191829 799895 3544 1 0 7152929 0
[pid=14777/tid=14778] ppid=14775 vsize=28767316 memory=932 CPUtime=3.04 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) S 14775 14775 11035 0 -1 1077944384 12066 0 0 0 294 10 0 0 20 0 28 0 447373192 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447123084416 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14779] ppid=14775 vsize=28767316 memory=3768 CPUtime=1.19 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14775 14775 11035 0 -1 1077944384 2927 0 0 0 64 55 0 0 20 0 28 0 447373192 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447071464464 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14780] ppid=14775 vsize=28767316 memory=1980 CPUtime=1.19 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14775 14775 11035 0 -1 1077944384 2542 0 0 0 66 53 0 0 20 0 28 0 447373193 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447070411920 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14781] ppid=14775 vsize=28767316 memory=4872558044660077418 CPUtime=1.21 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14775 14775 11035 0 -1 1077944384 3282 0 0 0 68 53 0 0 20 0 28 0 447373193 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447069358864 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14782] ppid=14775 vsize=28767316 memory=3199580 CPUtime=1.2 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14775 14775 11035 0 -1 1077944384 2838 0 0 0 67 53 0 0 20 0 28 0 447373193 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447068306320 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14783] ppid=14775 vsize=28767316 memory=-7965950325593906079 CPUtime=1.18 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14775 14775 11035 0 -1 1077944384 2561 0 0 0 66 52 0 0 20 0 28 0 447373193 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447067253264 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14784] ppid=14775 vsize=28767316 memory=-6804530867367538332 CPUtime=1.23 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14775 14775 11035 0 -1 1077944384 2819 0 0 0 66 57 0 0 20 0 28 0 447373193 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447066200720 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14785] ppid=14775 vsize=28767316 memory=-6804530833007812508 CPUtime=1.23 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14775 14775 11035 0 -1 1077944384 3683 0 0 0 69 54 0 0 20 0 28 0 447373193 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447065147664 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14786] ppid=14775 vsize=28767316 memory=6944665225511868275 CPUtime=1.24 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14775 14775 11035 0 -1 1077944384 3694 0 0 0 64 60 0 0 20 0 28 0 447373193 29457731584 799895 33554432000 4194304 4196468 140733980267552 140447064095120 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14787] ppid=14775 vsize=28767316 memory=1756 CPUtime=0.24 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14775 14775 11035 0 -1 1077944384 7899 0 0 0 15 9 0 0 20 0 28 0 447373194 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445247130352 140447118854786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14788] ppid=14775 vsize=28767316 memory=4456 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14775 14775 11035 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 447373195 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445246076640 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14789] ppid=14775 vsize=28767316 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14775 14775 11035 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 447373195 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445245023488 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14790] ppid=14775 vsize=28767316 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14775 14775 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447373197 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445243972048 140447118862235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14791] ppid=14775 vsize=28767316 memory=14977784455892186 CPUtime=3.47 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) S 14775 14775 11035 0 -1 1077944384 18539 0 0 0 343 4 0 0 20 0 28 0 447373197 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445242919152 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14792] ppid=14775 vsize=28767316 memory=1980 CPUtime=3.75 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14775 14775 11035 0 -1 1077944384 26134 0 0 0 371 4 0 0 20 0 28 0 447373197 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445241866608 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14793] ppid=14775 vsize=28767316 memory=2512 CPUtime=3.07 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) S 14775 14775 11035 0 -1 1077944384 15890 0 0 0 305 2 0 0 20 0 28 0 447373197 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445240813552 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14794] ppid=14775 vsize=28767316 memory=1436 CPUtime=1 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) S 14775 14775 11035 0 -1 1077944384 15137 0 0 0 96 4 0 0 20 0 28 0 447373197 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445239761008 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14795] ppid=14775 vsize=28767316 memory=812 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14775 14775 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447373197 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445238709216 140447118853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=14796] ppid=14775 vsize=28767316 memory=1764 CPUtime=0.09 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14775 14775 11035 0 -1 1077944384 3002 0 0 0 4 5 0 0 20 0 28 0 447373198 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445237656752 140447118854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15275] ppid=14775 vsize=28767316 memory=111628 CPUtime=40.19 cores=0-7
/proc/14777/task/15275/stat : 15275 (java) R 14775 14775 11035 0 -1 4202560 22912 0 0 0 4010 9 0 0 20 0 28 0 447394353 29457731584 799895 33554432000 4194304 4196468 140733980267552 140444916583752 140446726033490 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15276] ppid=14775 vsize=28767316 memory=1448 CPUtime=40.31 cores=0-7
/proc/14777/task/15276/stat : 15276 (java) R 14775 14775 11035 0 -1 4202560 1505 0 0 0 4031 0 0 0 20 0 28 0 447394353 29457731584 799895 33554432000 4194304 4196468 140733980267552 140444917637688 140446726033502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15277] ppid=14775 vsize=28767316 memory=6791534058613427641 CPUtime=39.98 cores=0-7
/proc/14777/task/15277/stat : 15277 (java) R 14775 14775 11035 0 -1 4202560 24315 0 0 0 3991 7 0 0 20 0 28 0 447394353 29457731584 799895 33554432000 4194304 4196468 140733980267552 140444912373944 140446726033511 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15278] ppid=14775 vsize=28767316 memory=26468 CPUtime=40.24 cores=0-7
/proc/14777/task/15278/stat : 15278 (java) R 14775 14775 11035 0 -1 4202560 1770 0 0 0 4023 1 0 0 20 0 28 0 447394354 29457731584 799895 33554432000 4194304 4196468 140733980267552 140444915531800 140446726033359 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15279] ppid=14775 vsize=28767316 memory=12024 CPUtime=40.23 cores=0-7
/proc/14777/task/15279/stat : 15279 (java) R 14775 14775 11035 0 -1 4202560 2289 0 0 0 4023 0 0 0 20 0 28 0 447394354 29457731584 799895 33554432000 4194304 4196468 140733980267552 140445230772632 140446727026464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15280] ppid=14775 vsize=28767316 memory=500 CPUtime=40.26 cores=0-7
/proc/14777/task/15280/stat : 15280 (java) R 14775 14775 11035 0 -1 4202560 18842 0 0 0 4019 7 0 0 20 0 28 0 447394354 29457731584 799895 33554432000 4194304 4196468 140733980267552 140444914478888 140446726033490 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15281] ppid=14775 vsize=28767316 memory=1560 CPUtime=40.29 cores=0-7
/proc/14777/task/15281/stat : 15281 (java) R 14775 14775 11035 0 -1 4202560 3904 0 0 0 4023 6 0 0 20 0 28 0 447394354 29457731584 799895 33554432000 4194304 4196468 140733980267552 140444913427128 140446726033474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
[pid=14777/tid=15282] ppid=14775 vsize=28767316 memory=932 CPUtime=39.84 cores=0-7
/proc/14777/task/15282/stat : 15282 (java) R 14775 14775 11035 0 -1 4202560 401 0 0 0 3984 0 0 0 20 0 28 0 447394354 29457731584 799895 33554432000 4194304 4196468 140733980267552 140444918690080 140446727026587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140733980275696 140733980275867 140733980275867 140733980278735 0
Current children cumulated CPU time: 1753.73 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 3201028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.042 s]
# the end of solver process 14775 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002293 s, system=0 s
[startup+252.15 s]
# the end of solver process 14777 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1747.6 s, system=6.90305 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+252.14 s]*
/proc/loadavg: 7.85 7.60 7.95 2/192 15287
/proc/meminfo: memFree=31353868/32770624 swapFree=66997372/67108860
Current cumulated CPU time of completed processes: 0.002293 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 252.15
CPU time (s): 1754.5
CPU user time (s): 1747.6
CPU system time (s): 6.90305
CPU usage (%): 695.816
Max. virtual memory (cumulated for all children) (KiB): 28880444
Max. memory (cumulated for all children) (KiB): 3201028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.6
system time used= 6.90305
maximum resident set size= 3200128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18468
involuntary context switches= 20265
# summary of solver processes directly reported to runsolver:
# pid: 14775,14777
# total CPU time (s): 1754.5
# total CPU user time (s): 1747.6
# total CPU system time (s): 6.90305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.27423 second user time and 2.94701 second system time
The end
Begin job on node103 at 2019-09-17 11:05:42 IDJOB=4400278 IDBENCH=133905 IDSOLVER=2855 FILE ID=node103/4400278-1568711201 RUNJOBID= node103-1568700929-11062 PBS_JOBID= 21703910 Free space on /tmp= 61716 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400278-1568711201/watcher-4400278-1568711201 -o /tmp/evaluation-result-4400278-1568711201/solver-4400278-1568711201 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568700929-11062 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1332786510 HOME/instance-4400278-1568711201.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=1332786510 node103.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.74 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.74 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.74 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.74 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: 31491204 kB MemAvailable: 31881568 kB Buffers: 86496 kB Cached: 598064 kB SwapCached: 9016 kB Active: 412320 kB Inactive: 284800 kB Active(anon): 4328 kB Inactive(anon): 57316 kB Active(file): 407992 kB Inactive(file): 227484 kB Unevictable: 111148 kB Mlocked: 111148 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 26676 kB Writeback: 0 kB AnonPages: 115632 kB Mapped: 48836 kB Shmem: 40856 kB Slab: 170740 kB SReclaimable: 141448 kB SUnreclaim: 29292 kB KernelStack: 3392 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61692 MiB End job on node103 at 2019-09-17 11:09:54