Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 | OPT | 3 | 34.7096 | 9.62766 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
MD5SUM | 67a2d403e3bfd604d92484151c447548 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 23.8149 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393363-1568354506.xml" -tl '2520s' -p 4 0.13/0.20 c Choco e747e1e 0.13/0.20 c [HOME/instance-4393363-1568354506.xml, -tl, 2520s, -p, 4] 0.34/0.25 c 4 solvers in parallel 0.34/0.31 c parse instance... 4.66/1.61 c solve instance... 5.42/1.81 o 19 5.42/1.83 o 18 5.42/1.84 o 17 5.42/1.86 o 16 5.42/1.88 o 15 5.83/1.93 o 14 6.23/2.06 o 13 7.18/2.38 o 12 7.49/2.46 o 11 8.94/2.86 o 10 9.24/2.98 o 9 17.94/5.16 o 8 18.29/5.22 o 7 26.59/7.30 o 6 26.98/7.56 o 5 33.56/9.25 o 4 34.07/9.47 o 3 34.67/9.61 s OPTIMUM FOUND 34.67/9.61 v <instantiation> 34.67/9.61 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list> 34.67/9.61 v <values>0 12 21 15 22 4 10 14 20 7 26 9 11 8 28 27 2 23 1 3 24 18 29 5 6 16 19 25 13 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 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 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 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 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 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 2 2 2 2 0 0 0 0 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 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 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 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 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 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 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 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 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 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 1 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 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 1 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 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 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 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 1 1 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 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 1 1 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 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 1 1 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 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 1 1 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 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 1 1 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 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 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 1 1 1 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 1 1 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 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 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 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 1 1 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 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 1 1 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 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 1 1 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 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 1 1 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 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 2 2 2 </values> 34.67/9.61 v </instantiation>
OK 3
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: 16375 MiB (13544 MiB free) memory of node 1: 16384 MiB (13544 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393363-1568354506/watcher-4393363-1568354506 -o /tmp/evaluation-result-4393363-1568354506/solver-4393363-1568354506 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28199 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 687765541 HOME/instance-4393363-1568354506.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=28723, runsolver pid=28716 Current StackSize limit: 8192 KiB [startup+0.100079 s]* /proc/loadavg: 8.36 8.38 6.71 5/231 28754 /proc/meminfo: memFree=27705848/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 [pid=28726] ppid=28723 vsize=15144768 memory=29980 CPUtime=0.13 cores=0-3 /proc/28726/stat : 28726 (java) S 28723 28723 28168 0 -1 1077944320 5878 0 0 0 11 2 0 0 20 0 15 0 411456969 15508242432 7495 33554432000 4194304 4196468 140729424439968 140729424422512 140014190677751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 /proc/28726/statm: 3786192 7495 3145 1 0 3748377 0 [pid=28726/tid=28728] ppid=28723 vsize=15144768 memory=4351193297951295120 CPUtime=0.09 cores=0-3 /proc/28726/task/28728/stat : 28728 (java) R 28723 28723 28168 0 -1 4202560 3801 0 0 0 8 1 0 0 20 0 15 0 411456969 15508242432 7495 33554432000 4194304 4196468 140729424439968 140014194900144 140014190689686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28733] ppid=28723 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0-3 /proc/28726/task/28733/stat : 28733 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7495 33554432000 4194304 4196468 140729424439968 140014126913936 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28734] ppid=28723 vsize=15144768 memory=140503242290816 CPUtime=0 cores=0-3 /proc/28726/task/28734/stat : 28734 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7495 33554432000 4194304 4196468 140729424439968 140014125861136 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28735] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28735/stat : 28735 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7495 33554432000 4194304 4196468 140729424439968 140014124808848 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28736] ppid=28723 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/28726/task/28736/stat : 28736 (java) S 28723 28723 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7495 33554432000 4194304 4196468 140729424439968 140014123756048 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28738] ppid=28723 vsize=15144768 memory=140503242290816 CPUtime=0 cores=0-3 /proc/28726/task/28738/stat : 28738 (java) S 28723 28723 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013726497392 140014190688898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28741] ppid=28723 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/28726/task/28741/stat : 28741 (java) S 28723 28723 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013725443360 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28742] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28742/stat : 28742 (java) S 28723 28723 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013724391024 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28748] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28748/stat : 28748 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013723339344 140014190696347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28749] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28749/stat : 28749 (java) S 28723 28723 28168 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013722286192 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013721233392 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15144768 memory=140503242290816 CPUtime=0.01 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) R 28723 28723 28168 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 411456975 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013652142448 140014170141890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456976 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15144768 memory=140503242290816 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456976 15508242432 7495 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 31428 KiB [startup+0.219018 s]* /proc/loadavg: 8.36 8.38 6.71 5/231 28754 /proc/meminfo: memFree=27682212/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 [pid=28726] ppid=28723 vsize=15144768 memory=39992 CPUtime=0.34 cores=0-3 /proc/28726/stat : 28726 (java) S 28723 28723 28168 0 -1 1077944320 9257 0 0 0 31 3 0 0 20 0 15 0 411456969 15508242432 9998 33554432000 4194304 4196468 140729424439968 140729424422512 140014190677751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 /proc/28726/statm: 3786192 9998 3255 1 0 3748377 0 [pid=28726/tid=28728] ppid=28723 vsize=15144768 memory=7883960649037381690 CPUtime=0.21 cores=0-3 /proc/28726/task/28728/stat : 28728 (java) R 28723 28723 28168 0 -1 4202560 6551 0 0 0 18 3 0 0 20 0 15 0 411456969 15508242432 9998 33554432000 4194304 4196468 140729424439968 140014194910800 140014183355765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28733] ppid=28723 vsize=15144768 memory=1915596 CPUtime=0 cores=0-3 /proc/28726/task/28733/stat : 28733 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 9998 33554432000 4194304 4196468 140729424439968 140014126913936 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28734] ppid=28723 vsize=15144768 memory=140503245309999 CPUtime=0 cores=0-3 /proc/28726/task/28734/stat : 28734 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 9998 33554432000 4194304 4196468 140729424439968 140014125861136 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28735] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28735/stat : 28735 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 9998 33554432000 4194304 4196468 140729424439968 140014124808848 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28736] ppid=28723 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/28726/task/28736/stat : 28736 (java) S 28723 28723 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 9998 33554432000 4194304 4196468 140729424439968 140014123756048 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28738] ppid=28723 vsize=15144768 memory=140503242290816 CPUtime=0 cores=0-3 /proc/28726/task/28738/stat : 28738 (java) S 28723 28723 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013726497392 140014190688898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28741] ppid=28723 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/28726/task/28741/stat : 28741 (java) S 28723 28723 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013725443360 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28742] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28742/stat : 28742 (java) S 28723 28723 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013724391024 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28748] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28748/stat : 28748 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013723339344 140014190696347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28749] ppid=28723 vsize=15144768 memory=0 CPUtime=0.02 cores=0-3 /proc/28726/task/28749/stat : 28749 (java) R 28723 28723 28168 0 -1 4202560 520 0 0 0 2 0 0 0 20 0 15 0 411456975 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013722276304 140014175074452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15144768 memory=-1 CPUtime=0.02 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) S 28723 28723 28168 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 411456975 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013721233392 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15144768 memory=140503242290816 CPUtime=0.07 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) S 28723 28723 28168 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 15 0 411456975 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013652142448 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456976 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456976 15508242432 9998 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 41440 KiB [startup+0.311494 s]* /proc/loadavg: 8.36 8.38 6.71 6/231 28754 /proc/meminfo: memFree=27672356/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 [pid=28726] ppid=28723 vsize=15149024 memory=46300 CPUtime=0.52 cores=0-3 /proc/28726/stat : 28726 (java) S 28723 28723 28168 0 -1 1077944320 10375 0 0 0 48 4 0 0 20 0 15 0 411456969 15512600576 11575 33554432000 4194304 4196468 140729424439968 140729424422512 140014190677751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 /proc/28726/statm: 3787256 11575 3356 1 0 3748377 0 [pid=28726/tid=28728] ppid=28723 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0-3 /proc/28726/task/28728/stat : 28728 (java) R 28723 28723 28168 0 -1 4202560 7518 0 0 0 27 3 0 0 20 0 15 0 411456969 15512600576 11575 33554432000 4194304 4196468 140729424439968 140014194899264 140014174758238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28733] ppid=28723 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0-3 /proc/28726/task/28733/stat : 28733 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11575 33554432000 4194304 4196468 140729424439968 140014126913936 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28734] ppid=28723 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0-3 /proc/28726/task/28734/stat : 28734 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11575 33554432000 4194304 4196468 140729424439968 140014125861136 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28735] ppid=28723 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0-3 /proc/28726/task/28735/stat : 28735 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11575 33554432000 4194304 4196468 140729424439968 140014124808848 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28736] ppid=28723 vsize=15149024 memory=7976406965554101975 CPUtime=0 cores=0-3 /proc/28726/task/28736/stat : 28736 (java) S 28723 28723 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11575 33554432000 4194304 4196468 140729424439968 140014123756048 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28738] ppid=28723 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=0-3 /proc/28726/task/28738/stat : 28738 (java) S 28723 28723 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411456972 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013726497392 140014190688898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28741] ppid=28723 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=0-3 /proc/28726/task/28741/stat : 28741 (java) S 28723 28723 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013725443360 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28742] ppid=28723 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=0-3 /proc/28726/task/28742/stat : 28742 (java) S 28723 28723 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013724391024 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28748] ppid=28723 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0-3 /proc/28726/task/28748/stat : 28748 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013723339344 140014190696347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28749] ppid=28723 vsize=15149024 memory=7031125463459224206 CPUtime=0.04 cores=0-3 /proc/28726/task/28749/stat : 28749 (java) S 28723 28723 28168 0 -1 1077944384 536 0 0 0 4 0 0 0 20 0 15 0 411456975 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013722286192 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15149024 memory=0 CPUtime=0.04 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) S 28723 28723 28168 0 -1 1077944384 135 0 0 0 4 0 0 0 20 0 15 0 411456975 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013721233392 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15149024 memory=0 CPUtime=0.12 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) S 28723 28723 28168 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 15 0 411456975 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013652142448 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15149024 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456976 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15149024 memory=0 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456976 15512600576 11575 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262152 KiB Current children cumulated memory: 47748 KiB [startup+0.701019 s] /proc/loadavg: 8.36 8.38 6.71 8/231 28754 /proc/meminfo: memFree=27630840/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 [pid=28726] ppid=28723 vsize=15151148 memory=94732 CPUtime=1.73 cores=0-3 /proc/28726/stat : 28726 (java) S 28723 28723 28168 0 -1 1077944320 14824 0 0 0 167 6 0 0 20 0 15 0 411456969 15514775552 23683 33554432000 4194304 4196468 140729424439968 140729424422512 140014190677751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 /proc/28726/statm: 3787787 23683 3444 1 0 3748889 0 [pid=28726/tid=28728] ppid=28723 vsize=15151148 memory=0 CPUtime=0.67 cores=0-3 /proc/28726/task/28728/stat : 28728 (java) R 28723 28723 28168 0 -1 4202560 8420 0 0 0 63 4 0 0 20 0 15 0 411456969 15514775552 23683 33554432000 4194304 4196468 140729424439968 140014194913424 140014183355765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28733] ppid=28723 vsize=15151148 memory=45436 CPUtime=0 cores=0-3 /proc/28726/task/28733/stat : 28733 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 23683 33554432000 4194304 4196468 140729424439968 140014126913936 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28734] ppid=28723 vsize=15151148 memory=984 CPUtime=0 cores=0-3 /proc/28726/task/28734/stat : 28734 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 23683 33554432000 4194304 4196468 140729424439968 140014125861136 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28735] ppid=28723 vsize=15151148 memory=2020 CPUtime=0 cores=0-3 /proc/28726/task/28735/stat : 28735 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 23683 33554432000 4194304 4196468 140729424439968 140014124808848 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28736] ppid=28723 vsize=15151148 memory=1432 CPUtime=0 cores=0-3 /proc/28726/task/28736/stat : 28736 (java) S 28723 28723 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 23683 33554432000 4194304 4196468 140729424439968 140014123756048 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28738] ppid=28723 vsize=15151148 memory=776 CPUtime=0 cores=0-3 /proc/28726/task/28738/stat : 28738 (java) S 28723 28723 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411456972 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013726497392 140014190688898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28741] ppid=28723 vsize=15151148 memory=660 CPUtime=0 cores=0-3 /proc/28726/task/28741/stat : 28741 (java) S 28723 28723 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013725443360 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28742] ppid=28723 vsize=15151148 memory=1556 CPUtime=0 cores=0-3 /proc/28726/task/28742/stat : 28742 (java) S 28723 28723 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013724391024 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28748] ppid=28723 vsize=15151148 memory=9588 CPUtime=0 cores=0-3 /proc/28726/task/28748/stat : 28748 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013723339344 140014190696347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28749] ppid=28723 vsize=15151148 memory=1712 CPUtime=0.35 cores=0-3 /proc/28726/task/28749/stat : 28749 (java) R 28723 28723 28168 0 -1 4202560 1930 0 0 0 34 1 0 0 20 0 15 0 411456975 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013722272384 140014170195680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15151148 memory=5972 CPUtime=0.31 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) R 28723 28723 28168 0 -1 4202560 1171 0 0 0 31 0 0 0 20 0 15 0 411456975 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013721219416 140014172225175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15151148 memory=4164 CPUtime=0.36 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) S 28723 28723 28168 0 -1 1077944384 1998 0 0 0 36 0 0 0 20 0 15 0 411456975 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013652142448 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15151148 memory=1056 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456976 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15151148 memory=2828 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456976 15514775552 23683 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 1.73 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 96180 KiB [startup+1.50102 s] /proc/loadavg: 8.36 8.38 6.71 10/231 28754 /proc/meminfo: memFree=27506364/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/28726/task/28749/stat : 28749 (java) S 28723 28723 28168 0 -1 1077944384 5415 0 0 0 336 3 0 0 20 0 19 0 411456975 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013722286192 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15420480 memory=800 CPUtime=3.61 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) S 28723 28723 28168 0 -1 1077944384 4243 0 0 0 360 1 0 0 20 0 19 0 411456975 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013721233392 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15420480 memory=4100 CPUtime=1.1 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) S 28723 28723 28168 0 -1 1077944384 4583 0 0 0 109 1 0 0 20 0 19 0 411456975 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013652142448 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15420480 memory=1656 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15420480 memory=1804 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28851] ppid=28723 vsize=15420480 memory=920 CPUtime=0.43 cores=0-3 /proc/28726/task/28851/stat : 28851 (java) R 28723 28723 28168 0 -1 4202560 18 0 0 0 43 0 0 0 20 0 19 0 411457725 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013634755816 140013810706231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28852] ppid=28723 vsize=15420480 memory=3848 CPUtime=0.42 cores=0-3 /proc/28726/task/28852/stat : 28852 (java) R 28723 28723 28168 0 -1 4202560 30 0 0 0 42 0 0 0 20 0 19 0 411457725 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013638972152 140013812261915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28853] ppid=28723 vsize=15420480 memory=2596 CPUtime=0.44 cores=0-3 /proc/28726/task/28853/stat : 28853 (java) R 28723 28723 28168 0 -1 4202560 22 0 0 0 44 0 0 0 20 0 19 0 411457725 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013637915224 140013810705924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28854] ppid=28723 vsize=15420480 memory=0 CPUtime=0.45 cores=0-3 /proc/28726/task/28854/stat : 28854 (java) R 28723 28723 28168 0 -1 4202560 17 0 0 0 45 0 0 0 20 0 19 0 411457725 15790571520 93241 33554432000 4194304 4196468 140729424439968 140013636869448 140013811211074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 28.84 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 374412 KiB [startup+8.80106 s] /proc/loadavg: 8.25 8.35 6.71 9/232 28875 /proc/meminfo: memFree=27332500/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 [pid=28726] ppid=28723 vsize=15420480 memory=397100 CPUtime=31.97 cores=0-3 /proc/28726/stat : 28726 (java) S 28723 28723 28168 0 -1 1077944320 33751 0 0 0 3172 25 0 0 20 0 19 0 411456969 15790571520 99275 33554432000 4194304 4196468 140729424439968 140729424422512 140014190677751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 /proc/28726/statm: 3855120 99275 3542 1 0 3816222 0 [pid=28726/tid=28728] ppid=28723 vsize=15420480 memory=0 CPUtime=1.6 cores=0-3 /proc/28726/task/28728/stat : 28728 (java) S 28723 28723 28168 0 -1 1077944384 12367 0 0 0 154 6 0 0 20 0 19 0 411456969 15790571520 99275 33554432000 4194304 4196468 140729424439968 140014194918528 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28733] ppid=28723 vsize=15420480 memory=0 CPUtime=0.07 cores=0-3 /proc/28726/task/28733/stat : 28733 (java) S 28723 28723 28168 0 -1 1077944384 441 0 0 0 6 1 0 0 20 0 19 0 411456970 15790571520 99275 33554432000 4194304 4196468 140729424439968 140014126913936 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28734] ppid=28723 vsize=15420480 memory=0 CPUtime=0.05 cores=0-3 /proc/28726/task/28734/stat : 28734 (java) S 28723 28723 28168 0 -1 1077944384 264 0 0 0 4 1 0 0 20 0 19 0 411456970 15790571520 99275 33554432000 4194304 4196468 140729424439968 140014125861136 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28735] ppid=28723 vsize=15420480 memory=-1807685287725067907 CPUtime=0.06 cores=0-3 /proc/28726/task/28735/stat : 28735 (java) S 28723 28723 28168 0 -1 1077944384 335 0 0 0 5 1 0 0 20 0 19 0 411456970 15790571520 99275 33554432000 4194304 4196468 140729424439968 140014124808848 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28736] ppid=28723 vsize=15420480 memory=140503144552672 CPUtime=0.08 cores=0-3 /proc/28726/task/28736/stat : 28736 (java) S 28723 28723 28168 0 -1 1077944384 1175 0 0 0 6 2 0 0 20 0 19 0 411456970 15790571520 99275 33554432000 4194304 4196468 140729424439968 140014123756048 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28738] ppid=28723 vsize=15420480 memory=-6421031960926448530 CPUtime=0.01 cores=0-3 /proc/28726/task/28738/stat : 28738 (java) S 28723 28723 28168 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 19 0 411456972 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013726497392 140014190688898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28741] ppid=28723 vsize=15420480 memory=6944656592455360604 CPUtime=0 cores=0-3 /proc/28726/task/28741/stat : 28741 (java) S 28723 28723 28168 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013725443424 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28742] ppid=28723 vsize=15420480 memory=6943526294502006880 CPUtime=0 cores=0-3 /proc/28726/task/28742/stat : 28742 (java) S 28723 28723 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013724391040 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28748] ppid=28723 vsize=15420480 memory=45436 CPUtime=0 cores=0-3 /proc/28726/task/28748/stat : 28748 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013723339344 140014190696347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28749] ppid=28723 vsize=15420480 memory=984 CPUtime=3.42 cores=0-3 /proc/28726/task/28749/stat : 28749 (java) S 28723 28723 28168 0 -1 1077944384 6197 0 0 0 339 3 0 0 20 0 19 0 411456975 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013722286192 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15420480 memory=2020 CPUtime=3.61 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) S 28723 28723 28168 0 -1 1077944384 4245 0 0 0 360 1 0 0 20 0 19 0 411456975 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013721233392 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15420480 memory=1432 CPUtime=1.1 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) S 28723 28723 28168 0 -1 1077944384 4591 0 0 0 109 1 0 0 20 0 19 0 411456975 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013652142448 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15420480 memory=776 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15420480 memory=660 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28851] ppid=28723 vsize=15420480 memory=1556 CPUtime=1.19 cores=0-3 /proc/28726/task/28851/stat : 28851 (java) R 28723 28723 28168 0 -1 4202560 140 0 0 0 119 0 0 0 20 0 19 0 411457725 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013634754704 140013812101954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28852] ppid=28723 vsize=15420480 memory=9588 CPUtime=1.18 cores=0-3 /proc/28726/task/28852/stat : 28852 (java) R 28723 28723 28168 0 -1 4202560 289 0 0 0 118 0 0 0 20 0 19 0 411457725 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013638970064 140013813177424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28853] ppid=28723 vsize=15420480 memory=1712 CPUtime=1.18 cores=0-3 /proc/28726/task/28853/stat : 28853 (java) R 28723 28723 28168 0 -1 4202560 97 0 0 0 118 0 0 0 20 0 19 0 411457725 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013637914520 140013811097519 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28854] ppid=28723 vsize=15420480 memory=5972 CPUtime=1.21 cores=0-3 /proc/28726/task/28854/stat : 28854 (java) R 28723 28723 28168 0 -1 4202560 99 0 0 0 121 0 0 0 20 0 19 0 411457725 15790571520 99275 33554432000 4194304 4196468 140729424439968 140013636861768 140013810705998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 31.97 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 398548 KiB [startup+9.20102 s] /proc/loadavg: 8.23 8.35 6.72 6/234 28925 /proc/meminfo: memFree=27324672/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 [pid=28726] ppid=28723 vsize=15420480 memory=397120 CPUtime=33.56 cores=0-3 /proc/28726/stat : 28726 (java) S 28723 28723 28168 0 -1 1077944320 34527 0 0 0 3331 25 0 0 20 0 19 0 411456969 15790571520 99280 33554432000 4194304 4196468 140729424439968 140729424422512 140014190677751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 /proc/28726/statm: 3855120 99280 3542 1 0 3816222 0 [pid=28726/tid=28728] ppid=28723 vsize=15420480 memory=2776 CPUtime=1.6 cores=0-3 /proc/28726/task/28728/stat : 28728 (java) S 28723 28723 28168 0 -1 1077944384 12367 0 0 0 154 6 0 0 20 0 19 0 411456969 15790571520 99280 33554432000 4194304 4196468 140729424439968 140014194918528 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28733] ppid=28723 vsize=15420480 memory=924 CPUtime=0.07 cores=0-3 /proc/28726/task/28733/stat : 28733 (java) S 28723 28723 28168 0 -1 1077944384 441 0 0 0 6 1 0 0 20 0 19 0 411456970 15790571520 99280 33554432000 4194304 4196468 140729424439968 140014126913936 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28734] ppid=28723 vsize=15420480 memory=1444 CPUtime=0.05 cores=0-3 /proc/28726/task/28734/stat : 28734 (java) S 28723 28723 28168 0 -1 1077944384 264 0 0 0 4 1 0 0 20 0 19 0 411456970 15790571520 99280 33554432000 4194304 4196468 140729424439968 140014125861136 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28735] ppid=28723 vsize=15420480 memory=1764 CPUtime=0.06 cores=0-3 /proc/28726/task/28735/stat : 28735 (java) S 28723 28723 28168 0 -1 1077944384 335 0 0 0 5 1 0 0 20 0 19 0 411456970 15790571520 99280 33554432000 4194304 4196468 140729424439968 140014124808848 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28736] ppid=28723 vsize=15420480 memory=111632 CPUtime=0.08 cores=0-3 /proc/28726/task/28736/stat : 28736 (java) S 28723 28723 28168 0 -1 1077944384 1175 0 0 0 6 2 0 0 20 0 19 0 411456970 15790571520 99280 33554432000 4194304 4196468 140729424439968 140014123756048 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28738] ppid=28723 vsize=15420480 memory=800 CPUtime=0.01 cores=0-3 /proc/28726/task/28738/stat : 28738 (java) S 28723 28723 28168 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 19 0 411456972 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013726497392 140014190688898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28741] ppid=28723 vsize=15420480 memory=288230574492221466 CPUtime=0 cores=0-3 /proc/28726/task/28741/stat : 28741 (java) S 28723 28723 28168 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013725443424 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28742] ppid=28723 vsize=15420480 memory=288230591755977018 CPUtime=0 cores=0-3 /proc/28726/task/28742/stat : 28742 (java) S 28723 28723 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013724391040 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28748] ppid=28723 vsize=15420480 memory=13563791027735092 CPUtime=0 cores=0-3 /proc/28726/task/28748/stat : 28748 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013723339344 140014190696347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28749] ppid=28723 vsize=15420480 memory=1804 CPUtime=3.43 cores=0-3 /proc/28726/task/28749/stat : 28749 (java) S 28723 28723 28168 0 -1 1077944384 6383 0 0 0 340 3 0 0 20 0 19 0 411456975 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013722286192 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15420480 memory=920 CPUtime=3.61 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) S 28723 28723 28168 0 -1 1077944384 4245 0 0 0 360 1 0 0 20 0 19 0 411456975 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013721233392 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15420480 memory=3848 CPUtime=1.1 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) S 28723 28723 28168 0 -1 1077944384 4947 0 0 0 109 1 0 0 20 0 19 0 411456975 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013652142448 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15420480 memory=2596 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15420480 memory=2596 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28851] ppid=28723 vsize=15420480 memory=1412 CPUtime=1.57 cores=0-3 /proc/28726/task/28851/stat : 28851 (java) R 28723 28723 28168 0 -1 4202560 140 0 0 0 157 0 0 0 20 0 19 0 411457725 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013634754704 140013812329949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28852] ppid=28723 vsize=15420480 memory=1412 CPUtime=1.57 cores=0-3 /proc/28726/task/28852/stat : 28852 (java) R 28723 28723 28168 0 -1 4202560 314 0 0 0 157 0 0 0 20 0 19 0 411457725 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013638967944 140013806991876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28853] ppid=28723 vsize=15420480 memory=2556 CPUtime=1.57 cores=0-3 /proc/28726/task/28853/stat : 28853 (java) R 28723 28723 28168 0 -1 4202560 232 0 0 0 157 0 0 0 20 0 19 0 411457725 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013637916584 140013811211041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28854] ppid=28723 vsize=15420480 memory=2524 CPUtime=1.61 cores=0-3 /proc/28726/task/28854/stat : 28854 (java) R 28723 28723 28168 0 -1 4202560 173 0 0 0 161 0 0 0 20 0 19 0 411457725 15790571520 99280 33554432000 4194304 4196468 140729424439968 140013636863672 140013811097422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 33.56 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 398568 KiB [startup+9.60602 s] /proc/loadavg: 8.23 8.35 6.72 6/234 28925 /proc/meminfo: memFree=27324672/32770688 swapFree=66919992/67108860 [pid=28723] ppid=28716 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/28723/stat : 28723 (xcsp3-exec) S 28716 28723 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140731321107232 140731321105336 140668816663164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24215552 140731321111419 140731321111661 140731321111661 140731321114570 0 /proc/28723/statm: 28282 362 304 221 0 87 0 [pid=28726] ppid=28723 vsize=15420480 memory=397064 CPUtime=34.67 cores=0-3 /proc/28726/stat : 28726 (java) S 28723 28723 28168 0 -1 1077944320 35574 0 0 0 3442 25 0 0 20 0 19 0 411456969 15790571520 99266 33554432000 4194304 4196468 140729424439968 140729424422512 140014190677751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 /proc/28726/statm: 3855120 99266 3542 1 0 3816222 0 [pid=28726/tid=28728] ppid=28723 vsize=15420480 memory=6791534058613427641 CPUtime=1.61 cores=0-3 /proc/28726/task/28728/stat : 28728 (java) S 28723 28723 28168 0 -1 1077944384 12512 0 0 0 155 6 0 0 20 0 19 0 411456969 15790571520 99266 33554432000 4194304 4196468 140729424439968 140014194918528 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28733] ppid=28723 vsize=15420480 memory=0 CPUtime=0.07 cores=0-3 /proc/28726/task/28733/stat : 28733 (java) S 28723 28723 28168 0 -1 1077944384 441 0 0 0 6 1 0 0 20 0 19 0 411456970 15790571520 99266 33554432000 4194304 4196468 140729424439968 140014126913936 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28734] ppid=28723 vsize=15420480 memory=343 CPUtime=0.05 cores=0-3 /proc/28726/task/28734/stat : 28734 (java) S 28723 28723 28168 0 -1 1077944384 264 0 0 0 4 1 0 0 20 0 19 0 411456970 15790571520 99266 33554432000 4194304 4196468 140729424439968 140014125861136 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28735] ppid=28723 vsize=15420480 memory=4935 CPUtime=0.06 cores=0-3 /proc/28726/task/28735/stat : 28735 (java) S 28723 28723 28168 0 -1 1077944384 335 0 0 0 5 1 0 0 20 0 19 0 411456970 15790571520 99266 33554432000 4194304 4196468 140729424439968 140014124808848 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28736] ppid=28723 vsize=15420480 memory=2265 CPUtime=0.08 cores=0-3 /proc/28726/task/28736/stat : 28736 (java) S 28723 28723 28168 0 -1 1077944384 1175 0 0 0 6 2 0 0 20 0 19 0 411456970 15790571520 99266 33554432000 4194304 4196468 140729424439968 140014123756048 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28738] ppid=28723 vsize=15420480 memory=1448 CPUtime=0.01 cores=0-3 /proc/28726/task/28738/stat : 28738 (java) S 28723 28723 28168 0 -1 1077944384 682 0 0 0 1 0 0 0 20 0 19 0 411456972 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013726497392 140014190688898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28741] ppid=28723 vsize=15420480 memory=307104 CPUtime=0 cores=0-3 /proc/28726/task/28741/stat : 28741 (java) S 28723 28723 28168 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013725443424 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28742] ppid=28723 vsize=15420480 memory=13563791027735092 CPUtime=0 cores=0-3 /proc/28726/task/28742/stat : 28742 (java) S 28723 28723 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013724391040 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28748] ppid=28723 vsize=15420480 memory=1764 CPUtime=0 cores=0-3 /proc/28726/task/28748/stat : 28748 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013723339344 140014190696347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28749] ppid=28723 vsize=15420480 memory=111632 CPUtime=3.44 cores=0-3 /proc/28726/task/28749/stat : 28749 (java) R 28723 28723 28168 0 -1 1077944384 6592 0 0 0 341 3 0 0 20 0 19 0 411456975 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013722286192 140014190688898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28750] ppid=28723 vsize=15420480 memory=800 CPUtime=3.62 cores=0-3 /proc/28726/task/28750/stat : 28750 (java) R 28723 28723 28168 0 -1 4202560 4416 0 0 0 361 1 0 0 20 0 19 0 411456975 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013721233392 140014170029257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28751] ppid=28723 vsize=15420480 memory=6791534058613427641 CPUtime=1.11 cores=0-3 /proc/28726/task/28751/stat : 28751 (java) S 28723 28723 28168 0 -1 1077944384 5171 0 0 0 110 1 0 0 20 0 19 0 411456975 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013652142448 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28753] ppid=28723 vsize=15420480 memory=24768 CPUtime=0 cores=0-3 /proc/28726/task/28753/stat : 28753 (java) S 28723 28723 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013651089888 140014190687957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 [pid=28726/tid=28754] ppid=28723 vsize=15420480 memory=2120 CPUtime=0 cores=0-3 /proc/28726/task/28754/stat : 28754 (java) S 28723 28723 28168 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 411456976 15790571520 99266 33554432000 4194304 4196468 140729424439968 140013650037680 140014190688898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12722176 140729424446447 140729424446618 140729424446618 140729424449487 0 Current children cumulated CPU time: 34.67 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 398512 KiB Child status: 0 Real time (s): 9.62766 CPU time (s): 34.7096 CPU user time (s): 34.4416 CPU system time (s): 0.268001 CPU usage (%): 360.52 Max. virtual memory (cumulated for all children) (KiB): 15533608 Max. memory (cumulated for all children) (KiB): 398568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.4416 system time used= 0.268001 maximum resident set size= 397584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36525 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3596 involuntary context switches= 995 # summary of solver processes directly reported to runsolver: # pid: 28723 # total CPU time (s): 34.7096 # total CPU user time (s): 34.4416 # total CPU system time (s): 0.268001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.087359 second user time and 0.164441 second system time The end
Begin job on node120 at 2011-12-14 14:22:09 IDJOB=4393363 IDBENCH=140491 IDSOLVER=2840 FILE ID=node120/4393363-1568354506 RUNJOBID= node120-1323867655-28199 PBS_JOBID= 21701183 Free space on /tmp= 59152 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393363-1568354506/watcher-4393363-1568354506 -o /tmp/evaluation-result-4393363-1568354506/solver-4393363-1568354506 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28199 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 687765541 HOME/instance-4393363-1568354506.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=687765541 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27739688 kB MemAvailable: 31817324 kB Buffers: 163984 kB Cached: 4207352 kB SwapCached: 77548 kB Active: 1295012 kB Inactive: 3157200 kB Active(anon): 3840 kB Inactive(anon): 126960 kB Active(file): 1291172 kB Inactive(file): 3030240 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 52044 kB Writeback: 0 kB AnonPages: 45688 kB Mapped: 47732 kB Shmem: 41008 kB Slab: 173132 kB SReclaimable: 144120 kB SUnreclaim: 29012 kB KernelStack: 4000 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 519140 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59104 MiB End job on node120 at 2011-12-14 14:22:19