Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-16 | OPT | 4 | 78.1598 | 20.0478 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-15-30-1.xml |
| MD5SUM | 274e3e67607724bfcca0861611bdfa28 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 78.1598 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1410 |
| Number of constraints | 1381 |
| Number of domains | 9 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":30},{"size":4,"count":150},{"size":5,"count":150},{"size":6,"count":60},{"size":7,"count":30},{"size":8,"count":30},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":885},{"degree":16,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":465},{"arity":3,"count":885},{"arity":16,"count":30},{"arity":30,"count":1}] |
| 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":30},{"type":"element","count":450}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400521-1568691995.xml" -tl '2400s' -p 4 0.14/0.18 c Choco e747e1e 0.14/0.18 c [HOME/instance-4400521-1568691995.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 3.20/1.17 c solve instance... 3.48/1.28 o 13 3.86/1.38 o 12 4.59/1.53 o 11 4.59/1.56 o 10 4.59/1.59 o 9 4.97/1.62 o 8 5.33/1.76 o 7 27.14/7.25 o 6 39.46/10.34 o 5 42.24/11.01 o 4 78.03/20.03 s OPTIMUM FOUND 78.03/20.03 v <instantiation> 78.03/20.03 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] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] 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[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] 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[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] 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[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] 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[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] 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[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] 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[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] 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[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] 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[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] 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[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] 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[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] 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[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] 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[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] 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[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] 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[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] 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[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] 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[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] 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[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] 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[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] 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[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] 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[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] 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[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] 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[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] 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[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] 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[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] 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[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] 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[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] 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[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] 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[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] 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[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] 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[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] 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[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] 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[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] 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[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] 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[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] 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[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] 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[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] 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[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] 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[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] 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[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] 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[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] 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[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] 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[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] 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[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] 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[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] 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[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] 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] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list> 78.03/20.04 v <values>0 5 26 29 6 16 9 23 27 11 17 8 15 19 21 24 18 22 1 2 4 7 3 10 12 14 13 20 25 28 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 4 5 5 6 6 6 6 6 0 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 1 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 1 1 2 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 4 5 6 6 7 7 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 4 4 4 4 4 4 4 4 4 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 2 3 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 0 1 2 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 4 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 3 3 3 3 3 3 3 3 3 4 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 0 1 1 1 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 0 0 0 0 0 0 0 0 1 1 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 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 0 0 1 0 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 0 0 0 0 0 1 0 0 0 1 1 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 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 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 0 1 1 1 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 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 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 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 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 1 1 1 1 1 1 1 1 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 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 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 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 0 0 0 0 0 0 1 1 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 0 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 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 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 1 1 1 1 1 1 1 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 1 1 1 1 1 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 2 </values> 78.03/20.04 v </instantiation>
OK 4
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 (14830 MiB free)
memory of node 1: 16384 MiB (15511 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400521-1568691995/watcher-4400521-1568691995 -o /tmp/evaluation-result-4400521-1568691995/solver-4400521-1568691995 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 18117877 HOME/instance-4400521-1568691995.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24904, runsolver pid=24901
[startup+0.102055 s]*
/proc/loadavg: 8.09 7.98 7.90 6/233 24920
/proc/meminfo: memFree=31052472/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
[pid=24906] ppid=24904 vsize=15144776 memory=29128 CPUtime=0.14 cores=1,3,5,7
/proc/24906/stat : 24906 (java) S 24904 24904 24272 0 -1 1077944320 5735 0 0 0 13 1 0 0 20 0 15 0 445452591 15508250624 7282 33554432000 4194304 4196468 140731019626080 140731019608624 140039645343479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
/proc/24906/statm: 3786194 7282 3155 1 0 3748377 0
[pid=24906/tid=24907] ppid=24904 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/24906/task/24907/stat : 24907 (java) R 24904 24904 24272 0 -1 4202560 3615 0 0 0 9 0 0 0 20 0 15 0 445452591 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039649576752 140039645364826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24908] ppid=24904 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24908/stat : 24908 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039237397392 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24909] ppid=24904 vsize=15144776 memory=139630572353152 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24909/stat : 24909 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039236344592 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24910] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24910/stat : 24910 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039235292304 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24911] ppid=24904 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24911/stat : 24911 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039234239504 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24912] ppid=24904 vsize=15144776 memory=139630572353152 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24912/stat : 24912 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452593 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039113926768 140039645354626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24913] ppid=24904 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24913/stat : 24913 (java) S 24904 24904 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445452594 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039112872736 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24914] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24914/stat : 24914 (java) S 24904 24904 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445452594 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039111820400 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24915] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24915/stat : 24915 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039110768720 140039645362075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24916] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24916/stat : 24916 (java) R 24904 24904 24272 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 15 0 445452596 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039109716592 140039628843796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24917] ppid=24904 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24917/stat : 24917 (java) R 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039108663792 140039645354626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24918] ppid=24904 vsize=15144776 memory=139630572353152 CPUtime=0.02 cores=1,3,5,7
/proc/24906/task/24918/stat : 24918 (java) R 24904 24904 24272 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 445452596 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039107606080 140039637580606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24919] ppid=24904 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24919/stat : 24919 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039106558944 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24920] ppid=24904 vsize=15144776 memory=139630572353152 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24920/stat : 24920 (java) R 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452597 15508250624 7282 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30576 KiB
[startup+0.210809 s]*
/proc/loadavg: 8.09 7.98 7.90 8/233 24920
/proc/meminfo: memFree=31039468/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
[pid=24906] ppid=24904 vsize=15144776 memory=40940 CPUtime=0.34 cores=1,3,5,7
/proc/24906/stat : 24906 (java) S 24904 24904 24272 0 -1 1077944320 9463 0 0 0 31 3 0 0 20 0 15 0 445452591 15508250624 10235 33554432000 4194304 4196468 140731019626080 140731019608624 140039645343479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
/proc/24906/statm: 3786194 10235 3313 1 0 3748377 0
[pid=24906/tid=24907] ppid=24904 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/24906/task/24907/stat : 24907 (java) R 24904 24904 24272 0 -1 4202560 6632 0 0 0 18 1 0 0 20 0 15 0 445452591 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039649581792 140039645365405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24908] ppid=24904 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24908/stat : 24908 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039237397392 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24909] ppid=24904 vsize=15144776 memory=288370006724064896 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24909/stat : 24909 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039236344592 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24910] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24910/stat : 24910 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039235292304 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24911] ppid=24904 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24911/stat : 24911 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039234239504 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24912] ppid=24904 vsize=15144776 memory=139630572353152 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24912/stat : 24912 (java) S 24904 24904 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445452593 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039113926768 140039645354626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24913] ppid=24904 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24913/stat : 24913 (java) S 24904 24904 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445452594 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039112872736 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24914] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24914/stat : 24914 (java) S 24904 24904 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445452594 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039111820400 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24915] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24915/stat : 24915 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039110768720 140039645362075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24916] ppid=24904 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24916/stat : 24916 (java) S 24904 24904 24272 0 -1 1077944384 725 0 0 0 3 0 0 0 20 0 15 0 445452596 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039109716592 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24917] ppid=24904 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/24906/task/24917/stat : 24917 (java) S 24904 24904 24272 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 445452596 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039108663792 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24918] ppid=24904 vsize=15144776 memory=139630572353152 CPUtime=0.07 cores=1,3,5,7
/proc/24906/task/24918/stat : 24918 (java) S 24904 24904 24272 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 15 0 445452596 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039107611504 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24919] ppid=24904 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24919/stat : 24919 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039106558944 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24920] ppid=24904 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24920/stat : 24920 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452597 15508250624 10235 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42388 KiB
[startup+0.320371 s]*
/proc/loadavg: 8.09 7.98 7.90 7/233 24920
/proc/meminfo: memFree=31031328/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
[pid=24906] ppid=24904 vsize=15149032 memory=50688 CPUtime=0.54 cores=1,3,5,7
/proc/24906/stat : 24906 (java) S 24904 24904 24272 0 -1 1077944320 11004 0 0 0 50 4 0 0 20 0 15 0 445452591 15512608768 12672 33554432000 4194304 4196468 140731019626080 140731019608624 140039645343479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
/proc/24906/statm: 3787258 12672 3370 1 0 3748377 0
[pid=24906/tid=24907] ppid=24904 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/24906/task/24907/stat : 24907 (java) R 24904 24904 24272 0 -1 4202560 7932 0 0 0 28 2 0 0 20 0 15 0 445452591 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039649579792 140039629423966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24908] ppid=24904 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24908/stat : 24908 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039237397392 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24909] ppid=24904 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24909/stat : 24909 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039236344592 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24910] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24910/stat : 24910 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039235292304 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24911] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24911/stat : 24911 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039234239504 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24912] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24912/stat : 24912 (java) S 24904 24904 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445452593 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039113926768 140039645354626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24913] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24913/stat : 24913 (java) S 24904 24904 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445452594 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039112872736 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24914] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24914/stat : 24914 (java) S 24904 24904 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445452594 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039111820400 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24915] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24915/stat : 24915 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039110768720 140039645362075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24916] ppid=24904 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24906/task/24916/stat : 24916 (java) S 24904 24904 24272 0 -1 1077944384 822 0 0 0 6 0 0 0 20 0 15 0 445452596 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039109716592 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24917] ppid=24904 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24917/stat : 24917 (java) S 24904 24904 24272 0 -1 1077944384 82 0 0 0 3 0 0 0 20 0 15 0 445452596 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039108663792 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24918] ppid=24904 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24906/task/24918/stat : 24918 (java) S 24904 24904 24272 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 445452596 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039107611504 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24919] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24919/stat : 24919 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039106558944 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24920] ppid=24904 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24920/stat : 24920 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452597 15512608768 12672 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52136 KiB
[startup+0.70673 s]
/proc/loadavg: 8.09 7.98 7.90 10/233 24920
/proc/meminfo: memFree=31011656/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
[pid=24906] ppid=24904 vsize=15151156 memory=91960 CPUtime=1.79 cores=1,3,5,7
/proc/24906/stat : 24906 (java) S 24904 24904 24272 0 -1 1077944320 15205 0 0 0 173 6 0 0 20 0 15 0 445452591 15514783744 22990 33554432000 4194304 4196468 140731019626080 140731019608624 140039645343479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
/proc/24906/statm: 3787789 22990 3454 1 0 3748889 0
[pid=24906/tid=24907] ppid=24904 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/24906/task/24907/stat : 24907 (java) R 24904 24904 24272 0 -1 4202560 9249 0 0 0 64 4 0 0 20 0 15 0 445452591 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039649561840 140039237479706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24908] ppid=24904 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24908/stat : 24908 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039237397392 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24909] ppid=24904 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24909/stat : 24909 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039236344592 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24910] ppid=24904 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24910/stat : 24910 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452592 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039235292304 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24911] ppid=24904 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24911/stat : 24911 (java) S 24904 24904 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445452592 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039234239504 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24912] ppid=24904 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24912/stat : 24912 (java) S 24904 24904 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445452593 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039113926768 140039645354626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24913] ppid=24904 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24913/stat : 24913 (java) S 24904 24904 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445452594 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039112872736 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24914] ppid=24904 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24914/stat : 24914 (java) S 24904 24904 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445452594 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039111820400 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24915] ppid=24904 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24915/stat : 24915 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039110768720 140039645362075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24916] ppid=24904 vsize=15151156 memory=1764 CPUtime=0.36 cores=1,3,5,7
/proc/24906/task/24916/stat : 24916 (java) R 24904 24904 24272 0 -1 1077944384 1853 0 0 0 36 0 0 0 20 0 15 0 445452596 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039109709616 140039645353685 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24917] ppid=24904 vsize=15151156 memory=111628 CPUtime=0.31 cores=1,3,5,7
/proc/24906/task/24917/stat : 24917 (java) R 24904 24904 24272 0 -1 4202560 759 0 0 0 31 0 0 0 20 0 15 0 445452596 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039108649672 140039623747529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24918] ppid=24904 vsize=15151156 memory=796 CPUtime=0.42 cores=1,3,5,7
/proc/24906/task/24918/stat : 24918 (java) R 24904 24904 24272 0 -1 4202560 2037 0 0 0 41 1 0 0 20 0 15 0 445452596 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039107611504 140039624020113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24919] ppid=24904 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24919/stat : 24919 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445452596 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039106558944 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24920] ppid=24904 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24920/stat : 24920 (java) S 24904 24904 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445452597 15514783744 22990 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93408 KiB
[startup+1.50129 s]
/proc/loadavg: 8.09 7.98 7.90 8/233 24920
/proc/meminfo: memFree=30931612/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24906/task/24920/stat : 24920 (java) S 24904 24904 24272 0 -1 1077944384 549 0 0 0 0 0 0 0 20 0 19 0 445452597 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24961] ppid=24904 vsize=15486024 memory=376648 CPUtime=6.5 cores=1,3,5,7
/proc/24906/task/24961/stat : 24961 (java) R 24904 24904 24272 0 -1 4202560 317 0 0 0 650 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039091030648 140039246196943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24962] ppid=24904 vsize=15486024 memory=1448 CPUtime=6.47 cores=1,3,5,7
/proc/24906/task/24962/stat : 24962 (java) R 24904 24904 24272 0 -1 4202560 736 0 0 0 647 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039089979248 140039246145410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24963] ppid=24904 vsize=15486024 memory=376648 CPUtime=6.55 cores=1,3,5,7
/proc/24906/task/24963/stat : 24963 (java) R 24904 24904 24272 0 -1 4202560 660 0 0 0 655 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039094190056 140039245948032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24964] ppid=24904 vsize=15486024 memory=279260921352504 CPUtime=6.34 cores=1,3,5,7
/proc/24906/task/24964/stat : 24964 (java) R 24904 24904 24272 0 -1 4202560 273 0 0 0 634 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039092084568 140039245082672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 68.45 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378100 KiB
[startup+19.2013 s]
/proc/loadavg: 8.29 8.03 7.91 9/237 24964
/proc/meminfo: memFree=30750864/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
[pid=24906] ppid=24904 vsize=15486024 memory=376652 CPUtime=74.81 cores=1,3,5,7
/proc/24906/stat : 24906 (java) S 24904 24904 24272 0 -1 1077944320 53248 0 0 0 7459 22 0 0 20 0 19 0 445452591 15857688576 94163 33554432000 4194304 4196468 140731019626080 140731019608624 140039645343479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
/proc/24906/statm: 3871506 94163 3539 1 0 3832606 0
[pid=24906/tid=24907] ppid=24904 vsize=15486024 memory=139630460844560 CPUtime=1.16 cores=1,3,5,7
/proc/24906/task/24907/stat : 24907 (java) S 24904 24904 24272 0 -1 1077944384 12144 0 0 0 110 6 0 0 20 0 19 0 445452591 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039649584256 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24908] ppid=24904 vsize=15486024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24908/stat : 24908 (java) S 24904 24904 24272 0 -1 1077944384 341 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039237397392 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24909] ppid=24904 vsize=15486024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24906/task/24909/stat : 24909 (java) S 24904 24904 24272 0 -1 1077944384 934 0 0 0 1 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039236344592 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24910] ppid=24904 vsize=15486024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24910/stat : 24910 (java) S 24904 24904 24272 0 -1 1077944384 248 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039235292304 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24911] ppid=24904 vsize=15486024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24911/stat : 24911 (java) S 24904 24904 24272 0 -1 1077944384 378 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039234239504 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24912] ppid=24904 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24906/task/24912/stat : 24912 (java) S 24904 24904 24272 0 -1 1077944384 630 0 0 0 1 0 0 0 20 0 19 0 445452593 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039113926768 140039645354626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24913] ppid=24904 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24913/stat : 24913 (java) S 24904 24904 24272 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445452594 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039112872800 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24914] ppid=24904 vsize=15486024 memory=321164 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24914/stat : 24914 (java) S 24904 24904 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445452594 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039111820416 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24915] ppid=24904 vsize=15486024 memory=246400 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24915/stat : 24915 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039110768720 140039645362075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24916] ppid=24904 vsize=15486024 memory=0 CPUtime=3.99 cores=1,3,5,7
/proc/24906/task/24916/stat : 24916 (java) S 24904 24904 24272 0 -1 1077944384 10311 0 0 0 398 1 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039109716592 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24917] ppid=24904 vsize=15486024 memory=0 CPUtime=3.67 cores=1,3,5,7
/proc/24906/task/24917/stat : 24917 (java) S 24904 24904 24272 0 -1 1077944384 11956 0 0 0 366 1 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039108663792 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24918] ppid=24904 vsize=15486024 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/24906/task/24918/stat : 24918 (java) S 24904 24904 24272 0 -1 1077944384 8136 0 0 0 107 3 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039107611504 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24919] ppid=24904 vsize=15486024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24919/stat : 24919 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039106558944 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24920] ppid=24904 vsize=15486024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24920/stat : 24920 (java) S 24904 24904 24272 0 -1 1077944384 571 0 0 0 0 0 0 0 20 0 19 0 445452597 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24961] ppid=24904 vsize=15486024 memory=376652 CPUtime=8.1 cores=1,3,5,7
/proc/24906/task/24961/stat : 24961 (java) R 24904 24904 24272 0 -1 4202560 334 0 0 0 810 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039091030648 140039245083137 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24962] ppid=24904 vsize=15486024 memory=1548 CPUtime=8.04 cores=1,3,5,7
/proc/24906/task/24962/stat : 24962 (java) R 24904 24904 24272 0 -1 4202560 988 0 0 0 804 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039089979496 140039246835680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24963] ppid=24904 vsize=15486024 memory=8560 CPUtime=8.14 cores=1,3,5,7
/proc/24906/task/24963/stat : 24963 (java) R 24904 24904 24272 0 -1 4202560 959 0 0 0 814 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039094191784 140039244818740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24964] ppid=24904 vsize=15486024 memory=1668 CPUtime=7.94 cores=1,3,5,7
/proc/24906/task/24964/stat : 24964 (java) R 24904 24904 24272 0 -1 4202560 465 0 0 0 794 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039092084352 140039245082828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 74.81 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378100 KiB
[startup+19.6013 s]
/proc/loadavg: 8.29 8.03 7.91 9/237 24964
/proc/meminfo: memFree=30750864/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
[pid=24906] ppid=24904 vsize=15486024 memory=376652 CPUtime=76.41 cores=1,3,5,7
/proc/24906/stat : 24906 (java) S 24904 24904 24272 0 -1 1077944320 53259 0 0 0 7619 22 0 0 20 0 19 0 445452591 15857688576 94163 33554432000 4194304 4196468 140731019626080 140731019608624 140039645343479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
/proc/24906/statm: 3871506 94163 3539 1 0 3832606 0
[pid=24906/tid=24907] ppid=24904 vsize=15486024 memory=6791534058613427641 CPUtime=1.16 cores=1,3,5,7
/proc/24906/task/24907/stat : 24907 (java) S 24904 24904 24272 0 -1 1077944384 12144 0 0 0 110 6 0 0 20 0 19 0 445452591 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039649584256 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24908] ppid=24904 vsize=15486024 memory=1804 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24908/stat : 24908 (java) S 24904 24904 24272 0 -1 1077944384 341 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039237397392 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24909] ppid=24904 vsize=15486024 memory=916 CPUtime=0.02 cores=1,3,5,7
/proc/24906/task/24909/stat : 24909 (java) S 24904 24904 24272 0 -1 1077944384 934 0 0 0 1 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039236344592 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24910] ppid=24904 vsize=15486024 memory=3848 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24910/stat : 24910 (java) S 24904 24904 24272 0 -1 1077944384 248 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039235292304 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24911] ppid=24904 vsize=15486024 memory=2616 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24911/stat : 24911 (java) S 24904 24904 24272 0 -1 1077944384 378 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039234239504 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24912] ppid=24904 vsize=15486024 memory=2600 CPUtime=0.01 cores=1,3,5,7
/proc/24906/task/24912/stat : 24912 (java) S 24904 24904 24272 0 -1 1077944384 630 0 0 0 1 0 0 0 20 0 19 0 445452593 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039113926768 140039645354626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24913] ppid=24904 vsize=15486024 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24913/stat : 24913 (java) S 24904 24904 24272 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445452594 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039112872800 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24914] ppid=24904 vsize=15486024 memory=3216 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24914/stat : 24914 (java) S 24904 24904 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445452594 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039111820416 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24915] ppid=24904 vsize=15486024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24915/stat : 24915 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039110768720 140039645362075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24916] ppid=24904 vsize=15486024 memory=116 CPUtime=3.99 cores=1,3,5,7
/proc/24906/task/24916/stat : 24916 (java) S 24904 24904 24272 0 -1 1077944384 10311 0 0 0 398 1 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039109716592 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24917] ppid=24904 vsize=15486024 memory=3 CPUtime=3.67 cores=1,3,5,7
/proc/24906/task/24917/stat : 24917 (java) S 24904 24904 24272 0 -1 1077944384 11956 0 0 0 366 1 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039108663792 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24918] ppid=24904 vsize=15486024 memory=2 CPUtime=1.1 cores=1,3,5,7
/proc/24906/task/24918/stat : 24918 (java) S 24904 24904 24272 0 -1 1077944384 8136 0 0 0 107 3 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039107611504 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24919] ppid=24904 vsize=15486024 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24919/stat : 24919 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039106558944 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24920] ppid=24904 vsize=15486024 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24920/stat : 24920 (java) S 24904 24904 24272 0 -1 1077944384 571 0 0 0 0 0 0 0 20 0 19 0 445452597 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24961] ppid=24904 vsize=15486024 memory=1 CPUtime=8.5 cores=1,3,5,7
/proc/24906/task/24961/stat : 24961 (java) R 24904 24904 24272 0 -1 4202560 336 0 0 0 850 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039091030648 140039245082859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24962] ppid=24904 vsize=15486024 memory=0 CPUtime=8.44 cores=1,3,5,7
/proc/24906/task/24962/stat : 24962 (java) R 24904 24904 24272 0 -1 4202560 995 0 0 0 844 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039089979496 140039246148327 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24963] ppid=24904 vsize=15486024 memory=0 CPUtime=8.54 cores=1,3,5,7
/proc/24906/task/24963/stat : 24963 (java) R 24904 24904 24272 0 -1 4202560 963 0 0 0 854 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039094191784 140039247931246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24964] ppid=24904 vsize=15486024 memory=0 CPUtime=8.34 cores=1,3,5,7
/proc/24906/task/24964/stat : 24964 (java) R 24904 24904 24272 0 -1 4202560 465 0 0 0 834 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039092084352 140039245082884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 76.41 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378100 KiB
[startup+20.0013 s]*
/proc/loadavg: 8.35 8.05 7.92 9/237 24964
/proc/meminfo: memFree=30750740/32770624 swapFree=66997372/67108860
[pid=24904] ppid=24901 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24904/stat : 24904 (xcsp3-exec) S 24901 24904 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445452591 115843072 362 33554432000 4194304 5098028 140728066748832 140728066746936 139806794646140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17121280 140728066757500 140728066757741 140728066757741 140728066760650 0
/proc/24904/statm: 28282 362 304 221 0 87 0
[pid=24906] ppid=24904 vsize=15486024 memory=376652 CPUtime=78.03 cores=1,3,5,7
/proc/24906/stat : 24906 (java) S 24904 24904 24272 0 -1 1077944320 53274 0 0 0 7781 22 0 0 20 0 19 0 445452591 15857688576 94163 33554432000 4194304 4196468 140731019626080 140731019608624 140039645343479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
/proc/24906/statm: 3871506 94163 3539 1 0 3832606 0
[pid=24906/tid=24907] ppid=24904 vsize=15486024 memory=2124 CPUtime=1.16 cores=1,3,5,7
/proc/24906/task/24907/stat : 24907 (java) S 24904 24904 24272 0 -1 1077944384 12144 0 0 0 110 6 0 0 20 0 19 0 445452591 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039649584256 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24908] ppid=24904 vsize=15486024 memory=26164 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24908/stat : 24908 (java) S 24904 24904 24272 0 -1 1077944384 341 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039237397392 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24909] ppid=24904 vsize=15486024 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/24906/task/24909/stat : 24909 (java) S 24904 24904 24272 0 -1 1077944384 934 0 0 0 1 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039236344592 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24910] ppid=24904 vsize=15486024 memory=246591252382356 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24910/stat : 24910 (java) S 24904 24904 24272 0 -1 1077944384 248 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039235292304 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24911] ppid=24904 vsize=15486024 memory=3504 CPUtime=0.03 cores=1,3,5,7
/proc/24906/task/24911/stat : 24911 (java) S 24904 24904 24272 0 -1 1077944384 378 0 0 0 2 1 0 0 20 0 19 0 445452592 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039234239504 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24912] ppid=24904 vsize=15486024 memory=48196 CPUtime=0.01 cores=1,3,5,7
/proc/24906/task/24912/stat : 24912 (java) S 24904 24904 24272 0 -1 1077944384 630 0 0 0 1 0 0 0 20 0 19 0 445452593 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039113926768 140039645354626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24913] ppid=24904 vsize=15486024 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24913/stat : 24913 (java) S 24904 24904 24272 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445452594 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039112872800 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24914] ppid=24904 vsize=15486024 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24914/stat : 24914 (java) S 24904 24904 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445452594 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039111820416 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24915] ppid=24904 vsize=15486024 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24915/stat : 24915 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039110768720 140039645362075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24916] ppid=24904 vsize=15486024 memory=776 CPUtime=3.99 cores=1,3,5,7
/proc/24906/task/24916/stat : 24916 (java) S 24904 24904 24272 0 -1 1077944384 10311 0 0 0 398 1 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039109716592 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24917] ppid=24904 vsize=15486024 memory=3992 CPUtime=3.67 cores=1,3,5,7
/proc/24906/task/24917/stat : 24917 (java) S 24904 24904 24272 0 -1 1077944384 11956 0 0 0 366 1 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039108663792 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24918] ppid=24904 vsize=15486024 memory=2828 CPUtime=1.1 cores=1,3,5,7
/proc/24906/task/24918/stat : 24918 (java) S 24904 24904 24272 0 -1 1077944384 8136 0 0 0 107 3 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039107611504 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24919] ppid=24904 vsize=15486024 memory=676 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24919/stat : 24919 (java) S 24904 24904 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445452596 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039106558944 140039645353685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24920] ppid=24904 vsize=15486024 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/24906/task/24920/stat : 24920 (java) S 24904 24904 24272 0 -1 1077944384 571 0 0 0 0 0 0 0 20 0 19 0 445452597 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039105505712 140039645354626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24961] ppid=24904 vsize=15486024 memory=1548 CPUtime=8.91 cores=1,3,5,7
/proc/24906/task/24961/stat : 24961 (java) R 24904 24904 24272 0 -1 4202560 336 0 0 0 891 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039091030648 140039245083393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24962] ppid=24904 vsize=15486024 memory=8560 CPUtime=8.83 cores=1,3,5,7
/proc/24906/task/24962/stat : 24962 (java) R 24904 24904 24272 0 -1 4202560 1004 0 0 0 883 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039089979496 140039243109708 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24963] ppid=24904 vsize=15486024 memory=31076 CPUtime=8.95 cores=1,3,5,7
/proc/24906/task/24963/stat : 24963 (java) R 24904 24904 24272 0 -1 4202560 967 0 0 0 895 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039094191784 140039247260672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
[pid=24906/tid=24964] ppid=24904 vsize=15486024 memory=7516877679562482788 CPUtime=8.75 cores=1,3,5,7
/proc/24906/task/24964/stat : 24964 (java) R 24904 24904 24272 0 -1 4202560 465 0 0 0 875 0 0 0 20 0 19 0 445453692 15857688576 94163 33554432000 4194304 4196468 140731019626080 140039092084352 140039245082202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140731019629551 140731019629722 140731019629722 140731019632591 0
Current children cumulated CPU time: 78.03 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378100 KiB
Child status: 0
Real time (s): 20.0478
CPU time (s): 78.1598
CPU user time (s): 77.9279
CPU system time (s): 0.231936
CPU usage (%): 389.867
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 378100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.9279
system time used= 0.231936
maximum resident set size= 376760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54940
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= 3714
involuntary context switches= 2286
# summary of solver processes directly reported to runsolver:
# pid: 24904
# total CPU time (s): 78.1598
# total CPU user time (s): 77.9279
# total CPU system time (s): 0.231936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.1503 second user time and 0.281813 second system time
The end
Begin job on node103 at 2019-09-17 05:45:36 IDJOB=4400521 IDBENCH=126778 IDSOLVER=2856 FILE ID=node103/4400521-1568691995 RUNJOBID= node103-1568691240-24304 PBS_JOBID= 21703799 Free space on /tmp= 61692 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-15-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400521-1568691995/watcher-4400521-1568691995 -o /tmp/evaluation-result-4400521-1568691995/solver-4400521-1568691995 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 18117877 HOME/instance-4400521-1568691995.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 274e3e67607724bfcca0861611bdfa28 RANDOM SEED=18117877 node103.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.74 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.74 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.74 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.74 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: 31070304 kB MemAvailable: 31466656 kB Buffers: 74016 kB Cached: 617512 kB SwapCached: 9016 kB Active: 853384 kB Inactive: 269924 kB Active(anon): 423948 kB Inactive(anon): 57316 kB Active(file): 429436 kB Inactive(file): 212608 kB Unevictable: 111148 kB Mlocked: 111148 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 26224 kB Writeback: 12 kB AnonPages: 535656 kB Mapped: 61728 kB Shmem: 40856 kB Slab: 170056 kB SReclaimable: 140284 kB SUnreclaim: 29772 kB KernelStack: 3792 kB PageTables: 6352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1683408 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 425984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61668 MiB End job on node103 at 2019-09-17 05:45:56