Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 1023 | 1920.49 | 242.435 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml |
MD5SUM | bb36812fd58cb568268e8c9b807d30b9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 853 |
Best CPU time to get the best result obtained on this benchmark | 251.895 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1332 |
Number of constraints | 1295 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}] |
Minimum variable degree | 0 |
Maximum variable degree | 69 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 35 |
Distribution of constraint arities | [{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 35 |
Distribution of constraint types | [{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254871-1501683719.xml" -tl '1920s' -p 8 -x 0 0.00/0.25 c [HOME/instance-4254871-1501683719.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.31 c 8 solvers in parallel 0.00/0.38 c parse instance... 3.25/1.18 c solve instance... 4.42/1.31 o 3892 4.42/1.32 o 3784 4.42/1.33 o 3775 4.42/1.34 o 3751 4.42/1.34 o 3750 4.42/1.40 o 3715 5.10/1.40 o 3688 5.10/1.41 o 3686 5.10/1.44 o 2288 7.35/1.75 o 2276 7.35/1.75 o 2270 7.35/1.79 o 2265 7.35/1.80 o 2239 7.97/1.82 o 2213 7.97/1.83 o 2177 10.30/2.14 o 1933 11.09/2.24 o 1926 12.70/2.49 o 1872 15.72/2.87 o 1835 16.52/2.94 o 1833 18.88/3.23 o 1801 18.88/3.25 o 1786 25.06/4.03 o 1781 25.82/4.11 o 1772 27.38/4.40 o 1695 28.21/4.44 o 1684 28.98/4.55 o 1669 31.30/4.80 o 1665 33.68/5.18 o 1651 34.52/5.29 o 1640 35.25/5.31 o 1612 35.25/5.38 o 1573 35.98/5.40 o 1562 35.98/5.46 o 1554 36.76/5.53 o 1539 37.54/5.61 o 1512 38.28/5.72 o 1489 38.28/5.75 o 1470 38.28/5.76 o 1459 39.82/5.92 o 1435 41.40/6.12 o 1402 42.98/6.33 o 1387 42.98/6.35 o 1383 44.55/6.52 o 1375 49.27/7.10 o 1365 49.27/7.12 o 1361 49.27/7.17 o 1335 50.82/7.36 o 1308 54.83/7.86 o 1286 79.50/11.00 o 1282 84.26/11.58 o 1273 86.63/11.87 o 1245 89.04/12.19 o 1235 92.97/12.66 o 1230 94.26/12.84 o 1225 99.82/13.55 o 1218 105.37/14.29 o 1201 108.55/14.64 o 1197 111.57/15.02 o 1162 111.57/15.09 o 1153 116.21/15.63 o 1149 117.00/15.79 o 1147 120.25/16.11 o 1125 120.25/16.17 o 1120 124.17/16.62 o 1119 125.71/16.81 o 1111 128.87/17.26 o 1105 133.43/17.93 o 1092 203.41/26.75 o 1082 231.34/30.23 o 1079 415.09/53.38 o 1075 867.29/110.46 o 1065 881.24/112.26 o 1023 1920.49/242.46 s SATISFIABLE 1920.49/242.46 v <instantiation> 1920.49/242.46 v <list>x[0][0] 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[1][0] x[1][1] 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[2][0] x[2][1] x[2][2] 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[3][0] x[3][1] x[3][2] x[3][3] 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[4][0] x[4][1] x[4][2] x[4][3] x[4][4] 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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] 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[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] 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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] 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[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] 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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] 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[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] 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[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] 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[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] 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[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] 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[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] 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[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] 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[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] 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[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] 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[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] 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[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] 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[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] 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[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] 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[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] 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[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] 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[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] 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[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] 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[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] </list> 1920.49/242.46 v <values>0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 90 60 48 69 18 73 72 76 18 100 15 71 58 32 86 100 56 34 50 44 89 12 75 37 100 13 81 33 52 71 58 24 74 100 97 </values> 1920.49/242.46 v </instantiation> 1920.49/242.46 c Unexpected resolution interruption!
OK 1023
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254871-1501683719/watcher-4254871-1501683719 -o /tmp/evaluation-result-4254871-1501683719/solver-4254871-1501683719 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1927846347 HOME/instance-4254871-1501683719.xml pid=2000 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.21 8.04 7.35 2/172 2003 /proc/meminfo: memFree=31758180/32770624 swapFree=0/254976 [pid=2003] ppid=2000 vsize=23672 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (runsolver) D 2000 2003 24937 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16992149 24240128 107 18446744073709551615 4194304 4338465 140734001189776 140734001187416 140547899093719 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 36622336 140734001197138 140734001197635 140734001197635 140734001201098 0 /proc/2003/statm: 5918 107 54 36 0 2156 0 [startup+0.10017 s] /proc/loadavg: 8.21 8.04 7.35 2/172 2003 /proc/meminfo: memFree=31758180/32770624 swapFree=0/254976 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200295 s] /proc/loadavg: 8.21 8.04 7.35 2/172 2003 /proc/meminfo: memFree=31758180/32770624 swapFree=0/254976 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300308 s] /proc/loadavg: 8.21 8.04 7.35 2/172 2003 /proc/meminfo: memFree=31758180/32770624 swapFree=0/254976 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700289 s] /proc/loadavg: 8.21 8.04 7.35 2/172 2003 /proc/meminfo: memFree=31758180/32770624 swapFree=0/254976 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50618 s] /proc/loadavg: 8.21 8.04 7.35 3/193 2024 /proc/meminfo: memFree=31571736/32770624 swapFree=0/254996 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 [pid=2005] ppid=2003 vsize=26536120 CPUtime=5.8 cores=0-7 /proc/2005/stat : 2005 (java) S 2003 2003 24937 0 -1 1077944320 22258 0 0 0 567 13 0 0 20 0 28 0 16992155 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 140725381446560 139739381096183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 /proc/2005/statm: 6634030 59204 3215 1 0 6622331 0 [pid=2005/tid=2006] ppid=2003 vsize=26536120 CPUtime=1.06 cores=0-7 /proc/2005/task/2006/stat : 2006 (java) S 2003 2003 24937 0 -1 1077944384 8898 0 0 0 99 7 0 0 20 0 28 0 16992156 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739385336960 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2007] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2007/stat : 2007 (java) S 2003 2003 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16992156 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739338062352 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2008] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2008/stat : 2008 (java) S 2003 2003 24937 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 16992156 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739337009808 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2009] ppid=2003 vsize=26536120 CPUtime=0.01 cores=0-7 /proc/2005/task/2009/stat : 2009 (java) S 2003 2003 24937 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 16992157 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739335956752 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2010] ppid=2003 vsize=26536120 CPUtime=0.02 cores=0-7 /proc/2005/task/2010/stat : 2010 (java) S 2003 2003 24937 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 28 0 16992157 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739334904208 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2011] ppid=2003 vsize=26536120 CPUtime=0.01 cores=0-7 /proc/2005/task/2011/stat : 2011 (java) S 2003 2003 24937 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 16992157 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739333852176 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2012] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2012/stat : 2012 (java) S 2003 2003 24937 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 16992157 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739332799632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2013] ppid=2003 vsize=26536120 CPUtime=0.01 cores=0-7 /proc/2005/task/2013/stat : 2013 (java) S 2003 2003 24937 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 16992157 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739331746576 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2014] ppid=2003 vsize=26536120 CPUtime=0.01 cores=0-7 /proc/2005/task/2014/stat : 2014 (java) S 2003 2003 24937 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 16992157 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139739330694032 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2015] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2015/stat : 2015 (java) S 2003 2003 24937 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 16992158 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738781280496 139739381107330 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2016] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2016/stat : 2016 (java) S 2003 2003 24937 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 16992158 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738780226784 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2017] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2017/stat : 2017 (java) S 2003 2003 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16992159 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738779173632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2018] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2018/stat : 2018 (java) S 2003 2003 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16992161 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738778122192 139739381114779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2019] ppid=2003 vsize=26536120 CPUtime=0.88 cores=0-7 /proc/2005/task/2019/stat : 2019 (java) R 2003 2003 24937 0 -1 4202560 2488 0 0 0 88 0 0 0 20 0 28 0 16992161 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738777056392 139739366013536 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2020] ppid=2003 vsize=26536120 CPUtime=0.88 cores=0-7 /proc/2005/task/2020/stat : 2020 (java) R 2003 2003 24937 0 -1 4202560 2113 0 0 0 87 1 0 0 20 0 28 0 16992161 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738776010800 139739362274277 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2021] ppid=2003 vsize=26536120 CPUtime=0.93 cores=0-7 /proc/2005/task/2021/stat : 2021 (java) R 2003 2003 24937 0 -1 4202560 2960 0 0 0 93 0 0 0 20 0 28 0 16992161 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738572895488 139739362617379 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2022] ppid=2003 vsize=26536120 CPUtime=0.63 cores=0-7 /proc/2005/task/2022/stat : 2022 (java) R 2003 2003 24937 0 -1 1077944384 2623 0 0 0 63 0 0 0 20 0 28 0 16992161 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738571856496 139739381107330 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2023] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2023/stat : 2023 (java) S 2003 2003 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16992161 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738570803680 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2024] ppid=2003 vsize=26536120 CPUtime=0 cores=0-7 /proc/2005/task/2024/stat : 2024 (java) S 2003 2003 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16992166 27172986880 59204 18446744073709551615 4194304 4196468 140725381464016 139738569751216 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 Current children cumulated CPU time (s) 5.8 Current children cumulated vsize (KiB) 26545632 [startup+3.10117 s] /proc/loadavg: 8.21 8.04 7.35 9/201 2159 /proc/meminfo: memFree=31478260/32770624 swapFree=0/254996 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 [pid=2005] ppid=2003 vsize=26535484 CPUtime=18.07 cores=0-7 /proc/2005/stat : 2005 (java) S 2003 2003 24937 0 -1 1077944320 25691 0 0 0 1788 19 0 0 20 0 28 0 16992155 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 140725381446560 139739381096183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 /proc/2005/statm: 6633871 93822 3242 1 0 6622172 0 [pid=2005/tid=2006] ppid=2003 vsize=26535484 CPUtime=1.07 cores=0-7 /proc/2005/task/2006/stat : 2006 (java) S 2003 2003 24937 0 -1 1077944384 8900 0 0 0 100 7 0 0 20 0 28 0 16992156 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739385336960 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2007] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2007/stat : 2007 (java) S 2003 2003 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16992156 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739338062352 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2008] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2008/stat : 2008 (java) S 2003 2003 24937 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 16992156 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739337009808 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2009] ppid=2003 vsize=26535484 CPUtime=0.01 cores=0-7 /proc/2005/task/2009/stat : 2009 (java) S 2003 2003 24937 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 16992157 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739335956752 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2010] ppid=2003 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/2005/task/2010/stat : 2010 (java) S 2003 2003 24937 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 28 0 16992157 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739334904208 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2011] ppid=2003 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/2005/task/2011/stat : 2011 (java) S 2003 2003 24937 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 16992157 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739333852176 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2012] ppid=2003 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/2005/task/2012/stat : 2012 (java) S 2003 2003 24937 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 28 0 16992157 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739332799632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2013] ppid=2003 vsize=26535484 CPUtime=0.01 cores=0-7 /proc/2005/task/2013/stat : 2013 (java) S 2003 2003 24937 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 16992157 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739331746576 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2014] ppid=2003 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/2005/task/2014/stat : 2014 (java) S 2003 2003 24937 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 28 0 16992157 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139739330694032 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2015] ppid=2003 vsize=26535484 CPUtime=0.01 cores=0-7 /proc/2005/task/2015/stat : 2015 (java) S 2003 2003 24937 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 16992158 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738781280496 139739381107330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2016] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2016/stat : 2016 (java) S 2003 2003 24937 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 16992158 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738780226784 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2017] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2017/stat : 2017 (java) S 2003 2003 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16992159 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738779173632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2018] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2018/stat : 2018 (java) S 2003 2003 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16992161 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738778122192 139739381114779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2019] ppid=2003 vsize=26535484 CPUtime=2.01 cores=0-7 /proc/2005/task/2019/stat : 2019 (java) S 2003 2003 24937 0 -1 1077944384 2834 0 0 0 201 0 0 0 20 0 28 0 16992161 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738777070320 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2020] ppid=2003 vsize=26535484 CPUtime=1.77 cores=0-7 /proc/2005/task/2020/stat : 2020 (java) S 2003 2003 24937 0 -1 1077944384 2884 0 0 0 176 1 0 0 20 0 28 0 16992161 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738776017776 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2021] ppid=2003 vsize=26535484 CPUtime=1.83 cores=0-7 /proc/2005/task/2021/stat : 2021 (java) R 2003 2003 24937 0 -1 1077944384 3113 0 0 0 183 0 0 0 20 0 28 0 16992161 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738572909040 139739381107330 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2022] ppid=2003 vsize=26535484 CPUtime=0.84 cores=0-7 /proc/2005/task/2022/stat : 2022 (java) S 2003 2003 24937 0 -1 1077944384 2966 0 0 0 84 0 0 0 20 0 28 0 16992161 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738571856496 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2023] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2023/stat : 2023 (java) S 2003 2003 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16992161 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738570803680 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2024] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2024/stat : 2024 (java) S 2003 2003 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16992166 27172335616 93822 18446744073709551615 4194304 4196468 140725381464016 139738569751216 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 Current children cumulated CPU time (s) 18.07 Current children cumulated vsize (KiB) 26544996 [startup+6.30117 s] /proc/loadavg: 8.35 8.07 7.37 10/201 2303 /proc/meminfo: memFree=31128708/32770624 swapFree=0/255000 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 [pid=2005] ppid=2003 vsize=26535484 CPUtime=42.98 cores=0-7 /proc/2005/stat : 2005 (java) S 2003 2003 24937 0 -1 1077944320 29851 0 0 0 4261 37 0 0 20 0 28 0 16992155 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 140725381446560 139739381096183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 /proc/2005/statm: 6633871 160066 3245 1 0 6622172 0 [pid=2005/tid=2006] ppid=2003 vsize=26535484 CPUtime=1.1 cores=0-7 /proc/2005/task/2006/stat : 2006 (java) S 2003 2003 24937 0 -1 1077944384 8912 0 0 0 103 7 0 0 20 0 28 0 16992156 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739385336960 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2007] ppid=2003 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/2005/task/2007/stat : 2007 (java) S 2003 2003 24937 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 28 0 16992156 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739338062352 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2008] ppid=2003 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/2005/task/2008/stat : 2008 (java) S 2003 2003 24937 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 16992156 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739337009808 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2009] ppid=2003 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/2005/task/2009/stat : 2009 (java) S 2003 2003 24937 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 28 0 16992157 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739335956752 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2010] ppid=2003 vsize=26535484 CPUtime=0.06 cores=0-7 /proc/2005/task/2010/stat : 2010 (java) S 2003 2003 24937 0 -1 1077944384 67 0 0 0 4 2 0 0 20 0 28 0 16992157 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739334904208 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2011] ppid=2003 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/2005/task/2011/stat : 2011 (java) S 2003 2003 24937 0 -1 1077944384 57 0 0 0 3 2 0 0 20 0 28 0 16992157 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739333852176 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2012] ppid=2003 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/2005/task/2012/stat : 2012 (java) S 2003 2003 24937 0 -1 1077944384 57 0 0 0 2 2 0 0 20 0 28 0 16992157 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739332799632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2013] ppid=2003 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/2005/task/2013/stat : 2013 (java) S 2003 2003 24937 0 -1 1077944384 58 0 0 0 3 2 0 0 20 0 28 0 16992157 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739331746576 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2014] ppid=2003 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/2005/task/2014/stat : 2014 (java) S 2003 2003 24937 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 28 0 16992157 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139739330694032 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2015] ppid=2003 vsize=26535484 CPUtime=0.01 cores=0-7 /proc/2005/task/2015/stat : 2015 (java) S 2003 2003 24937 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 28 0 16992158 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139738781280496 139739381107330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2016] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2016/stat : 2016 (java) S 2003 2003 24937 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 16992158 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139738780226784 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2017] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2017/stat : 2017 (java) S 2003 2003 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16992159 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139738779173632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2018] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2018/stat : 2018 (java) S 2003 2003 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16992161 27172335616 160066 18446744073709551615 4194304 4196468 140725381464016 139738778122192 139739381114779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 ################ # More data... # ################ [pid=2005/tid=2616] ppid=2003 vsize=26535484 CPUtime=49.97 cores=0-7 /proc/2005/task/2616/stat : 2616 (java) R 2003 2003 24937 0 -1 4202560 504 0 0 0 4997 0 0 0 20 0 28 0 17003376 27172335616 549236 18446744073709551615 4194304 4196468 140725381464016 139738561188080 139738999277790 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2617] ppid=2003 vsize=26535484 CPUtime=49.96 cores=0-7 /proc/2005/task/2617/stat : 2617 (java) R 2003 2003 24937 0 -1 4202560 2379 0 0 0 4988 8 0 0 20 0 28 0 17003376 27172335616 549236 18446744073709551615 4194304 4196468 140725381464016 139738553814352 139738998995211 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 Current children cumulated CPU time (s) 1281.05 Current children cumulated vsize (KiB) 26544996 [startup+222.307 s] /proc/loadavg: 8.60 8.31 7.60 10/203 2630 /proc/meminfo: memFree=29585884/32770624 swapFree=0/255048 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 [pid=2005] ppid=2003 vsize=26535484 CPUtime=1760.07 cores=0-7 /proc/2005/stat : 2005 (java) S 2003 2003 24937 0 -1 1077944320 122246 0 0 0 175787 220 0 0 20 0 28 0 16992155 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 140725381446560 139739381096183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 /proc/2005/statm: 6633871 545159 3254 1 0 6622172 0 [pid=2005/tid=2006] ppid=2003 vsize=26535484 CPUtime=1.13 cores=0-7 /proc/2005/task/2006/stat : 2006 (java) S 2003 2003 24937 0 -1 1077944384 10020 0 0 0 106 7 0 0 20 0 28 0 16992156 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739385336960 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2007] ppid=2003 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/2005/task/2007/stat : 2007 (java) S 2003 2003 24937 0 -1 1077944384 1233 0 0 0 7 6 0 0 20 0 28 0 16992156 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739338062352 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2008] ppid=2003 vsize=26535484 CPUtime=0.12 cores=0-7 /proc/2005/task/2008/stat : 2008 (java) S 2003 2003 24937 0 -1 1077944384 569 0 0 0 7 5 0 0 20 0 28 0 16992156 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739337009808 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2009] ppid=2003 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/2005/task/2009/stat : 2009 (java) S 2003 2003 24937 0 -1 1077944384 785 0 0 0 8 5 0 0 20 0 28 0 16992157 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739335956752 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2010] ppid=2003 vsize=26535484 CPUtime=0.16 cores=0-7 /proc/2005/task/2010/stat : 2010 (java) S 2003 2003 24937 0 -1 1077944384 1164 0 0 0 9 7 0 0 20 0 28 0 16992157 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739334904208 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2011] ppid=2003 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/2005/task/2011/stat : 2011 (java) S 2003 2003 24937 0 -1 1077944384 400 0 0 0 8 6 0 0 20 0 28 0 16992157 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739333852176 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2012] ppid=2003 vsize=26535484 CPUtime=0.15 cores=0-7 /proc/2005/task/2012/stat : 2012 (java) S 2003 2003 24937 0 -1 1077944384 700 0 0 0 8 7 0 0 20 0 28 0 16992157 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739332799632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2013] ppid=2003 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/2005/task/2013/stat : 2013 (java) S 2003 2003 24937 0 -1 1077944384 1370 0 0 0 8 6 0 0 20 0 28 0 16992157 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739331746576 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2014] ppid=2003 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/2005/task/2014/stat : 2014 (java) S 2003 2003 24937 0 -1 1077944384 325 0 0 0 8 6 0 0 20 0 28 0 16992157 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139739330694032 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2015] ppid=2003 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/2005/task/2015/stat : 2015 (java) S 2003 2003 24937 0 -1 1077944384 4041 0 0 0 4 4 0 0 20 0 28 0 16992158 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738781280496 139739381107330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2016] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2016/stat : 2016 (java) S 2003 2003 24937 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 16992158 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738780226784 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2017] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2017/stat : 2017 (java) S 2003 2003 24937 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 16992159 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738779173632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2018] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2018/stat : 2018 (java) S 2003 2003 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16992161 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738778122192 139739381114779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2019] ppid=2003 vsize=26535484 CPUtime=3.12 cores=0-7 /proc/2005/task/2019/stat : 2019 (java) S 2003 2003 24937 0 -1 1077944384 10715 0 0 0 309 3 0 0 20 0 28 0 16992161 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738777070320 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2020] ppid=2003 vsize=26535484 CPUtime=2.35 cores=0-7 /proc/2005/task/2020/stat : 2020 (java) S 2003 2003 24937 0 -1 1077944384 6335 0 0 0 233 2 0 0 20 0 28 0 16992161 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738776017776 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2021] ppid=2003 vsize=26535484 CPUtime=2.79 cores=0-7 /proc/2005/task/2021/stat : 2021 (java) S 2003 2003 24937 0 -1 1077944384 8952 0 0 0 277 2 0 0 20 0 28 0 16992161 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738572909040 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2022] ppid=2003 vsize=26535484 CPUtime=1.01 cores=0-7 /proc/2005/task/2022/stat : 2022 (java) S 2003 2003 24937 0 -1 1077944384 8030 0 0 0 99 2 0 0 20 0 28 0 16992161 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738571856496 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2023] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2023/stat : 2023 (java) S 2003 2003 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16992161 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738570803680 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2024] ppid=2003 vsize=26535484 CPUtime=0.06 cores=0-7 /proc/2005/task/2024/stat : 2024 (java) S 2003 2003 24937 0 -1 1077944384 2083 0 0 0 0 6 0 0 20 0 28 0 16992166 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738569751216 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2610] ppid=2003 vsize=26535484 CPUtime=109.93 cores=0-7 /proc/2005/task/2610/stat : 2610 (java) R 2003 2003 24937 0 -1 4202560 946 0 0 0 10993 0 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738555923424 139738999566970 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2611] ppid=2003 vsize=26535484 CPUtime=109.94 cores=0-7 /proc/2005/task/2611/stat : 2611 (java) R 2003 2003 24937 0 -1 4202560 733 0 0 0 10994 0 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738560135336 139738998996118 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2612] ppid=2003 vsize=26535484 CPUtime=108.6 cores=0-7 /proc/2005/task/2612/stat : 2612 (java) R 2003 2003 24937 0 -1 4202560 3345 0 0 0 10858 2 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738556976944 139738999277162 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2613] ppid=2003 vsize=26535484 CPUtime=109.93 cores=0-7 /proc/2005/task/2613/stat : 2613 (java) R 2003 2003 24937 0 -1 4202560 4463 0 0 0 10982 11 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738558030760 139738999213579 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2614] ppid=2003 vsize=26535484 CPUtime=109.93 cores=0-7 /proc/2005/task/2614/stat : 2614 (java) R 2003 2003 24937 0 -1 4202560 3734 0 0 0 10983 10 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738562237720 139738999277229 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2615] ppid=2003 vsize=26535484 CPUtime=109.93 cores=0-7 /proc/2005/task/2615/stat : 2615 (java) R 2003 2003 24937 0 -1 4202560 743 0 0 0 10993 0 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738559082608 139739000936456 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2616] ppid=2003 vsize=26535484 CPUtime=109.94 cores=0-7 /proc/2005/task/2616/stat : 2616 (java) R 2003 2003 24937 0 -1 4202560 745 0 0 0 10993 1 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738561188080 139739000935492 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2617] ppid=2003 vsize=26535484 CPUtime=109.64 cores=0-7 /proc/2005/task/2617/stat : 2617 (java) R 2003 2003 24937 0 -1 4202560 4942 0 0 0 10944 20 0 0 20 0 28 0 17003376 27172335616 545159 18446744073709551615 4194304 4196468 140725381464016 139738553815208 139738999213527 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 Current children cumulated CPU time (s) 1760.07 Current children cumulated vsize (KiB) 26544996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+242.401 s] /proc/loadavg: 8.56 8.32 7.62 9/203 2630 /proc/meminfo: memFree=29585028/32770624 swapFree=0/255056 [pid=2003] ppid=2000 vsize=9512 CPUtime=0 cores=0-7 /proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16992149 9740288 345 18446744073709551615 4194304 5098028 140725960837664 140725960835768 139663243412092 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 20213760 140725960843666 140725960843876 140725960843876 140725960847339 0 /proc/2003/statm: 2378 345 289 221 0 87 0 [pid=2005] ppid=2003 vsize=26535484 CPUtime=1920.49 cores=0-7 /proc/2005/stat : 2005 (java) S 2003 2003 24937 0 -1 1077944320 125594 0 0 0 191823 226 0 0 20 0 28 0 16992155 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 140725381446560 139739381096183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 /proc/2005/statm: 6633871 545452 3254 1 0 6622172 0 [pid=2005/tid=2006] ppid=2003 vsize=26535484 CPUtime=1.13 cores=0-7 /proc/2005/task/2006/stat : 2006 (java) S 2003 2003 24937 0 -1 1077944384 10020 0 0 0 106 7 0 0 20 0 28 0 16992156 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739385336960 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2007] ppid=2003 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/2005/task/2007/stat : 2007 (java) S 2003 2003 24937 0 -1 1077944384 1325 0 0 0 8 6 0 0 20 0 28 0 16992156 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739338062352 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2008] ppid=2003 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/2005/task/2008/stat : 2008 (java) S 2003 2003 24937 0 -1 1077944384 667 0 0 0 8 6 0 0 20 0 28 0 16992156 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739337009808 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2009] ppid=2003 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/2005/task/2009/stat : 2009 (java) S 2003 2003 24937 0 -1 1077944384 826 0 0 0 8 5 0 0 20 0 28 0 16992157 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739335956752 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2010] ppid=2003 vsize=26535484 CPUtime=0.16 cores=0-7 /proc/2005/task/2010/stat : 2010 (java) S 2003 2003 24937 0 -1 1077944384 1199 0 0 0 9 7 0 0 20 0 28 0 16992157 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739334904208 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2011] ppid=2003 vsize=26535484 CPUtime=0.15 cores=0-7 /proc/2005/task/2011/stat : 2011 (java) S 2003 2003 24937 0 -1 1077944384 461 0 0 0 9 6 0 0 20 0 28 0 16992157 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739333852176 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2012] ppid=2003 vsize=26535484 CPUtime=0.15 cores=0-7 /proc/2005/task/2012/stat : 2012 (java) S 2003 2003 24937 0 -1 1077944384 734 0 0 0 8 7 0 0 20 0 28 0 16992157 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739332799632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2013] ppid=2003 vsize=26535484 CPUtime=0.16 cores=0-7 /proc/2005/task/2013/stat : 2013 (java) S 2003 2003 24937 0 -1 1077944384 1445 0 0 0 9 7 0 0 20 0 28 0 16992157 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739331746576 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2014] ppid=2003 vsize=26535484 CPUtime=0.15 cores=0-7 /proc/2005/task/2014/stat : 2014 (java) S 2003 2003 24937 0 -1 1077944384 759 0 0 0 9 6 0 0 20 0 28 0 16992157 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139739330694032 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2015] ppid=2003 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/2005/task/2015/stat : 2015 (java) S 2003 2003 24937 0 -1 1077944384 4319 0 0 0 4 4 0 0 20 0 28 0 16992158 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738781280496 139739381107330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2016] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2016/stat : 2016 (java) S 2003 2003 24937 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 16992158 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738780226784 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2017] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2017/stat : 2017 (java) S 2003 2003 24937 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 16992159 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738779173632 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2018] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2018/stat : 2018 (java) S 2003 2003 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16992161 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738778122192 139739381114779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2019] ppid=2003 vsize=26535484 CPUtime=3.12 cores=0-7 /proc/2005/task/2019/stat : 2019 (java) S 2003 2003 24937 0 -1 1077944384 10724 0 0 0 309 3 0 0 20 0 28 0 16992161 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738777070320 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2020] ppid=2003 vsize=26535484 CPUtime=2.35 cores=0-7 /proc/2005/task/2020/stat : 2020 (java) S 2003 2003 24937 0 -1 1077944384 6338 0 0 0 233 2 0 0 20 0 28 0 16992161 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738776017776 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2021] ppid=2003 vsize=26535484 CPUtime=2.79 cores=0-7 /proc/2005/task/2021/stat : 2021 (java) S 2003 2003 24937 0 -1 1077944384 8955 0 0 0 277 2 0 0 20 0 28 0 16992161 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738572909040 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2022] ppid=2003 vsize=26535484 CPUtime=1.01 cores=0-7 /proc/2005/task/2022/stat : 2022 (java) S 2003 2003 24937 0 -1 1077944384 8034 0 0 0 99 2 0 0 20 0 28 0 16992161 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738571856496 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2023] ppid=2003 vsize=26535484 CPUtime=0 cores=0-7 /proc/2005/task/2023/stat : 2023 (java) S 2003 2003 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16992161 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738570803680 139739381106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2024] ppid=2003 vsize=26535484 CPUtime=0.06 cores=0-7 /proc/2005/task/2024/stat : 2024 (java) S 2003 2003 24937 0 -1 1077944384 2109 0 0 0 0 6 0 0 20 0 28 0 16992166 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738569751216 139739381107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2610] ppid=2003 vsize=26535484 CPUtime=130.01 cores=0-7 /proc/2005/task/2610/stat : 2610 (java) R 2003 2003 24937 0 -1 4202560 1140 0 0 0 13001 0 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738555923424 139738999277853 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2611] ppid=2003 vsize=26535484 CPUtime=130.02 cores=0-7 /proc/2005/task/2611/stat : 2611 (java) R 2003 2003 24937 0 -1 4202560 789 0 0 0 13002 0 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738560134768 139738998996170 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2612] ppid=2003 vsize=26535484 CPUtime=128.68 cores=0-7 /proc/2005/task/2612/stat : 2612 (java) R 2003 2003 24937 0 -1 4202560 3762 0 0 0 12866 2 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738556977448 139739001574701 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2613] ppid=2003 vsize=26535484 CPUtime=130.01 cores=0-7 /proc/2005/task/2613/stat : 2613 (java) R 2003 2003 24937 0 -1 4202560 4981 0 0 0 12988 13 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738558029072 139739000431488 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2614] ppid=2003 vsize=26535484 CPUtime=130.01 cores=0-7 /proc/2005/task/2614/stat : 2614 (java) R 2003 2003 24937 0 -1 4202560 4067 0 0 0 12990 11 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738562241576 139738999276894 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2615] ppid=2003 vsize=26535484 CPUtime=130.01 cores=0-7 /proc/2005/task/2615/stat : 2615 (java) R 2003 2003 24937 0 -1 4202560 808 0 0 0 13001 0 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738559083176 139739000936364 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2616] ppid=2003 vsize=26535484 CPUtime=130.02 cores=0-7 /proc/2005/task/2616/stat : 2616 (java) R 2003 2003 24937 0 -1 4202560 837 0 0 0 13001 1 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738561188648 139739000935445 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 [pid=2005/tid=2617] ppid=2003 vsize=26535484 CPUtime=129.42 cores=0-7 /proc/2005/task/2617/stat : 2617 (java) R 2003 2003 24937 0 -1 4202560 5423 0 0 0 12920 22 0 0 20 0 28 0 17003376 27172335616 545452 18446744073709551615 4194304 4196468 140725381464016 139738553819064 139738996653007 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17051648 140725381472720 140725381472896 140725381472896 140725381476303 0 Current children cumulated CPU time (s) 1920.49 Current children cumulated vsize (KiB) 26544996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2005 sig 9 ??? kill 2003 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2003 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=988 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=988 # CPU time returned by wait4() is 0.001976 # while last known CPU time is 1920.49 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 242.435 CPU time (s): 1920.49 CPU user time (s): 1918.23 CPU system time (s): 2.26 CPU usage (%): 792.166 Max. virtual memory (cumulated for all children) (KiB): 26545632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000988 system time used= 0.000988 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.86702 second user time and 1.69597 second system time The end
Begin job on node131 at 2017-08-02 16:08:02 IDJOB=4254871 IDBENCH=124412 IDSOLVER=2636 FILE ID=node131/4254871-1501683719 RUNJOBID= node131-1501676534-24993 PBS_JOBID= Free space on /tmp= 61944 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254871-1501683719/watcher-4254871-1501683719 -o /tmp/evaluation-result-4254871-1501683719/solver-4254871-1501683719 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1927846347 HOME/instance-4254871-1501683719.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=1927846347 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 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: 31758844 kB MemAvailable: 32013224 kB Buffers: 135912 kB Cached: 406712 kB SwapCached: 0 kB Active: 329228 kB Inactive: 271700 kB Active(anon): 58764 kB Inactive(anon): 16724 kB Active(file): 270464 kB Inactive(file): 254976 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7964 kB Writeback: 0 kB AnonPages: 125228 kB Mapped: 31080 kB Shmem: 17064 kB Slab: 114308 kB SReclaimable: 89552 kB SUnreclaim: 24756 kB KernelStack: 3424 kB PageTables: 4872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61936 MiB End job on node131 at 2017-08-02 16:12:04