Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 7 | 17.5824 | 3.25789 |
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-4404535-1569011115.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.19 c [HOME/instance-4404535-1569011115.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.80/1.59 c solve instance... 5.92/1.73 o 13 5.92/1.80 o 11 6.58/1.88 o 10 7.90/2.04 o 9 9.53/2.21 o 8 9.53/2.27 o 7 17.36/3.23 s OPTIMUM FOUND 17.36/3.23 v <instantiation> 17.36/3.23 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> 17.36/3.23 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> 17.36/3.23 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 (13267 MiB free) memory of node 1: 16384 MiB (11786 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404535-1569011115/watcher-4404535-1569011115 -o /tmp/evaluation-result-4404535-1569011115/solver-4404535-1569011115 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 417366698 HOME/instance-4404535-1569011115.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 Current StackSize limit: 8192 KiB solver pid=30004, runsolver pid=30001 [startup+0.100159 s]* /proc/loadavg: 8.28 8.21 8.09 2/211 30025 /proc/meminfo: memFree=25641316/32770624 swapFree=66986244/67108860 [pid=30004] ppid=30001 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30004/stat : 30004 (xcsp3-exec) S 30001 30004 26041 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477368385 115843072 364 33554432000 4194304 5098028 140726083557632 140726083555736 140706494489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140726083564406 140726083564649 140726083564649 140726083567562 0 /proc/30004/statm: 28282 364 305 221 0 87 0 [pid=30006] ppid=30004 vsize=28227396 memory=27396 CPUtime=0.12 cores=0-7 /proc/30006/stat : 30006 (java) S 30004 30004 26041 0 -1 1077944320 5798 0 0 0 11 1 0 0 20 0 20 0 477368386 28904853504 6849 33554432000 4194304 4196468 140729227132144 140729227114688 140703157546743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 /proc/30006/statm: 7056849 6849 3139 1 0 7019032 0 [pid=30006/tid=30007] ppid=30004 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/30006/task/30007/stat : 30007 (java) R 30004 30004 26041 0 -1 4202560 3669 0 0 0 8 1 0 0 20 0 20 0 477368386 28904853504 6849 33554432000 4194304 4196468 140729227132144 140703161780016 140702794659308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30008] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30008/stat : 30008 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702708697488 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30009] ppid=30004 vsize=28227396 memory=140039870892668 CPUtime=0 cores=0-7 /proc/30006/task/30009/stat : 30009 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702707644688 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30010] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30010/stat : 30010 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702706592400 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30011] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30011/stat : 30011 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702705539600 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30012] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30012/stat : 30012 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702704487312 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30013] ppid=30004 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30006/task/30013/stat : 30013 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702703434512 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30014] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30014/stat : 30014 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702702382224 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30015] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30015/stat : 30015 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702701329424 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30016] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30016/stat : 30016 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368388 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702273099888 140703157557890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30017] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30017/stat : 30017 (java) S 30004 30004 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477368389 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702272045856 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30018] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30018/stat : 30018 (java) S 30004 30004 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477368389 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702270993520 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30019] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30019/stat : 30019 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702269941840 140703157565339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30020] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30020/stat : 30020 (java) S 30004 30004 26041 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702268889712 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30021] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30021/stat : 30021 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702267836912 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30022] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30022/stat : 30022 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702266784624 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30023] ppid=30004 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30006/task/30023/stat : 30023 (java) R 30004 30004 26041 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 20 0 477368392 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702265731824 140703136079590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30024] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30024/stat : 30024 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702264678752 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30025] ppid=30004 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30006/task/30025/stat : 30025 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 6849 33554432000 4194304 4196468 140729227132144 140702263626032 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28852 KiB [startup+0.210195 s]* /proc/loadavg: 8.28 8.21 8.09 4/211 30025 /proc/meminfo: memFree=25614512/32770624 swapFree=66986244/67108860 [pid=30004] ppid=30001 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30004/stat : 30004 (xcsp3-exec) S 30001 30004 26041 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477368385 115843072 364 33554432000 4194304 5098028 140726083557632 140726083555736 140706494489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140726083564406 140726083564649 140726083564649 140726083567562 0 /proc/30004/statm: 28282 364 305 221 0 87 0 [pid=30006] ppid=30004 vsize=28227396 memory=39124 CPUtime=0.34 cores=0-7 /proc/30006/stat : 30006 (java) S 30004 30004 26041 0 -1 1077944320 9607 0 0 0 31 3 0 0 20 0 20 0 477368386 28904853504 9781 33554432000 4194304 4196468 140729227132144 140729227114688 140703157546743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 /proc/30006/statm: 7056849 9781 3252 1 0 7019032 0 [pid=30006/tid=30007] ppid=30004 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30006/task/30007/stat : 30007 (java) R 30004 30004 26041 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 20 0 477368386 28904853504 9781 33554432000 4194304 4196468 140729227132144 140703161776464 140703143242592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30008] ppid=30004 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/30006/task/30008/stat : 30008 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702708697488 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30009] ppid=30004 vsize=28227396 memory=288370416022582912 CPUtime=0 cores=0-7 /proc/30006/task/30009/stat : 30009 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702707644688 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30010] ppid=30004 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30006/task/30010/stat : 30010 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702706592400 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30011] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30011/stat : 30011 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702705539600 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30012] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30012/stat : 30012 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702704487312 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30013] ppid=30004 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30006/task/30013/stat : 30013 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702703434512 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30014] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30014/stat : 30014 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702702382224 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30015] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30015/stat : 30015 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702701329424 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30016] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30016/stat : 30016 (java) S 30004 30004 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477368388 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702273099888 140703157557890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30017] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30017/stat : 30017 (java) S 30004 30004 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477368389 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702272045856 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30018] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30018/stat : 30018 (java) S 30004 30004 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477368389 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702270993520 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30019] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30019/stat : 30019 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702269941840 140703157565339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30020] ppid=30004 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30006/task/30020/stat : 30020 (java) S 30004 30004 26041 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 477368392 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702268889712 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30021] ppid=30004 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30006/task/30021/stat : 30021 (java) S 30004 30004 26041 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 477368392 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702267836912 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30022] ppid=30004 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/30006/task/30022/stat : 30022 (java) S 30004 30004 26041 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 477368392 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702266784624 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30023] ppid=30004 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/30006/task/30023/stat : 30023 (java) R 30004 30004 26041 0 -1 4202560 933 0 0 0 7 0 0 0 20 0 20 0 477368392 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702265731824 140703157568090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30024] ppid=30004 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30024/stat : 30024 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702264678752 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30025] ppid=30004 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30006/task/30025/stat : 30025 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368392 28904853504 9781 33554432000 4194304 4196468 140729227132144 140702263626032 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 40580 KiB [startup+0.551852 s]* /proc/loadavg: 8.28 8.21 8.09 4/211 30025 /proc/meminfo: memFree=25607540/32770624 swapFree=66986244/67108860 [pid=30004] ppid=30001 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30004/stat : 30004 (xcsp3-exec) S 30001 30004 26041 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477368385 115843072 364 33554432000 4194304 5098028 140726083557632 140726083555736 140706494489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140726083564406 140726083564649 140726083564649 140726083567562 0 /proc/30004/statm: 28282 364 305 221 0 87 0 [pid=30006] ppid=30004 vsize=28233776 memory=65112 CPUtime=0.87 cores=0-7 /proc/30006/stat : 30006 (java) S 30004 30004 26041 0 -1 1077944320 13580 0 0 0 81 6 0 0 20 0 20 0 477368386 28911386624 16278 33554432000 4194304 4196468 140729227132144 140729227114688 140703157546743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 /proc/30006/statm: 7058444 16278 3423 1 0 7019544 0 [pid=30006/tid=30007] ppid=30004 vsize=28233776 memory=8317482817917895235 CPUtime=0.41 cores=0-7 /proc/30006/task/30007/stat : 30007 (java) R 30004 30004 26041 0 -1 4202560 8418 0 0 0 38 3 0 0 20 0 20 0 477368386 28911386624 16278 33554432000 4194304 4196468 140729227132144 140703161781744 140703137075736 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30008] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30008/stat : 30008 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16278 33554432000 4194304 4196468 140729227132144 140702708697488 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30009] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30009/stat : 30009 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16278 33554432000 4194304 4196468 140729227132144 140702707644688 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30010] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30010/stat : 30010 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16278 33554432000 4194304 4196468 140729227132144 140702706592400 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30011] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30011/stat : 30011 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16278 33554432000 4194304 4196468 140729227132144 140702705539600 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30012] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30012/stat : 30012 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702704487312 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30013] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30013/stat : 30013 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702703434512 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30014] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30014/stat : 30014 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702702382224 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30015] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30015/stat : 30015 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702701329424 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30016] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30016/stat : 30016 (java) S 30004 30004 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477368388 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702273099888 140703157557890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30017] ppid=30004 vsize=28233776 memory=280079515196800 CPUtime=0 cores=0-7 /proc/30006/task/30017/stat : 30017 (java) S 30004 30004 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477368389 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702272045856 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30018] ppid=30004 vsize=28233776 memory=280079515201408 CPUtime=0 cores=0-7 /proc/30006/task/30018/stat : 30018 (java) S 30004 30004 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477368389 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702270993520 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30019] ppid=30004 vsize=28233776 memory=280079515206016 CPUtime=0 cores=0-7 /proc/30006/task/30019/stat : 30019 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368392 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702269941840 140703157565339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30020] ppid=30004 vsize=28233776 memory=280079515210624 CPUtime=0.1 cores=0-7 /proc/30006/task/30020/stat : 30020 (java) R 30004 30004 26041 0 -1 4202560 1443 0 0 0 10 0 0 0 20 0 20 0 477368392 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702268875640 140703135396096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30021] ppid=30004 vsize=28233776 memory=280079515215232 CPUtime=0.06 cores=0-7 /proc/30006/task/30021/stat : 30021 (java) S 30004 30004 26041 0 -1 1077944384 253 0 0 0 6 0 0 0 20 0 20 0 477368392 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702267836912 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30022] ppid=30004 vsize=28233776 memory=280079515219840 CPUtime=0.06 cores=0-7 /proc/30006/task/30022/stat : 30022 (java) S 30004 30004 26041 0 -1 1077944384 346 0 0 0 6 0 0 0 20 0 20 0 477368392 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702266784624 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30023] ppid=30004 vsize=28233776 memory=280079515224448 CPUtime=0.19 cores=0-7 /proc/30006/task/30023/stat : 30023 (java) R 30004 30004 26041 0 -1 4202560 1885 0 0 0 19 0 0 0 20 0 20 0 477368392 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702265728632 140703149783870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30024] ppid=30004 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30024/stat : 30024 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368392 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702264678752 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30025] ppid=30004 vsize=28233776 memory=-1 CPUtime=0 cores=0-7 /proc/30006/task/30025/stat : 30025 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368392 28911386624 16344 33554432000 4194304 4196468 140729227132144 140702263626032 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 Current children cumulated CPU time: 0.87 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 66568 KiB [startup+0.710356 s]* /proc/loadavg: 8.02 8.16 8.08 5/211 30025 /proc/meminfo: memFree=25587820/32770624 swapFree=66986244/67108860 [pid=30004] ppid=30001 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30004/stat : 30004 (xcsp3-exec) S 30001 30004 26041 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477368385 115843072 364 33554432000 4194304 5098028 140726083557632 140726083555736 140706494489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140726083564406 140726083564649 140726083564649 140726083567562 0 /proc/30004/statm: 28282 364 305 221 0 87 0 [pid=30006] ppid=30004 vsize=28233776 memory=85488 CPUtime=1.5 cores=0-7 /proc/30006/stat : 30006 (java) S 30004 30004 26041 0 -1 1077944320 15649 0 0 0 144 6 0 0 20 0 20 0 477368386 28911386624 21372 33554432000 4194304 4196468 140729227132144 140729227114688 140703157546743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 /proc/30006/statm: 7058444 21372 3441 1 0 7019544 0 [pid=30006/tid=30007] ppid=30004 vsize=28233776 memory=8317482817917895235 CPUtime=0.57 cores=0-7 /proc/30006/task/30007/stat : 30007 (java) R 30004 30004 26041 0 -1 4202560 8612 0 0 0 54 3 0 0 20 0 20 0 477368386 28911386624 21372 33554432000 4194304 4196468 140729227132144 140703161783072 140703141627230 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30008] ppid=30004 vsize=28233776 memory=1760 CPUtime=0 cores=0-7 /proc/30006/task/30008/stat : 30008 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 21372 33554432000 4194304 4196468 140729227132144 140702708697488 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30009] ppid=30004 vsize=28233776 memory=916 CPUtime=0 cores=0-7 /proc/30006/task/30009/stat : 30009 (java) S 30004 30004 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 21372 33554432000 4194304 4196468 140729227132144 140702707644688 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30010] ppid=30004 vsize=28233776 memory=4464 CPUtime=0 cores=0-7 /proc/30006/task/30010/stat : 30010 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368387 28911386624 21372 33554432000 4194304 4196468 140729227132144 140702706592400 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 ################ # More data... # ################ [pid=30006/tid=30011] ppid=30004 vsize=28235824 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30011/stat : 30011 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368387 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702705539600 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30012] ppid=30004 vsize=28235824 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30012/stat : 30012 (java) S 30004 30004 26041 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 477368387 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702704487312 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30013] ppid=30004 vsize=28235824 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/30006/task/30013/stat : 30013 (java) S 30004 30004 26041 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 477368387 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702703434512 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30014] ppid=30004 vsize=28235824 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/30006/task/30014/stat : 30014 (java) S 30004 30004 26041 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 477368387 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702702382224 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30015] ppid=30004 vsize=28235824 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/30006/task/30015/stat : 30015 (java) S 30004 30004 26041 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 477368387 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702701329424 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30016] ppid=30004 vsize=28235824 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/30006/task/30016/stat : 30016 (java) S 30004 30004 26041 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 477368388 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702273099888 140703157557890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30017] ppid=30004 vsize=28235824 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/30006/task/30017/stat : 30017 (java) S 30004 30004 26041 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 477368389 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702272045856 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30018] ppid=30004 vsize=28235824 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30018/stat : 30018 (java) S 30004 30004 26041 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 477368389 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702270993520 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30019] ppid=30004 vsize=28235824 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30019/stat : 30019 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477368392 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702269941840 140703157565339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30020] ppid=30004 vsize=28235824 memory=0 CPUtime=0.95 cores=0-7 /proc/30006/task/30020/stat : 30020 (java) R 30004 30004 26041 0 -1 4202560 4712 0 0 0 94 1 0 0 20 0 20 0 477368392 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702268878704 140703141045912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30021] ppid=30004 vsize=28235824 memory=0 CPUtime=0.87 cores=0-7 /proc/30006/task/30021/stat : 30021 (java) R 30004 30004 26041 0 -1 4202560 3763 0 0 0 87 0 0 0 20 0 20 0 477368392 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702267823344 140703138291208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30022] ppid=30004 vsize=28235824 memory=0 CPUtime=0.86 cores=0-7 /proc/30006/task/30022/stat : 30022 (java) R 30004 30004 26041 0 -1 4202560 3556 0 0 0 86 0 0 0 20 0 20 0 477368392 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702266772496 140703137239847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30023] ppid=30004 vsize=28235824 memory=0 CPUtime=0.65 cores=0-7 /proc/30006/task/30023/stat : 30023 (java) S 30004 30004 26041 0 -1 1077944384 4056 0 0 0 64 1 0 0 20 0 20 0 477368392 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702265731824 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30024] ppid=30004 vsize=28235824 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30024/stat : 30024 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368392 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702264678752 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30025] ppid=30004 vsize=28235824 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30025/stat : 30025 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477368392 28913483776 54231 33554432000 4194304 4196468 140729227132144 140702263626032 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 Current children cumulated CPU time: 4.8 s Current children cumulated vsize: 28348952 KiB Current children cumulated memory: 218380 KiB [startup+3.10105 s] /proc/loadavg: 8.02 8.16 8.08 13/219 30065 /proc/meminfo: memFree=25424456/32770624 swapFree=66986244/67108860 [pid=30004] ppid=30001 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30004/stat : 30004 (xcsp3-exec) S 30001 30004 26041 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477368385 115843072 364 33554432000 4194304 5098028 140726083557632 140726083555736 140706494489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140726083564406 140726083564649 140726083564649 140726083567562 0 /proc/30004/statm: 28282 364 305 221 0 87 0 [pid=30006] ppid=30004 vsize=28768336 memory=248956 CPUtime=16.53 cores=0-7 /proc/30006/stat : 30006 (java) S 30004 30004 26041 0 -1 1077944320 36935 0 0 0 1632 21 0 0 20 0 28 0 477368386 29458776064 62239 33554432000 4194304 4196468 140729227132144 140729227114688 140703157546743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 /proc/30006/statm: 7192084 62239 3530 1 0 7153184 0 [pid=30006/tid=30007] ppid=30004 vsize=28768336 memory=246104 CPUtime=1.45 cores=0-7 /proc/30006/task/30007/stat : 30007 (java) S 30004 30004 26041 0 -1 1077944384 10347 0 0 0 139 6 0 0 20 0 28 0 477368386 29458776064 62239 33554432000 4194304 4196468 140729227132144 140703161787520 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30008] ppid=30004 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/30006/task/30008/stat : 30008 (java) S 30004 30004 26041 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702708697488 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30009] ppid=30004 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/30006/task/30009/stat : 30009 (java) S 30004 30004 26041 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702707644688 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30010] ppid=30004 vsize=28768336 memory=247076 CPUtime=0.01 cores=0-7 /proc/30006/task/30010/stat : 30010 (java) S 30004 30004 26041 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702706592400 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30011] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30011/stat : 30011 (java) S 30004 30004 26041 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702705539600 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30012] ppid=30004 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/30006/task/30012/stat : 30012 (java) S 30004 30004 26041 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702704487312 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30013] ppid=30004 vsize=28768336 memory=-9062862659931694204 CPUtime=0.02 cores=0-7 /proc/30006/task/30013/stat : 30013 (java) S 30004 30004 26041 0 -1 1077944384 113 0 0 0 1 1 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702703434512 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30014] ppid=30004 vsize=28768336 memory=4498404016631593313 CPUtime=0 cores=0-7 /proc/30006/task/30014/stat : 30014 (java) S 30004 30004 26041 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702702382224 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30015] ppid=30004 vsize=28768336 memory=-8458152057954561420 CPUtime=0.01 cores=0-7 /proc/30006/task/30015/stat : 30015 (java) S 30004 30004 26041 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 477368387 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702701329424 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30016] ppid=30004 vsize=28768336 memory=280079515163656 CPUtime=0 cores=0-7 /proc/30006/task/30016/stat : 30016 (java) S 30004 30004 26041 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 28 0 477368388 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702273099888 140703157557890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30017] ppid=30004 vsize=28768336 memory=1780465272577 CPUtime=0 cores=0-7 /proc/30006/task/30017/stat : 30017 (java) S 30004 30004 26041 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477368389 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702272045920 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30018] ppid=30004 vsize=28768336 memory=1849184749313 CPUtime=0 cores=0-7 /proc/30006/task/30018/stat : 30018 (java) S 30004 30004 26041 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 477368389 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702270993536 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30019] ppid=30004 vsize=28768336 memory=1874954553089 CPUtime=0 cores=0-7 /proc/30006/task/30019/stat : 30019 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477368392 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702269941840 140703157565339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30020] ppid=30004 vsize=28768336 memory=1456 CPUtime=2.06 cores=0-7 /proc/30006/task/30020/stat : 30020 (java) S 30004 30004 26041 0 -1 1077944384 6950 0 0 0 204 2 0 0 20 0 28 0 477368392 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702268889520 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30021] ppid=30004 vsize=28768336 memory=244376 CPUtime=2.04 cores=0-7 /proc/30006/task/30021/stat : 30021 (java) R 30004 30004 26041 0 -1 4202560 5190 0 0 0 203 1 0 0 20 0 28 0 477368392 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702267822936 140703140933461 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30022] ppid=30004 vsize=28768336 memory=0 CPUtime=2.13 cores=0-7 /proc/30006/task/30022/stat : 30022 (java) R 30004 30004 26041 0 -1 4202560 5536 0 0 0 213 0 0 0 20 0 28 0 477368392 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702266776576 140703140933720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30023] ppid=30004 vsize=28768336 memory=0 CPUtime=0.98 cores=0-7 /proc/30006/task/30023/stat : 30023 (java) S 30004 30004 26041 0 -1 1077944384 5226 0 0 0 96 2 0 0 20 0 28 0 477368392 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702265731824 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30024] ppid=30004 vsize=28768336 memory=5788911507359232418 CPUtime=0 cores=0-7 /proc/30006/task/30024/stat : 30024 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477368392 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702264678752 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30025] ppid=30004 vsize=28768336 memory=4137303382726774134 CPUtime=0 cores=0-7 /proc/30006/task/30025/stat : 30025 (java) S 30004 30004 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 477368392 29458776064 62239 33554432000 4194304 4196468 140729227132144 140702263626032 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 Current children cumulated CPU time: 16.53 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 250412 KiB [startup+3.25783 s] # the end of solver process 30004 was just reported to runsolver # cumulated CPU time of all completed processes: user=17.3545 s, system=0.227944 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20117 s]* /proc/loadavg: 8.02 8.16 8.08 13/219 30081 /proc/meminfo: memFree=25421504/32770624 swapFree=66986244/67108860 [pid=30004] ppid=30001 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30004/stat : 30004 (xcsp3-exec) S 30001 30004 26041 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477368385 115843072 364 33554432000 4194304 5098028 140726083557632 140726083555736 140706494489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140726083564406 140726083564649 140726083564649 140726083567562 0 /proc/30004/statm: 28282 364 305 221 0 87 0 [pid=30006] ppid=30004 vsize=28768336 memory=246464 CPUtime=17.36 cores=0-7 /proc/30006/stat : 30006 (java) S 30004 30004 26041 0 -1 1077944320 37523 0 0 0 1715 21 0 0 20 0 28 0 477368386 29458776064 61616 33554432000 4194304 4196468 140729227132144 140729227114688 140703157546743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 /proc/30006/statm: 7192084 61616 3530 1 0 7153184 0 [pid=30006/tid=30007] ppid=30004 vsize=28768336 memory=8318255677412212789 CPUtime=1.45 cores=0-7 /proc/30006/task/30007/stat : 30007 (java) S 30004 30004 26041 0 -1 1077944384 10347 0 0 0 139 6 0 0 20 0 28 0 477368386 29458776064 61616 33554432000 4194304 4196468 140729227132144 140703161787520 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30008] ppid=30004 vsize=28768336 memory=288230604707987820 CPUtime=0.01 cores=0-7 /proc/30006/task/30008/stat : 30008 (java) S 30004 30004 26041 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702708697488 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30009] ppid=30004 vsize=28768336 memory=288370416022582912 CPUtime=0 cores=0-7 /proc/30006/task/30009/stat : 30009 (java) S 30004 30004 26041 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702707644688 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30010] ppid=30004 vsize=28768336 memory=-1 CPUtime=0.01 cores=0-7 /proc/30006/task/30010/stat : 30010 (java) S 30004 30004 26041 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702706592400 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30011] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30011/stat : 30011 (java) S 30004 30004 26041 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702705539600 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30012] ppid=30004 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/30006/task/30012/stat : 30012 (java) S 30004 30004 26041 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702704487312 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30013] ppid=30004 vsize=28768336 memory=-1 CPUtime=0.02 cores=0-7 /proc/30006/task/30013/stat : 30013 (java) S 30004 30004 26041 0 -1 1077944384 113 0 0 0 1 1 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702703434512 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30014] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30014/stat : 30014 (java) S 30004 30004 26041 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702702382224 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30015] ppid=30004 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/30006/task/30015/stat : 30015 (java) S 30004 30004 26041 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 477368387 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702701329424 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30016] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30016/stat : 30016 (java) S 30004 30004 26041 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 28 0 477368388 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702273099888 140703157557890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30017] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30017/stat : 30017 (java) S 30004 30004 26041 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477368389 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702272045920 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30018] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30018/stat : 30018 (java) S 30004 30004 26041 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 477368389 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702270993536 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30019] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30019/stat : 30019 (java) S 30004 30004 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477368392 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702269941840 140703157565339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30020] ppid=30004 vsize=28768336 memory=0 CPUtime=2.14 cores=0-7 /proc/30006/task/30020/stat : 30020 (java) S 30004 30004 26041 0 -1 1077944384 7173 0 0 0 212 2 0 0 20 0 28 0 477368392 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702268882736 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30021] ppid=30004 vsize=28768336 memory=0 CPUtime=2.14 cores=0-7 /proc/30006/task/30021/stat : 30021 (java) S 30004 30004 26041 0 -1 1077944384 5361 0 0 0 213 1 0 0 20 0 28 0 477368392 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702267829936 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30022] ppid=30004 vsize=28768336 memory=-1 CPUtime=2.17 cores=0-7 /proc/30006/task/30022/stat : 30022 (java) R 30004 30004 26041 0 -1 1077944384 5636 0 0 0 217 0 0 0 20 0 28 0 477368392 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702266773216 140703157556949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30023] ppid=30004 vsize=28768336 memory=0 CPUtime=0.99 cores=0-7 /proc/30006/task/30023/stat : 30023 (java) R 30004 30004 26041 0 -1 4202560 5249 0 0 0 97 2 0 0 20 0 28 0 477368392 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702265729616 140703142189255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30024] ppid=30004 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30006/task/30024/stat : 30024 (java) S 30004 30004 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477368392 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702264678752 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30025] ppid=30004 vsize=28768336 memory=-1 CPUtime=0 cores=0-7 /proc/30006/task/30025/stat : 30025 (java) S 30004 30004 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 477368392 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702263626032 140703157557890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30074] ppid=30004 vsize=28768336 memory=-1 CPUtime=0.63 cores=0-7 /proc/30006/task/30074/stat : 30074 (java) R 30004 30004 26041 0 -1 4202560 41 0 0 0 63 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702179621296 140702804021574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30075] ppid=30004 vsize=28768336 memory=0 CPUtime=0.86 cores=0-7 /proc/30006/task/30075/stat : 30075 (java) R 30004 30004 26041 0 -1 4202560 98 0 0 0 86 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702180675928 140702804699309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30076] ppid=30004 vsize=28768336 memory=0 CPUtime=0.58 cores=0-7 /proc/30006/task/30076/stat : 30076 (java) R 30004 30004 26041 0 -1 4202560 49 0 0 0 58 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702182781280 140702805542023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30077] ppid=30004 vsize=28768336 memory=0 CPUtime=0.66 cores=0-7 /proc/30006/task/30077/stat : 30077 (java) R 30004 30004 26041 0 -1 4202560 125 0 0 0 66 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702177517872 140702802715792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30078] ppid=30004 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7 /proc/30006/task/30078/stat : 30078 (java) S 30004 30004 26041 0 -1 1077944384 137 0 0 0 84 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702178571232 140703157556949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30079] ppid=30004 vsize=28768336 memory=0 CPUtime=0.62 cores=0-7 /proc/30006/task/30079/stat : 30079 (java) R 30004 30004 26041 0 -1 1077944384 76 0 0 0 62 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702181727984 140703157556949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30080] ppid=30004 vsize=28768336 memory=0 CPUtime=0.57 cores=0-7 /proc/30006/task/30080/stat : 30080 (java) R 30004 30004 26041 0 -1 4202560 173 0 0 0 57 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702184884568 140702800294926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 [pid=30006/tid=30081] ppid=30004 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7 /proc/30006/task/30081/stat : 30081 (java) R 30004 30004 26041 0 -1 4202560 124 0 0 0 71 0 0 0 20 0 28 0 477368613 29458776064 61616 33554432000 4194304 4196468 140729227132144 140702183832376 140702802755279 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26427392 140729227133930 140729227134102 140729227134102 140729227136975 0 Current children cumulated CPU time: 17.36 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 247920 KiB Child status: 0 Real time (s): 3.25789 CPU time (s): 17.5824 CPU user time (s): 17.3545 CPU system time (s): 0.227944 CPU usage (%): 539.688 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 250412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3545 system time used= 0.227944 maximum resident set size= 249596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38447 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4269 involuntary context switches= 418 # summary of solver processes directly reported to runsolver: # pid: 30004 # total CPU time (s): 17.5824 # total CPU user time (s): 17.3545 # total CPU system time (s): 0.227944 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036144 second user time and 0.089814 second system time The end
Begin job on node104 at 2019-09-20 21:14:54 IDJOB=4404535 IDBENCH=140480 IDSOLVER=2865 FILE ID=node104/4404535-1569011115 RUNJOBID= node104-1569000410-26068 PBS_JOBID= 21704740 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 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 /tmp/evaluation-result-4404535-1569011115/watcher-4404535-1569011115 -o /tmp/evaluation-result-4404535-1569011115/solver-4404535-1569011115 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 417366698 HOME/instance-4404535-1569011115.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9a57509d02107f3cf02e1da9240cc9e8 RANDOM SEED=417366698 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 25655940 kB MemAvailable: 31827984 kB Buffers: 44796 kB Cached: 6201692 kB SwapCached: 22652 kB Active: 3121500 kB Inactive: 3151116 kB Active(anon): 1336 kB Inactive(anon): 74116 kB Active(file): 3120164 kB Inactive(file): 3077000 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26284 kB Writeback: 8 kB AnonPages: 114800 kB Mapped: 52160 kB Shmem: 40708 kB Slab: 433516 kB SReclaimable: 403340 kB SUnreclaim: 30176 kB KernelStack: 3424 kB PageTables: 4992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498048 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9808 MiB End job on node104 at 2019-09-20 21:14:58