Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 7 | 20.7311 | 3.48838 |
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-4394389-1568427283.xml" -tl '20160s' -p 8 0.14/0.18 c Choco e747e1e 0.14/0.18 c [HOME/instance-4394389-1568427283.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.91/1.41 c solve instance... 5.47/1.57 o 13 6.21/1.64 o 12 6.21/1.69 o 11 6.95/1.70 o 10 7.72/1.86 o 9 10.08/2.16 o 8 10.78/2.29 o 7 20.23/3.46 s OPTIMUM FOUND 20.23/3.46 v <instantiation> 20.23/3.46 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> 20.23/3.46 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> 20.23/3.46 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 (14580 MiB free) memory of node 1: 16384 MiB (15646 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394389-1568427283/watcher-4394389-1568427283 -o /tmp/evaluation-result-4394389-1568427283/solver-4394389-1568427283 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 190413713 HOME/instance-4394389-1568427283.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=16610, runsolver pid=16607 Current StackSize limit: 8192 KiB [startup+0.109941 s]* /proc/loadavg: 6.98 6.86 6.85 3/212 16631 /proc/meminfo: memFree=30935708/32770624 swapFree=66947516/67108860 [pid=16610] ppid=16607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16610/stat : 16610 (xcsp3-exec) S 16607 16610 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418670266 115843072 363 33554432000 4194304 5098028 140723107855232 140723107853336 140248259072636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28913664 140723107857270 140723107857513 140723107857513 140723107860426 0 /proc/16610/statm: 28282 363 305 221 0 87 0 [pid=16612] ppid=16610 vsize=28227388 memory=30232 CPUtime=0.14 cores=0-7 /proc/16612/stat : 16612 (java) S 16610 16610 15751 0 -1 1077944320 6034 0 0 0 13 1 0 0 20 0 20 0 418670266 28904845312 7558 33554432000 4194304 4196468 140735437935024 140735437917568 139932453703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 /proc/16612/statm: 7056847 7558 3144 1 0 7019032 0 [pid=16612/tid=16613] ppid=16610 vsize=28227388 memory=8317482817917895235 CPUtime=0.1 cores=0-7 /proc/16612/task/16613/stat : 16613 (java) R 16610 16610 15751 0 -1 4202560 3898 0 0 0 9 1 0 0 20 0 20 0 418670266 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932457932480 139932453715350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16614] ppid=16610 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16612/task/16614/stat : 16614 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932406323856 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16615] ppid=16610 vsize=28227388 memory=140120207529600 CPUtime=0 cores=0-7 /proc/16612/task/16615/stat : 16615 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932405271056 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16616] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16616/stat : 16616 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932404218256 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16617] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16617/stat : 16617 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932403165456 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16618] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16618/stat : 16618 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932402113680 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16619] ppid=16610 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16612/task/16619/stat : 16619 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932401060880 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16620] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16620/stat : 16620 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932400008080 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16621] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16621/stat : 16621 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 7558 33554432000 4194304 4196468 140735437935024 139932398955280 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16622] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16622/stat : 16622 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670268 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931502471536 139932453714562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16623] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16623/stat : 16623 (java) S 16610 16610 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418670269 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931501417504 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16624] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16624/stat : 16624 (java) S 16610 16610 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418670269 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931500364656 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16625] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16625/stat : 16625 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931499312976 139932453722011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16626] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16626/stat : 16626 (java) S 16610 16610 15751 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931498261360 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16627] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16627/stat : 16627 (java) S 16610 16610 15751 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931497208560 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16628] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16628/stat : 16628 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931496155760 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16629] ppid=16610 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/16612/task/16629/stat : 16629 (java) R 16610 16610 15751 0 -1 4202560 387 0 0 0 2 0 0 0 20 0 20 0 418670272 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931495102960 139932432072054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16630] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16630/stat : 16630 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 7558 33554432000 4194304 4196468 140735437935024 139931494050400 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16631] ppid=16610 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16612/task/16631/stat : 16631 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 7624 33554432000 4194304 4196468 140735437935024 139931492997680 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31684 KiB [startup+0.210622 s]* /proc/loadavg: 6.98 6.86 6.85 2/212 16631 /proc/meminfo: memFree=30924740/32770624 swapFree=66947516/67108860 [pid=16610] ppid=16607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16610/stat : 16610 (xcsp3-exec) S 16607 16610 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418670266 115843072 363 33554432000 4194304 5098028 140723107855232 140723107853336 140248259072636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28913664 140723107857270 140723107857513 140723107857513 140723107860426 0 /proc/16610/statm: 28282 363 305 221 0 87 0 [pid=16612] ppid=16610 vsize=28227388 memory=40636 CPUtime=0.33 cores=0-7 /proc/16612/stat : 16612 (java) S 16610 16610 15751 0 -1 1077944320 9362 0 0 0 30 3 0 0 20 0 20 0 418670266 28904845312 10159 33554432000 4194304 4196468 140735437935024 140735437917568 139932453703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 /proc/16612/statm: 7056847 10159 3310 1 0 7019032 0 [pid=16612/tid=16613] ppid=16610 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16612/task/16613/stat : 16613 (java) R 16610 16610 15751 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 20 0 418670266 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932457936144 139932437783902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16614] ppid=16610 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/16612/task/16614/stat : 16614 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932406323856 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16615] ppid=16610 vsize=28227388 memory=140120210620747 CPUtime=0 cores=0-7 /proc/16612/task/16615/stat : 16615 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932405271056 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16616] ppid=16610 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16612/task/16616/stat : 16616 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932404218256 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16617] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16617/stat : 16617 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932403165456 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16618] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16618/stat : 16618 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932402113680 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16619] ppid=16610 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16612/task/16619/stat : 16619 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932401060880 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16620] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16620/stat : 16620 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932400008080 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16621] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16621/stat : 16621 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28904845312 10159 33554432000 4194304 4196468 140735437935024 139932398955280 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16622] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16622/stat : 16622 (java) S 16610 16610 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418670268 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931502471536 139932453714562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16623] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16623/stat : 16623 (java) S 16610 16610 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418670269 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931501417504 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16624] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16624/stat : 16624 (java) S 16610 16610 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418670269 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931500364656 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16625] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16625/stat : 16625 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931499312976 139932453722011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16626] ppid=16610 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16612/task/16626/stat : 16626 (java) S 16610 16610 15751 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 20 0 418670272 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931498261360 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16627] ppid=16610 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/16612/task/16627/stat : 16627 (java) R 16610 16610 15751 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 20 0 418670272 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931497208560 139932453714562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16628] ppid=16610 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16612/task/16628/stat : 16628 (java) S 16610 16610 15751 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931496155760 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16629] ppid=16610 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/16612/task/16629/stat : 16629 (java) S 16610 16610 15751 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 20 0 418670272 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931495102960 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16630] ppid=16610 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16630/stat : 16630 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931494050400 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16631] ppid=16610 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16612/task/16631/stat : 16631 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670272 28904845312 10159 33554432000 4194304 4196468 140735437935024 139931492997680 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42088 KiB [startup+0.313638 s]* /proc/loadavg: 6.98 6.86 6.85 4/212 16631 /proc/meminfo: memFree=30916984/32770624 swapFree=66947516/67108860 [pid=16610] ppid=16607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16610/stat : 16610 (xcsp3-exec) S 16607 16610 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418670266 115843072 363 33554432000 4194304 5098028 140723107855232 140723107853336 140248259072636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28913664 140723107857270 140723107857513 140723107857513 140723107860426 0 /proc/16610/statm: 28282 363 305 221 0 87 0 [pid=16612] ppid=16610 vsize=28231644 memory=49728 CPUtime=0.52 cores=0-7 /proc/16612/stat : 16612 (java) S 16610 16610 15751 0 -1 1077944320 10836 0 0 0 48 4 0 0 20 0 20 0 418670266 28909203456 12432 33554432000 4194304 4196468 140735437935024 140735437917568 139932453703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 /proc/16612/statm: 7057911 12432 3351 1 0 7019032 0 [pid=16612/tid=16613] ppid=16610 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/16612/task/16613/stat : 16613 (java) R 16610 16610 15751 0 -1 4202560 7781 0 0 0 27 3 0 0 20 0 20 0 418670266 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932457937184 139932437783902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16614] ppid=16610 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16614/stat : 16614 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932406323856 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16615] ppid=16610 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16615/stat : 16615 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932405271056 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16616] ppid=16610 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16616/stat : 16616 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932404218256 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16617] ppid=16610 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16617/stat : 16617 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932403165456 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16618] ppid=16610 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16618/stat : 16618 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932402113680 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16619] ppid=16610 vsize=28231644 memory=140120086899375 CPUtime=0 cores=0-7 /proc/16612/task/16619/stat : 16619 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932401060880 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16620] ppid=16610 vsize=28231644 memory=140120086901680 CPUtime=0 cores=0-7 /proc/16612/task/16620/stat : 16620 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932400008080 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16621] ppid=16610 vsize=28231644 memory=140120086903984 CPUtime=0 cores=0-7 /proc/16612/task/16621/stat : 16621 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670267 28909203456 12432 33554432000 4194304 4196468 140735437935024 139932398955280 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16622] ppid=16610 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16622/stat : 16622 (java) S 16610 16610 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418670268 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931502471536 139932453714562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16623] ppid=16610 vsize=28231644 memory=280240173821840 CPUtime=0 cores=0-7 /proc/16612/task/16623/stat : 16623 (java) S 16610 16610 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418670269 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931501417504 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16624] ppid=16610 vsize=28231644 memory=280240173819536 CPUtime=0 cores=0-7 /proc/16612/task/16624/stat : 16624 (java) S 16610 16610 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418670269 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931500364656 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16625] ppid=16610 vsize=28231644 memory=280240173826448 CPUtime=0 cores=0-7 /proc/16612/task/16625/stat : 16625 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670272 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931499312976 139932453722011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16626] ppid=16610 vsize=28231644 memory=280240173767728 CPUtime=0.01 cores=0-7 /proc/16612/task/16626/stat : 16626 (java) S 16610 16610 15751 0 -1 1077944384 525 0 0 0 1 0 0 0 20 0 20 0 418670272 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931498261360 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16627] ppid=16610 vsize=28231644 memory=280240173840272 CPUtime=0.04 cores=0-7 /proc/16612/task/16627/stat : 16627 (java) R 16610 16610 15751 0 -1 4202560 280 0 0 0 4 0 0 0 20 0 20 0 418670272 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931497189576 139932435228591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16628] ppid=16610 vsize=28231644 memory=280240173847184 CPUtime=0.02 cores=0-7 /proc/16612/task/16628/stat : 16628 (java) S 16610 16610 15751 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 20 0 418670272 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931496155760 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16629] ppid=16610 vsize=28231644 memory=280240173844880 CPUtime=0.12 cores=0-7 /proc/16612/task/16629/stat : 16629 (java) S 16610 16610 15751 0 -1 1077944384 910 0 0 0 12 0 0 0 20 0 20 0 418670272 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931495102960 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16630] ppid=16610 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16630/stat : 16630 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418670272 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931494050400 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16631] ppid=16610 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/16612/task/16631/stat : 16631 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418670272 28909203456 12432 33554432000 4194304 4196468 140735437935024 139931492997680 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51180 KiB [startup+0.700998 s] /proc/loadavg: 6.98 6.86 6.85 6/212 16631 /proc/meminfo: memFree=30893700/32770624 swapFree=66947516/67108860 [pid=16610] ppid=16607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16610/stat : 16610 (xcsp3-exec) S 16607 16610 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418670266 115843072 363 33554432000 4194304 5098028 140723107855232 140723107853336 140248259072636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28913664 140723107857270 140723107857513 140723107857513 140723107860426 0 /proc/16610/statm: 28282 363 305 221 0 87 0 [pid=16612] ppid=16610 vsize=28233768 memory=95176 CPUtime=1.95 cores=0-7 /proc/16612/stat : 16612 (java) S 16610 16610 15751 0 -1 1077944320 16074 0 0 0 188 7 0 0 20 0 20 0 418670266 28911378432 23794 33554432000 4194304 4196468 140735437935024 140735437917568 139932453703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 /proc/16612/statm: 7058442 23794 3456 1 0 7019544 0 [pid=16612/tid=16613] ppid=16610 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/16612/task/16613/stat : 16613 (java) R 16610 16610 15751 0 -1 4202560 8916 0 0 0 63 4 0 0 20 0 20 0 418670266 28911378432 23794 33554432000 4194304 4196468 140735437935024 139932457938880 139932433428528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16614] ppid=16610 vsize=28233768 memory=140120087110512 CPUtime=0 cores=0-7 /proc/16612/task/16614/stat : 16614 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28911378432 23794 33554432000 4194304 4196468 140735437935024 139932406323856 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16615] ppid=16610 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16615/stat : 16615 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418670267 28911378432 23794 33554432000 4194304 4196468 140735437935024 139932405271056 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16616] ppid=16610 vsize=28233768 memory=1200 CPUtime=0 cores=0-7 /proc/16612/task/16616/stat : 16616 (java) S 16610 16610 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418670267 28911378432 23794 33554432000 4194304 4196468 140735437935024 139932404218256 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 ################ # More data... # ################ [pid=16612/tid=16689] ppid=16610 vsize=28768328 memory=2832 CPUtime=0.63 cores=0-7 /proc/16612/task/16689/stat : 16689 (java) R 16610 16610 15751 0 -1 4202560 19 0 0 0 63 0 0 0 20 0 28 0 418670495 29458767872 66137 33554432000 4194304 4196468 140735437935024 139931474558600 139932073077018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16690] ppid=16610 vsize=28768328 memory=1720 CPUtime=0.61 cores=0-7 /proc/16612/task/16690/stat : 16690 (java) R 16610 16610 15751 0 -1 4202560 50 0 0 0 61 0 0 0 20 0 28 0 418670496 29458767872 66137 33554432000 4194304 4196468 140735437935024 139931477715728 139932065698564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16691] ppid=16610 vsize=28768328 memory=1200 CPUtime=0.5 cores=0-7 /proc/16612/task/16691/stat : 16691 (java) R 16610 16610 15751 0 -1 4202560 32 0 0 0 50 0 0 0 20 0 28 0 418670496 29458767872 66137 33554432000 4194304 4196468 140735437935024 139931481927112 139932064688833 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16692] ppid=16610 vsize=28768328 memory=5964 CPUtime=0.47 cores=0-7 /proc/16612/task/16692/stat : 16692 (java) R 16610 16610 15751 0 -1 4202560 22 0 0 0 47 0 0 0 20 0 28 0 418670496 29458767872 66137 33554432000 4194304 4196468 140735437935024 139931475611592 139932072817628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16693] ppid=16610 vsize=28768328 memory=14012 CPUtime=0.49 cores=0-7 /proc/16612/task/16693/stat : 16693 (java) R 16610 16610 15751 0 -1 4202560 20 0 0 0 49 0 0 0 20 0 28 0 418670496 29458767872 66137 33554432000 4194304 4196468 140735437935024 139931480874424 139932074522307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16694] ppid=16610 vsize=28768328 memory=10908 CPUtime=0.56 cores=0-7 /proc/16612/task/16694/stat : 16694 (java) R 16610 16610 15751 0 -1 4202560 18 0 0 0 56 0 0 0 20 0 28 0 418670496 29458767872 66137 33554432000 4194304 4196468 140735437935024 139931478769392 139932072862565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16695] ppid=16610 vsize=28768328 memory=12024 CPUtime=0.58 cores=0-7 /proc/16612/task/16695/stat : 16695 (java) R 16610 16610 15751 0 -1 4202560 389 0 0 0 58 0 0 0 20 0 28 0 418670496 29458767872 66137 33554432000 4194304 4196468 140735437935024 139931476663944 139932072878165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 Current children cumulated CPU time: 17.97 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 266000 KiB [startup+3.48832 s] # the end of solver process 16610 was just reported to runsolver # cumulated CPU time of all completed processes: user=20.4764 s, system=0.254708 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20162 s] /proc/loadavg: 6.98 6.86 6.85 13/220 16695 /proc/meminfo: memFree=30702148/32770624 swapFree=66947516/67108860 [pid=16610] ppid=16607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16610/stat : 16610 (xcsp3-exec) S 16607 16610 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418670266 115843072 363 33554432000 4194304 5098028 140723107855232 140723107853336 140248259072636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28913664 140723107857270 140723107857513 140723107857513 140723107860426 0 /proc/16610/statm: 28282 363 305 221 0 87 0 [pid=16612] ppid=16610 vsize=28768328 memory=264688 CPUtime=18.62 cores=0-7 /proc/16612/stat : 16612 (java) S 16610 16610 15751 0 -1 1077944320 40184 0 0 0 1839 23 0 0 20 0 28 0 418670266 29458767872 66172 33554432000 4194304 4196468 140735437935024 140735437917568 139932453703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 /proc/16612/statm: 7192082 66172 3529 1 0 7153184 0 [pid=16612/tid=16613] ppid=16610 vsize=28768328 memory=22344 CPUtime=1.42 cores=0-7 /proc/16612/task/16613/stat : 16613 (java) S 16610 16610 15751 0 -1 1077944384 10379 0 0 0 136 6 0 0 20 0 28 0 418670266 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932457944192 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16614] ppid=16610 vsize=28768328 memory=992 CPUtime=0.01 cores=0-7 /proc/16612/task/16614/stat : 16614 (java) S 16610 16610 15751 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932406323856 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16615] ppid=16610 vsize=28768328 memory=2044 CPUtime=0.01 cores=0-7 /proc/16612/task/16615/stat : 16615 (java) S 16610 16610 15751 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932405271056 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16616] ppid=16610 vsize=28768328 memory=1428 CPUtime=0.02 cores=0-7 /proc/16612/task/16616/stat : 16616 (java) S 16610 16610 15751 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932404218256 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16617] ppid=16610 vsize=28768328 memory=11624 CPUtime=0.01 cores=0-7 /proc/16612/task/16617/stat : 16617 (java) S 16610 16610 15751 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932403165456 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16618] ppid=16610 vsize=28768328 memory=740 CPUtime=0.01 cores=0-7 /proc/16612/task/16618/stat : 16618 (java) S 16610 16610 15751 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932402113680 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16619] ppid=16610 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/16612/task/16619/stat : 16619 (java) S 16610 16610 15751 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932401060880 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16620] ppid=16610 vsize=28768328 memory=1552 CPUtime=0 cores=0-7 /proc/16612/task/16620/stat : 16620 (java) S 16610 16610 15751 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932400008080 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16621] ppid=16610 vsize=28768328 memory=4481 CPUtime=0 cores=0-7 /proc/16612/task/16621/stat : 16621 (java) S 16610 16610 15751 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 418670267 29458767872 66172 33554432000 4194304 4196468 140735437935024 139932398955280 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16622] ppid=16610 vsize=28768328 memory=4420 CPUtime=0.01 cores=0-7 /proc/16612/task/16622/stat : 16622 (java) S 16610 16610 15751 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 28 0 418670268 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931502471536 139932453714562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16623] ppid=16610 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/16612/task/16623/stat : 16623 (java) S 16610 16610 15751 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 418670269 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931501417568 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16624] ppid=16610 vsize=28768328 memory=108724 CPUtime=0 cores=0-7 /proc/16612/task/16624/stat : 16624 (java) S 16610 16610 15751 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 418670269 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931500364672 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16625] ppid=16610 vsize=28768328 memory=2832 CPUtime=0 cores=0-7 /proc/16612/task/16625/stat : 16625 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418670272 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931499312976 139932453722011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16626] ppid=16610 vsize=28768328 memory=1720 CPUtime=2.19 cores=0-7 /proc/16612/task/16626/stat : 16626 (java) R 16610 16610 15751 0 -1 4202560 5432 0 0 0 217 2 0 0 20 0 28 0 418670272 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931498247328 139932432874704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16627] ppid=16610 vsize=28768328 memory=1200 CPUtime=2.34 cores=0-7 /proc/16612/task/16627/stat : 16627 (java) R 16610 16610 15751 0 -1 4202560 4865 0 0 0 233 1 0 0 20 0 28 0 418670272 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931497193520 139932438630449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16628] ppid=16610 vsize=28768328 memory=5964 CPUtime=2.27 cores=0-7 /proc/16612/task/16628/stat : 16628 (java) R 16610 16610 15751 0 -1 4202560 7305 0 0 0 225 2 0 0 20 0 28 0 418670272 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931496142576 139932435247912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16629] ppid=16610 vsize=28768328 memory=0 CPUtime=1.21 cores=0-7 /proc/16612/task/16629/stat : 16629 (java) R 16610 16610 15751 0 -1 1077944384 7458 0 0 0 118 3 0 0 20 0 28 0 418670272 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931495102960 139932453714562 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16630] ppid=16610 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16630/stat : 16630 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418670272 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931494050400 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16631] ppid=16610 vsize=28768328 memory=140120086952184 CPUtime=0 cores=0-7 /proc/16612/task/16631/stat : 16631 (java) S 16610 16610 15751 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418670272 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931492997680 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16688] ppid=16610 vsize=28768328 memory=2120 CPUtime=0.54 cores=0-7 /proc/16612/task/16688/stat : 16688 (java) R 16610 16610 15751 0 -1 4202560 36 0 0 0 54 0 0 0 20 0 28 0 418670495 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931479820952 139932075373341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16689] ppid=16610 vsize=28768328 memory=280240173834128 CPUtime=0.68 cores=0-7 /proc/16612/task/16689/stat : 16689 (java) R 16610 16610 15751 0 -1 4202560 19 0 0 0 68 0 0 0 20 0 28 0 418670495 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931474558600 139932076559456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16690] ppid=16610 vsize=28768328 memory=280240173616656 CPUtime=0.66 cores=0-7 /proc/16612/task/16690/stat : 16690 (java) R 16610 16610 15751 0 -1 4202560 51 0 0 0 66 0 0 0 20 0 28 0 418670496 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931477719064 139932076096636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16691] ppid=16610 vsize=28768328 memory=280240173616496 CPUtime=0.58 cores=0-7 /proc/16612/task/16691/stat : 16691 (java) R 16610 16610 15751 0 -1 4202560 34 0 0 0 58 0 0 0 20 0 28 0 418670496 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931481927112 139932072793453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16692] ppid=16610 vsize=28768328 memory=280240173616368 CPUtime=0.52 cores=0-7 /proc/16612/task/16692/stat : 16692 (java) R 16610 16610 15751 0 -1 4202560 22 0 0 0 52 0 0 0 20 0 28 0 418670496 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931475612200 139932075039781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16693] ppid=16610 vsize=28768328 memory=288230574492221466 CPUtime=0.57 cores=0-7 /proc/16612/task/16693/stat : 16693 (java) R 16610 16610 15751 0 -1 4202560 20 0 0 0 57 0 0 0 20 0 28 0 418670496 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931480874424 139932074522296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16694] ppid=16610 vsize=28768328 memory=0 CPUtime=0.59 cores=0-7 /proc/16612/task/16694/stat : 16694 (java) R 16610 16610 15751 0 -1 4202560 18 0 0 0 59 0 0 0 20 0 28 0 418670496 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931478769392 139932074522209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16695] ppid=16610 vsize=28768328 memory=0 CPUtime=0.63 cores=0-7 /proc/16612/task/16695/stat : 16695 (java) R 16610 16610 15751 0 -1 4202560 389 0 0 0 63 0 0 0 20 0 28 0 418670496 29458767872 66172 33554432000 4194304 4196468 140735437935024 139931476665848 139932072817628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 Current children cumulated CPU time: 18.62 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 266140 KiB [startup+3.40362 s] /proc/loadavg: 6.98 6.86 6.85 13/220 16695 /proc/meminfo: memFree=30702148/32770624 swapFree=66947516/67108860 [pid=16610] ppid=16607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16610/stat : 16610 (xcsp3-exec) S 16607 16610 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418670266 115843072 363 33554432000 4194304 5098028 140723107855232 140723107853336 140248259072636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28913664 140723107857270 140723107857513 140723107857513 140723107860426 0 /proc/16610/statm: 28282 363 305 221 0 87 0 [pid=16612] ppid=16610 vsize=28768328 memory=264972 CPUtime=20.23 cores=0-7 /proc/16612/stat : 16612 (java) S 16610 16610 15751 0 -1 1077944320 40337 0 0 0 1999 24 0 0 20 0 28 0 418670266 29458767872 66243 33554432000 4194304 4196468 140735437935024 140735437917568 139932453703415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 /proc/16612/statm: 7192082 66243 3532 1 0 7153184 0 [pid=16612/tid=16613] ppid=16610 vsize=28768328 memory=0 CPUtime=1.42 cores=0-7 /proc/16612/task/16613/stat : 16613 (java) S 16610 16610 15751 0 -1 1077944384 10379 0 0 0 136 6 0 0 20 0 28 0 418670266 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932457944192 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16614] ppid=16610 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/16612/task/16614/stat : 16614 (java) S 16610 16610 15751 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932406323856 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16615] ppid=16610 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/16612/task/16615/stat : 16615 (java) S 16610 16610 15751 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932405271056 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16616] ppid=16610 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/16612/task/16616/stat : 16616 (java) S 16610 16610 15751 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932404218256 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16617] ppid=16610 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/16612/task/16617/stat : 16617 (java) S 16610 16610 15751 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932403165456 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16618] ppid=16610 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/16612/task/16618/stat : 16618 (java) S 16610 16610 15751 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932402113680 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16619] ppid=16610 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16619/stat : 16619 (java) S 16610 16610 15751 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932401060880 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16620] ppid=16610 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16620/stat : 16620 (java) S 16610 16610 15751 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932400008080 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16621] ppid=16610 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16621/stat : 16621 (java) S 16610 16610 15751 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 418670267 29458767872 66243 33554432000 4194304 4196468 140735437935024 139932398955280 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16622] ppid=16610 vsize=28768328 memory=1452 CPUtime=0.01 cores=0-7 /proc/16612/task/16622/stat : 16622 (java) S 16610 16610 15751 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 28 0 418670268 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931502471536 139932453714562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16623] ppid=16610 vsize=28768328 memory=253592 CPUtime=0 cores=0-7 /proc/16612/task/16623/stat : 16623 (java) S 16610 16610 15751 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 418670269 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931501417568 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16624] ppid=16610 vsize=28768328 memory=-2605811476043407915 CPUtime=0 cores=0-7 /proc/16612/task/16624/stat : 16624 (java) S 16610 16610 15751 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 418670269 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931500364672 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16625] ppid=16610 vsize=28768328 memory=-2026666227646604569 CPUtime=0 cores=0-7 /proc/16612/task/16625/stat : 16625 (java) S 16610 16610 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418670272 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931499312976 139932453722011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16626] ppid=16610 vsize=28768328 memory=-4695043397844020537 CPUtime=2.39 cores=0-7 /proc/16612/task/16626/stat : 16626 (java) R 16610 16610 15751 0 -1 4202560 5461 0 0 0 237 2 0 0 20 0 28 0 418670272 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931498254384 139932439719232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16627] ppid=16610 vsize=28768328 memory=7976406965554101975 CPUtime=2.47 cores=0-7 /proc/16612/task/16627/stat : 16627 (java) R 16610 16610 15751 0 -1 4202560 4897 0 0 0 246 1 0 0 20 0 28 0 418670272 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931497201328 139932439396788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16628] ppid=16610 vsize=28768328 memory=-7022074515825631275 CPUtime=2.36 cores=0-7 /proc/16612/task/16628/stat : 16628 (java) R 16610 16610 15751 0 -1 1077944384 7348 0 0 0 234 2 0 0 20 0 28 0 418670272 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931496155568 139932453713621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16629] ppid=16610 vsize=28768328 memory=-7022074515825631275 CPUtime=1.22 cores=0-7 /proc/16612/task/16629/stat : 16629 (java) R 16610 16610 15751 0 -1 1077944384 7490 0 0 0 119 3 0 0 20 0 28 0 418670272 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931495098720 139932453713621 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16630] ppid=16610 vsize=28768328 memory=-4695043397844020537 CPUtime=0 cores=0-7 /proc/16612/task/16630/stat : 16630 (java) S 16610 16610 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418670272 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931494050400 139932453713621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16631] ppid=16610 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/16612/task/16631/stat : 16631 (java) S 16610 16610 15751 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418670272 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931492997680 139932453714562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16688] ppid=16610 vsize=28768328 memory=280240174183392 CPUtime=0.63 cores=0-7 /proc/16612/task/16688/stat : 16688 (java) R 16610 16610 15751 0 -1 4202560 36 0 0 0 63 0 0 0 20 0 28 0 418670495 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931479823032 139932073076990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16689] ppid=16610 vsize=28768328 memory=8462477531862997750 CPUtime=0.87 cores=0-7 /proc/16612/task/16689/stat : 16689 (java) R 16610 16610 15751 0 -1 4202560 20 0 0 0 87 0 0 0 20 0 28 0 418670495 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931474558320 139932074521349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16690] ppid=16610 vsize=28768328 memory=140120087096737 CPUtime=0.79 cores=0-7 /proc/16612/task/16690/stat : 16690 (java) R 16610 16610 15751 0 -1 4202560 59 0 0 0 79 0 0 0 20 0 28 0 418670496 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931477716096 139932072794217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16691] ppid=16610 vsize=28768328 memory=0 CPUtime=0.77 cores=0-7 /proc/16612/task/16691/stat : 16691 (java) R 16610 16610 15751 0 -1 4202560 40 0 0 0 77 0 0 0 20 0 28 0 418670496 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931481930520 139932077271035 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16692] ppid=16610 vsize=28768328 memory=0 CPUtime=0.62 cores=0-7 /proc/16612/task/16692/stat : 16692 (java) R 16610 16610 15751 0 -1 4202560 23 0 0 0 62 0 0 0 20 0 28 0 418670496 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931475611800 139932076877922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16693] ppid=16610 vsize=28768328 memory=280240174205488 CPUtime=0.75 cores=0-7 /proc/16612/task/16693/stat : 16693 (java) R 16610 16610 15751 0 -1 4202560 20 0 0 0 75 0 0 0 20 0 28 0 418670496 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931480872672 139932076561408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16694] ppid=16610 vsize=28768328 memory=264072 CPUtime=0.72 cores=0-7 /proc/16612/task/16694/stat : 16694 (java) R 16610 16610 15751 0 -1 4202560 19 0 0 0 72 0 0 0 20 0 28 0 418670496 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931478768432 139932072793544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 [pid=16612/tid=16695] ppid=16610 vsize=28768328 memory=86 CPUtime=0.81 cores=0-7 /proc/16612/task/16695/stat : 16695 (java) R 16610 16610 15751 0 -1 4202560 389 0 0 0 81 0 0 0 20 0 28 0 418670496 29458767872 66243 33554432000 4194304 4196468 140735437935024 139931476665192 139932075038953 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39776256 140735437939690 140735437939862 140735437939862 140735437942735 0 Current children cumulated CPU time: 20.23 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 266424 KiB Child status: 0 Real time (s): 3.48838 CPU time (s): 20.7311 CPU user time (s): 20.4764 CPU system time (s): 0.254708 CPU usage (%): 594.292 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 266424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.4764 system time used= 0.254708 maximum resident set size= 266516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41013 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4636 involuntary context switches= 547 # summary of solver processes directly reported to runsolver: # pid: 16610 # total CPU time (s): 20.7311 # total CPU user time (s): 20.4764 # total CPU system time (s): 0.254708 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.048592 second user time and 0.080988 second system time The end
Begin job on node117 at 2019-09-14 04:14:01 IDJOB=4394389 IDBENCH=126789 IDSOLVER=2843 FILE ID=node117/4394389-1568427283 RUNJOBID= node117-1568427144-15778 PBS_JOBID= 21702295 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4394389-1568427283/watcher-4394389-1568427283 -o /tmp/evaluation-result-4394389-1568427283/solver-4394389-1568427283 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 190413713 HOME/instance-4394389-1568427283.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0da4913a631570f2aab16967eaf6c11a RANDOM SEED=190413713 node117.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.75 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.75 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.75 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.75 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: 30953024 kB MemAvailable: 31865620 kB Buffers: 138220 kB Cached: 1043536 kB SwapCached: 51464 kB Active: 769080 kB Inactive: 466252 kB Active(anon): 19248 kB Inactive(anon): 58832 kB Active(file): 749832 kB Inactive(file): 407420 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66947516 kB Dirty: 26388 kB Writeback: 0 kB AnonPages: 117484 kB Mapped: 33016 kB Shmem: 15436 kB Slab: 171412 kB SReclaimable: 142356 kB SUnreclaim: 29056 kB KernelStack: 3680 kB PageTables: 5960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497976 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-14 04:14:05