Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 13 | 2400.1001 | 605.039 |
| Name | OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml |
| MD5SUM | ca3b02115b63c058d23855e217e5f7b7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0701 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 920 |
| Number of constraints | 881 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 41 |
| Distribution of domain sizes | [{"size":2,"count":800},{"size":40,"count":80},{"size":41,"count":40}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 41 |
| Distribution of variable degrees | [{"degree":2,"count":840},{"degree":9,"count":40},{"degree":41,"count":40}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":3,"count":800},{"arity":9,"count":40},{"arity":21,"count":40},{"arity":40,"count":1}] |
| Number of extensional constraints | 800 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":800},{"type":"allDifferent","count":1},{"type":"sum","count":40},{"type":"minimum","count":20},{"type":"maximum","count":20}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.07 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247036-1502058837.xml" -tl '2400s' -p 4 -x 0 0.00/0.29 c [HOME/instance-4247036-1502058837.xml, -tl, 2400s, -p, 4, -x, 0] 0.00/0.35 c 4 solvers in parallel 0.00/0.42 c parse instance... 6.65/4.43 c solve instance... 7.72/4.74 o 20 18.05/7.35 o 19 19.96/7.84 o 18 22.21/8.46 o 17 24.83/9.14 o 16 26.76/9.63 o 15 27.55/9.89 o 14 30.46/10.60 o 13 2400.10/605.07 s SATISFIABLE 2400.10/605.07 v <instantiation> 2400.10/605.07 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] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] min[15] min[16] min[17] min[18] min[19] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] max[15] max[16] max[17] max[18] max[19] 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[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] 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[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] 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[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] 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[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] 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[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] 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[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] 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[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] 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[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] 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[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] 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[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] 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[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] 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[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] 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[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] 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[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] 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] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] 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[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] 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[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] 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[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] 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[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] 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[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] 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] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] </list> 2400.10/605.07 v <values>0 2 3 4 5 6 7 8 9 10 15 19 21 23 25 27 29 30 31 32 11 1 12 16 13 17 14 18 20 22 24 26 28 33 34 35 36 37 38 39 0 0 0 0 2 1 4 1 6 7 8 9 10 15 19 21 23 25 27 29 38 39 38 39 38 39 14 18 20 22 24 26 28 33 34 35 36 37 38 39 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 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 0 0 0 0 1 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 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 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 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 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 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 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 1 1 1 4 6 7 7 8 8 9 10 11 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 12 11 10 9 8 4 </values> 2400.10/605.07 v </instantiation> 2400.10/605.07 c Unexpected resolution interruption!
OK 13
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247036-1502058837/watcher-4247036-1502058837 -o /tmp/evaluation-result-4247036-1502058837/solver-4247036-1502058837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 271895825 HOME/instance-4247036-1502058837.xml pid=9420 running on 4 cores: 0,2,4,6 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.21 8.42 7.83 5/204 9423 /proc/meminfo: memFree=31238852/32770624 swapFree=0/328676 [pid=9423] ppid=9420 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (runsolver) D 9420 9423 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53698990 24240128 618 18446744073709551615 4194304 4338465 140726731055600 140726731053240 139740457116375 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 27623424 140726731063383 140726731063881 140726731063881 140726731067338 0 /proc/9423/statm: 5918 618 54 36 0 2156 0 [startup+0.100194 s] /proc/loadavg: 8.21 8.42 7.83 5/204 9423 /proc/meminfo: memFree=31238852/32770624 swapFree=0/328676 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200307 s] /proc/loadavg: 8.21 8.42 7.83 5/204 9423 /proc/meminfo: memFree=31238852/32770624 swapFree=0/328676 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300241 s] /proc/loadavg: 8.21 8.42 7.83 5/204 9423 /proc/meminfo: memFree=31238852/32770624 swapFree=0/328676 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.701076 s] /proc/loadavg: 8.21 8.42 7.83 5/204 9423 /proc/meminfo: memFree=31238852/32770624 swapFree=0/328676 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50075 s] /proc/loadavg: 8.21 8.42 7.83 6/220 9439 /proc/meminfo: memFree=31092928/32770624 swapFree=0/328708 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 [pid=9425] ppid=9423 vsize=12919328 CPUtime=2.82 cores=0,2,4,6 /proc/9425/stat : 9425 (java) S 9423 9423 25100 0 -1 1077944320 18971 0 0 0 273 9 0 0 20 0 15 0 53698998 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140736044681424 140578835234551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 /proc/9425/statm: 3229832 49325 3208 1 0 3218124 0 [pid=9425/tid=9426] ppid=9423 vsize=12919328 CPUtime=1.31 cores=0,2,4,6 /proc/9425/task/9426/stat : 9426 (java) R 9423 9423 25100 0 -1 4202560 9396 0 0 0 126 5 0 0 20 0 15 0 53698999 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578839472592 140578461575774 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9427] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9427/stat : 9427 (java) S 9423 9423 25100 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 53698999 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578778545168 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9428] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9428/stat : 9428 (java) S 9423 9423 25100 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 53698999 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578777492624 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9429] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9429/stat : 9429 (java) S 9423 9423 25100 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 15 0 53698999 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578436635408 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9430] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9430/stat : 9430 (java) S 9423 9423 25100 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 53698999 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578435582864 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9431] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9431/stat : 9431 (java) S 9423 9423 25100 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 53699001 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578386450672 140578835245698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9432] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9432/stat : 9432 (java) S 9423 9423 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 53699001 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578385396896 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9433] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9433/stat : 9433 (java) S 9423 9423 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 53699001 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578384343792 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9434] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9434/stat : 9434 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53699004 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578383292368 140578835253147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9435] ppid=9423 vsize=12919328 CPUtime=0.52 cores=0,2,4,6 /proc/9425/task/9435/stat : 9435 (java) S 9423 9423 25100 0 -1 1077944384 1783 0 0 0 52 0 0 0 20 0 15 0 53699004 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578382240496 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9436] ppid=9423 vsize=12919328 CPUtime=0.48 cores=0,2,4,6 /proc/9425/task/9436/stat : 9436 (java) S 9423 9423 25100 0 -1 1077944384 1743 0 0 0 48 0 0 0 20 0 15 0 53699004 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578381187952 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9437] ppid=9423 vsize=12919328 CPUtime=0.42 cores=0,2,4,6 /proc/9425/task/9437/stat : 9437 (java) S 9423 9423 25100 0 -1 1077944384 3534 0 0 0 41 1 0 0 20 0 15 0 53699004 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578380134896 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9438] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9438/stat : 9438 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53699004 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578379082592 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9439] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9439/stat : 9439 (java) S 9423 9423 25100 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 53699011 13229391872 49325 18446744073709551615 4194304 4196468 140736044698880 140578378029616 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 12928840 [startup+3.10069 s] /proc/loadavg: 8.21 8.42 7.83 6/220 9439 /proc/meminfo: memFree=31011344/32770624 swapFree=0/328708 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 [pid=9425] ppid=9423 vsize=12919328 CPUtime=4.96 cores=0,2,4,6 /proc/9425/stat : 9425 (java) S 9423 9423 25100 0 -1 1077944320 23493 0 0 0 481 15 0 0 20 0 15 0 53698998 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140736044681424 140578835234551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 /proc/9425/statm: 3229832 70624 3222 1 0 3218124 0 [pid=9425/tid=9426] ppid=9423 vsize=12919328 CPUtime=2.76 cores=0,2,4,6 /proc/9425/task/9426/stat : 9426 (java) R 9423 9423 25100 0 -1 4202560 10436 0 0 0 270 6 0 0 20 0 15 0 53698999 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578839468512 140578461575774 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9427] ppid=9423 vsize=12919328 CPUtime=0.03 cores=0,2,4,6 /proc/9425/task/9427/stat : 9427 (java) S 9423 9423 25100 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 15 0 53698999 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578778545168 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9428] ppid=9423 vsize=12919328 CPUtime=0.02 cores=0,2,4,6 /proc/9425/task/9428/stat : 9428 (java) S 9423 9423 25100 0 -1 1077944384 263 0 0 0 1 1 0 0 20 0 15 0 53698999 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578777492624 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9429] ppid=9423 vsize=12919328 CPUtime=0.03 cores=0,2,4,6 /proc/9425/task/9429/stat : 9429 (java) S 9423 9423 25100 0 -1 1077944384 392 0 0 0 2 1 0 0 20 0 15 0 53698999 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578436635408 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9430] ppid=9423 vsize=12919328 CPUtime=0.03 cores=0,2,4,6 /proc/9425/task/9430/stat : 9430 (java) S 9423 9423 25100 0 -1 1077944384 128 0 0 0 2 1 0 0 20 0 15 0 53698999 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578435582864 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9431] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9431/stat : 9431 (java) S 9423 9423 25100 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 53699001 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578386450672 140578835245698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9432] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9432/stat : 9432 (java) S 9423 9423 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 53699001 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578385396960 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9433] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9433/stat : 9433 (java) S 9423 9423 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 53699001 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578384343808 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9434] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9434/stat : 9434 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53699004 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578383292368 140578835253147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9435] ppid=9423 vsize=12919328 CPUtime=0.73 cores=0,2,4,6 /proc/9425/task/9435/stat : 9435 (java) S 9423 9423 25100 0 -1 1077944384 2895 0 0 0 73 0 0 0 20 0 15 0 53699004 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578382240496 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9436] ppid=9423 vsize=12919328 CPUtime=0.76 cores=0,2,4,6 /proc/9425/task/9436/stat : 9436 (java) S 9423 9423 25100 0 -1 1077944384 3306 0 0 0 76 0 0 0 20 0 15 0 53699004 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578381187952 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9437] ppid=9423 vsize=12919328 CPUtime=0.51 cores=0,2,4,6 /proc/9425/task/9437/stat : 9437 (java) S 9423 9423 25100 0 -1 1077944384 4238 0 0 0 50 1 0 0 20 0 15 0 53699004 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578380134896 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9438] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9438/stat : 9438 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53699004 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578379082592 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9439] ppid=9423 vsize=12919328 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9439/stat : 9439 (java) S 9423 9423 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 53699011 13229391872 70624 18446744073709551615 4194304 4196468 140736044698880 140578378029616 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 Current children cumulated CPU time (s) 4.96 Current children cumulated vsize (KiB) 12928840 [startup+6.30808 s] /proc/loadavg: 7.87 8.34 7.81 11/224 9447 /proc/meminfo: memFree=30803424/32770624 swapFree=0/328720 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 [pid=9425] ppid=9423 vsize=13185584 CPUtime=14.1 cores=0,2,4,6 /proc/9425/stat : 9425 (java) S 9423 9423 25100 0 -1 1077944320 27644 0 0 0 1384 26 0 0 20 0 19 0 53698998 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140736044681424 140578835234551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 /proc/9425/statm: 3296396 111590 3254 1 0 3284688 0 [pid=9425/tid=9426] ppid=9423 vsize=13185584 CPUtime=4.03 cores=0,2,4,6 /proc/9425/task/9426/stat : 9426 (java) S 9423 9423 25100 0 -1 1077944384 10619 0 0 0 396 7 0 0 20 0 19 0 53698999 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578839475328 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9427] ppid=9423 vsize=13185584 CPUtime=0.1 cores=0,2,4,6 /proc/9425/task/9427/stat : 9427 (java) S 9423 9423 25100 0 -1 1077944384 205 0 0 0 7 3 0 0 20 0 19 0 53698999 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578778545168 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9428] ppid=9423 vsize=13185584 CPUtime=0.08 cores=0,2,4,6 /proc/9425/task/9428/stat : 9428 (java) S 9423 9423 25100 0 -1 1077944384 309 0 0 0 5 3 0 0 20 0 19 0 53698999 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578777492624 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9429] ppid=9423 vsize=13185584 CPUtime=0.11 cores=0,2,4,6 /proc/9425/task/9429/stat : 9429 (java) S 9423 9423 25100 0 -1 1077944384 456 0 0 0 8 3 0 0 20 0 19 0 53698999 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578436635408 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9430] ppid=9423 vsize=13185584 CPUtime=0.1 cores=0,2,4,6 /proc/9425/task/9430/stat : 9430 (java) S 9423 9423 25100 0 -1 1077944384 200 0 0 0 7 3 0 0 20 0 19 0 53698999 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578435582864 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9431] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9431/stat : 9431 (java) S 9423 9423 25100 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578386450672 140578835245698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9432] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9432/stat : 9432 (java) S 9423 9423 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578385396960 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9433] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9433/stat : 9433 (java) S 9423 9423 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578384343808 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9434] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9434/stat : 9434 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578383292368 140578835253147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9435] ppid=9423 vsize=13185584 CPUtime=2.27 cores=0,2,4,6 /proc/9425/task/9435/stat : 9435 (java) S 9423 9423 25100 0 -1 1077944384 3920 0 0 0 226 1 0 0 20 0 19 0 53699004 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578382240496 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9436] ppid=9423 vsize=13185584 CPUtime=1.89 cores=0,2,4,6 /proc/9425/task/9436/stat : 9436 (java) R 9423 9423 25100 0 -1 4202560 4817 0 0 0 188 1 0 0 20 0 19 0 53699004 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578381174416 140578820342523 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9437] ppid=9423 vsize=13185584 CPUtime=0.79 cores=0,2,4,6 /proc/9425/task/9437/stat : 9437 (java) S 9423 9423 25100 0 -1 1077944384 4919 0 0 0 78 1 0 0 20 0 19 0 53699004 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578380134896 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9438] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9438/stat : 9438 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578379082592 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9439] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9439/stat : 9439 (java) S 9423 9423 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53699011 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578378029616 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9444] ppid=9423 vsize=13185584 CPUtime=0.97 cores=0,2,4,6 /proc/9425/task/9444/stat : 9444 (java) R 9423 9423 25100 0 -1 4202560 27 0 0 0 97 0 0 0 20 0 19 0 53699465 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578299723480 140578463578087 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9445] ppid=9423 vsize=13185584 CPUtime=1.11 cores=0,2,4,6 /proc/9425/task/9445/stat : 9445 (java) R 9423 9423 25100 0 -1 4202560 35 0 0 0 111 0 0 0 20 0 19 0 53699465 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578374303640 140578464742000 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9446] ppid=9423 vsize=13185584 CPUtime=0.78 cores=0,2,4,6 /proc/9425/task/9446/stat : 9446 (java) R 9423 9423 25100 0 -1 4202560 56 0 0 0 78 0 0 0 20 0 19 0 53699465 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578300776760 140578465286437 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9447] ppid=9423 vsize=13185584 CPUtime=1.11 cores=0,2,4,6 /proc/9425/task/9447/stat : 9447 (java) R 9423 9423 25100 0 -1 4202560 28 0 0 0 111 0 0 0 20 0 19 0 53699465 13502038016 111590 18446744073709551615 4194304 4196468 140736044698880 140578301828664 140578463578539 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 Current children cumulated CPU time (s) 14.1 Current children cumulated vsize (KiB) 13195096 [startup+12.7011 s] /proc/loadavg: 7.88 8.34 7.81 9/228 9493 /proc/meminfo: memFree=30722608/32770624 swapFree=0/328744 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 [pid=9425] ppid=9423 vsize=13185584 CPUtime=38.79 cores=0,2,4,6 ################ # More data... # ################ [pid=9425] ppid=9423 vsize=13185584 CPUtime=2070.37 cores=0,2,4,6 /proc/9425/stat : 9425 (java) S 9423 9423 25100 0 -1 1077944320 99333 0 0 0 206964 73 0 0 20 0 19 0 53698998 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140736044681424 140578835234551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 /proc/9425/statm: 3296396 327496 3265 1 0 3284688 0 [pid=9425/tid=9426] ppid=9423 vsize=13185584 CPUtime=4.03 cores=0,2,4,6 /proc/9425/task/9426/stat : 9426 (java) S 9423 9423 25100 0 -1 1077944384 10845 0 0 0 396 7 0 0 20 0 19 0 53698999 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578839475328 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9427] ppid=9423 vsize=13185584 CPUtime=0.24 cores=0,2,4,6 /proc/9425/task/9427/stat : 9427 (java) S 9423 9423 25100 0 -1 1077944384 1623 0 0 0 15 9 0 0 20 0 19 0 53698999 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578778545168 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9428] ppid=9423 vsize=13185584 CPUtime=0.22 cores=0,2,4,6 /proc/9425/task/9428/stat : 9428 (java) S 9423 9423 25100 0 -1 1077944384 1164 0 0 0 14 8 0 0 20 0 19 0 53698999 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578777492624 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9429] ppid=9423 vsize=13185584 CPUtime=0.24 cores=0,2,4,6 /proc/9425/task/9429/stat : 9429 (java) S 9423 9423 25100 0 -1 1077944384 1838 0 0 0 16 8 0 0 20 0 19 0 53698999 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578436635408 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9430] ppid=9423 vsize=13185584 CPUtime=0.23 cores=0,2,4,6 /proc/9425/task/9430/stat : 9430 (java) S 9423 9423 25100 0 -1 1077944384 821 0 0 0 15 8 0 0 20 0 19 0 53698999 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578435582864 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9431] ppid=9423 vsize=13185584 CPUtime=0.04 cores=0,2,4,6 /proc/9425/task/9431/stat : 9431 (java) S 9423 9423 25100 0 -1 1077944384 3366 0 0 0 2 2 0 0 20 0 19 0 53699001 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578386450672 140578835245698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9432] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9432/stat : 9432 (java) S 9423 9423 25100 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578385396960 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9433] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9433/stat : 9433 (java) S 9423 9423 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578384343808 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9434] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9434/stat : 9434 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578383292368 140578835253147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9435] ppid=9423 vsize=13185584 CPUtime=4.74 cores=0,2,4,6 /proc/9425/task/9435/stat : 9435 (java) S 9423 9423 25100 0 -1 1077944384 23967 0 0 0 471 3 0 0 20 0 19 0 53699004 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578382240496 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9436] ppid=9423 vsize=13185584 CPUtime=4.16 cores=0,2,4,6 /proc/9425/task/9436/stat : 9436 (java) S 9423 9423 25100 0 -1 1077944384 24414 0 0 0 413 3 0 0 20 0 19 0 53699004 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578381187952 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9437] ppid=9423 vsize=13185584 CPUtime=1.04 cores=0,2,4,6 /proc/9425/task/9437/stat : 9437 (java) S 9423 9423 25100 0 -1 1077944384 12059 0 0 0 102 2 0 0 20 0 19 0 53699004 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578380134896 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9438] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9438/stat : 9438 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578379082592 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9439] ppid=9423 vsize=13185584 CPUtime=0.2 cores=0,2,4,6 /proc/9425/task/9439/stat : 9439 (java) S 9423 9423 25100 0 -1 1077944384 858 0 0 0 20 0 0 0 20 0 19 0 53699011 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578378029616 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9476] ppid=9423 vsize=13185584 CPUtime=507.79 cores=0,2,4,6 /proc/9425/task/9476/stat : 9476 (java) R 9423 9423 25100 0 -1 4202560 2371 0 0 0 50777 2 0 0 20 0 19 0 53700051 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578299722496 140578463578087 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9477] ppid=9423 vsize=13185584 CPUtime=510.36 cores=0,2,4,6 /proc/9425/task/9477/stat : 9477 (java) R 9423 9423 25100 0 -1 4202560 5588 0 0 0 51029 7 0 0 20 0 19 0 53700051 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578300776712 140578463578000 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9478] ppid=9423 vsize=13185584 CPUtime=509.58 cores=0,2,4,6 /proc/9425/task/9478/stat : 9478 (java) R 9423 9423 25100 0 -1 4202560 5111 0 0 0 50949 9 0 0 20 0 19 0 53700051 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578374303304 140578464978861 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9479] ppid=9423 vsize=13185584 CPUtime=509.03 cores=0,2,4,6 /proc/9425/task/9479/stat : 9479 (java) R 9423 9423 25100 0 -1 4202560 1439 0 0 0 50903 0 0 0 20 0 19 0 53700051 13502038016 327496 18446744073709551615 4194304 4196468 140736044698880 140578301829192 140578463641295 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 Current children cumulated CPU time (s) 2070.37 Current children cumulated vsize (KiB) 13195096 [startup+582.301 s] /proc/loadavg: 8.56 8.52 8.18 9/224 9949 /proc/meminfo: memFree=29968640/32770624 swapFree=0/329060 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 [pid=9425] ppid=9423 vsize=13185584 CPUtime=2309.58 cores=0,2,4,6 /proc/9425/stat : 9425 (java) S 9423 9423 25100 0 -1 1077944320 102125 0 0 0 230882 76 0 0 20 0 19 0 53698998 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140736044681424 140578835234551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 /proc/9425/statm: 3296396 328384 3265 1 0 3284688 0 [pid=9425/tid=9426] ppid=9423 vsize=13185584 CPUtime=4.03 cores=0,2,4,6 /proc/9425/task/9426/stat : 9426 (java) S 9423 9423 25100 0 -1 1077944384 10845 0 0 0 396 7 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578839475328 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9427] ppid=9423 vsize=13185584 CPUtime=0.25 cores=0,2,4,6 /proc/9425/task/9427/stat : 9427 (java) S 9423 9423 25100 0 -1 1077944384 1664 0 0 0 16 9 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578778545168 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9428] ppid=9423 vsize=13185584 CPUtime=0.22 cores=0,2,4,6 /proc/9425/task/9428/stat : 9428 (java) S 9423 9423 25100 0 -1 1077944384 1202 0 0 0 14 8 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578777492624 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9429] ppid=9423 vsize=13185584 CPUtime=0.25 cores=0,2,4,6 /proc/9425/task/9429/stat : 9429 (java) S 9423 9423 25100 0 -1 1077944384 1880 0 0 0 17 8 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578436635408 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9430] ppid=9423 vsize=13185584 CPUtime=0.24 cores=0,2,4,6 /proc/9425/task/9430/stat : 9430 (java) S 9423 9423 25100 0 -1 1077944384 1259 0 0 0 16 8 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578435582864 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9431] ppid=9423 vsize=13185584 CPUtime=0.05 cores=0,2,4,6 /proc/9425/task/9431/stat : 9431 (java) S 9423 9423 25100 0 -1 1077944384 3597 0 0 0 3 2 0 0 20 0 19 0 53699001 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578386450672 140578835245698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9432] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9432/stat : 9432 (java) S 9423 9423 25100 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578385396960 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9433] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9433/stat : 9433 (java) S 9423 9423 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578384343808 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9434] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9434/stat : 9434 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578383292368 140578835253147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9435] ppid=9423 vsize=13185584 CPUtime=4.75 cores=0,2,4,6 /proc/9425/task/9435/stat : 9435 (java) S 9423 9423 25100 0 -1 1077944384 24634 0 0 0 472 3 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578382240496 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9436] ppid=9423 vsize=13185584 CPUtime=4.16 cores=0,2,4,6 /proc/9425/task/9436/stat : 9436 (java) S 9423 9423 25100 0 -1 1077944384 24417 0 0 0 413 3 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578381187952 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9437] ppid=9423 vsize=13185584 CPUtime=1.04 cores=0,2,4,6 /proc/9425/task/9437/stat : 9437 (java) S 9423 9423 25100 0 -1 1077944384 12066 0 0 0 102 2 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578380134896 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9438] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9438/stat : 9438 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578379082592 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9439] ppid=9423 vsize=13185584 CPUtime=0.22 cores=0,2,4,6 /proc/9425/task/9439/stat : 9439 (java) S 9423 9423 25100 0 -1 1077944384 890 0 0 0 22 0 0 0 20 0 19 0 53699011 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578378029616 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9476] ppid=9423 vsize=13185584 CPUtime=567.13 cores=0,2,4,6 /proc/9425/task/9476/stat : 9476 (java) R 9423 9423 25100 0 -1 4202560 2501 0 0 0 56711 2 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578299722744 140578464977428 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9477] ppid=9423 vsize=13185584 CPUtime=570.33 cores=0,2,4,6 /proc/9425/task/9477/stat : 9477 (java) R 9423 9423 25100 0 -1 4202560 5843 0 0 0 57026 7 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578300775808 140578463911711 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9478] ppid=9423 vsize=13185584 CPUtime=569.42 cores=0,2,4,6 /proc/9425/task/9478/stat : 9478 (java) R 9423 9423 25100 0 -1 4202560 5938 0 0 0 56932 10 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578374303272 140578463828319 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9479] ppid=9423 vsize=13185584 CPUtime=569.01 cores=0,2,4,6 /proc/9425/task/9479/stat : 9479 (java) R 9423 9423 25100 0 -1 4202560 1520 0 0 0 56901 0 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578301829432 140578463578730 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 Current children cumulated CPU time (s) 2309.58 Current children cumulated vsize (KiB) 13195096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+605.001 s] /proc/loadavg: 8.63 8.55 8.19 9/224 9951 /proc/meminfo: memFree=29967232/32770624 swapFree=0/329088 [pid=9423] ppid=9420 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/9423/stat : 9423 (xcsp3-exec) S 9420 9423 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53698990 9740288 345 18446744073709551615 4194304 5098028 140731249715248 140731249713352 140404523180668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 10305536 140731249717657 140731249717866 140731249717866 140731249721323 0 /proc/9423/statm: 2378 345 289 221 0 87 0 [pid=9425] ppid=9423 vsize=13185584 CPUtime=2400.1 cores=0,2,4,6 /proc/9425/stat : 9425 (java) S 9423 9423 25100 0 -1 1077944320 102439 0 0 0 239934 76 0 0 20 0 19 0 53698998 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140736044681424 140578835234551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 /proc/9425/statm: 3296396 328384 3265 1 0 3284688 0 [pid=9425/tid=9426] ppid=9423 vsize=13185584 CPUtime=4.03 cores=0,2,4,6 /proc/9425/task/9426/stat : 9426 (java) S 9423 9423 25100 0 -1 1077944384 10845 0 0 0 396 7 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578839475328 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9427] ppid=9423 vsize=13185584 CPUtime=0.25 cores=0,2,4,6 /proc/9425/task/9427/stat : 9427 (java) S 9423 9423 25100 0 -1 1077944384 1664 0 0 0 16 9 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578778545168 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9428] ppid=9423 vsize=13185584 CPUtime=0.22 cores=0,2,4,6 /proc/9425/task/9428/stat : 9428 (java) S 9423 9423 25100 0 -1 1077944384 1202 0 0 0 14 8 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578777492624 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9429] ppid=9423 vsize=13185584 CPUtime=0.25 cores=0,2,4,6 /proc/9425/task/9429/stat : 9429 (java) S 9423 9423 25100 0 -1 1077944384 1880 0 0 0 17 8 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578436635408 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9430] ppid=9423 vsize=13185584 CPUtime=0.24 cores=0,2,4,6 /proc/9425/task/9430/stat : 9430 (java) S 9423 9423 25100 0 -1 1077944384 1259 0 0 0 16 8 0 0 20 0 19 0 53698999 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578435582864 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9431] ppid=9423 vsize=13185584 CPUtime=0.05 cores=0,2,4,6 /proc/9425/task/9431/stat : 9431 (java) S 9423 9423 25100 0 -1 1077944384 3597 0 0 0 3 2 0 0 20 0 19 0 53699001 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578386450672 140578835245698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9432] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9432/stat : 9432 (java) S 9423 9423 25100 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578385396960 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9433] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9433/stat : 9433 (java) S 9423 9423 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53699001 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578384343808 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9434] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9434/stat : 9434 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578383292368 140578835253147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9435] ppid=9423 vsize=13185584 CPUtime=4.75 cores=0,2,4,6 /proc/9425/task/9435/stat : 9435 (java) S 9423 9423 25100 0 -1 1077944384 24634 0 0 0 472 3 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578382240496 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9436] ppid=9423 vsize=13185584 CPUtime=4.16 cores=0,2,4,6 /proc/9425/task/9436/stat : 9436 (java) S 9423 9423 25100 0 -1 1077944384 24417 0 0 0 413 3 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578381187952 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9437] ppid=9423 vsize=13185584 CPUtime=1.04 cores=0,2,4,6 /proc/9425/task/9437/stat : 9437 (java) S 9423 9423 25100 0 -1 1077944384 12066 0 0 0 102 2 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578380134896 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9438] ppid=9423 vsize=13185584 CPUtime=0 cores=0,2,4,6 /proc/9425/task/9438/stat : 9438 (java) S 9423 9423 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53699004 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578379082592 140578835244757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9439] ppid=9423 vsize=13185584 CPUtime=0.23 cores=0,2,4,6 /proc/9425/task/9439/stat : 9439 (java) S 9423 9423 25100 0 -1 1077944384 892 0 0 0 23 0 0 0 20 0 19 0 53699011 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578378029616 140578835245698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9476] ppid=9423 vsize=13185584 CPUtime=589.54 cores=0,2,4,6 /proc/9425/task/9476/stat : 9476 (java) R 9423 9423 25100 0 -1 4202560 2538 0 0 0 58952 2 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578299722744 140578464273463 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9477] ppid=9423 vsize=13185584 CPUtime=593.04 cores=0,2,4,6 /proc/9425/task/9477/stat : 9477 (java) R 9423 9423 25100 0 -1 4202560 5896 0 0 0 59297 7 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578300775808 140578463911650 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9478] ppid=9423 vsize=13185584 CPUtime=592.12 cores=0,2,4,6 /proc/9425/task/9478/stat : 9478 (java) R 9423 9423 25100 0 -1 4202560 6158 0 0 0 59202 10 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578374303272 140578463810672 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 [pid=9425/tid=9479] ppid=9423 vsize=13185584 CPUtime=591.72 cores=0,2,4,6 /proc/9425/task/9479/stat : 9479 (java) R 9423 9423 25100 0 -1 4202560 1522 0 0 0 59172 0 0 0 20 0 19 0 53700051 13502038016 328384 18446744073709551615 4194304 4196468 140736044698880 140578301829432 140578463828397 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18747392 140736044700118 140736044700294 140736044700294 140736044703695 0 Current children cumulated CPU time (s) 2400.1 Current children cumulated vsize (KiB) 13195096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9425 sig 9 ??? kill 9423 sig 9 ??? kill -9423 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9423 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2226 # CPU time returned by wait4() is 0.002226 # while last known CPU time is 2400.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 605.039 CPU time (s): 2400.1 CPU user time (s): 2399.34 CPU system time (s): 0.76 CPU usage (%): 396.685 Max. virtual memory (cumulated for all children) (KiB): 13195096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002226 maximum resident set size= 2660 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.11042 second user time and 4.7252 second system time The end
Begin job on node133 at 2017-08-07 00:19:50 IDJOB=4247036 IDBENCH=140502 IDSOLVER=2625 FILE ID=node133/4247036-1502058837 RUNJOBID= node133-1502042263-31898 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247036-1502058837/watcher-4247036-1502058837 -o /tmp/evaluation-result-4247036-1502058837/solver-4247036-1502058837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 271895825 HOME/instance-4247036-1502058837.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca3b02115b63c058d23855e217e5f7b7 RANDOM SEED=271895825 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.17 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.17 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.17 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.17 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: 31242996 kB MemAvailable: 31737572 kB Buffers: 205156 kB Cached: 580984 kB SwapCached: 0 kB Active: 750912 kB Inactive: 353596 kB Active(anon): 318832 kB Inactive(anon): 24920 kB Active(file): 432080 kB Inactive(file): 328676 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8648 kB Writeback: 4 kB AnonPages: 318168 kB Mapped: 52276 kB Shmem: 25276 kB Slab: 125868 kB SReclaimable: 99312 kB SUnreclaim: 26556 kB KernelStack: 3568 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1147096 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62016 MiB End job on node133 at 2017-08-07 00:29:55