Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 7 | 19.1286 | 3.49205 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml |
MD5SUM | 9a57509d02107f3cf02e1da9240cc9e8 |
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 | 9.7368 |
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-4406935-1569363342.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406935-1569363342.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 5.01/1.43 c solve instance... 5.58/1.55 o 13 6.28/1.65 o 11 6.28/1.67 o 10 8.56/1.92 o 9 10.15/2.19 o 8 10.91/2.23 o 7 18.77/3.25 s OPTIMUM FOUND 18.77/3.25 v <instantiation> 18.77/3.25 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> 18.77/3.25 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> 18.77/3.25 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 (12749 MiB free) memory of node 1: 16384 MiB (11910 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406935-1569363342/watcher-4406935-1569363342 -o /var/tmp/evaluation-result-4406935-1569363342/solver-4406935-1569363342 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1502157892 HOME/instance-4406935-1569363342.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=10369, runsolver pid=10366 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 3.83 2.68 4.76 3/213 10390 /proc/meminfo: memFree=25235732/32770624 swapFree=66997096/67108860 [pid=10369] ppid=10366 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10369/stat : 10369 (xcsp3-exec) S 10366 10369 8982 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512601935 115843072 362 33554432000 4194304 5098028 140734985395376 140734985393480 139676921918076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13619200 140734985401169 140734985401429 140734985401429 140734985404358 0 /proc/10369/statm: 28282 362 304 221 0 87 0 [pid=10371] ppid=10369 vsize=28227396 memory=28888 CPUtime=0.12 cores=0-7 /proc/10371/stat : 10371 (java) S 10369 10369 8982 0 -1 1077944320 5695 0 0 0 11 1 0 0 20 0 20 0 512601935 28904853504 7222 33554432000 4194304 4196468 140736496269568 140736496252112 140053841485559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 /proc/10371/statm: 7056849 7222 3121 1 0 7019032 0 [pid=10371/tid=10372] ppid=10369 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/10371/task/10372/stat : 10372 (java) R 10369 10369 8982 0 -1 4202560 3604 0 0 0 8 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053845718832 140053825566046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10373] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10373/stat : 10373 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053794106128 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10374] ppid=10369 vsize=28227396 memory=3617710937704285856 CPUtime=0 cores=0-7 /proc/10371/task/10374/stat : 10374 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053793053584 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10375] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10375/stat : 10375 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053792001040 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10376] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10376/stat : 10376 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053790948496 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10377] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10377/stat : 10377 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053789894928 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10378] ppid=10369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10371/task/10378/stat : 10378 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053788842384 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10379] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10379/stat : 10379 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053787789840 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10380] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10380/stat : 10380 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 7222 33554432000 4194304 4196468 140736496269568 140053786737296 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10381] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10381/stat : 10381 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601938 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052036307440 140053841496706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10382] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10382/stat : 10382 (java) S 10369 10369 8982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512601938 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052035253664 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10383] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10383/stat : 10383 (java) S 10369 10369 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512601939 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052034201072 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10384] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10384/stat : 10384 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052033149648 140053841504155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10385] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10385/stat : 10385 (java) S 10369 10369 8982 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052032096240 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10386] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10386/stat : 10386 (java) S 10369 10369 8982 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052031043696 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10387] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10387/stat : 10387 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052029991152 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10388] ppid=10369 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10371/task/10388/stat : 10388 (java) R 10369 10369 8982 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 512601941 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052028938608 140053841497494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10389] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10389/stat : 10389 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052027886304 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10390] ppid=10369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10371/task/10390/stat : 10390 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 7222 33554432000 4194304 4196468 140736496269568 140052026833840 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30336 KiB [startup+0.210103 s]* /proc/loadavg: 3.83 2.68 4.76 2/213 10390 /proc/meminfo: memFree=25222652/32770624 swapFree=66997096/67108860 [pid=10369] ppid=10366 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10369/stat : 10369 (xcsp3-exec) S 10366 10369 8982 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512601935 115843072 362 33554432000 4194304 5098028 140734985395376 140734985393480 139676921918076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13619200 140734985401169 140734985401429 140734985401429 140734985404358 0 /proc/10369/statm: 28282 362 304 221 0 87 0 [pid=10371] ppid=10369 vsize=28227396 memory=40664 CPUtime=0.34 cores=0-7 /proc/10371/stat : 10371 (java) S 10369 10369 8982 0 -1 1077944320 9405 0 0 0 31 3 0 0 20 0 20 0 512601935 28904853504 10166 33554432000 4194304 4196468 140736496269568 140736496252112 140053841485559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 /proc/10371/statm: 7056849 10166 3292 1 0 7019032 0 [pid=10371/tid=10372] ppid=10369 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/10371/task/10372/stat : 10372 (java) R 10369 10369 8982 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053845718288 140053841497494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10373] ppid=10369 vsize=28227396 memory=9329 CPUtime=0 cores=0-7 /proc/10371/task/10373/stat : 10373 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053794106128 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10374] ppid=10369 vsize=28227396 memory=140453972244558 CPUtime=0 cores=0-7 /proc/10371/task/10374/stat : 10374 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053793053584 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10375] ppid=10369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10371/task/10375/stat : 10375 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053792001040 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10376] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10376/stat : 10376 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053790948496 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10377] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10377/stat : 10377 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053789894928 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10378] ppid=10369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10371/task/10378/stat : 10378 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053788842384 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10379] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10379/stat : 10379 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053787789840 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10380] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10380/stat : 10380 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28904853504 10166 33554432000 4194304 4196468 140736496269568 140053786737296 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10381] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10381/stat : 10381 (java) S 10369 10369 8982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512601938 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052036307440 140053841496706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10382] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10382/stat : 10382 (java) S 10369 10369 8982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512601938 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052035253664 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10383] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10383/stat : 10383 (java) S 10369 10369 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512601939 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052034201072 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10384] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10384/stat : 10384 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052033149648 140053841504155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10385] ppid=10369 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10371/task/10385/stat : 10385 (java) S 10369 10369 8982 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 512601941 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052032096240 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10386] ppid=10369 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10371/task/10386/stat : 10386 (java) R 10369 10369 8982 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 512601941 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052031043696 140053841496706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10387] ppid=10369 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/10371/task/10387/stat : 10387 (java) S 10369 10369 8982 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 512601941 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052029991152 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10388] ppid=10369 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/10371/task/10388/stat : 10388 (java) R 10369 10369 8982 0 -1 4202560 800 0 0 0 8 0 0 0 20 0 20 0 512601941 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052028938608 140053841497494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10389] ppid=10369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10389/stat : 10389 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052027886304 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10390] ppid=10369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10371/task/10390/stat : 10390 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601941 28904853504 10166 33554432000 4194304 4196468 140736496269568 140052026833840 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42112 KiB [startup+0.309694 s]* /proc/loadavg: 3.83 2.68 4.76 4/213 10390 /proc/meminfo: memFree=25215644/32770624 swapFree=66997096/67108860 [pid=10369] ppid=10366 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10369/stat : 10369 (xcsp3-exec) S 10366 10369 8982 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512601935 115843072 362 33554432000 4194304 5098028 140734985395376 140734985393480 139676921918076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13619200 140734985401169 140734985401429 140734985401429 140734985404358 0 /proc/10369/statm: 28282 362 304 221 0 87 0 [pid=10371] ppid=10369 vsize=28231652 memory=49608 CPUtime=0.52 cores=0-7 /proc/10371/stat : 10371 (java) S 10369 10369 8982 0 -1 1077944320 10777 0 0 0 48 4 0 0 20 0 20 0 512601935 28909211648 12402 33554432000 4194304 4196468 140736496269568 140736496252112 140053841485559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 /proc/10371/statm: 7057913 12402 3368 1 0 7019032 0 [pid=10371/tid=10372] ppid=10369 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/10371/task/10372/stat : 10372 (java) R 10369 10369 8982 0 -1 4202560 7732 0 0 0 27 3 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053845719344 140053825566046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10373] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10373/stat : 10373 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053794106128 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10374] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10374/stat : 10374 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053793053584 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10375] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10375/stat : 10375 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053792001040 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10376] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10376/stat : 10376 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053790948496 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10377] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10377/stat : 10377 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053789894928 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10378] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10378/stat : 10378 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053788842384 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10379] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10379/stat : 10379 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053787789840 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10380] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10380/stat : 10380 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28909211648 12447 33554432000 4194304 4196468 140736496269568 140053786737296 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10381] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10381/stat : 10381 (java) S 10369 10369 8982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512601938 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052036307440 140053841496706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10382] ppid=10369 vsize=28231652 memory=280907638578560 CPUtime=0 cores=0-7 /proc/10371/task/10382/stat : 10382 (java) S 10369 10369 8982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512601938 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052035253664 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10383] ppid=10369 vsize=28231652 memory=280907638583168 CPUtime=0 cores=0-7 /proc/10371/task/10383/stat : 10383 (java) S 10369 10369 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512601939 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052034201072 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10384] ppid=10369 vsize=28231652 memory=280907638587776 CPUtime=0 cores=0-7 /proc/10371/task/10384/stat : 10384 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601941 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052033149648 140053841504155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10385] ppid=10369 vsize=28231652 memory=280907638592384 CPUtime=0.01 cores=0-7 /proc/10371/task/10385/stat : 10385 (java) S 10369 10369 8982 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 512601941 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052032096240 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10386] ppid=10369 vsize=28231652 memory=280907638596992 CPUtime=0.03 cores=0-7 /proc/10371/task/10386/stat : 10386 (java) R 10369 10369 8982 0 -1 4202560 324 0 0 0 3 0 0 0 20 0 20 0 512601941 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052031043696 140053822189041 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10387] ppid=10369 vsize=28231652 memory=280907638601600 CPUtime=0.03 cores=0-7 /proc/10371/task/10387/stat : 10387 (java) S 10369 10369 8982 0 -1 1077944384 72 0 0 0 3 0 0 0 20 0 20 0 512601941 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052029991152 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10388] ppid=10369 vsize=28231652 memory=280907638606208 CPUtime=0.13 cores=0-7 /proc/10371/task/10388/stat : 10388 (java) S 10369 10369 8982 0 -1 1077944384 965 0 0 0 13 0 0 0 20 0 20 0 512601941 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052028938608 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10389] ppid=10369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10389/stat : 10389 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601941 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052027886304 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10390] ppid=10369 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10371/task/10390/stat : 10390 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601941 28909211648 12447 33554432000 4194304 4196468 140736496269568 140052026833840 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51056 KiB [startup+0.700924 s] /proc/loadavg: 3.83 2.68 4.76 6/213 10390 /proc/meminfo: memFree=25192764/32770624 swapFree=66997096/67108860 [pid=10369] ppid=10366 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10369/stat : 10369 (xcsp3-exec) S 10366 10369 8982 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512601935 115843072 362 33554432000 4194304 5098028 140734985395376 140734985393480 139676921918076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13619200 140734985401169 140734985401429 140734985401429 140734985404358 0 /proc/10369/statm: 28282 362 304 221 0 87 0 [pid=10371] ppid=10369 vsize=28233776 memory=96332 CPUtime=2.01 cores=0-7 /proc/10371/stat : 10371 (java) S 10369 10369 8982 0 -1 1077944320 16784 0 0 0 195 6 0 0 20 0 20 0 512601935 28911386624 24083 33554432000 4194304 4196468 140736496269568 140736496252112 140053841485559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 /proc/10371/statm: 7058444 24083 3458 1 0 7019544 0 [pid=10371/tid=10372] ppid=10369 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/10371/task/10372/stat : 10372 (java) R 10369 10369 8982 0 -1 4202560 9286 0 0 0 64 4 0 0 20 0 20 0 512601936 28911386624 24083 33554432000 4194304 4196468 140736496269568 140053845704096 140053825796448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10373] ppid=10369 vsize=28233776 memory=140453819491200 CPUtime=0 cores=0-7 /proc/10371/task/10373/stat : 10373 (java) S 10369 10369 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512601936 28911386624 24083 33554432000 4194304 4196468 140736496269568 140053794106128 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10374] ppid=10369 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10374/stat : 10374 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512601936 28911386624 24083 33554432000 4194304 4196468 140736496269568 140053793053584 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10375] ppid=10369 vsize=28233776 memory=1228 CPUtime=0 cores=0-7 /proc/10371/task/10375/stat : 10375 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512601936 28911386624 24083 33554432000 4194304 4196468 140736496269568 140053792001040 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 ################ # More data... # ################ [pid=10371/tid=10389] ppid=10369 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10389/stat : 10389 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 54149 33554432000 4194304 4196468 140736496269568 140052027886304 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10390] ppid=10369 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10390/stat : 10390 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 54149 33554432000 4194304 4196468 140736496269568 140052026833840 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 Current children cumulated CPU time: 5.58 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 218044 KiB [startup+3.11604 s] /proc/loadavg: 3.92 2.72 4.76 14/220 10447 /proc/meminfo: memFree=24996256/32770624 swapFree=66997096/67108860 [pid=10369] ppid=10366 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10369/stat : 10369 (xcsp3-exec) S 10366 10369 8982 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512601935 115843072 362 33554432000 4194304 5098028 140734985395376 140734985393480 139676921918076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13619200 140734985401169 140734985401429 140734985401429 140734985404358 0 /proc/10369/statm: 28282 362 304 221 0 87 0 [pid=10371] ppid=10369 vsize=28768336 memory=275052 CPUtime=18.03 cores=0-7 /proc/10371/stat : 10371 (java) S 10369 10369 8982 0 -1 1077944320 35220 0 0 0 1781 22 0 0 20 0 28 0 512601935 29458776064 68763 33554432000 4194304 4196468 140736496269568 140736496252112 140053841485559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 /proc/10371/statm: 7192084 68763 3537 1 0 7153184 0 [pid=10371/tid=10372] ppid=10369 vsize=28768336 memory=264316 CPUtime=1.42 cores=0-7 /proc/10371/task/10372/stat : 10372 (java) S 10369 10369 8982 0 -1 1077944384 10240 0 0 0 136 6 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053845726336 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10373] ppid=10369 vsize=28768336 memory=257116 CPUtime=0.01 cores=0-7 /proc/10371/task/10373/stat : 10373 (java) S 10369 10369 8982 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053794106128 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10374] ppid=10369 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/10371/task/10374/stat : 10374 (java) S 10369 10369 8982 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053793053584 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10375] ppid=10369 vsize=28768336 memory=89558658077042 CPUtime=0.01 cores=0-7 /proc/10371/task/10375/stat : 10375 (java) S 10369 10369 8982 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053792001040 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10376] ppid=10369 vsize=28768336 memory=-2827449378222515572 CPUtime=0.01 cores=0-7 /proc/10371/task/10376/stat : 10376 (java) S 10369 10369 8982 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053790948496 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10377] ppid=10369 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10371/task/10377/stat : 10377 (java) S 10369 10369 8982 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053789894928 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10378] ppid=10369 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10378/stat : 10378 (java) S 10369 10369 8982 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053788842384 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10379] ppid=10369 vsize=28768336 memory=1448 CPUtime=0.02 cores=0-7 /proc/10371/task/10379/stat : 10379 (java) S 10369 10369 8982 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053787789840 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10380] ppid=10369 vsize=28768336 memory=2 CPUtime=0.01 cores=0-7 /proc/10371/task/10380/stat : 10380 (java) S 10369 10369 8982 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 68763 33554432000 4194304 4196468 140736496269568 140053786737296 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10381] ppid=10369 vsize=28768336 memory=1 CPUtime=0 cores=0-7 /proc/10371/task/10381/stat : 10381 (java) S 10369 10369 8982 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 28 0 512601938 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052036307440 140053841496706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10382] ppid=10369 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10382/stat : 10382 (java) S 10369 10369 8982 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 512601938 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052035253728 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10383] ppid=10369 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10383/stat : 10383 (java) S 10369 10369 8982 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 512601939 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052034201088 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10384] ppid=10369 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/10371/task/10384/stat : 10384 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052033149648 140053841504155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10385] ppid=10369 vsize=28768336 memory=0 CPUtime=2.2 cores=0-7 /proc/10371/task/10385/stat : 10385 (java) R 10369 10369 8982 0 -1 4202560 4355 0 0 0 218 2 0 0 20 0 28 0 512601941 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052032089432 140053823008527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10386] ppid=10369 vsize=28768336 memory=280907638546248 CPUtime=2.27 cores=0-7 /proc/10371/task/10386/stat : 10386 (java) R 10369 10369 8982 0 -1 4202560 5709 0 0 0 226 1 0 0 20 0 28 0 512601941 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052031043696 140053824947920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10387] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=2.24 cores=0-7 /proc/10371/task/10387/stat : 10387 (java) R 10369 10369 8982 0 -1 4202560 5466 0 0 0 223 1 0 0 20 0 28 0 512601941 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052029978928 140053824822240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10388] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=1.04 cores=0-7 /proc/10371/task/10388/stat : 10388 (java) S 10369 10369 8982 0 -1 1077944384 5621 0 0 0 102 2 0 0 20 0 28 0 512601941 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052028938608 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10389] ppid=10369 vsize=28768336 memory=46720452921834 CPUtime=0 cores=0-7 /proc/10371/task/10389/stat : 10389 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052027886304 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10390] ppid=10369 vsize=28768336 memory=46720452921834 CPUtime=0 cores=0-7 /proc/10371/task/10390/stat : 10390 (java) S 10369 10369 8982 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052026833840 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10440] ppid=10369 vsize=28768336 memory=46720452921578 CPUtime=0.69 cores=0-7 /proc/10371/task/10440/stat : 10440 (java) R 10369 10369 8982 0 -1 4202560 53 0 0 0 69 0 0 0 20 0 28 0 512602159 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052012596064 140053474297058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10441] ppid=10369 vsize=28768336 memory=56 CPUtime=0.53 cores=0-7 /proc/10371/task/10441/stat : 10441 (java) R 10369 10369 8982 0 -1 4202560 34 0 0 0 53 0 0 0 20 0 28 0 512602159 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052015755664 140053474606089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10442] ppid=10369 vsize=28768336 memory=-7003712468125402514 CPUtime=0.57 cores=0-7 /proc/10371/task/10442/stat : 10442 (java) R 10369 10369 8982 0 -1 4202560 93 0 0 0 57 0 0 0 20 0 28 0 512602159 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052014702264 140053475659904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10443] ppid=10369 vsize=28768336 memory=0 CPUtime=0.77 cores=0-7 /proc/10371/task/10443/stat : 10443 (java) R 10369 10369 8982 0 -1 4202560 169 0 0 0 77 0 0 0 20 0 28 0 512602159 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052013650408 140053475303027 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10444] ppid=10369 vsize=28768336 memory=0 CPUtime=0.63 cores=0-7 /proc/10371/task/10444/stat : 10444 (java) R 10369 10369 8982 0 -1 4202560 147 0 0 0 63 0 0 0 20 0 28 0 512602159 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052011544376 140053474509223 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10445] ppid=10369 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7 /proc/10371/task/10445/stat : 10445 (java) R 10369 10369 8982 0 -1 4202560 45 0 0 0 71 0 0 0 20 0 28 0 512602159 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052008383616 140053474158100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10446] ppid=10369 vsize=28768336 memory=280907639019936 CPUtime=0.59 cores=0-7 /proc/10371/task/10446/stat : 10446 (java) R 10369 10369 8982 0 -1 4202560 136 0 0 0 59 0 0 0 20 0 28 0 512602159 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052010491552 140053475138947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10447] ppid=10369 vsize=28768336 memory=6298653928584532309 CPUtime=0.52 cores=0-7 /proc/10371/task/10447/stat : 10447 (java) R 10369 10369 8982 0 -1 4202560 74 0 0 0 52 0 0 0 20 0 28 0 512602160 29458776064 68763 33554432000 4194304 4196468 140736496269568 140052009437936 140053474509503 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 Current children cumulated CPU time: 18.03 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 276500 KiB [startup+3.40129 s] # the end of solver process 10369 was just reported to runsolver # cumulated CPU time of all completed processes: user=18.8913 s, system=0.237299 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20904 s] /proc/loadavg: 3.92 2.72 4.76 14/220 10447 /proc/meminfo: memFree=24996256/32770624 swapFree=66997096/67108860 [pid=10369] ppid=10366 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10369/stat : 10369 (xcsp3-exec) S 10366 10369 8982 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512601935 115843072 362 33554432000 4194304 5098028 140734985395376 140734985393480 139676921918076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13619200 140734985401169 140734985401429 140734985401429 140734985404358 0 /proc/10369/statm: 28282 362 304 221 0 87 0 [pid=10371] ppid=10369 vsize=28768336 memory=281344 CPUtime=18.77 cores=0-7 /proc/10371/stat : 10371 (java) S 10369 10369 8982 0 -1 1077944320 35320 0 0 0 1855 22 0 0 20 0 28 0 512601935 29458776064 70336 33554432000 4194304 4196468 140736496269568 140736496252112 140053841485559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 /proc/10371/statm: 7192084 70336 3537 1 0 7153184 0 [pid=10371/tid=10372] ppid=10369 vsize=28768336 memory=0 CPUtime=1.42 cores=0-7 /proc/10371/task/10372/stat : 10372 (java) S 10369 10369 8982 0 -1 1077944384 10240 0 0 0 136 6 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053845726336 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10373] ppid=10369 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10371/task/10373/stat : 10373 (java) S 10369 10369 8982 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053794106128 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10374] ppid=10369 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/10371/task/10374/stat : 10374 (java) S 10369 10369 8982 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053793053584 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10375] ppid=10369 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/10371/task/10375/stat : 10375 (java) S 10369 10369 8982 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053792001040 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10376] ppid=10369 vsize=28768336 memory=4116342974492726121 CPUtime=0.01 cores=0-7 /proc/10371/task/10376/stat : 10376 (java) S 10369 10369 8982 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053790948496 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10377] ppid=10369 vsize=28768336 memory=1428 CPUtime=0.01 cores=0-7 /proc/10371/task/10377/stat : 10377 (java) S 10369 10369 8982 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053789894928 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10378] ppid=10369 vsize=28768336 memory=1060 CPUtime=0 cores=0-7 /proc/10371/task/10378/stat : 10378 (java) S 10369 10369 8982 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053788842384 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10379] ppid=10369 vsize=28768336 memory=740 CPUtime=0.02 cores=0-7 /proc/10371/task/10379/stat : 10379 (java) S 10369 10369 8982 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053787789840 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10380] ppid=10369 vsize=28768336 memory=1228 CPUtime=0.01 cores=0-7 /proc/10371/task/10380/stat : 10380 (java) S 10369 10369 8982 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 512601936 29458776064 70336 33554432000 4194304 4196468 140736496269568 140053786737296 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10381] ppid=10369 vsize=28768336 memory=9564 CPUtime=0 cores=0-7 /proc/10371/task/10381/stat : 10381 (java) S 10369 10369 8982 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 28 0 512601938 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052036307440 140053841496706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10382] ppid=10369 vsize=28768336 memory=301741373374332954 CPUtime=0 cores=0-7 /proc/10371/task/10382/stat : 10382 (java) S 10369 10369 8982 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 512601938 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052035253728 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10383] ppid=10369 vsize=28768336 memory=301741394933055803 CPUtime=0 cores=0-7 /proc/10371/task/10383/stat : 10383 (java) S 10369 10369 8982 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 512601939 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052034201088 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10384] ppid=10369 vsize=28768336 memory=15817815617702142 CPUtime=0 cores=0-7 /proc/10371/task/10384/stat : 10384 (java) S 10369 10369 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052033149648 140053841504155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10385] ppid=10369 vsize=28768336 memory=7682744562830902074 CPUtime=2.24 cores=0-7 /proc/10371/task/10385/stat : 10385 (java) R 10369 10369 8982 0 -1 4202560 4405 0 0 0 222 2 0 0 20 0 28 0 512601941 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052032082000 140053826595135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10386] ppid=10369 vsize=28768336 memory=-7385037615309293161 CPUtime=2.31 cores=0-7 /proc/10371/task/10386/stat : 10386 (java) R 10369 10369 8982 0 -1 4202560 5737 0 0 0 230 1 0 0 20 0 28 0 512601941 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052031030240 140053820710306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10387] ppid=10369 vsize=28768336 memory=280907638657344 CPUtime=2.29 cores=0-7 /proc/10371/task/10387/stat : 10387 (java) R 10369 10369 8982 0 -1 4202560 5470 0 0 0 228 1 0 0 20 0 28 0 512601941 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052029978928 140053827512719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10388] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=1.05 cores=0-7 /proc/10371/task/10388/stat : 10388 (java) S 10369 10369 8982 0 -1 1077944384 5626 0 0 0 103 2 0 0 20 0 28 0 512601941 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052028938608 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10389] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0 cores=0-7 /proc/10371/task/10389/stat : 10389 (java) S 10369 10369 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052027886304 140053841495765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10390] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0 cores=0-7 /proc/10371/task/10390/stat : 10390 (java) S 10369 10369 8982 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 512601941 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052026833840 140053841496706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10440] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0.79 cores=0-7 /proc/10371/task/10440/stat : 10440 (java) R 10369 10369 8982 0 -1 4202560 59 0 0 0 79 0 0 0 20 0 28 0 512602159 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052012596064 140053474606363 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10441] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0.58 cores=0-7 /proc/10371/task/10441/stat : 10441 (java) R 10369 10369 8982 0 -1 4202560 34 0 0 0 58 0 0 0 20 0 28 0 512602159 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052015755664 140053474605603 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10442] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0.62 cores=0-7 /proc/10371/task/10442/stat : 10442 (java) R 10369 10369 8982 0 -1 4202560 93 0 0 0 62 0 0 0 20 0 28 0 512602159 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052014702264 140053474509223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10443] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0.87 cores=0-7 /proc/10371/task/10443/stat : 10443 (java) R 10369 10369 8982 0 -1 4202560 176 0 0 0 86 1 0 0 20 0 28 0 512602159 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052013649944 140053472693712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10444] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0.68 cores=0-7 /proc/10371/task/10444/stat : 10444 (java) R 10369 10369 8982 0 -1 4202560 147 0 0 0 68 0 0 0 20 0 28 0 512602159 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052011544376 140053474158100 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10445] ppid=10369 vsize=28768336 memory=46720452922090 CPUtime=0.81 cores=0-7 /proc/10371/task/10445/stat : 10445 (java) R 10369 10369 8982 0 -1 4202560 45 0 0 0 81 0 0 0 20 0 28 0 512602159 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052008383616 140053474606345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10446] ppid=10369 vsize=28768336 memory=109976 CPUtime=0.68 cores=0-7 /proc/10371/task/10446/stat : 10446 (java) R 10369 10369 8982 0 -1 4202560 136 0 0 0 68 0 0 0 20 0 28 0 512602159 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052010491552 140053474509581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 [pid=10371/tid=10447] ppid=10369 vsize=28768336 memory=2672 CPUtime=0.61 cores=0-7 /proc/10371/task/10447/stat : 10447 (java) R 10369 10369 8982 0 -1 4202560 74 0 0 0 61 0 0 0 20 0 28 0 512602160 29458776064 70336 33554432000 4194304 4196468 140736496269568 140052009440936 140053475146083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140736496276438 140736496276614 140736496276614 140736496279503 0 Current children cumulated CPU time: 18.77 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 282792 KiB [startup+3.40039 s] /proc/loadavg: 3.92 2.72 4.76 14/220 10447 /proc/meminfo: memFree=24996256/32770624 swapFree=66997096/67108860 [pid=10369] ppid=10366 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10369/stat : 10369 (xcsp3-exec) S 10366 10369 8982 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512601935 115843072 362 33554432000 4194304 5098028 140734985395376 140734985393480 139676921918076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13619200 140734985401169 140734985401429 140734985401429 140734985404358 0 /proc/10369/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB Child status: 0 Real time (s): 3.49205 CPU time (s): 19.1286 CPU user time (s): 18.8913 CPU system time (s): 0.237299 CPU usage (%): 547.774 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 282792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.8913 system time used= 0.237299 maximum resident set size= 286412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36165 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4257 involuntary context switches= 500 # summary of solver processes directly reported to runsolver: # pid: 10369 # total CPU time (s): 19.1286 # total CPU user time (s): 18.8913 # total CPU system time (s): 0.237299 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.038592 second user time and 0.084902 second system time The end
Begin job on node126 at 2019-09-25 00:15:04 IDJOB=4406935 IDBENCH=140480 IDSOLVER=2871 FILE ID=node126/4406935-1569363342 RUNJOBID= node126-1569359605-9009 PBS_JOBID= 21705122 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-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 /var/tmp/evaluation-result-4406935-1569363342/watcher-4406935-1569363342 -o /var/tmp/evaluation-result-4406935-1569363342/solver-4406935-1569363342 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1502157892 HOME/instance-4406935-1569363342.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9a57509d02107f3cf02e1da9240cc9e8 RANDOM SEED=1502157892 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25251232 kB MemAvailable: 31842088 kB Buffers: 101836 kB Cached: 6719996 kB SwapCached: 7624 kB Active: 3388680 kB Inactive: 3444392 kB Active(anon): 4884 kB Inactive(anon): 56908 kB Active(file): 3383796 kB Inactive(file): 3387484 kB Unevictable: 109444 kB Mlocked: 109444 kB SwapTotal: 67108860 kB SwapFree: 66997096 kB Dirty: 26372 kB Writeback: 0 kB AnonPages: 137208 kB Mapped: 54524 kB Shmem: 41676 kB Slab: 276336 kB SReclaimable: 248036 kB SUnreclaim: 28300 kB KernelStack: 3744 kB PageTables: 5832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515832 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-25 00:15:07