Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 | OPT | 10 | 29.0748 | 7.68142 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml |
MD5SUM | 097039f9865a2fa48b7d42a66e75794b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 23.1546 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
Number of extensional constraints | 450 |
Number of intensional constraints | 450 |
Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
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-4394178-1568347349.xml" -tl '2400s' -p 4 0.12/0.19 c Choco e747e1e 0.12/0.20 c [HOME/instance-4394178-1568347349.xml, -tl, 2400s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 3.45/1.28 c solve instance... 3.78/1.39 o 15 4.19/1.42 o 14 4.19/1.44 o 13 4.19/1.46 o 12 5.34/1.71 o 11 5.34/1.72 o 10 28.76/7.67 s OPTIMUM FOUND 28.76/7.67 v <instantiation> 28.76/7.67 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 28.76/7.67 v <values>0 1 11 3 9 13 8 5 10 2 6 4 7 12 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 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 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 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 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 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 1 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 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 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 1 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 1 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 1 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 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 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 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 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 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 1 1 1 1 1 1 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 1 1 0 0 0 0 0 0 0 1 1 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 1 1 1 1 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 1 1 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 1 1 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 4 7 8 9 10 10 10 10 10 10 10 10 9 7 4 </values> 28.76/7.67 v </instantiation>
OK 10
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 (12833 MiB free) memory of node 1: 16384 MiB (13549 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394178-1568347349/watcher-4394178-1568347349 -o /tmp/evaluation-result-4394178-1568347349/solver-4394178-1568347349 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1232762629 HOME/instance-4394178-1568347349.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=18471, runsolver pid=18468 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 5.34 6.05 4.86 3/233 18487 /proc/meminfo: memFree=26999532/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 [pid=18473] ppid=18471 vsize=15144768 memory=28936 CPUtime=0.12 cores=4-7 /proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 5633 0 0 0 11 1 0 0 20 0 15 0 410741255 15508242432 7234 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 /proc/18473/statm: 3786192 7234 3155 1 0 3748377 0 [pid=18473/tid=18474] ppid=18471 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=4-7 /proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 3544 0 0 0 8 1 0 0 20 0 15 0 410741255 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198662381904 140198658166166 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18475] ppid=18471 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7 /proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18476] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7 /proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18477] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18478] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18479] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7 /proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741257 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18480] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18481] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18482] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18483] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18484] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18485] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0.01 cores=4-7 /proc/18473/task/18485/stat : 18485 (java) R 18471 18471 17600 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198119672304 140198636820956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18486] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18487] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7 /proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 30384 KiB [startup+0.211675 s]* /proc/loadavg: 5.34 6.05 4.86 3/233 18487 /proc/meminfo: memFree=26985812/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 [pid=18473] ppid=18471 vsize=15144768 memory=40776 CPUtime=0.34 cores=4-7 /proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 9394 0 0 0 32 2 0 0 20 0 15 0 410741255 15508242432 10194 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 /proc/18473/statm: 3786192 10194 3254 1 0 3748377 0 [pid=18473/tid=18474] ppid=18471 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 6533 0 0 0 18 2 0 0 20 0 15 0 410741255 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198662388112 140198643835535 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18475] ppid=18471 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7 /proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18476] ppid=18471 vsize=15144768 memory=3472475015669728928 CPUtime=0 cores=4-7 /proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18477] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18478] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18479] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7 /proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741257 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18480] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18481] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18482] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18483] ppid=18471 vsize=15144768 memory=0 CPUtime=0.01 cores=4-7 /proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18484] ppid=18471 vsize=15144768 memory=-1 CPUtime=0.03 cores=4-7 /proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18485] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0.07 cores=4-7 /proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 796 0 0 0 7 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18486] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18487] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 42224 KiB [startup+0.311499 s]* /proc/loadavg: 5.34 6.05 4.86 3/233 18487 /proc/meminfo: memFree=26981684/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 [pid=18473] ppid=18471 vsize=15149024 memory=46668 CPUtime=0.52 cores=4-7 /proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 10515 0 0 0 49 3 0 0 20 0 15 0 410741255 15512600576 11667 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 /proc/18473/statm: 3787256 11667 3283 1 0 3748377 0 [pid=18473/tid=18474] ppid=18471 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=4-7 /proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 7561 0 0 0 28 2 0 0 20 0 15 0 410741255 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198662375744 140198642234718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18475] ppid=18471 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7 /proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18476] ppid=18471 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7 /proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18477] ppid=18471 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7 /proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18478] ppid=18471 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=4-7 /proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18479] ppid=18471 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=4-7 /proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410741257 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18480] ppid=18471 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=4-7 /proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18481] ppid=18471 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=4-7 /proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18482] ppid=18471 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7 /proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18483] ppid=18471 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=4-7 /proc/18473/task/18483/stat : 18483 (java) R 18471 18471 17600 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18484] ppid=18471 vsize=15149024 memory=0 CPUtime=0.04 cores=4-7 /proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 325 0 0 0 4 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18485] ppid=18471 vsize=15149024 memory=0 CPUtime=0.12 cores=4-7 /proc/18473/task/18485/stat : 18485 (java) R 18471 18471 17600 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18486] ppid=18471 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18487] ppid=18471 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262152 KiB Current children cumulated memory: 48116 KiB [startup+0.701029 s] /proc/loadavg: 5.34 6.05 4.86 5/234 18489 /proc/meminfo: memFree=26961072/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 [pid=18473] ppid=18471 vsize=15151148 memory=88492 CPUtime=1.73 cores=4-7 /proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 15296 0 0 0 168 5 0 0 20 0 15 0 410741255 15514775552 22123 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 /proc/18473/statm: 3787787 22123 3445 1 0 3748889 0 [pid=18473/tid=18474] ppid=18471 vsize=15151148 memory=0 CPUtime=0.67 cores=4-7 /proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 9061 0 0 0 63 4 0 0 20 0 15 0 410741255 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198662389984 140198287345880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18475] ppid=18471 vsize=15151148 memory=45184 CPUtime=0 cores=4-7 /proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18476] ppid=18471 vsize=15151148 memory=984 CPUtime=0 cores=4-7 /proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18477] ppid=18471 vsize=15151148 memory=2020 CPUtime=0 cores=4-7 /proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18478] ppid=18471 vsize=15151148 memory=1432 CPUtime=0 cores=4-7 /proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18479] ppid=18471 vsize=15151148 memory=776 CPUtime=0 cores=4-7 /proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410741257 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18480] ppid=18471 vsize=15151148 memory=660 CPUtime=0 cores=4-7 /proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18481] ppid=18471 vsize=15151148 memory=1556 CPUtime=0 cores=4-7 /proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18482] ppid=18471 vsize=15151148 memory=9588 CPUtime=0 cores=4-7 /proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18483] ppid=18471 vsize=15151148 memory=1712 CPUtime=0.34 cores=4-7 /proc/18473/task/18483/stat : 18483 (java) R 18471 18471 17600 0 -1 1077944384 1786 0 0 0 34 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198121766400 140198658164437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18484] ppid=18471 vsize=15151148 memory=5972 CPUtime=0.3 cores=4-7 /proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 1185 0 0 0 30 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198120716864 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18485] ppid=18471 vsize=15151148 memory=4164 CPUtime=0.38 cores=4-7 /proc/18473/task/18485/stat : 18485 (java) R 18471 18471 17600 0 -1 4202560 1958 0 0 0 38 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198119672304 140198643319817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18486] ppid=18471 vsize=15151148 memory=1056 CPUtime=0 cores=4-7 /proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18487] ppid=18471 vsize=15151148 memory=2828 CPUtime=0 cores=4-7 /proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 1.73 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 89940 KiB [startup+1.50314 s] /proc/loadavg: 5.34 6.05 4.86 5/234 18489 /proc/meminfo: memFree=26901192/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 30 0 0 0 364 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198102286568 140198294158115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 23.59 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 233504 KiB [startup+7.68136 s] # the end of solver process 18471 was just reported to runsolver # cumulated CPU time of all completed processes: user=28.9489 s, system=0.125952 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.4013 s] /proc/loadavg: 5.47 6.06 4.87 6/237 18517 /proc/meminfo: memFree=26795456/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 [pid=18473] ppid=18471 vsize=15420480 memory=232056 CPUtime=23.99 cores=4-7 /proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 29707 0 0 0 2388 11 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 /proc/18473/statm: 3855120 58014 3530 1 0 3816222 0 [pid=18473/tid=18474] ppid=18471 vsize=15420480 memory=0 CPUtime=1.26 cores=4-7 /proc/18473/task/18474/stat : 18474 (java) S 18471 18471 17600 0 -1 1077944384 11971 0 0 0 121 5 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198662395008 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18475] ppid=18471 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7 /proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18476] ppid=18471 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7 /proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18477] ppid=18471 vsize=15420480 memory=1915838 CPUtime=0 cores=4-7 /proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18478] ppid=18471 vsize=15420480 memory=1917393 CPUtime=0.02 cores=4-7 /proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18479] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 19 0 410741257 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18480] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198124934368 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18481] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198123881216 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18482] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741260 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18483] ppid=18471 vsize=15420480 memory=0 CPUtime=2.95 cores=4-7 /proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 5519 0 0 0 295 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18484] ppid=18471 vsize=15420480 memory=6791534058613427641 CPUtime=2.64 cores=4-7 /proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 4744 0 0 0 264 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18485] ppid=18471 vsize=15420480 memory=0 CPUtime=0.96 cores=4-7 /proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 4616 0 0 0 95 1 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18486] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18487] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18514] ppid=18471 vsize=15420480 memory=0 CPUtime=3.76 cores=4-7 /proc/18473/task/18514/stat : 18514 (java) R 18471 18471 17600 0 -1 4202560 30 0 0 0 376 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198103337960 140198292564321 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18515] ppid=18471 vsize=15420480 memory=6943526294502006880 CPUtime=4.13 cores=4-7 /proc/18473/task/18515/stat : 18515 (java) R 18471 18471 17600 0 -1 4202560 83 0 0 0 413 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198106496576 140198292564283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18516] ppid=18471 vsize=15420480 memory=6656426216303648864 CPUtime=3.56 cores=4-7 /proc/18473/task/18516/stat : 18516 (java) R 18471 18471 17600 0 -1 4202560 22 0 0 0 356 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198104391432 140198293050089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18517] ppid=18471 vsize=15420480 memory=0 CPUtime=3.74 cores=4-7 /proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 31 0 0 0 374 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198102286568 140198292564398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 23.99 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 233504 KiB [startup+7.2013 s] /proc/loadavg: 5.47 6.06 4.87 6/237 18517 /proc/meminfo: memFree=26795464/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 [pid=18473] ppid=18471 vsize=15420480 memory=232056 CPUtime=27.17 cores=4-7 /proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 29712 0 0 0 2706 11 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 /proc/18473/statm: 3855120 58014 3530 1 0 3816222 0 [pid=18473/tid=18474] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=1.26 cores=4-7 /proc/18473/task/18474/stat : 18474 (java) S 18471 18471 17600 0 -1 1077944384 11971 0 0 0 121 5 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198662395008 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18475] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=0.02 cores=4-7 /proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18476] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=0.02 cores=4-7 /proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18477] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=0 cores=4-7 /proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18478] ppid=18471 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7 /proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18479] ppid=18471 vsize=15420480 memory=0 CPUtime=0.01 cores=4-7 /proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 19 0 410741257 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18480] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198124934368 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18481] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198123881216 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18482] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7 /proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741260 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18483] ppid=18471 vsize=15420480 memory=0 CPUtime=2.96 cores=4-7 /proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 5520 0 0 0 296 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18484] ppid=18471 vsize=15420480 memory=0 CPUtime=2.65 cores=4-7 /proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 4745 0 0 0 265 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18485] ppid=18471 vsize=15420480 memory=15620 CPUtime=0.96 cores=4-7 /proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 4616 0 0 0 95 1 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18486] ppid=18471 vsize=15420480 memory=7882834749540411913 CPUtime=0 cores=4-7 /proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18487] ppid=18471 vsize=15420480 memory=-7741295725737516437 CPUtime=0 cores=4-7 /proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18514] ppid=18471 vsize=15420480 memory=4132772329015834144 CPUtime=4.55 cores=4-7 /proc/18473/task/18514/stat : 18514 (java) R 18471 18471 17600 0 -1 4202560 31 0 0 0 455 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198103337880 140198294159850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18515] ppid=18471 vsize=15420480 memory=1399385297787765840 CPUtime=4.93 cores=4-7 /proc/18473/task/18515/stat : 18515 (java) R 18471 18471 17600 0 -1 4202560 84 0 0 0 493 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198106496408 140198294214567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18516] ppid=18471 vsize=15420480 memory=9588 CPUtime=4.35 cores=4-7 /proc/18473/task/18516/stat : 18516 (java) R 18471 18471 17600 0 -1 4202560 22 0 0 0 435 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198104392296 140198285747319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18517] ppid=18471 vsize=15420480 memory=1712 CPUtime=4.53 cores=4-7 /proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 32 0 0 0 453 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198102286448 140198293440839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 27.17 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 233504 KiB [startup+7.6013 s] /proc/loadavg: 5.47 6.06 4.87 6/237 18517 /proc/meminfo: memFree=26795464/32770688 swapFree=66919992/67108860 [pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0 /proc/18471/statm: 28282 362 304 221 0 87 0 [pid=18473] ppid=18471 vsize=15420480 memory=232488 CPUtime=28.76 cores=4-7 /proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 31683 0 0 0 2865 11 0 0 20 0 19 0 410741255 15790571520 58122 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 /proc/18473/statm: 3855120 58122 3532 1 0 3816222 0 [pid=18473/tid=18474] ppid=18471 vsize=15420480 memory=140092169971424 CPUtime=1.26 cores=4-7 /proc/18473/task/18474/stat : 18474 (java) S 18471 18471 17600 0 -1 1077944384 11971 0 0 0 121 5 0 0 20 0 19 0 410741255 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198662395008 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18475] ppid=18471 vsize=15420480 memory=140092169971456 CPUtime=0.02 cores=4-7 /proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18476] ppid=18471 vsize=15420480 memory=4900557685875 CPUtime=0.02 cores=4-7 /proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18477] ppid=18471 vsize=15420480 memory=5972 CPUtime=0 cores=4-7 /proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18478] ppid=18471 vsize=15420480 memory=4164 CPUtime=0.02 cores=4-7 /proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18479] ppid=18471 vsize=15420480 memory=1056 CPUtime=0.01 cores=4-7 /proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 19 0 410741257 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18480] ppid=18471 vsize=15420480 memory=2828 CPUtime=0 cores=4-7 /proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198124934368 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18481] ppid=18471 vsize=15420480 memory=1176 CPUtime=0 cores=4-7 /proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198123881216 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18482] ppid=18471 vsize=15420480 memory=980 CPUtime=0 cores=4-7 /proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741260 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18483] ppid=18471 vsize=15420480 memory=14008 CPUtime=2.96 cores=4-7 /proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 5523 0 0 0 296 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18484] ppid=18471 vsize=15420480 memory=12028 CPUtime=2.66 cores=4-7 /proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 5243 0 0 0 266 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18485] ppid=18471 vsize=15420480 memory=24768 CPUtime=0.96 cores=4-7 /proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 5380 0 0 0 95 1 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18486] ppid=18471 vsize=15420480 memory=2120 CPUtime=0 cores=4-7 /proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18487] ppid=18471 vsize=15420480 memory=496 CPUtime=0 cores=4-7 /proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18514] ppid=18471 vsize=15420480 memory=1560 CPUtime=4.95 cores=4-7 /proc/18473/task/18514/stat : 18514 (java) R 18471 18471 17600 0 -1 4202560 48 0 0 0 495 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198103337960 140198292564349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18515] ppid=18471 vsize=15420480 memory=928 CPUtime=5.32 cores=4-7 /proc/18473/task/18515/stat : 18515 (java) R 18471 18471 17600 0 -1 4202560 422 0 0 0 532 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198106497256 140198292564505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18516] ppid=18471 vsize=15420480 memory=1724 CPUtime=4.74 cores=4-7 /proc/18473/task/18516/stat : 18516 (java) R 18471 18471 17600 0 -1 4202560 95 0 0 0 474 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198104391496 140198292563969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 [pid=18473/tid=18517] ppid=18471 vsize=15420480 memory=280184339313704 CPUtime=4.92 cores=4-7 /proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 236 0 0 0 492 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198102286448 140198293578350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0 Current children cumulated CPU time: 28.76 s Current children cumulated vsize: 15533608 KiB Current children cumulated memory: 233936 KiB Child status: 0 Real time (s): 7.68142 CPU time (s): 29.0748 CPU user time (s): 28.9489 CPU system time (s): 0.125952 CPU usage (%): 378.508 Max. virtual memory (cumulated for all children) (KiB): 15533608 Max. memory (cumulated for all children) (KiB): 233936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.9489 system time used= 0.125952 maximum resident set size= 232780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33853 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2670 involuntary context switches= 869 # summary of solver processes directly reported to runsolver: # pid: 18471 # total CPU time (s): 29.0748 # total CPU user time (s): 28.9489 # total CPU system time (s): 0.125952 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.083608 second user time and 0.132833 second system time The end
Begin job on node120 at 2011-12-14 12:22:52 IDJOB=4394178 IDBENCH=140490 IDSOLVER=2842 FILE ID=node120/4394178-1568347349 RUNJOBID= node120-1323860857-17632 PBS_JOBID= 21701167 Free space on /tmp= 59128 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-15-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-4394178-1568347349/watcher-4394178-1568347349 -o /tmp/evaluation-result-4394178-1568347349/solver-4394178-1568347349 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1232762629 HOME/instance-4394178-1568347349.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 097039f9865a2fa48b7d42a66e75794b RANDOM SEED=1232762629 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: 27015508 kB MemAvailable: 31084848 kB Buffers: 158188 kB Cached: 4204628 kB SwapCached: 77548 kB Active: 2027224 kB Inactive: 3149728 kB Active(anon): 736804 kB Inactive(anon): 126960 kB Active(file): 1290420 kB Inactive(file): 3022768 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26144 kB Writeback: 0 kB AnonPages: 854372 kB Mapped: 60560 kB Shmem: 41008 kB Slab: 172944 kB SReclaimable: 143972 kB SUnreclaim: 28972 kB KernelStack: 4064 kB PageTables: 7324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2559032 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 739328 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 12:23:00