Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 7 | 14.3337 | 2.68455 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml |
MD5SUM | 0da4913a631570f2aab16967eaf6c11a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 8.14485 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 6 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404849-1569004227.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404849-1569004227.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.92/1.45 c solve instance... 5.37/1.60 o 13 6.19/1.62 o 11 6.19/1.66 o 10 7.58/1.83 o 9 8.35/1.92 o 8 9.17/2.10 o 7 13.85/2.66 s OPTIMUM FOUND 13.85/2.66 v <instantiation> 13.85/2.66 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> 13.85/2.66 v <values>0 1 5 6 12 13 4 3 14 10 2 9 7 8 11 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 2 2 2 2 2 0 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 1 1 1 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 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 1 1 2 3 3 3 3 3 3 3 3 3 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 3 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 0 0 0 1 1 1 1 1 1 1 2 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 1 1 2 2 2 2 3 4 4 4 4 4 4 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 1 1 1 0 0 0 0 1 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 4 6 6 7 6 7 7 7 7 7 7 7 7 6 4 </values> 13.85/2.66 v </instantiation>
OK 7
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13263 MiB free) memory of node 1: 16384 MiB (11601 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404849-1569004227/watcher-4404849-1569004227 -o /tmp/evaluation-result-4404849-1569004227/solver-4404849-1569004227 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568994483-6691 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 489085442 HOME/instance-4404849-1569004227.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10240, runsolver pid=10237 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 8.15 8.03 7.99 2/210 10261 /proc/meminfo: memFree=25447260/32770624 swapFree=66939148/67108860 [pid=10240] ppid=10237 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10240/stat : 10240 (xcsp3-exec) S 10237 10240 6664 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476692469 115843072 362 33554432000 4194304 5098028 140726635446976 140726635445080 140444743893628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39256064 140726635451260 140726635451502 140726635451502 140726635454410 0 /proc/10240/statm: 28282 362 304 221 0 87 0 [pid=10242] ppid=10240 vsize=28227396 memory=28792 CPUtime=0.12 cores=0-7 /proc/10242/stat : 10242 (java) S 10240 10240 6664 0 -1 1077944320 5689 0 0 0 12 0 0 0 20 0 20 0 476692469 28904853504 7198 33554432000 4194304 4196468 140721281102880 140721281085424 140539465711351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 /proc/10242/statm: 7056849 7198 3119 1 0 7019032 0 [pid=10242/tid=10243] ppid=10240 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10242/task/10243/stat : 10243 (java) R 10240 10240 6664 0 -1 4202560 3600 0 0 0 9 0 0 0 20 0 20 0 476692469 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539469944624 140539465723286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10244] ppid=10240 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10242/task/10244/stat : 10244 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539385564048 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10245] ppid=10240 vsize=28227396 memory=140566044812928 CPUtime=0 cores=0-7 /proc/10242/task/10245/stat : 10245 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539384511248 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10246] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10246/stat : 10246 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539015060624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10247] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10247/stat : 10247 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539014007824 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10248] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10248/stat : 10248 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539012954512 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10249] ppid=10240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10242/task/10249/stat : 10249 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539011901712 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10250] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10250/stat : 10250 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539010849424 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10251] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10251/stat : 10251 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 7198 33554432000 4194304 4196468 140721281102880 140539009796624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10252] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10252/stat : 10252 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692472 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537710451312 140539465722498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10253] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10253/stat : 10253 (java) S 10240 10240 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476692472 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537709397280 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10254] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10254/stat : 10254 (java) S 10240 10240 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476692472 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537708344944 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10255] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10255/stat : 10255 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537707293264 140539465729947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10256] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10256/stat : 10256 (java) S 10240 10240 6664 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537589000304 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10257] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10257/stat : 10257 (java) S 10240 10240 6664 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537587947504 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10258] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10258/stat : 10258 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537586895216 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10259] ppid=10240 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10242/task/10259/stat : 10259 (java) R 10240 10240 6664 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 476692475 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537585842416 140539457948478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10260] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10260/stat : 10260 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537584790368 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10261] ppid=10240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10242/task/10261/stat : 10261 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 7198 33554432000 4194304 4196468 140721281102880 140537583737648 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30240 KiB [startup+0.210524 s]* /proc/loadavg: 8.15 8.03 7.99 3/210 10261 /proc/meminfo: memFree=25433812/32770624 swapFree=66939148/67108860 [pid=10240] ppid=10237 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10240/stat : 10240 (xcsp3-exec) S 10237 10240 6664 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476692469 115843072 362 33554432000 4194304 5098028 140726635446976 140726635445080 140444743893628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39256064 140726635451260 140726635451502 140726635451502 140726635454410 0 /proc/10240/statm: 28282 362 304 221 0 87 0 [pid=10242] ppid=10240 vsize=28227396 memory=41004 CPUtime=0.33 cores=0-7 /proc/10242/stat : 10242 (java) S 10240 10240 6664 0 -1 1077944320 9502 0 0 0 31 2 0 0 20 0 20 0 476692469 28904853504 10251 33554432000 4194304 4196468 140721281102880 140721281085424 140539465711351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 /proc/10242/statm: 7056849 10251 3301 1 0 7019032 0 [pid=10242/tid=10243] ppid=10240 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/10242/task/10243/stat : 10243 (java) R 10240 10240 6664 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 20 0 476692469 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539469944080 140539449791838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10244] ppid=10240 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/10242/task/10244/stat : 10244 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539385564048 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10245] ppid=10240 vsize=28227396 memory=3547059731114698400 CPUtime=0 cores=0-7 /proc/10242/task/10245/stat : 10245 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539384511248 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10246] ppid=10240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10242/task/10246/stat : 10246 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539015060624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10247] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10247/stat : 10247 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539014007824 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10248] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10248/stat : 10248 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539012954512 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10249] ppid=10240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10242/task/10249/stat : 10249 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539011901712 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10250] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10250/stat : 10250 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539010849424 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10251] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10251/stat : 10251 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476692470 28904853504 10251 33554432000 4194304 4196468 140721281102880 140539009796624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10252] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10252/stat : 10252 (java) S 10240 10240 6664 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476692472 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537710451312 140539465722498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10253] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10253/stat : 10253 (java) S 10240 10240 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476692472 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537709397280 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10254] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10254/stat : 10254 (java) S 10240 10240 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476692472 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537708344944 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10255] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10255/stat : 10255 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537707293264 140539465729947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10256] ppid=10240 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10256/stat : 10256 (java) S 10240 10240 6664 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 476692475 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537589000304 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10257] ppid=10240 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10257/stat : 10257 (java) S 10240 10240 6664 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 476692475 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537587947504 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10258] ppid=10240 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10258/stat : 10258 (java) S 10240 10240 6664 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 476692475 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537586895216 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10259] ppid=10240 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/10242/task/10259/stat : 10259 (java) S 10240 10240 6664 0 -1 1077944384 776 0 0 0 7 0 0 0 20 0 20 0 476692475 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537585842416 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10260] ppid=10240 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10260/stat : 10260 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537584790368 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10261] ppid=10240 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10242/task/10261/stat : 10261 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692475 28904853504 10251 33554432000 4194304 4196468 140721281102880 140537583737648 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42452 KiB [startup+0.310296 s]* /proc/loadavg: 8.15 8.03 7.99 3/210 10261 /proc/meminfo: memFree=25428824/32770624 swapFree=66939148/67108860 [pid=10240] ppid=10237 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10240/stat : 10240 (xcsp3-exec) S 10237 10240 6664 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476692469 115843072 362 33554432000 4194304 5098028 140726635446976 140726635445080 140444743893628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39256064 140726635451260 140726635451502 140726635451502 140726635454410 0 /proc/10240/statm: 28282 362 304 221 0 87 0 [pid=10242] ppid=10240 vsize=28231652 memory=49396 CPUtime=0.51 cores=0-7 /proc/10242/stat : 10242 (java) S 10240 10240 6664 0 -1 1077944320 10705 0 0 0 48 3 0 0 20 0 20 0 476692469 28909211648 12349 33554432000 4194304 4196468 140721281102880 140721281085424 140539465711351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 /proc/10242/statm: 7057913 12349 3335 1 0 7019032 0 [pid=10242/tid=10243] ppid=10240 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/10242/task/10243/stat : 10243 (java) R 10240 10240 6664 0 -1 4202560 7714 0 0 0 27 2 0 0 20 0 20 0 476692469 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539469942464 140539449791838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10244] ppid=10240 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10244/stat : 10244 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539385564048 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10245] ppid=10240 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10245/stat : 10245 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539384511248 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10246] ppid=10240 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10246/stat : 10246 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539015060624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10247] ppid=10240 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10247/stat : 10247 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539014007824 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10248] ppid=10240 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10248/stat : 10248 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539012954512 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10249] ppid=10240 vsize=28231652 memory=140565891082927 CPUtime=0 cores=0-7 /proc/10242/task/10249/stat : 10249 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539011901712 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10250] ppid=10240 vsize=28231652 memory=140565891085232 CPUtime=0 cores=0-7 /proc/10242/task/10250/stat : 10250 (java) S 10240 10240 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539010849424 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10251] ppid=10240 vsize=28231652 memory=140565891087536 CPUtime=0 cores=0-7 /proc/10242/task/10251/stat : 10251 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476692470 28909211648 12349 33554432000 4194304 4196468 140721281102880 140539009796624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10252] ppid=10240 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10252/stat : 10252 (java) S 10240 10240 6664 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476692472 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537710451312 140539465722498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10253] ppid=10240 vsize=28231652 memory=281131782188944 CPUtime=0 cores=0-7 /proc/10242/task/10253/stat : 10253 (java) S 10240 10240 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476692472 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537709397280 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10254] ppid=10240 vsize=28231652 memory=281131782186640 CPUtime=0 cores=0-7 /proc/10242/task/10254/stat : 10254 (java) S 10240 10240 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476692472 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537708344944 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10255] ppid=10240 vsize=28231652 memory=281131782193552 CPUtime=0 cores=0-7 /proc/10242/task/10255/stat : 10255 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692475 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537707293264 140539465729947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10256] ppid=10240 vsize=28231652 memory=281131782134832 CPUtime=0.02 cores=0-7 /proc/10242/task/10256/stat : 10256 (java) S 10240 10240 6664 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 20 0 476692475 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537589000304 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10257] ppid=10240 vsize=28231652 memory=281131782207376 CPUtime=0.02 cores=0-7 /proc/10242/task/10257/stat : 10257 (java) S 10240 10240 6664 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 20 0 476692475 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537587947504 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10258] ppid=10240 vsize=28231652 memory=281131782214288 CPUtime=0.02 cores=0-7 /proc/10242/task/10258/stat : 10258 (java) S 10240 10240 6664 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 476692475 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537586895216 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10259] ppid=10240 vsize=28231652 memory=281131782211984 CPUtime=0.12 cores=0-7 /proc/10242/task/10259/stat : 10259 (java) S 10240 10240 6664 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 20 0 476692475 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537585842416 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10260] ppid=10240 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10260/stat : 10260 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476692475 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537584790368 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10261] ppid=10240 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10242/task/10261/stat : 10261 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692475 28909211648 12349 33554432000 4194304 4196468 140721281102880 140537583737648 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50844 KiB [startup+0.700957 s] /proc/loadavg: 8.15 8.03 7.99 6/210 10261 /proc/meminfo: memFree=25403608/32770624 swapFree=66939148/67108860 [pid=10240] ppid=10237 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10240/stat : 10240 (xcsp3-exec) S 10237 10240 6664 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476692469 115843072 362 33554432000 4194304 5098028 140726635446976 140726635445080 140444743893628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39256064 140726635451260 140726635451502 140726635451502 140726635454410 0 /proc/10240/statm: 28282 362 304 221 0 87 0 [pid=10242] ppid=10240 vsize=28233776 memory=96528 CPUtime=1.98 cores=0-7 /proc/10242/stat : 10242 (java) S 10240 10240 6664 0 -1 1077944320 16829 0 0 0 192 6 0 0 20 0 20 0 476692469 28911386624 24132 33554432000 4194304 4196468 140721281102880 140721281085424 140539465711351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 /proc/10242/statm: 7058444 24132 3458 1 0 7019544 0 [pid=10242/tid=10243] ppid=10240 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/10242/task/10243/stat : 10243 (java) R 10240 10240 6664 0 -1 4202560 9294 0 0 0 64 4 0 0 20 0 20 0 476692469 28911386624 24132 33554432000 4194304 4196468 140721281102880 140539469945904 140539465733277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10244] ppid=10240 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/10242/task/10244/stat : 10244 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28911386624 24132 33554432000 4194304 4196468 140721281102880 140539385564048 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10245] ppid=10240 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10245/stat : 10245 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28911386624 24132 33554432000 4194304 4196468 140721281102880 140539384511248 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10246] ppid=10240 vsize=28233776 memory=1416 CPUtime=0 cores=0-7 /proc/10242/task/10246/stat : 10246 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476692470 28911386624 24132 33554432000 4194304 4196468 140721281102880 140539015060624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 ################ # More data... # ################ # the end of solver process 10240 was just reported to runsolver # cumulated CPU time of all completed processes: user=14.1353 s, system=0.198368 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.61129 s] /proc/loadavg: 8.15 8.03 7.99 6/210 10261 /proc/meminfo: memFree=25318044/32770624 swapFree=66939148/67108860 [pid=10240] ppid=10237 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10240/stat : 10240 (xcsp3-exec) S 10237 10240 6664 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476692469 115843072 362 33554432000 4194304 5098028 140726635446976 140726635445080 140444743893628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39256064 140726635451260 140726635451502 140726635451502 140726635454410 0 /proc/10240/statm: 28282 362 304 221 0 87 0 [pid=10242] ppid=10240 vsize=28768336 memory=240228 CPUtime=6.19 cores=0-7 /proc/10242/stat : 10242 (java) S 10240 10240 6664 0 -1 1077944320 28470 0 0 0 602 17 0 0 20 0 27 0 476692469 29458776064 60057 33554432000 4194304 4196468 140721281102880 140721281085424 140539465711351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 /proc/10242/statm: 7192084 60057 3510 1 0 7153184 0 [pid=10242/tid=10243] ppid=10240 vsize=28768336 memory=0 CPUtime=1.44 cores=0-7 /proc/10242/task/10243/stat : 10243 (java) S 10240 10240 6664 0 -1 1077944384 10209 0 0 0 139 5 0 0 20 0 27 0 476692469 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539469952128 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10244] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10244/stat : 10244 (java) S 10240 10240 6664 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539385564048 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10245] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10245/stat : 10245 (java) S 10240 10240 6664 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539384511248 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10246] ppid=10240 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/10242/task/10246/stat : 10246 (java) S 10240 10240 6664 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539015060624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10247] ppid=10240 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10247/stat : 10247 (java) S 10240 10240 6664 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539014007824 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10248] ppid=10240 vsize=28768336 memory=2241 CPUtime=0.01 cores=0-7 /proc/10242/task/10248/stat : 10248 (java) S 10240 10240 6664 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539012954512 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10249] ppid=10240 vsize=28768336 memory=2244 CPUtime=0.02 cores=0-7 /proc/10242/task/10249/stat : 10249 (java) S 10240 10240 6664 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539011901712 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10250] ppid=10240 vsize=28768336 memory=288287792113660286 CPUtime=0.01 cores=0-7 /proc/10242/task/10250/stat : 10250 (java) S 10240 10240 6664 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539010849424 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10251] ppid=10240 vsize=28768336 memory=6370719275257063784 CPUtime=0.01 cores=0-7 /proc/10242/task/10251/stat : 10251 (java) S 10240 10240 6664 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 27 0 476692470 29458776064 60057 33554432000 4194304 4196468 140721281102880 140539009796624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10252] ppid=10240 vsize=28768336 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/10242/task/10252/stat : 10252 (java) S 10240 10240 6664 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 27 0 476692472 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537710451312 140539465722498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10253] ppid=10240 vsize=28768336 memory=4639930699739322728 CPUtime=0 cores=0-7 /proc/10242/task/10253/stat : 10253 (java) S 10240 10240 6664 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 27 0 476692472 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537709397344 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10254] ppid=10240 vsize=28768336 memory=29381545974 CPUtime=0 cores=0-7 /proc/10242/task/10254/stat : 10254 (java) S 10240 10240 6664 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 27 0 476692472 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537708344960 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10255] ppid=10240 vsize=28768336 memory=-1807685287717842718 CPUtime=0 cores=0-7 /proc/10242/task/10255/stat : 10255 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 476692475 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537707293264 140539465729947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10256] ppid=10240 vsize=28768336 memory=6944656592387989600 CPUtime=1.16 cores=0-7 /proc/10242/task/10256/stat : 10256 (java) R 10240 10240 6664 0 -1 4202560 3754 0 0 0 115 1 0 0 20 0 27 0 476692475 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537588985616 140539444958447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10257] ppid=10240 vsize=28768336 memory=6655300316396806240 CPUtime=1.1 cores=0-7 /proc/10242/task/10257/stat : 10257 (java) R 10240 10240 6664 0 -1 4202560 3795 0 0 0 109 1 0 0 20 0 27 0 476692475 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537587934864 140539443306388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10258] ppid=10240 vsize=28768336 memory=6944656592387989600 CPUtime=1.08 cores=0-7 /proc/10242/task/10258/stat : 10258 (java) R 10240 10240 6664 0 -1 4202560 4193 0 0 0 108 0 0 0 20 0 27 0 476692475 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537586885024 140539449197285 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10259] ppid=10240 vsize=28768336 memory=5495680850141879452 CPUtime=0.75 cores=0-7 /proc/10242/task/10259/stat : 10259 (java) R 10240 10240 6664 0 -1 1077944384 4017 0 0 0 74 1 0 0 20 0 27 0 476692475 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537585842416 140539465722498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10260] ppid=10240 vsize=28768336 memory=281131782466208 CPUtime=0 cores=0-7 /proc/10242/task/10260/stat : 10260 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 476692475 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537584790368 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10261] ppid=10240 vsize=28768336 memory=576460758282499373 CPUtime=0 cores=0-7 /proc/10242/task/10261/stat : 10261 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 476692475 29458776064 60057 33554432000 4194304 4196468 140721281102880 140537583737648 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 Current children cumulated CPU time: 6.19 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 241676 KiB [startup+2.40729 s] /proc/loadavg: 8.15 8.03 7.99 14/218 10309 /proc/meminfo: memFree=25232928/32770624 swapFree=66939148/67108860 [pid=10240] ppid=10237 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10240/stat : 10240 (xcsp3-exec) S 10237 10240 6664 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476692469 115843072 362 33554432000 4194304 5098028 140726635446976 140726635445080 140444743893628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39256064 140726635451260 140726635451502 140726635451502 140726635454410 0 /proc/10240/statm: 28282 362 304 221 0 87 0 [pid=10242] ppid=10240 vsize=28768336 memory=243492 CPUtime=12.3 cores=0-7 /proc/10242/stat : 10242 (java) S 10240 10240 6664 0 -1 1077944320 30049 0 0 0 1212 18 0 0 20 0 28 0 476692469 29458776064 60873 33554432000 4194304 4196468 140721281102880 140721281085424 140539465711351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 /proc/10242/statm: 7192084 60873 3532 1 0 7153184 0 [pid=10242/tid=10243] ppid=10240 vsize=28768336 memory=88519275991168 CPUtime=1.44 cores=0-7 /proc/10242/task/10243/stat : 10243 (java) S 10240 10240 6664 0 -1 1077944384 10209 0 0 0 139 5 0 0 20 0 28 0 476692469 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539469952128 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10244] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10244/stat : 10244 (java) S 10240 10240 6664 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539385564048 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10245] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10245/stat : 10245 (java) S 10240 10240 6664 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539384511248 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10246] ppid=10240 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/10242/task/10246/stat : 10246 (java) S 10240 10240 6664 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539015060624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10247] ppid=10240 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10247/stat : 10247 (java) S 10240 10240 6664 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539014007824 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10248] ppid=10240 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10248/stat : 10248 (java) S 10240 10240 6664 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539012954512 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10249] ppid=10240 vsize=28768336 memory=2241 CPUtime=0.02 cores=0-7 /proc/10242/task/10249/stat : 10249 (java) S 10240 10240 6664 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539011901712 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10250] ppid=10240 vsize=28768336 memory=2244 CPUtime=0.01 cores=0-7 /proc/10242/task/10250/stat : 10250 (java) S 10240 10240 6664 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539010849424 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10251] ppid=10240 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10251/stat : 10251 (java) S 10240 10240 6664 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60873 33554432000 4194304 4196468 140721281102880 140539009796624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10252] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10252/stat : 10252 (java) S 10240 10240 6664 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 476692472 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537710451312 140539465722498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10253] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10253/stat : 10253 (java) S 10240 10240 6664 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476692472 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537709397344 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10254] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10254/stat : 10254 (java) S 10240 10240 6664 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476692472 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537708344960 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10255] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10255/stat : 10255 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476692475 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537707293264 140539465729947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10256] ppid=10240 vsize=28768336 memory=0 CPUtime=1.78 cores=0-7 /proc/10242/task/10256/stat : 10256 (java) R 10240 10240 6664 0 -1 4202560 3906 0 0 0 177 1 0 0 20 0 28 0 476692475 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537588986736 140539447258224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10257] ppid=10240 vsize=28768336 memory=1448 CPUtime=1.79 cores=0-7 /proc/10242/task/10257/stat : 10257 (java) R 10240 10240 6664 0 -1 4202560 3958 0 0 0 178 1 0 0 20 0 28 0 476692475 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537587933384 140539450828508 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10258] ppid=10240 vsize=28768336 memory=241684 CPUtime=1.64 cores=0-7 /proc/10242/task/10258/stat : 10258 (java) R 10240 10240 6664 0 -1 4202560 4335 0 0 0 163 1 0 0 20 0 28 0 476692475 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537586887704 140539451725660 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10259] ppid=10240 vsize=28768336 memory=0 CPUtime=0.94 cores=0-7 /proc/10242/task/10259/stat : 10259 (java) R 10240 10240 6664 0 -1 1077944384 4348 0 0 0 92 2 0 0 20 0 28 0 476692475 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537585842416 140539465722498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10260] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10260/stat : 10260 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476692475 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537584790368 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10261] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10261/stat : 10261 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476692475 29458776064 60873 33554432000 4194304 4196468 140721281102880 140537583737648 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 Current children cumulated CPU time: 12.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 244940 KiB [startup+2.60129 s] /proc/loadavg: 8.15 8.03 7.99 14/218 10309 /proc/meminfo: memFree=25232928/32770624 swapFree=66939148/67108860 [pid=10240] ppid=10237 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10240/stat : 10240 (xcsp3-exec) S 10237 10240 6664 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476692469 115843072 362 33554432000 4194304 5098028 140726635446976 140726635445080 140444743893628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39256064 140726635451260 140726635451502 140726635451502 140726635454410 0 /proc/10240/statm: 28282 362 304 221 0 87 0 [pid=10242] ppid=10240 vsize=28768336 memory=243784 CPUtime=13.85 cores=0-7 /proc/10242/stat : 10242 (java) S 10240 10240 6664 0 -1 1077944320 30151 0 0 0 1367 18 0 0 20 0 28 0 476692469 29458776064 60946 33554432000 4194304 4196468 140721281102880 140721281085424 140539465711351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 /proc/10242/statm: 7192084 60946 3535 1 0 7153184 0 [pid=10242/tid=10243] ppid=10240 vsize=28768336 memory=7740107135792800344 CPUtime=1.44 cores=0-7 /proc/10242/task/10243/stat : 10243 (java) S 10240 10240 6664 0 -1 1077944384 10209 0 0 0 139 5 0 0 20 0 28 0 476692469 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539469952128 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10244] ppid=10240 vsize=28768336 memory=4639948313719891052 CPUtime=0 cores=0-7 /proc/10242/task/10244/stat : 10244 (java) S 10240 10240 6664 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539385564048 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10245] ppid=10240 vsize=28768336 memory=7810487918915055718 CPUtime=0 cores=0-7 /proc/10242/task/10245/stat : 10245 (java) S 10240 10240 6664 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539384511248 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10246] ppid=10240 vsize=28768336 memory=6147504086924288613 CPUtime=0.02 cores=0-7 /proc/10242/task/10246/stat : 10246 (java) S 10240 10240 6664 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539015060624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10247] ppid=10240 vsize=28768336 memory=121746271 CPUtime=0.01 cores=0-7 /proc/10242/task/10247/stat : 10247 (java) S 10240 10240 6664 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539014007824 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10248] ppid=10240 vsize=28768336 memory=215308 CPUtime=0.01 cores=0-7 /proc/10242/task/10248/stat : 10248 (java) S 10240 10240 6664 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539012954512 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10249] ppid=10240 vsize=28768336 memory=288230596050944315 CPUtime=0.02 cores=0-7 /proc/10242/task/10249/stat : 10249 (java) S 10240 10240 6664 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539011901712 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10250] ppid=10240 vsize=28768336 memory=13572582825789998 CPUtime=0.01 cores=0-7 /proc/10242/task/10250/stat : 10250 (java) S 10240 10240 6664 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539010849424 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10251] ppid=10240 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10242/task/10251/stat : 10251 (java) S 10240 10240 6664 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 476692470 29458776064 60946 33554432000 4194304 4196468 140721281102880 140539009796624 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10252] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10252/stat : 10252 (java) S 10240 10240 6664 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 476692472 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537710451312 140539465722498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10253] ppid=10240 vsize=28768336 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/10242/task/10253/stat : 10253 (java) S 10240 10240 6664 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476692472 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537709397344 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10254] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10254/stat : 10254 (java) S 10240 10240 6664 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476692472 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537708344960 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10255] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10255/stat : 10255 (java) S 10240 10240 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476692475 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537707293264 140539465729947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10256] ppid=10240 vsize=28768336 memory=0 CPUtime=1.91 cores=0-7 /proc/10242/task/10256/stat : 10256 (java) R 10240 10240 6664 0 -1 4202560 3922 0 0 0 190 1 0 0 20 0 28 0 476692475 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537588987152 140539444958464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10257] ppid=10240 vsize=28768336 memory=0 CPUtime=1.95 cores=0-7 /proc/10242/task/10257/stat : 10257 (java) R 10240 10240 6664 0 -1 4202560 4022 0 0 0 194 1 0 0 20 0 28 0 476692475 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537587940528 140539465732698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10258] ppid=10240 vsize=28768336 memory=0 CPUtime=1.74 cores=0-7 /proc/10242/task/10258/stat : 10258 (java) R 10240 10240 6664 0 -1 4202560 4353 0 0 0 173 1 0 0 20 0 28 0 476692475 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537586881312 140539446301177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10259] ppid=10240 vsize=28768336 memory=0 CPUtime=0.95 cores=0-7 /proc/10242/task/10259/stat : 10259 (java) S 10240 10240 6664 0 -1 1077944384 4352 0 0 0 93 2 0 0 20 0 28 0 476692475 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537585842416 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10260] ppid=10240 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10242/task/10260/stat : 10260 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476692475 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537584790368 140539465721557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 [pid=10242/tid=10261] ppid=10240 vsize=28768336 memory=6297271799768764516 CPUtime=0 cores=0-7 /proc/10242/task/10261/stat : 10261 (java) S 10240 10240 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476692475 29458776064 60946 33554432000 4194304 4196468 140721281102880 140537583737648 140539465722498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38825984 140721281106928 140721281107099 140721281107099 140721281109967 0 Current children cumulated CPU time: 13.85 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 245232 KiB Child status: 0 Real time (s): 2.68455 CPU time (s): 14.3337 CPU user time (s): 14.1353 CPU system time (s): 0.198368 CPU usage (%): 533.933 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 245232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.1353 system time used= 0.198368 maximum resident set size= 245532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30779 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4167 involuntary context switches= 298 # summary of solver processes directly reported to runsolver: # pid: 10240 # total CPU time (s): 14.3337 # total CPU user time (s): 14.1353 # total CPU system time (s): 0.198368 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.044296 second user time and 0.066444 second system time The end
Begin job on node139 at 2019-09-20 20:32:30 IDJOB=4404849 IDBENCH=126789 IDSOLVER=2866 FILE ID=node139/4404849-1569004227 RUNJOBID= node139-1568994483-6691 PBS_JOBID= 21704720 Free space on /tmp= 5144 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-30-15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404849-1569004227/watcher-4404849-1569004227 -o /tmp/evaluation-result-4404849-1569004227/solver-4404849-1569004227 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568994483-6691 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 489085442 HOME/instance-4404849-1569004227.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0da4913a631570f2aab16967eaf6c11a RANDOM SEED=489085442 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25461212 kB MemAvailable: 31789540 kB Buffers: 50160 kB Cached: 6365936 kB SwapCached: 65228 kB Active: 3193032 kB Inactive: 3292668 kB Active(anon): 4176 kB Inactive(anon): 111864 kB Active(file): 3188856 kB Inactive(file): 3180804 kB Unevictable: 107328 kB Mlocked: 107328 kB SwapTotal: 67108860 kB SwapFree: 66939148 kB Dirty: 26276 kB Writeback: 0 kB AnonPages: 112896 kB Mapped: 50720 kB Shmem: 37512 kB Slab: 416388 kB SReclaimable: 387128 kB SUnreclaim: 29260 kB KernelStack: 3376 kB PageTables: 5944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5116 MiB End job on node139 at 2019-09-20 20:32:33