Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 7 | 16.5605 | 2.9459 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml |
MD5SUM | 0da4913a631570f2aab16967eaf6c11a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 8.39614 |
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-4404549-1568998931.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404549-1568998931.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.86/1.41 c solve instance... 5.48/1.55 o 13 5.48/1.56 o 11 6.11/1.60 o 10 7.67/1.86 o 9 10.12/2.16 o 8 10.84/2.24 o 7 16.36/2.92 s OPTIMUM FOUND 16.36/2.92 v <instantiation> 16.36/2.92 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> 16.36/2.92 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> 16.36/2.92 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 (7350 MiB free) memory of node 1: 16384 MiB (8924 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404549-1568998931/watcher-4404549-1568998931 -o /var/tmp/evaluation-result-4404549-1568998931/solver-4404549-1568998931 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 666680522 HOME/instance-4404549-1568998931.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=9243, runsolver pid=9240 [startup+0.100157 s]* /proc/loadavg: 6.90 7.99 8.25 2/215 9264 /proc/meminfo: memFree=16649112/32770624 swapFree=67001916/67108860 [pid=9243] ppid=9240 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9243/stat : 9243 (xcsp3-exec) S 9240 9243 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476132611 115843072 363 33554432000 4194304 5098028 140731889002048 140731889000152 139916471571068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8073216 140731889005394 140731889005653 140731889005653 140731889008582 0 /proc/9243/statm: 28282 363 304 221 0 87 0 [pid=9245] ppid=9243 vsize=28227396 memory=29576 CPUtime=0.12 cores=0-7 /proc/9245/stat : 9245 (java) S 9243 9243 6043 0 -1 1077944320 5866 0 0 0 11 1 0 0 20 0 20 0 476132611 28904853504 7394 33554432000 4194304 4196468 140736344056432 140736344038976 140549866163959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 /proc/9245/statm: 7056849 7394 3121 1 0 7019032 0 [pid=9245/tid=9246] ppid=9243 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/9245/task/9246/stat : 9246 (java) R 9243 9243 6043 0 -1 4202560 3821 0 0 0 8 0 0 0 20 0 20 0 476132612 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549870396208 140549847559165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9247] ppid=9243 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9245/task/9247/stat : 9247 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549786016272 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9248] ppid=9243 vsize=28227396 memory=139964657882752 CPUtime=0 cores=0-7 /proc/9245/task/9248/stat : 9248 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549416934032 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9249] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9249/stat : 9249 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549415880976 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9250] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9250/stat : 9250 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549414828432 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9251] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9251/stat : 9251 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549413776400 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9252] ppid=9243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9245/task/9252/stat : 9252 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132613 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549412723856 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9253] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9253/stat : 9253 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132613 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549411670800 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9254] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9254/stat : 9254 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132613 28904853504 7394 33554432000 4194304 4196468 140736344056432 140549410618256 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9255] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9255/stat : 9255 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132614 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548580763888 140549866175106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9256] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9256/stat : 9256 (java) S 9243 9243 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476132614 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548579710112 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9257] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9257/stat : 9257 (java) S 9243 9243 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476132615 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548578657008 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9258] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9258/stat : 9258 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548125091792 140549866182555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9259] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9259/stat : 9259 (java) S 9243 9243 6043 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548124039920 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9260] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9260/stat : 9260 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548122987376 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9261] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9261/stat : 9261 (java) S 9243 9243 6043 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548121934320 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9262] ppid=9243 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9245/task/9262/stat : 9262 (java) S 9243 9243 6043 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 20 0 476132617 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548120881776 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9263] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9263/stat : 9263 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548119828960 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9264] ppid=9243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9245/task/9264/stat : 9264 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132618 28904853504 7394 33554432000 4194304 4196468 140736344056432 140548118776496 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31028 KiB [startup+0.210366 s]* /proc/loadavg: 6.90 7.99 8.25 2/215 9264 /proc/meminfo: memFree=16636528/32770624 swapFree=67001916/67108860 [pid=9243] ppid=9240 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9243/stat : 9243 (xcsp3-exec) S 9240 9243 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476132611 115843072 363 33554432000 4194304 5098028 140731889002048 140731889000152 139916471571068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8073216 140731889005394 140731889005653 140731889005653 140731889008582 0 /proc/9243/statm: 28282 363 304 221 0 87 0 [pid=9245] ppid=9243 vsize=28227396 memory=41236 CPUtime=0.33 cores=0-7 /proc/9245/stat : 9245 (java) S 9243 9243 6043 0 -1 1077944320 9516 0 0 0 30 3 0 0 20 0 20 0 476132611 28904853504 10309 33554432000 4194304 4196468 140736344056432 140736344038976 140549866163959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 /proc/9245/statm: 7056849 10309 3312 1 0 7019032 0 [pid=9245/tid=9246] ppid=9243 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9245/task/9246/stat : 9246 (java) R 9243 9243 6043 0 -1 4202560 6657 0 0 0 18 2 0 0 20 0 20 0 476132612 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549870393680 140549866175894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9247] ppid=9243 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/9245/task/9247/stat : 9247 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549786016272 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9248] ppid=9243 vsize=28227396 memory=139964657896332 CPUtime=0 cores=0-7 /proc/9245/task/9248/stat : 9248 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549416934032 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9249] ppid=9243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9245/task/9249/stat : 9249 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549415880976 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9250] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9250/stat : 9250 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549414828432 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9251] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9251/stat : 9251 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132612 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549413776400 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9252] ppid=9243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9245/task/9252/stat : 9252 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132613 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549412723856 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9253] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9253/stat : 9253 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132613 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549411670800 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9254] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9254/stat : 9254 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132613 28904853504 10309 33554432000 4194304 4196468 140736344056432 140549410618256 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9255] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9255/stat : 9255 (java) S 9243 9243 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476132614 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548580763888 140549866175106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9256] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9256/stat : 9256 (java) S 9243 9243 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476132614 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548579710112 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9257] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9257/stat : 9257 (java) S 9243 9243 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476132615 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548578657008 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9258] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9258/stat : 9258 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548125091792 140549866182555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9259] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9259/stat : 9259 (java) S 9243 9243 6043 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548124039920 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9260] ppid=9243 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9245/task/9260/stat : 9260 (java) S 9243 9243 6043 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 476132617 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548122987376 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9261] ppid=9243 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/9245/task/9261/stat : 9261 (java) S 9243 9243 6043 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 476132617 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548121934320 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9262] ppid=9243 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/9245/task/9262/stat : 9262 (java) R 9243 9243 6043 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 20 0 476132617 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548120881776 140549866185306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9263] ppid=9243 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9263/stat : 9263 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476132617 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548119828960 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9264] ppid=9243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9245/task/9264/stat : 9264 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132618 28904853504 10309 33554432000 4194304 4196468 140736344056432 140548118776496 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42688 KiB [startup+0.309715 s]* /proc/loadavg: 6.90 7.99 8.25 3/215 9264 /proc/meminfo: memFree=16629260/32770624 swapFree=67001916/67108860 [pid=9243] ppid=9240 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9243/stat : 9243 (xcsp3-exec) S 9240 9243 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476132611 115843072 363 33554432000 4194304 5098028 140731889002048 140731889000152 139916471571068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8073216 140731889005394 140731889005653 140731889005653 140731889008582 0 /proc/9243/statm: 28282 363 304 221 0 87 0 [pid=9245] ppid=9243 vsize=28231652 memory=49768 CPUtime=0.52 cores=0-7 /proc/9245/stat : 9245 (java) S 9243 9243 6043 0 -1 1077944320 10813 0 0 0 48 4 0 0 20 0 20 0 476132611 28909211648 12442 33554432000 4194304 4196468 140736344056432 140736344038976 140549866163959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 /proc/9245/statm: 7057913 12442 3355 1 0 7019032 0 [pid=9245/tid=9246] ppid=9243 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/9245/task/9246/stat : 9246 (java) R 9243 9243 6043 0 -1 4202560 7773 0 0 0 27 3 0 0 20 0 20 0 476132612 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549870397744 140549850244446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9247] ppid=9243 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9247/stat : 9247 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549786016272 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9248] ppid=9243 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9248/stat : 9248 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549416934032 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9249] ppid=9243 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9249/stat : 9249 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132612 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549415880976 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9250] ppid=9243 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9250/stat : 9250 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476132612 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549414828432 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9251] ppid=9243 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/9245/task/9251/stat : 9251 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132612 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549413776400 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9252] ppid=9243 vsize=28231652 memory=139964528554927 CPUtime=0 cores=0-7 /proc/9245/task/9252/stat : 9252 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132613 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549412723856 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9253] ppid=9243 vsize=28231652 memory=139964528557232 CPUtime=0 cores=0-7 /proc/9245/task/9253/stat : 9253 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132613 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549411670800 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9254] ppid=9243 vsize=28231652 memory=139964528559536 CPUtime=0 cores=0-7 /proc/9245/task/9254/stat : 9254 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132613 28909211648 12508 33554432000 4194304 4196468 140736344056432 140549410618256 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9255] ppid=9243 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9255/stat : 9255 (java) S 9243 9243 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476132614 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548580763888 140549866175106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9256] ppid=9243 vsize=28231652 memory=279929057126032 CPUtime=0 cores=0-7 /proc/9245/task/9256/stat : 9256 (java) S 9243 9243 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476132614 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548579710112 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9257] ppid=9243 vsize=28231652 memory=279929057132944 CPUtime=0 cores=0-7 /proc/9245/task/9257/stat : 9257 (java) S 9243 9243 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476132615 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548578657008 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9258] ppid=9243 vsize=28231652 memory=279929057074224 CPUtime=0 cores=0-7 /proc/9245/task/9258/stat : 9258 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132617 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548125091792 140549866182555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9259] ppid=9243 vsize=28231652 memory=279929057146768 CPUtime=0.01 cores=0-7 /proc/9245/task/9259/stat : 9259 (java) S 9243 9243 6043 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 476132617 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548124039920 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9260] ppid=9243 vsize=28231652 memory=279929057153680 CPUtime=0.02 cores=0-7 /proc/9245/task/9260/stat : 9260 (java) R 9243 9243 6043 0 -1 4202560 201 0 0 0 2 0 0 0 20 0 20 0 476132617 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548122987376 140549844180951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9261] ppid=9243 vsize=28231652 memory=279929057151376 CPUtime=0.03 cores=0-7 /proc/9245/task/9261/stat : 9261 (java) S 9243 9243 6043 0 -1 1077944384 368 0 0 0 3 0 0 0 20 0 20 0 476132617 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548121934320 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9262] ppid=9243 vsize=28231652 memory=279929057167536 CPUtime=0.12 cores=0-7 /proc/9245/task/9262/stat : 9262 (java) S 9243 9243 6043 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 20 0 476132617 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548120881776 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9263] ppid=9243 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9263/stat : 9263 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476132617 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548119828960 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9264] ppid=9243 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9245/task/9264/stat : 9264 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132618 28909211648 12508 33554432000 4194304 4196468 140736344056432 140548118776496 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51220 KiB [startup+0.700959 s] /proc/loadavg: 6.90 7.99 8.25 6/215 9264 /proc/meminfo: memFree=16605852/32770624 swapFree=67001916/67108860 [pid=9243] ppid=9240 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9243/stat : 9243 (xcsp3-exec) S 9240 9243 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476132611 115843072 363 33554432000 4194304 5098028 140731889002048 140731889000152 139916471571068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8073216 140731889005394 140731889005653 140731889005653 140731889008582 0 /proc/9243/statm: 28282 363 304 221 0 87 0 [pid=9245] ppid=9243 vsize=28233776 memory=94656 CPUtime=1.91 cores=0-7 /proc/9245/stat : 9245 (java) S 9243 9243 6043 0 -1 1077944320 15887 0 0 0 185 6 0 0 20 0 20 0 476132611 28911386624 23664 33554432000 4194304 4196468 140736344056432 140736344038976 140549866163959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 /proc/9245/statm: 7058444 23664 3451 1 0 7019544 0 [pid=9245/tid=9246] ppid=9243 vsize=28233776 memory=279929057525424 CPUtime=0.68 cores=0-7 /proc/9245/task/9246/stat : 9246 (java) R 9243 9243 6043 0 -1 4202560 9239 0 0 0 64 4 0 0 20 0 20 0 476132612 28911386624 23664 33554432000 4194304 4196468 140736344056432 140549870398960 140549844608710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9247] ppid=9243 vsize=28233776 memory=139964528763760 CPUtime=0 cores=0-7 /proc/9245/task/9247/stat : 9247 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28911386624 23664 33554432000 4194304 4196468 140736344056432 140549786016272 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9248] ppid=9243 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9248/stat : 9248 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476132612 28911386624 23664 33554432000 4194304 4196468 140736344056432 140549416934032 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9249] ppid=9243 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/9245/task/9249/stat : 9249 (java) S 9243 9243 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476132612 28911386624 23664 33554432000 4194304 4196468 140736344056432 140549415880976 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 ################ # More data... # ################ /proc/9245/task/9263/stat : 9263 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476132617 29458776064 62571 33554432000 4194304 4196468 140736344056432 140548119828960 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9264] ppid=9243 vsize=28768336 memory=-7233780906022726806 CPUtime=0 cores=0-7 /proc/9245/task/9264/stat : 9264 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476132618 29458776064 62571 33554432000 4194304 4196468 140736344056432 140548118776496 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 Current children cumulated CPU time: 6.11 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 251736 KiB [startup+2.40105 s] /proc/loadavg: 6.75 7.94 8.23 13/223 9304 /proc/meminfo: memFree=16426124/32770624 swapFree=67001916/67108860 [pid=9243] ppid=9240 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9243/stat : 9243 (xcsp3-exec) S 9240 9243 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476132611 115843072 363 33554432000 4194304 5098028 140731889002048 140731889000152 139916471571068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8073216 140731889005394 140731889005653 140731889005653 140731889008582 0 /proc/9243/statm: 28282 363 304 221 0 87 0 [pid=9245] ppid=9243 vsize=28768336 memory=253124 CPUtime=12.4 cores=0-7 /proc/9245/stat : 9245 (java) S 9243 9243 6043 0 -1 1077944320 31856 0 0 0 1225 15 0 0 20 0 28 0 476132611 29458776064 63281 33554432000 4194304 4196468 140736344056432 140736344038976 140549866163959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 /proc/9245/statm: 7192084 63281 3514 1 0 7153184 0 [pid=9245/tid=9246] ppid=9243 vsize=28768336 memory=0 CPUtime=1.4 cores=0-7 /proc/9245/task/9246/stat : 9246 (java) S 9243 9243 6043 0 -1 1077944384 10068 0 0 0 135 5 0 0 20 0 28 0 476132612 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549870404736 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9247] ppid=9243 vsize=28768336 memory=8112282956445269571 CPUtime=0.02 cores=0-7 /proc/9245/task/9247/stat : 9247 (java) S 9243 9243 6043 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 28 0 476132612 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549786016272 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9248] ppid=9243 vsize=28768336 memory=13811 CPUtime=0 cores=0-7 /proc/9245/task/9248/stat : 9248 (java) S 9243 9243 6043 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 476132612 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549416934032 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9249] ppid=9243 vsize=28768336 memory=20606 CPUtime=0.02 cores=0-7 /proc/9245/task/9249/stat : 9249 (java) S 9243 9243 6043 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 28 0 476132612 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549415880976 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9250] ppid=9243 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/9245/task/9250/stat : 9250 (java) S 9243 9243 6043 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 476132612 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549414828432 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9251] ppid=9243 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9251/stat : 9251 (java) S 9243 9243 6043 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 476132612 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549413776400 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9252] ppid=9243 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/9245/task/9252/stat : 9252 (java) S 9243 9243 6043 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 476132613 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549412723856 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9253] ppid=9243 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/9245/task/9253/stat : 9253 (java) S 9243 9243 6043 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 28 0 476132613 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549411670800 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9254] ppid=9243 vsize=28768336 memory=12 CPUtime=0.02 cores=0-7 /proc/9245/task/9254/stat : 9254 (java) S 9243 9243 6043 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 28 0 476132613 29458776064 63281 33554432000 4194304 4196468 140736344056432 140549410618256 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9255] ppid=9243 vsize=28768336 memory=12 CPUtime=0.01 cores=0-7 /proc/9245/task/9255/stat : 9255 (java) S 9243 9243 6043 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 28 0 476132614 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548580763888 140549866175106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9256] ppid=9243 vsize=28768336 memory=16 CPUtime=0 cores=0-7 /proc/9245/task/9256/stat : 9256 (java) S 9243 9243 6043 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476132614 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548579710176 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9257] ppid=9243 vsize=28768336 memory=17 CPUtime=0 cores=0-7 /proc/9245/task/9257/stat : 9257 (java) S 9243 9243 6043 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476132615 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548578657024 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9258] ppid=9243 vsize=28768336 memory=139964528726164 CPUtime=0 cores=0-7 /proc/9245/task/9258/stat : 9258 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476132617 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548125091792 140549866182555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9259] ppid=9243 vsize=28768336 memory=0 CPUtime=1.82 cores=0-7 /proc/9245/task/9259/stat : 9259 (java) R 9243 9243 6043 0 -1 4202560 5420 0 0 0 181 1 0 0 20 0 28 0 476132617 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548124025264 140549847686425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9260] ppid=9243 vsize=28768336 memory=0 CPUtime=1.55 cores=0-7 /proc/9245/task/9260/stat : 9260 (java) R 9243 9243 6043 0 -1 4202560 4094 0 0 0 154 1 0 0 20 0 28 0 476132617 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548122973840 140549851085726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9261] ppid=9243 vsize=28768336 memory=0 CPUtime=1.66 cores=0-7 /proc/9245/task/9261/stat : 9261 (java) R 9243 9243 6043 0 -1 4202560 4677 0 0 0 165 1 0 0 20 0 28 0 476132617 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548121921136 140549845307132 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9262] ppid=9243 vsize=28768336 memory=0 CPUtime=0.94 cores=0-7 /proc/9245/task/9262/stat : 9262 (java) S 9243 9243 6043 0 -1 1077944384 4369 0 0 0 93 1 0 0 20 0 28 0 476132617 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548120881776 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9263] ppid=9243 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9263/stat : 9263 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476132617 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548119828960 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9264] ppid=9243 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9264/stat : 9264 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476132618 29458776064 63281 33554432000 4194304 4196468 140736344056432 140548118776496 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 Current children cumulated CPU time: 12.4 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 254576 KiB [startup+2.80805 s] /proc/loadavg: 6.75 7.94 8.23 13/223 9304 /proc/meminfo: memFree=16426124/32770624 swapFree=67001916/67108860 [pid=9243] ppid=9240 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9243/stat : 9243 (xcsp3-exec) S 9240 9243 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476132611 115843072 363 33554432000 4194304 5098028 140731889002048 140731889000152 139916471571068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8073216 140731889005394 140731889005653 140731889005653 140731889008582 0 /proc/9243/statm: 28282 363 304 221 0 87 0 [pid=9245] ppid=9243 vsize=28768336 memory=254996 CPUtime=15.62 cores=0-7 /proc/9245/stat : 9245 (java) S 9243 9243 6043 0 -1 1077944320 32527 0 0 0 1545 17 0 0 20 0 28 0 476132611 29458776064 63749 33554432000 4194304 4196468 140736344056432 140736344038976 140549866163959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 /proc/9245/statm: 7192084 63749 3532 1 0 7153184 0 [pid=9245/tid=9246] ppid=9243 vsize=28768336 memory=0 CPUtime=1.4 cores=0-7 /proc/9245/task/9246/stat : 9246 (java) S 9243 9243 6043 0 -1 1077944384 10068 0 0 0 135 5 0 0 20 0 28 0 476132612 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549870404736 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9247] ppid=9243 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/9245/task/9247/stat : 9247 (java) S 9243 9243 6043 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 28 0 476132612 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549786016272 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9248] ppid=9243 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9248/stat : 9248 (java) S 9243 9243 6043 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 476132612 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549416934032 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9249] ppid=9243 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/9245/task/9249/stat : 9249 (java) S 9243 9243 6043 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 28 0 476132612 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549415880976 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9250] ppid=9243 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/9245/task/9250/stat : 9250 (java) S 9243 9243 6043 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 476132612 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549414828432 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9251] ppid=9243 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9251/stat : 9251 (java) S 9243 9243 6043 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 476132612 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549413776400 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9252] ppid=9243 vsize=28768336 memory=39698382735430 CPUtime=0.01 cores=0-7 /proc/9245/task/9252/stat : 9252 (java) S 9243 9243 6043 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 476132613 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549412723856 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9253] ppid=9243 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/9245/task/9253/stat : 9253 (java) S 9243 9243 6043 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 28 0 476132613 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549411670800 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9254] ppid=9243 vsize=28768336 memory=279929057824288 CPUtime=0.02 cores=0-7 /proc/9245/task/9254/stat : 9254 (java) S 9243 9243 6043 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 28 0 476132613 29458776064 63749 33554432000 4194304 4196468 140736344056432 140549410618256 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9255] ppid=9243 vsize=28768336 memory=179662911672926 CPUtime=0.01 cores=0-7 /proc/9245/task/9255/stat : 9255 (java) S 9243 9243 6043 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 28 0 476132614 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548580763888 140549866175106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9256] ppid=9243 vsize=28768336 memory=39698382735434 CPUtime=0 cores=0-7 /proc/9245/task/9256/stat : 9256 (java) S 9243 9243 6043 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476132614 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548579710176 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9257] ppid=9243 vsize=28768336 memory=39698382735435 CPUtime=0 cores=0-7 /proc/9245/task/9257/stat : 9257 (java) S 9243 9243 6043 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476132615 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548578657024 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9258] ppid=9243 vsize=28768336 memory=9825 CPUtime=0 cores=0-7 /proc/9245/task/9258/stat : 9258 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476132617 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548125091792 140549866182555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9259] ppid=9243 vsize=28768336 memory=0 CPUtime=2.16 cores=0-7 /proc/9245/task/9259/stat : 9259 (java) R 9243 9243 6043 0 -1 4202560 5521 0 0 0 215 1 0 0 20 0 28 0 476132617 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548124020672 140549851784720 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9260] ppid=9243 vsize=28768336 memory=0 CPUtime=1.79 cores=0-7 /proc/9245/task/9260/stat : 9260 (java) R 9243 9243 6043 0 -1 4202560 4388 0 0 0 178 1 0 0 20 0 28 0 476132617 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548122973792 140549849551058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9261] ppid=9243 vsize=28768336 memory=56 CPUtime=1.94 cores=0-7 /proc/9245/task/9261/stat : 9261 (java) R 9243 9243 6043 0 -1 4202560 4778 0 0 0 193 1 0 0 20 0 28 0 476132617 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548121920888 140549849574760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9262] ppid=9243 vsize=28768336 memory=0 CPUtime=0.96 cores=0-7 /proc/9245/task/9262/stat : 9262 (java) S 9243 9243 6043 0 -1 1077944384 4411 0 0 0 95 1 0 0 20 0 28 0 476132617 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548120881776 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9263] ppid=9243 vsize=28768336 memory=8514726395714824858 CPUtime=0 cores=0-7 /proc/9245/task/9263/stat : 9263 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476132617 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548119828960 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9264] ppid=9243 vsize=28768336 memory=4628975313049980278 CPUtime=0 cores=0-7 /proc/9245/task/9264/stat : 9264 (java) S 9243 9243 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 476132618 29458776064 63749 33554432000 4194304 4196468 140736344056432 140548118776496 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 Current children cumulated CPU time: 15.62 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 256448 KiB [startup+2.90105 s] /proc/loadavg: 6.75 7.94 8.23 13/223 9304 /proc/meminfo: memFree=16426124/32770624 swapFree=67001916/67108860 [pid=9243] ppid=9240 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9243/stat : 9243 (xcsp3-exec) S 9240 9243 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476132611 115843072 363 33554432000 4194304 5098028 140731889002048 140731889000152 139916471571068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8073216 140731889005394 140731889005653 140731889005653 140731889008582 0 /proc/9243/statm: 28282 363 304 221 0 87 0 [pid=9245] ppid=9243 vsize=28768336 memory=255396 CPUtime=16.36 cores=0-7 /proc/9245/stat : 9245 (java) S 9243 9243 6043 0 -1 1077944320 32682 0 0 0 1619 17 0 0 20 0 28 0 476132611 29458776064 63849 33554432000 4194304 4196468 140736344056432 140736344038976 140549866163959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 /proc/9245/statm: 7192084 63849 3533 1 0 7153184 0 [pid=9245/tid=9246] ppid=9243 vsize=28768336 memory=1452 CPUtime=1.4 cores=0-7 /proc/9245/task/9246/stat : 9246 (java) S 9243 9243 6043 0 -1 1077944384 10068 0 0 0 135 5 0 0 20 0 28 0 476132612 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549870404736 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9247] ppid=9243 vsize=28768336 memory=253328 CPUtime=0.02 cores=0-7 /proc/9245/task/9247/stat : 9247 (java) S 9243 9243 6043 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 28 0 476132612 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549786016272 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9248] ppid=9243 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/9245/task/9248/stat : 9248 (java) S 9243 9243 6043 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 476132612 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549416934032 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9249] ppid=9243 vsize=28768336 memory=254912 CPUtime=0.02 cores=0-7 /proc/9245/task/9249/stat : 9249 (java) S 9243 9243 6043 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 28 0 476132612 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549415880976 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9250] ppid=9243 vsize=28768336 memory=302585798304464922 CPUtime=0.01 cores=0-7 /proc/9245/task/9250/stat : 9250 (java) S 9243 9243 6043 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 476132612 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549414828432 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9251] ppid=9243 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9245/task/9251/stat : 9251 (java) S 9243 9243 6043 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 476132612 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549413776400 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9252] ppid=9243 vsize=28768336 memory=7373350610082687080 CPUtime=0.01 cores=0-7 /proc/9245/task/9252/stat : 9252 (java) S 9243 9243 6043 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 476132613 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549412723856 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9253] ppid=9243 vsize=28768336 memory=288230574492221466 CPUtime=0.02 cores=0-7 /proc/9245/task/9253/stat : 9253 (java) S 9243 9243 6043 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 28 0 476132613 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549411670800 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9254] ppid=9243 vsize=28768336 memory=288230596050944315 CPUtime=0.02 cores=0-7 /proc/9245/task/9254/stat : 9254 (java) S 9243 9243 6043 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 28 0 476132613 29458776064 63849 33554432000 4194304 4196468 140736344056432 140549410618256 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9255] ppid=9243 vsize=28768336 memory=15825486429292335 CPUtime=0.01 cores=0-7 /proc/9245/task/9255/stat : 9255 (java) S 9243 9243 6043 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 28 0 476132614 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548580763888 140549866175106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9256] ppid=9243 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/9245/task/9256/stat : 9256 (java) S 9243 9243 6043 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476132614 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548579710176 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9257] ppid=9243 vsize=28768336 memory=252164 CPUtime=0 cores=0-7 /proc/9245/task/9257/stat : 9257 (java) S 9243 9243 6043 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476132615 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548578657024 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9258] ppid=9243 vsize=28768336 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/9245/task/9258/stat : 9258 (java) S 9243 9243 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476132617 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548125091792 140549866182555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9259] ppid=9243 vsize=28768336 memory=6656426216303648864 CPUtime=2.21 cores=0-7 /proc/9245/task/9259/stat : 9259 (java) R 9243 9243 6043 0 -1 4202560 5588 0 0 0 220 1 0 0 20 0 28 0 476132617 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548124026080 140549858453425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9260] ppid=9243 vsize=28768336 memory=0 CPUtime=1.83 cores=0-7 /proc/9245/task/9260/stat : 9260 (java) R 9243 9243 6043 0 -1 4202560 4407 0 0 0 182 1 0 0 20 0 28 0 476132617 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548122976848 140549845403118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9261] ppid=9243 vsize=28768336 memory=139964657901889 CPUtime=2.03 cores=0-7 /proc/9245/task/9261/stat : 9261 (java) R 9243 9243 6043 0 -1 4202560 4796 0 0 0 202 1 0 0 20 0 28 0 476132617 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548121927512 140549849607872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9262] ppid=9243 vsize=28768336 memory=7301579004864915044 CPUtime=0.97 cores=0-7 /proc/9245/task/9262/stat : 9262 (java) R 9243 9243 6043 0 -1 1077944384 4450 0 0 0 96 1 0 0 20 0 28 0 476132617 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548120881776 140549866175106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9263] ppid=9243 vsize=28768336 memory=8025788822752027748 CPUtime=0 cores=0-7 /proc/9245/task/9263/stat : 9263 (java) S 9243 9243 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476132617 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548119828960 140549866174165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 [pid=9245/tid=9264] ppid=9243 vsize=28768336 memory=7452162516783164781 CPUtime=0 cores=0-7 /proc/9245/task/9264/stat : 9264 (java) S 9243 9243 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 476132618 29458776064 63849 33554432000 4194304 4196468 140736344056432 140548118776496 140549866175106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140736344064982 140736344065158 140736344065158 140736344068047 0 Current children cumulated CPU time: 16.36 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 256848 KiB Child status: 0 Real time (s): 2.9459 CPU time (s): 16.5605 CPU user time (s): 16.3736 CPU system time (s): 0.186877 CPU usage (%): 562.152 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 256848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.3736 system time used= 0.186877 maximum resident set size= 256748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33484 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= 4230 involuntary context switches= 564 # summary of solver processes directly reported to runsolver: # pid: 9243 # total CPU time (s): 16.5605 # total CPU user time (s): 16.3736 # total CPU system time (s): 0.186877 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029093 second user time and 0.083757 second system time The end
Begin job on node133 at 2019-09-20 19:01:30 IDJOB=4404549 IDBENCH=126789 IDSOLVER=2865 FILE ID=node133/4404549-1568998931 RUNJOBID= node133-1568994386-6070 PBS_JOBID= 21704723 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-30-15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404549-1568998931/watcher-4404549-1568998931 -o /var/tmp/evaluation-result-4404549-1568998931/solver-4404549-1568998931 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 666680522 HOME/instance-4404549-1568998931.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0da4913a631570f2aab16967eaf6c11a RANDOM SEED=666680522 node133.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.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 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: 16666136 kB MemAvailable: 31847916 kB Buffers: 119848 kB Cached: 14975028 kB SwapCached: 5368 kB Active: 7526328 kB Inactive: 7574176 kB Active(anon): 1572 kB Inactive(anon): 50296 kB Active(file): 7524756 kB Inactive(file): 7523880 kB Unevictable: 111416 kB Mlocked: 111416 kB SwapTotal: 67108860 kB SwapFree: 67001916 kB Dirty: 25996 kB Writeback: 0 kB AnonPages: 161440 kB Mapped: 51988 kB Shmem: 37752 kB Slab: 590788 kB SReclaimable: 561604 kB SUnreclaim: 29184 kB KernelStack: 3776 kB PageTables: 5872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13464 MiB End job on node133 at 2019-09-20 19:01:33