Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 1747 | 2003.9399 | 252.118 |
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.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271821-1502641935.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271821-1502641935.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 3.29/1.08 c solve instance... 3.74/1.18 o 3892 4.38/1.23 o 3784 4.38/1.24 o 3775 4.38/1.25 o 3751 4.38/1.26 o 3750 4.38/1.29 o 3715 4.38/1.30 o 3688 5.12/1.30 o 3686 5.12/1.33 o 3664 5.89/1.46 o 3643 5.89/1.47 o 3631 7.46/1.60 o 3630 9.03/1.84 o 3620 9.03/1.86 o 3613 9.03/1.89 o 3612 9.80/1.91 o 2401 9.80/1.92 o 2302 9.80/1.92 o 2276 9.80/1.92 o 2270 9.80/1.97 o 2265 9.80/2.00 o 2239 12.85/2.37 o 2147 12.85/2.39 o 2089 13.61/2.43 o 2059 13.61/2.47 o 2044 14.39/2.50 o 2042 14.39/2.51 o 2012 14.39/2.54 o 2011 14.39/2.57 o 2003 15.10/2.60 o 1954 21.43/3.50 o 1933 22.22/3.51 o 1905 22.22/3.52 o 1878 22.22/3.53 o 1861 22.22/3.54 o 1842 22.22/3.56 o 1825 22.22/3.58 o 1781 22.88/3.60 o 1769 22.88/3.65 o 1747 2003.19/252.08 s SATISFIABLE 2003.19/252.08 v <instantiation> 2003.19/252.08 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> 2003.19/252.08 v <values>0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 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 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 92 31 51 11 70 2 45 52 91 23 42 51 33 36 17 22 37 67 73 87 30 31 48 64 30 77 8 15 20 48 63 12 65 71 42 </values> 2003.19/252.08 v </instantiation> 2003.19/252.08 c Unexpected resolution interruption!
OK 1747
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 (15312 MiB free) memory of node 1: 16384 MiB (15603 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271821-1502641935/watcher-4271821-1502641935 -o /tmp/evaluation-result-4271821-1502641935/solver-4271821-1502641935 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 194415452 HOME/instance-4271821-1502641935.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=23179, runsolver pid=23176 [startup+0.100111 s]* /proc/loadavg: 8.12 7.66 6.82 2/199 23200 /proc/meminfo: memFree=31642260/32770624 swapFree=67108860/67108860 [pid=23179] ppid=23176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23179/stat : 23179 (xcsp3-exec) S 23176 23179 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97281717 9740288 346 33554432000 4194304 5098028 140736224581248 140736224579352 140139085537916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20803584 140736224588907 140736224589116 140736224589116 140736224591851 0 /proc/23179/statm: 2378 346 289 221 0 87 0 [pid=23181] ppid=23179 vsize=25999808 memory=26476 CPUtime=0.11 cores=0-7 /proc/23181/stat : 23181 (java) S 23179 23179 8183 0 -1 1077944320 5482 0 0 0 10 1 0 0 20 0 20 0 97281718 26623803392 6619 33554432000 4194304 4196468 140721053050800 140721053033344 139718886489847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 /proc/23181/statm: 6499952 6619 2863 1 0 6488269 0 [pid=23181/tid=23182] ppid=23179 vsize=25999808 memory=7752836191169190559 CPUtime=0.08 cores=0-7 /proc/23181/task/23182/stat : 23182 (java) R 23179 23179 8183 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 20 0 97281718 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718890721776 139718870533477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23183] ppid=23179 vsize=25999808 memory=732370027582634981 CPUtime=0 cores=0-7 /proc/23181/task/23183/stat : 23183 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718445103632 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23184] ppid=23179 vsize=25999808 memory=139889245181568 CPUtime=0 cores=0-7 /proc/23181/task/23184/stat : 23184 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718444051088 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23185] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23185/stat : 23185 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718442998032 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23186] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23186/stat : 23186 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718441945488 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23187] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23187/stat : 23187 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718440893456 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23188] ppid=23179 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23181/task/23188/stat : 23188 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718439840912 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23189] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23189/stat : 23189 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718438787856 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23190] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23190/stat : 23190 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281719 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718437735312 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23191] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23191/stat : 23191 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281720 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718013896944 139718886500994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23192] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23192/stat : 23192 (java) S 23179 23179 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97281721 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718012843168 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23193] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23193/stat : 23193 (java) S 23179 23179 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97281721 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718011790064 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23194] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23194/stat : 23194 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281723 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718010738640 139718886508443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23195] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23195/stat : 23195 (java) S 23179 23179 8183 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 97281723 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718009686768 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23196] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23196/stat : 23196 (java) S 23179 23179 8183 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97281723 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718008634224 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23197] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23197/stat : 23197 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97281723 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718007581168 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23198] ppid=23179 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/23181/task/23198/stat : 23198 (java) R 23179 23179 8183 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 20 0 97281723 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718006525560 139718886511194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23199] ppid=23179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23199/stat : 23199 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97281724 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718005475808 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23200] ppid=23179 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23181/task/23200/stat : 23200 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281724 26623803392 6619 33554432000 4194304 4196468 140721053050800 139718004423344 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27860 KiB [startup+0.210038 s]* /proc/loadavg: 8.12 7.66 6.82 2/199 23200 /proc/meminfo: memFree=31631272/32770624 swapFree=67108860/67108860 [pid=23179] ppid=23176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23179/stat : 23179 (xcsp3-exec) S 23176 23179 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97281717 9740288 346 33554432000 4194304 5098028 140736224581248 140736224579352 140139085537916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20803584 140736224588907 140736224589116 140736224589116 140736224591851 0 /proc/23179/statm: 2378 346 289 221 0 87 0 [pid=23181] ppid=23179 vsize=26004064 memory=38836 CPUtime=0.33 cores=0-7 /proc/23181/stat : 23181 (java) S 23179 23179 8183 0 -1 1077944320 8294 0 0 0 30 3 0 0 20 0 20 0 97281718 26628161536 9709 33554432000 4194304 4196468 140721053050800 140721053033344 139718886489847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 /proc/23181/statm: 6501016 9709 3047 1 0 6488269 0 [pid=23181/tid=23182] ppid=23179 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/23181/task/23182/stat : 23182 (java) R 23179 23179 8183 0 -1 4202560 5391 0 0 0 18 1 0 0 20 0 20 0 97281718 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718890703856 139718879167861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23183] ppid=23179 vsize=26004064 memory=732370027582634981 CPUtime=0 cores=0-7 /proc/23181/task/23183/stat : 23183 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718445103632 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23184] ppid=23179 vsize=26004064 memory=139889245181568 CPUtime=0 cores=0-7 /proc/23181/task/23184/stat : 23184 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718444051088 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23185] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23185/stat : 23185 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718442998032 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23186] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23186/stat : 23186 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718441945488 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23187] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23187/stat : 23187 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718440893456 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23188] ppid=23179 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23181/task/23188/stat : 23188 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718439840912 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23189] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23189/stat : 23189 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718438787856 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23190] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23190/stat : 23190 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718437735312 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23191] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23191/stat : 23191 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281720 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718013896944 139718886500994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23192] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23192/stat : 23192 (java) S 23179 23179 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97281721 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718012843168 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23193] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23193/stat : 23193 (java) S 23179 23179 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97281721 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718011790064 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23194] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23194/stat : 23194 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281723 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718010738640 139718886508443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23195] ppid=23179 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/23181/task/23195/stat : 23195 (java) S 23179 23179 8183 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 20 0 97281723 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718009686768 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23196] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23196/stat : 23196 (java) S 23179 23179 8183 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 20 0 97281723 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718008634224 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23197] ppid=23179 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/23181/task/23197/stat : 23197 (java) S 23179 23179 8183 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 97281723 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718007581168 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23198] ppid=23179 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/23181/task/23198/stat : 23198 (java) S 23179 23179 8183 0 -1 1077944384 814 0 0 0 7 0 0 0 20 0 20 0 97281723 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718006528624 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23199] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23199/stat : 23199 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97281724 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718005475808 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23200] ppid=23179 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23181/task/23200/stat : 23200 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281724 26628161536 9709 33554432000 4194304 4196468 140721053050800 139718004423344 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40220 KiB [startup+0.309354 s]* /proc/loadavg: 8.12 7.66 6.82 3/199 23200 /proc/meminfo: memFree=31626372/32770624 swapFree=67108860/67108860 [pid=23179] ppid=23176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23179/stat : 23179 (xcsp3-exec) S 23176 23179 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97281717 9740288 346 33554432000 4194304 5098028 140736224581248 140736224579352 140139085537916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20803584 140736224588907 140736224589116 140736224589116 140736224591851 0 /proc/23179/statm: 2378 346 289 221 0 87 0 [pid=23181] ppid=23179 vsize=26004064 memory=44036 CPUtime=0.51 cores=0-7 /proc/23181/stat : 23181 (java) S 23179 23179 8183 0 -1 1077944320 9251 0 0 0 47 4 0 0 20 0 20 0 97281718 26628161536 11009 33554432000 4194304 4196468 140721053050800 140721053033344 139718886489847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 /proc/23181/statm: 6501016 11009 3115 1 0 6488269 0 [pid=23181/tid=23182] ppid=23179 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/23181/task/23182/stat : 23182 (java) R 23179 23179 8183 0 -1 4202560 6073 0 0 0 27 2 0 0 20 0 20 0 97281718 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718890728624 139718524286337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23183] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23183/stat : 23183 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718445103632 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23184] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23184/stat : 23184 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718444051088 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23185] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23185/stat : 23185 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718442998032 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23186] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23186/stat : 23186 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718441945488 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23187] ppid=23179 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/23181/task/23187/stat : 23187 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718440893456 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23188] ppid=23179 vsize=26004064 memory=139889098191791 CPUtime=0 cores=0-7 /proc/23181/task/23188/stat : 23188 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718439840912 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23189] ppid=23179 vsize=26004064 memory=139889098194096 CPUtime=0 cores=0-7 /proc/23181/task/23189/stat : 23189 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718438787856 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23190] ppid=23179 vsize=26004064 memory=139889098196400 CPUtime=0 cores=0-7 /proc/23181/task/23190/stat : 23190 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281719 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718437735312 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23191] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23191/stat : 23191 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281720 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718013896944 139718886500994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23192] ppid=23179 vsize=26004064 memory=279778196399760 CPUtime=0 cores=0-7 /proc/23181/task/23192/stat : 23192 (java) S 23179 23179 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97281721 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718012843168 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23193] ppid=23179 vsize=26004064 memory=279778196406672 CPUtime=0 cores=0-7 /proc/23181/task/23193/stat : 23193 (java) S 23179 23179 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97281721 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718011790064 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23194] ppid=23179 vsize=26004064 memory=279778196347952 CPUtime=0 cores=0-7 /proc/23181/task/23194/stat : 23194 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281723 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718010738640 139718886508443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23195] ppid=23179 vsize=26004064 memory=279778196420496 CPUtime=0.02 cores=0-7 /proc/23181/task/23195/stat : 23195 (java) S 23179 23179 8183 0 -1 1077944384 577 0 0 0 2 0 0 0 20 0 20 0 97281723 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718009686768 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23196] ppid=23179 vsize=26004064 memory=279778196427408 CPUtime=0.01 cores=0-7 /proc/23181/task/23196/stat : 23196 (java) S 23179 23179 8183 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 20 0 97281723 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718008634224 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23197] ppid=23179 vsize=26004064 memory=279778196425104 CPUtime=0.02 cores=0-7 /proc/23181/task/23197/stat : 23197 (java) S 23179 23179 8183 0 -1 1077944384 140 0 0 0 2 0 0 0 20 0 20 0 97281723 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718007581168 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23198] ppid=23179 vsize=26004064 memory=279778196441264 CPUtime=0.12 cores=0-7 /proc/23181/task/23198/stat : 23198 (java) R 23179 23179 8183 0 -1 4202560 921 0 0 0 12 0 0 0 20 0 20 0 97281723 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718006524992 139718865123716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23199] ppid=23179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23181/task/23199/stat : 23199 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97281724 26628161536 11009 33554432000 4194304 4196468 140721053050800 139718005475808 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23200] ppid=23179 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23181/task/23200/stat : 23200 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281724 26628161536 11075 33554432000 4194304 4196468 140721053050800 139718004423344 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45420 KiB [startup+0.700941 s] /proc/loadavg: 8.12 7.66 6.82 7/199 23200 /proc/meminfo: memFree=31600760/32770624 swapFree=67108860/67108860 [pid=23179] ppid=23176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23179/stat : 23179 (xcsp3-exec) S 23176 23179 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97281717 9740288 346 33554432000 4194304 5098028 140736224581248 140736224579352 140139085537916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20803584 140736224588907 140736224589116 140736224589116 140736224591851 0 /proc/23179/statm: 2378 346 289 221 0 87 0 [pid=23181] ppid=23179 vsize=26006188 memory=92824 CPUtime=1.97 cores=0-7 /proc/23181/stat : 23181 (java) S 23179 23179 8183 0 -1 1077944320 13227 0 0 0 191 6 0 0 20 0 20 0 97281718 26630336512 23206 33554432000 4194304 4196468 140721053050800 140721053033344 139718886489847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 /proc/23181/statm: 6501547 23206 3202 1 0 6488781 0 [pid=23181/tid=23182] ppid=23179 vsize=26006188 memory=279778196736192 CPUtime=0.67 cores=0-7 /proc/23181/task/23182/stat : 23182 (java) R 23179 23179 8183 0 -1 4202560 6708 0 0 0 64 3 0 0 20 0 20 0 97281718 26630336512 23206 33554432000 4194304 4196468 140721053050800 139718890728752 139718527179163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23183] ppid=23179 vsize=26006188 memory=1012 CPUtime=0 cores=0-7 /proc/23181/task/23183/stat : 23183 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26630336512 23206 33554432000 4194304 4196468 140721053050800 139718445103632 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23184] ppid=23179 vsize=26006188 memory=1716 CPUtime=0 cores=0-7 /proc/23181/task/23184/stat : 23184 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97281719 26630336512 23206 33554432000 4194304 4196468 140721053050800 139718444051088 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23185] ppid=23179 vsize=26006188 memory=5792 CPUtime=0 cores=0-7 /proc/23181/task/23185/stat : 23185 (java) S 23179 23179 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97281719 26630336512 23206 33554432000 4194304 4196468 140721053050800 139718442998032 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 ################ # More data... # ################ [pid=23181/tid=23520] ppid=23179 vsize=26539728 memory=1384 CPUtime=157.79 cores=0-7 /proc/23181/task/23520/stat : 23520 (java) R 23179 23179 8183 0 -1 4202560 5032 0 0 0 15765 14 0 0 20 0 28 0 97282083 27176681472 301316 33554432000 4194304 4196468 140721053050800 139717989043992 139718534061307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 Current children cumulated CPU time: 1287.61 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 1206648 KiB [startup+222.305 s] /proc/loadavg: 8.02 7.88 7.09 9/208 23528 /proc/meminfo: memFree=30453100/32770624 swapFree=67108860/67108860 [pid=23179] ppid=23176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23179/stat : 23179 (xcsp3-exec) S 23176 23179 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97281717 9740288 346 33554432000 4194304 5098028 140736224581248 140736224579352 140139085537916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20803584 140736224588907 140736224589116 140736224589116 140736224591851 0 /proc/23179/statm: 2378 346 289 221 0 87 0 [pid=23181] ppid=23179 vsize=26539728 memory=1214844 CPUtime=1766.27 cores=0-7 /proc/23181/stat : 23181 (java) S 23179 23179 8183 0 -1 1077944320 87156 0 0 0 176490 137 0 0 20 0 28 0 97281718 27176681472 303711 33554432000 4194304 4196468 140721053050800 140721053033344 139718886489847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 /proc/23181/statm: 6634932 303711 3286 1 0 6622166 0 [pid=23181/tid=23182] ppid=23179 vsize=26539728 memory=1211772 CPUtime=1.09 cores=0-7 /proc/23181/task/23182/stat : 23182 (java) S 23179 23179 8183 0 -1 1077944384 6842 0 0 0 105 4 0 0 20 0 28 0 97281718 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718890730624 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23183] ppid=23179 vsize=26539728 memory=1211772 CPUtime=0.12 cores=0-7 /proc/23181/task/23183/stat : 23183 (java) S 23179 23179 8183 0 -1 1077944384 1118 0 0 0 6 6 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718445103632 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23184] ppid=23179 vsize=26539728 memory=1214844 CPUtime=0.14 cores=0-7 /proc/23181/task/23184/stat : 23184 (java) S 23179 23179 8183 0 -1 1077944384 1424 0 0 0 8 6 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718444051088 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23185] ppid=23179 vsize=26539728 memory=1214844 CPUtime=0.14 cores=0-7 /proc/23181/task/23185/stat : 23185 (java) S 23179 23179 8183 0 -1 1077944384 1706 0 0 0 7 7 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718442998032 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23186] ppid=23179 vsize=26539728 memory=1384 CPUtime=0.14 cores=0-7 /proc/23181/task/23186/stat : 23186 (java) S 23179 23179 8183 0 -1 1077944384 1163 0 0 0 8 6 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718441945488 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23187] ppid=23179 vsize=26539728 memory=279778198462128 CPUtime=0.15 cores=0-7 /proc/23181/task/23187/stat : 23187 (java) S 23179 23179 8183 0 -1 1077944384 2585 0 0 0 9 6 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718440893456 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23188] ppid=23179 vsize=26539728 memory=7379259518563411029 CPUtime=0.14 cores=0-7 /proc/23181/task/23188/stat : 23188 (java) S 23179 23179 8183 0 -1 1077944384 1974 0 0 0 8 6 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718439840912 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23189] ppid=23179 vsize=26539728 memory=4140 CPUtime=0.14 cores=0-7 /proc/23181/task/23189/stat : 23189 (java) S 23179 23179 8183 0 -1 1077944384 1083 0 0 0 8 6 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718438787856 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23190] ppid=23179 vsize=26539728 memory=28036 CPUtime=0.14 cores=0-7 /proc/23181/task/23190/stat : 23190 (java) S 23179 23179 8183 0 -1 1077944384 1469 0 0 0 7 7 0 0 20 0 28 0 97281719 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718437735312 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23191] ppid=23179 vsize=26539728 memory=1384 CPUtime=0.05 cores=0-7 /proc/23181/task/23191/stat : 23191 (java) S 23179 23179 8183 0 -1 1077944384 4841 0 0 0 4 1 0 0 20 0 28 0 97281720 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718013896944 139718886500994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23192] ppid=23179 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/23181/task/23192/stat : 23192 (java) S 23179 23179 8183 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 97281721 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718012843232 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23193] ppid=23179 vsize=26539728 memory=279776183974333 CPUtime=0 cores=0-7 /proc/23181/task/23193/stat : 23193 (java) S 23179 23179 8183 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97281721 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718011790080 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23194] ppid=23179 vsize=26539728 memory=7522541233858958694 CPUtime=0 cores=0-7 /proc/23181/task/23194/stat : 23194 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97281723 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718010738640 139718886508443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23195] ppid=23179 vsize=26539728 memory=6791534058613427641 CPUtime=2.03 cores=0-7 /proc/23181/task/23195/stat : 23195 (java) S 23179 23179 8183 0 -1 1077944384 6413 0 0 0 202 1 0 0 20 0 28 0 97281723 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718009686768 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23196] ppid=23179 vsize=26539728 memory=4100 CPUtime=2.33 cores=0-7 /proc/23181/task/23196/stat : 23196 (java) S 23179 23179 8183 0 -1 1077944384 7875 0 0 0 231 2 0 0 20 0 28 0 97281723 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718008634224 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23197] ppid=23179 vsize=26539728 memory=4140 CPUtime=2.22 cores=0-7 /proc/23181/task/23197/stat : 23197 (java) S 23179 23179 8183 0 -1 1077944384 5303 0 0 0 221 1 0 0 20 0 28 0 97281723 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718007581168 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23198] ppid=23179 vsize=26539728 memory=1716 CPUtime=0.85 cores=0-7 /proc/23181/task/23198/stat : 23198 (java) S 23179 23179 8183 0 -1 1077944384 5769 0 0 0 84 1 0 0 20 0 28 0 97281723 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718006528624 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23199] ppid=23179 vsize=26539728 memory=5792 CPUtime=0 cores=0-7 /proc/23181/task/23199/stat : 23199 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97281724 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718005475808 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23200] ppid=23179 vsize=26539728 memory=4616 CPUtime=0.04 cores=0-7 /proc/23181/task/23200/stat : 23200 (java) S 23179 23179 8183 0 -1 1077944384 631 0 0 0 1 3 0 0 20 0 28 0 97281724 27176681472 303711 33554432000 4194304 4196468 140721053050800 139718004423344 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23513] ppid=23179 vsize=26539728 memory=28036 CPUtime=218.27 cores=0-7 /proc/23181/task/23513/stat : 23513 (java) R 23179 23179 8183 0 -1 4202560 1351 0 0 0 21827 0 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717996415680 139718532375393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23514] ppid=23179 vsize=26539728 memory=1296 CPUtime=217.42 cores=0-7 /proc/23181/task/23514/stat : 23514 (java) R 23179 23179 8183 0 -1 4202560 1573 0 0 0 21741 1 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717990100624 139718525277446 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23515] ppid=23179 vsize=26539728 memory=2336 CPUtime=217.92 cores=0-7 /proc/23181/task/23515/stat : 23515 (java) R 23179 23179 8183 0 -1 4202560 1758 0 0 0 21791 1 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717994312520 139718532673550 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23516] ppid=23179 vsize=26539728 memory=1724 CPUtime=217.03 cores=0-7 /proc/23181/task/23516/stat : 23516 (java) R 23179 23179 8183 0 -1 4202560 3584 0 0 0 21695 8 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717987995088 139718532358003 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23517] ppid=23179 vsize=26539728 memory=6791534058613427641 CPUtime=218.16 cores=0-7 /proc/23181/task/23517/stat : 23517 (java) R 23179 23179 8183 0 -1 4202560 8883 0 0 0 21793 23 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717992202000 139718532377420 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23518] ppid=23179 vsize=26539728 memory=1568 CPUtime=218.2 cores=0-7 /proc/23181/task/23518/stat : 23518 (java) R 23179 23179 8183 0 -1 4202560 2650 0 0 0 21819 1 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717993259152 139718533695162 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23519] ppid=23179 vsize=26539728 memory=1384 CPUtime=217.3 cores=0-7 /proc/23181/task/23519/stat : 23519 (java) R 23179 23179 8183 0 -1 4202560 1512 0 0 0 21729 1 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717991153488 139718532358090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23520] ppid=23179 vsize=26539728 memory=1384 CPUtime=217.04 cores=0-7 /proc/23181/task/23520/stat : 23520 (java) R 23179 23179 8183 0 -1 4202560 8589 0 0 0 21682 22 0 0 20 0 28 0 97282083 27176681472 303711 33554432000 4194304 4196468 140721053050800 139717989044072 139718533694540 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 Current children cumulated CPU time: 1766.27 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 1216228 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.01 7.89 7.12 9/208 23528 /proc/meminfo: memFree=30455044/32770624 swapFree=67108860/67108860 [pid=23179] ppid=23176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23179/stat : 23179 (xcsp3-exec) S 23176 23179 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97281717 9740288 346 33554432000 4194304 5098028 140736224581248 140736224579352 140139085537916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20803584 140736224588907 140736224589116 140736224589116 140736224591851 0 /proc/23179/statm: 2378 346 289 221 0 87 0 [pid=23181] ppid=23179 vsize=26539728 memory=1214220 CPUtime=2003.19 cores=0-7 /proc/23181/stat : 23181 (java) S 23179 23179 8183 0 -1 1077944320 89887 0 0 0 200174 145 0 0 20 0 28 0 97281718 27176681472 303555 33554432000 4194304 4196468 140721053050800 140721053033344 139718886489847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 /proc/23181/statm: 6634932 303555 3286 1 0 6622166 0 [pid=23181/tid=23182] ppid=23179 vsize=26539728 memory=279778197190032 CPUtime=1.09 cores=0-7 /proc/23181/task/23182/stat : 23182 (java) S 23179 23179 8183 0 -1 1077944384 6842 0 0 0 105 4 0 0 20 0 28 0 97281718 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718890730624 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23183] ppid=23179 vsize=26539728 memory=-7003737579269690708 CPUtime=0.13 cores=0-7 /proc/23181/task/23183/stat : 23183 (java) S 23179 23179 8183 0 -1 1077944384 1128 0 0 0 6 7 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718445103632 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23184] ppid=23179 vsize=26539728 memory=-7003737579269690708 CPUtime=0.16 cores=0-7 /proc/23181/task/23184/stat : 23184 (java) S 23179 23179 8183 0 -1 1077944384 1433 0 0 0 9 7 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718444051088 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23185] ppid=23179 vsize=26539728 memory=1384 CPUtime=0.16 cores=0-7 /proc/23181/task/23185/stat : 23185 (java) S 23179 23179 8183 0 -1 1077944384 1717 0 0 0 8 8 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718442998032 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23186] ppid=23179 vsize=26539728 memory=1217324 CPUtime=0.16 cores=0-7 /proc/23181/task/23186/stat : 23186 (java) S 23179 23179 8183 0 -1 1077944384 1169 0 0 0 9 7 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718441945488 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23187] ppid=23179 vsize=26539728 memory=15823313175840883 CPUtime=0.16 cores=0-7 /proc/23181/task/23187/stat : 23187 (java) S 23179 23179 8183 0 -1 1077944384 2597 0 0 0 9 7 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718440893456 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23188] ppid=23179 vsize=26539728 memory=1012 CPUtime=0.16 cores=0-7 /proc/23181/task/23188/stat : 23188 (java) S 23179 23179 8183 0 -1 1077944384 1990 0 0 0 9 7 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718439840912 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23189] ppid=23179 vsize=26539728 memory=1716 CPUtime=0.15 cores=0-7 /proc/23181/task/23189/stat : 23189 (java) S 23179 23179 8183 0 -1 1077944384 1094 0 0 0 8 7 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718438787856 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23190] ppid=23179 vsize=26539728 memory=5792 CPUtime=0.16 cores=0-7 /proc/23181/task/23190/stat : 23190 (java) S 23179 23179 8183 0 -1 1077944384 1496 0 0 0 8 8 0 0 20 0 28 0 97281719 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718437735312 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23191] ppid=23179 vsize=26539728 memory=4616 CPUtime=0.05 cores=0-7 /proc/23181/task/23191/stat : 23191 (java) S 23179 23179 8183 0 -1 1077944384 4847 0 0 0 4 1 0 0 20 0 28 0 97281720 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718013896944 139718886500994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23192] ppid=23179 vsize=26539728 memory=792 CPUtime=0 cores=0-7 /proc/23181/task/23192/stat : 23192 (java) S 23179 23179 8183 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 97281721 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718012843232 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23193] ppid=23179 vsize=26539728 memory=1420 CPUtime=0 cores=0-7 /proc/23181/task/23193/stat : 23193 (java) S 23179 23179 8183 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97281721 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718011790080 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23194] ppid=23179 vsize=26539728 memory=13040 CPUtime=0 cores=0-7 /proc/23181/task/23194/stat : 23194 (java) S 23179 23179 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97281723 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718010738640 139718886508443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23195] ppid=23179 vsize=26539728 memory=6791534058613427641 CPUtime=2.06 cores=0-7 /proc/23181/task/23195/stat : 23195 (java) S 23179 23179 8183 0 -1 1077944384 7556 0 0 0 205 1 0 0 20 0 28 0 97281723 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718009686768 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23196] ppid=23179 vsize=26539728 memory=1384 CPUtime=2.33 cores=0-7 /proc/23181/task/23196/stat : 23196 (java) S 23179 23179 8183 0 -1 1077944384 7875 0 0 0 231 2 0 0 20 0 28 0 97281723 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718008634224 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23197] ppid=23179 vsize=26539728 memory=1216300 CPUtime=2.22 cores=0-7 /proc/23181/task/23197/stat : 23197 (java) S 23179 23179 8183 0 -1 1077944384 5303 0 0 0 221 1 0 0 20 0 28 0 97281723 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718007581168 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23198] ppid=23179 vsize=26539728 memory=4616 CPUtime=0.85 cores=0-7 /proc/23181/task/23198/stat : 23198 (java) S 23179 23179 8183 0 -1 1077944384 6675 0 0 0 84 1 0 0 20 0 28 0 97281723 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718006528624 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23199] ppid=23179 vsize=26539728 memory=1716 CPUtime=0 cores=0-7 /proc/23181/task/23199/stat : 23199 (java) S 23179 23179 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97281724 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718005475808 139718886500053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23200] ppid=23179 vsize=26539728 memory=5792 CPUtime=0.05 cores=0-7 /proc/23181/task/23200/stat : 23200 (java) S 23179 23179 8183 0 -1 1077944384 636 0 0 0 1 4 0 0 20 0 28 0 97281724 27176681472 303555 33554432000 4194304 4196468 140721053050800 139718004423344 139718886500994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23513] ppid=23179 vsize=26539728 memory=4616 CPUtime=247.94 cores=0-7 /proc/23181/task/23513/stat : 23513 (java) R 23179 23179 8183 0 -1 4202560 1376 0 0 0 24794 0 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717996415584 139718533695500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23514] ppid=23179 vsize=26539728 memory=1384 CPUtime=246.99 cores=0-7 /proc/23181/task/23514/stat : 23514 (java) R 23179 23179 8183 0 -1 4202560 1594 0 0 0 24698 1 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717990100704 139718532376275 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23515] ppid=23179 vsize=26539728 memory=1216300 CPUtime=247.6 cores=0-7 /proc/23181/task/23515/stat : 23515 (java) R 23179 23179 8183 0 -1 4202560 1876 0 0 0 24758 2 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717994312520 139718532377867 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23516] ppid=23179 vsize=26539728 memory=28036 CPUtime=246.33 cores=0-7 /proc/23181/task/23516/stat : 23516 (java) R 23179 23179 8183 0 -1 4202560 3615 0 0 0 24625 8 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717987996112 139718533695302 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23517] ppid=23179 vsize=26539728 memory=1296 CPUtime=247.82 cores=0-7 /proc/23181/task/23517/stat : 23517 (java) R 23179 23179 8183 0 -1 4202560 9085 0 0 0 24759 23 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717992204864 139718533695111 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23518] ppid=23179 vsize=26539728 memory=2336 CPUtime=247.87 cores=0-7 /proc/23181/task/23518/stat : 23518 (java) R 23179 23179 8183 0 -1 4202560 2663 0 0 0 24786 1 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717993259328 139718532376599 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23519] ppid=23179 vsize=26539728 memory=1724 CPUtime=246.95 cores=0-7 /proc/23181/task/23519/stat : 23519 (java) R 23179 23179 8183 0 -1 4202560 1535 0 0 0 24694 1 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717991153488 139718532377420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 [pid=23181/tid=23520] ppid=23179 vsize=26539728 memory=1012 CPUtime=246.6 cores=0-7 /proc/23181/task/23520/stat : 23520 (java) R 23179 23179 8183 0 -1 4202560 8725 0 0 0 24637 23 0 0 20 0 28 0 97282083 27176681472 303555 33554432000 4194304 4196468 140721053050800 139717989048272 139718533824569 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11059200 140721053058200 140721053058376 140721053058376 140721053061071 0 Current children cumulated CPU time: 2003.19 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 1215604 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.048 s] # the end of solver process 23179 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000954 s, system=0.000954 s [startup+252.118 s] # the end of solver process 23181 was just reported to runsolver # cumulated CPU time of all completed processes: user=2002.47 s, system=1.47194 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.118 CPU time (s): 2003.94 CPU user time (s): 2002.47 CPU system time (s): 1.47194 CPU usage (%): 794.843 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 1222372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2002.47 system time used= 1.47194 maximum resident set size= 1222804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91123 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13823 involuntary context switches= 20927 # summary of solver processes directly reported to runsolver: # pid: 23179,23181 # total CPU time (s): 2003.94 # total CPU user time (s): 2002.47 # total CPU system time (s): 1.47194 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.4212 second user time and 2.62066 second system time The end
Begin job on node103 at 2017-08-13 18:17:56 IDJOB=4271821 IDBENCH=124412 IDSOLVER=2663 FILE ID=node103/4271821-1502641935 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61796 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-4271821-1502641935/watcher-4271821-1502641935 -o /tmp/evaluation-result-4271821-1502641935/solver-4271821-1502641935 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 194415452 HOME/instance-4271821-1502641935.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=194415452 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.56 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.56 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.56 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.56 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: 31658668 kB MemAvailable: 31994768 kB Buffers: 107512 kB Cached: 523180 kB SwapCached: 0 kB Active: 517080 kB Inactive: 169308 kB Active(anon): 4984 kB Inactive(anon): 78632 kB Active(file): 512096 kB Inactive(file): 90676 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7768 kB Writeback: 12 kB AnonPages: 61712 kB Mapped: 43628 kB Shmem: 25228 kB Slab: 124180 kB SReclaimable: 98324 kB SUnreclaim: 25856 kB KernelStack: 3200 kB PageTables: 4716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 61788 MiB End job on node103 at 2017-08-13 18:22:09