Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | SAT | 6578.23 | 827.55 |
Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h374-19.xml |
MD5SUM | 3875648f967e99deb98809a056dae84c |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 32.512 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 900 |
Number of constraints | 2 |
Number of domains | 1 |
Minimum domain size | 30 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":30,"count":900}] |
Minimum variable degree | 1 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":1,"count":374},{"degree":2,"count":526}] |
Minimum constraint arity | 526 |
Maximum constraint arity | 900 |
Distribution of constraint arities | [{"arity":526,"count":1},{"arity":900,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399624-1568714485.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4399624-1568714485.xml, -tl, 20160s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 1.32/0.68 c solve instance... 6577.98/827.53 s SATISFIABLE 6577.98/827.53 v <instantiation> 6577.98/827.53 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] </list> 6577.98/827.53 v <values>24 17 9 1 25 21 13 10 6 5 15 20 29 2 23 4 11 7 3 22 19 28 16 0 26 18 12 14 8 27 17 11 27 6 14 2 18 12 23 4 16 24 26 28 0 22 3 29 15 7 9 25 13 19 5 21 10 20 1 8 6 1 25 24 16 8 21 13 19 12 0 17 23 18 22 10 15 26 28 9 5 4 3 7 2 27 29 11 14 20 1 16 26 2 29 3 25 9 12 11 22 27 6 0 5 28 24 4 14 13 15 7 10 21 18 8 23 17 20 19 29 0 15 28 22 6 19 18 8 2 13 7 25 23 4 11 10 20 1 3 26 21 12 17 14 9 5 16 27 24 8 19 1 15 13 20 14 3 22 21 17 18 0 4 29 9 12 6 25 2 24 27 28 16 7 10 26 23 11 5 19 3 16 0 15 29 8 23 9 28 12 26 14 20 21 7 27 17 2 18 25 6 1 22 13 24 11 10 5 4 20 4 28 17 26 10 24 0 29 19 7 2 8 3 27 16 18 15 22 5 21 13 11 14 25 23 9 6 12 1 7 2 14 20 18 5 12 17 15 9 8 23 22 25 6 0 28 13 29 26 10 3 21 11 27 4 1 24 19 16 0 26 23 10 19 25 11 28 14 18 29 6 3 21 13 15 1 27 20 12 17 22 4 24 9 16 8 5 2 7 21 18 20 11 27 4 6 8 13 23 5 9 2 22 7 14 17 24 19 0 12 1 25 26 16 28 3 29 15 10 2 29 13 14 7 9 26 5 24 15 10 21 12 11 16 6 25 28 23 27 22 20 18 8 17 1 19 0 4 3 18 14 0 22 21 26 5 24 25 1 6 16 15 10 20 12 19 3 27 4 8 29 23 2 28 13 17 7 9 11 14 13 11 9 8 16 23 20 2 6 19 3 4 27 18 25 29 5 24 1 28 0 22 10 21 26 7 15 17 12 10 21 12 27 3 0 29 2 17 22 1 15 11 5 9 24 6 16 7 25 14 8 20 18 23 19 13 4 28 26 15 8 10 29 4 11 27 19 0 7 28 1 13 16 14 3 21 22 6 23 20 26 9 5 12 25 24 2 18 17 12 25 18 23 10 14 9 6 5 29 20 28 17 7 19 21 26 8 4 11 13 2 0 27 1 15 16 3 24 22 13 24 7 5 0 22 10 15 16 3 27 12 20 9 1 17 14 25 18 28 11 19 8 23 29 6 4 21 26 2 26 7 6 8 20 28 15 22 18 27 21 10 16 17 3 1 23 2 12 19 4 5 24 29 11 14 0 25 13 9 9 6 4 16 11 15 7 21 28 8 24 5 27 26 10 2 20 23 17 29 3 12 14 13 19 0 22 1 25 18 11 22 17 12 2 13 3 29 27 20 4 25 10 8 24 23 7 21 26 16 1 14 19 9 0 5 28 18 6 15 3 23 24 13 5 27 1 16 4 25 26 11 18 19 8 29 2 9 10 20 0 15 17 12 6 7 14 22 21 28 4 15 29 7 12 18 17 1 26 13 14 8 19 24 28 27 16 0 11 21 2 23 5 3 10 20 6 9 22 25 23 5 2 18 28 24 4 26 1 17 11 14 9 6 25 19 13 12 8 15 7 10 29 20 3 22 21 27 16 0 27 28 8 26 9 1 22 25 21 14 3 13 5 29 2 20 4 18 0 17 16 11 7 6 24 12 15 19 10 23 16 20 21 19 24 17 28 7 3 10 18 29 1 13 12 26 0 11 5 6 27 9 15 4 22 2 25 8 23 14 28 9 5 3 1 12 16 27 10 26 2 4 7 14 11 18 22 19 21 8 23 24 6 25 15 17 20 13 0 29 22 10 3 25 17 23 2 4 11 0 9 19 28 15 26 8 5 14 13 24 6 16 27 1 20 29 18 12 7 21 5 27 22 4 23 19 20 14 7 24 25 0 21 12 17 13 9 1 16 10 29 18 26 15 8 11 2 28 3 6 25 12 19 21 6 7 0 11 20 16 23 22 24 1 15 5 8 10 9 14 18 17 2 28 4 3 27 26 29 13 </values> 6577.98/827.53 v </instantiation>
OK
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: 16375 MiB (14414 MiB free) memory of node 1: 16384 MiB (15447 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399624-1568714485/watcher-4399624-1568714485 -o /tmp/evaluation-result-4399624-1568714485/solver-4399624-1568714485 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568711923-28952 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1086942553 HOME/instance-4399624-1568714485.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29271, runsolver pid=29268 Current StackSize limit: 8192 KiB [startup+0.101738 s]* /proc/loadavg: 8.25 8.37 8.30 2/214 29294 /proc/meminfo: memFree=30559880/32770688 swapFree=66961212/67108860 [pid=29271] ppid=29268 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29271/stat : 29271 (xcsp3-exec) S 29268 29271 28925 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447390206 115843072 364 33554432000 4194304 5098028 140721612870976 140721612869080 139776953991804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38920192 140721612878709 140721612878953 140721612878953 140721612881866 0 /proc/29271/statm: 28282 364 305 221 0 87 0 [pid=29273] ppid=29271 vsize=28227396 memory=30296 CPUtime=0.12 cores=0-7 /proc/29273/stat : 29273 (java) S 29271 29271 28925 0 -1 1077944320 5464 0 0 0 11 1 0 0 20 0 20 0 447390207 28904853504 7574 33554432000 4194304 4196468 140736793791872 140736793774416 140673579020023 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 /proc/29273/statm: 7056849 7574 3146 1 0 7019032 0 [pid=29273/tid=29274] ppid=29271 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29273/task/29274/stat : 29274 (java) R 29271 29271 28925 0 -1 4202560 3370 0 0 0 8 0 0 0 20 0 20 0 447390207 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673583254656 140673563063653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29275] ppid=29271 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29273/task/29275/stat : 29275 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673535573008 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29276] ppid=29271 vsize=28227396 memory=140667556640384 CPUtime=0 cores=0-7 /proc/29273/task/29276/stat : 29276 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673128979600 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29277] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29277/stat : 29277 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673127926544 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29278] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29278/stat : 29278 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673126874000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29279] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29279/stat : 29279 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673125820944 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29280] ppid=29271 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29273/task/29280/stat : 29280 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673124768400 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29281] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29281/stat : 29281 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673123715344 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29282] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29282/stat : 29282 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 7574 33554432000 4194304 4196468 140736793791872 140673122662800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29283] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29283/stat : 29283 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390209 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672695425776 140673579031170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29284] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29284/stat : 29284 (java) S 29271 29271 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447390210 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672694372000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29285] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29285/stat : 29285 (java) S 29271 29271 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447390210 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672693318896 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29286] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29286/stat : 29286 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672692267472 140673579038619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29287] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29287/stat : 29287 (java) S 29271 29271 28925 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672691214576 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29288] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29288/stat : 29288 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672690162032 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29289] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29289/stat : 29289 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672689108976 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29290] ppid=29271 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29273/task/29290/stat : 29290 (java) S 29271 29271 28925 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 447390213 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672688056432 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29291] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29291/stat : 29291 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672687004640 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29292] ppid=29271 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29273/task/29292/stat : 29292 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390214 28904853504 7574 33554432000 4194304 4196468 140736793791872 140672685952176 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31752 KiB [startup+0.211596 s]* /proc/loadavg: 8.25 8.37 8.30 3/214 29294 /proc/meminfo: memFree=30547152/32770688 swapFree=66961212/67108860 [pid=29271] ppid=29268 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29271/stat : 29271 (xcsp3-exec) S 29268 29271 28925 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447390206 115843072 364 33554432000 4194304 5098028 140721612870976 140721612869080 139776953991804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38920192 140721612878709 140721612878953 140721612878953 140721612881866 0 /proc/29271/statm: 28282 364 305 221 0 87 0 [pid=29273] ppid=29271 vsize=28227396 memory=41068 CPUtime=0.33 cores=0-7 /proc/29273/stat : 29273 (java) S 29271 29271 28925 0 -1 1077944320 8979 0 0 0 30 3 0 0 20 0 20 0 447390207 28904853504 10267 33554432000 4194304 4196468 140736793791872 140736793774416 140673579020023 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 /proc/29273/statm: 7056849 10267 3274 1 0 7019032 0 [pid=29273/tid=29274] ppid=29271 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29273/task/29274/stat : 29274 (java) R 29271 29271 28925 0 -1 4202560 6175 0 0 0 18 2 0 0 20 0 20 0 447390207 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673583255504 140673579031958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29275] ppid=29271 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/29273/task/29275/stat : 29275 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673535573008 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29276] ppid=29271 vsize=28227396 memory=288371043708352128 CPUtime=0 cores=0-7 /proc/29273/task/29276/stat : 29276 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673128979600 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29277] ppid=29271 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29273/task/29277/stat : 29277 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673127926544 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29278] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29278/stat : 29278 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673126874000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29279] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29279/stat : 29279 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673125820944 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29280] ppid=29271 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29273/task/29280/stat : 29280 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673124768400 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29281] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29281/stat : 29281 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673123715344 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29282] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29282/stat : 29282 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28904853504 10267 33554432000 4194304 4196468 140736793791872 140673122662800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29283] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29283/stat : 29283 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390209 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672695425776 140673579031170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29284] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29284/stat : 29284 (java) S 29271 29271 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447390210 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672694372000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29285] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29285/stat : 29285 (java) S 29271 29271 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447390210 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672693318896 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29286] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29286/stat : 29286 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672692267472 140673579038619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29287] ppid=29271 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29273/task/29287/stat : 29287 (java) R 29271 29271 28925 0 -1 1077944384 635 0 0 0 2 0 0 0 20 0 20 0 447390213 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672691214576 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29288] ppid=29271 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29273/task/29288/stat : 29288 (java) S 29271 29271 28925 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 447390213 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672690162032 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29289] ppid=29271 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29273/task/29289/stat : 29289 (java) S 29271 29271 28925 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672689109072 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29290] ppid=29271 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/29273/task/29290/stat : 29290 (java) R 29271 29271 28925 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 447390213 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672688056432 140673579031958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29291] ppid=29271 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29291/stat : 29291 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390213 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672687004640 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29292] ppid=29271 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29273/task/29292/stat : 29292 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390214 28904853504 10267 33554432000 4194304 4196468 140736793791872 140672685952176 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42524 KiB [startup+0.311466 s]* /proc/loadavg: 8.25 8.37 8.30 3/214 29294 /proc/meminfo: memFree=30542424/32770688 swapFree=66961212/67108860 [pid=29271] ppid=29268 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29271/stat : 29271 (xcsp3-exec) S 29268 29271 28925 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447390206 115843072 364 33554432000 4194304 5098028 140721612870976 140721612869080 139776953991804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38920192 140721612878709 140721612878953 140721612878953 140721612881866 0 /proc/29271/statm: 28282 364 305 221 0 87 0 [pid=29273] ppid=29271 vsize=28231652 memory=46492 CPUtime=0.51 cores=0-7 /proc/29273/stat : 29273 (java) S 29271 29271 28925 0 -1 1077944320 10024 0 0 0 47 4 0 0 20 0 20 0 447390207 28909211648 11623 33554432000 4194304 4196468 140736793791872 140736793774416 140673579020023 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 /proc/29273/statm: 7057913 11623 3297 1 0 7019032 0 [pid=29273/tid=29274] ppid=29271 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29273/task/29274/stat : 29274 (java) R 29271 29271 28925 0 -1 4202560 7095 0 0 0 27 2 0 0 20 0 20 0 447390207 28909211648 11623 33554432000 4194304 4196468 140736793791872 140673583232432 140673563100510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29275] ppid=29271 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29275/stat : 29275 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673535573008 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29276] ppid=29271 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29276/stat : 29276 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673128979600 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29277] ppid=29271 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29277/stat : 29277 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673127926544 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29278] ppid=29271 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29278/stat : 29278 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673126874000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29279] ppid=29271 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/29273/task/29279/stat : 29279 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673125820944 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29280] ppid=29271 vsize=28231652 memory=140667426796463 CPUtime=0 cores=0-7 /proc/29273/task/29280/stat : 29280 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673124768400 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29281] ppid=29271 vsize=28231652 memory=140667426798768 CPUtime=0 cores=0-7 /proc/29273/task/29281/stat : 29281 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673123715344 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29282] ppid=29271 vsize=28231652 memory=140667426801072 CPUtime=0 cores=0-7 /proc/29273/task/29282/stat : 29282 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447390208 28909211648 11688 33554432000 4194304 4196468 140736793791872 140673122662800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29283] ppid=29271 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29283/stat : 29283 (java) S 29271 29271 28925 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447390209 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672695425776 140673579031170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29284] ppid=29271 vsize=28231652 memory=281334853609104 CPUtime=0 cores=0-7 /proc/29273/task/29284/stat : 29284 (java) S 29271 29271 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447390210 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672694372000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29285] ppid=29271 vsize=28231652 memory=281334853616016 CPUtime=0 cores=0-7 /proc/29273/task/29285/stat : 29285 (java) S 29271 29271 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447390210 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672693318896 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29286] ppid=29271 vsize=28231652 memory=281334853557264 CPUtime=0 cores=0-7 /proc/29273/task/29286/stat : 29286 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390213 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672692267472 140673579038619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29287] ppid=29271 vsize=28231652 memory=281334853629840 CPUtime=0.03 cores=0-7 /proc/29273/task/29287/stat : 29287 (java) S 29271 29271 28925 0 -1 1077944384 641 0 0 0 3 0 0 0 20 0 20 0 447390213 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672691214576 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29288] ppid=29271 vsize=28231652 memory=281334853636752 CPUtime=0.02 cores=0-7 /proc/29273/task/29288/stat : 29288 (java) S 29271 29271 28925 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 20 0 447390213 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672690162032 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29289] ppid=29271 vsize=28231652 memory=281334853634448 CPUtime=0.01 cores=0-7 /proc/29273/task/29289/stat : 29289 (java) S 29271 29271 28925 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 447390213 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672689108976 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29290] ppid=29271 vsize=28231652 memory=281334853650608 CPUtime=0.12 cores=0-7 /proc/29273/task/29290/stat : 29290 (java) S 29271 29271 28925 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 20 0 447390213 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672688056432 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29291] ppid=29271 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29291/stat : 29291 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447390213 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672687004640 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29292] ppid=29271 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29273/task/29292/stat : 29292 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447390214 28909211648 11688 33554432000 4194304 4196468 140736793791872 140672685952176 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47948 KiB [startup+0.707424 s] /proc/loadavg: 8.25 8.37 8.30 5/214 29294 /proc/meminfo: memFree=30528768/32770688 swapFree=66961212/67108860 [pid=29271] ppid=29268 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29271/stat : 29271 (xcsp3-exec) S 29268 29271 28925 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447390206 115843072 364 33554432000 4194304 5098028 140721612870976 140721612869080 139776953991804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38920192 140721612878709 140721612878953 140721612878953 140721612881866 0 /proc/29271/statm: 28282 364 305 221 0 87 0 [pid=29273] ppid=29271 vsize=28700752 memory=124888 CPUtime=1.77 cores=0-7 /proc/29273/stat : 29273 (java) S 29271 29271 28925 0 -1 1077944320 16555 0 0 0 170 7 0 0 20 0 28 0 447390207 29389570048 31222 33554432000 4194304 4196468 140736793791872 140736793774416 140673579020023 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 /proc/29273/statm: 7175188 31222 3462 1 0 7136288 0 [pid=29273/tid=29274] ppid=29271 vsize=28700752 memory=281334854008496 CPUtime=0.67 cores=0-7 /proc/29273/task/29274/stat : 29274 (java) S 29271 29271 28925 0 -1 1077944384 8633 0 0 0 63 4 0 0 20 0 28 0 447390207 29389570048 31222 33554432000 4194304 4196468 140736793791872 140673583260800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29275] ppid=29271 vsize=28700752 memory=140667427005296 CPUtime=0 cores=0-7 /proc/29273/task/29275/stat : 29275 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447390208 29389570048 31222 33554432000 4194304 4196468 140736793791872 140673535573008 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29276] ppid=29271 vsize=28700752 memory=0 CPUtime=0 cores=0-7 /proc/29273/task/29276/stat : 29276 (java) S 29271 29271 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447390208 29389570048 31222 33554432000 4194304 4196468 140736793791872 140673128979600 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29277] ppid=29271 vsize=28700752 memory=2832 CPUtime=0 cores=0-7 /proc/29273/task/29277/stat : 29277 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447390208 29389570048 31222 33554432000 4194304 4196468 140736793791872 140673127926544 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 ################ # More data... # ################ [pid=29273/tid=29290] ppid=29271 vsize=28766288 memory=6791534058613427641 CPUtime=0.72 cores=0-7 /proc/29273/task/29290/stat : 29290 (java) S 29271 29271 28925 0 -1 1077944384 8200 0 0 0 69 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672688056432 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29291] ppid=29271 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29273/task/29291/stat : 29291 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672687004640 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29292] ppid=29271 vsize=28766288 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/29273/task/29292/stat : 29292 (java) S 29271 29271 28925 0 -1 1077944384 3333 0 0 0 3 24 0 0 20 0 28 0 447390214 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672685952176 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29295] ppid=29271 vsize=28766288 memory=111636 CPUtime=820.57 cores=0-7 /proc/29273/task/29295/stat : 29295 (java) R 29271 29271 28925 0 -1 4202560 3850 0 0 0 82054 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672676731536 140673220574198 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29296] ppid=29271 vsize=28766288 memory=800 CPUtime=820.07 cores=0-7 /proc/29273/task/29296/stat : 29296 (java) R 29271 29271 28925 0 -1 4202560 4080 0 0 0 82004 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672675680488 140673220492773 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29297] ppid=29271 vsize=28766288 memory=407120 CPUtime=818.81 cores=0-7 /proc/29273/task/29297/stat : 29297 (java) R 29271 29271 28925 0 -1 4202560 7037 0 0 0 81873 8 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672674627192 140673220438969 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29298] ppid=29271 vsize=28766288 memory=8560 CPUtime=819.34 cores=0-7 /proc/29273/task/29298/stat : 29298 (java) R 29271 29271 28925 0 -1 4202560 9580 0 0 0 81923 11 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672673574888 140673221240840 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29299] ppid=29271 vsize=28766288 memory=6791534058613427641 CPUtime=820.44 cores=0-7 /proc/29273/task/29299/stat : 29299 (java) R 29271 29271 28925 0 -1 4202560 8511 0 0 0 82033 11 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672672524144 140673221214152 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29300] ppid=29271 vsize=28766288 memory=23192 CPUtime=818.38 cores=0-7 /proc/29273/task/29300/stat : 29300 (java) R 29271 29271 28925 0 -1 4202560 8306 0 0 0 81829 9 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672671469480 140673220437901 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29301] ppid=29271 vsize=28766288 memory=1760 CPUtime=817.76 cores=0-7 /proc/29273/task/29301/stat : 29301 (java) R 29271 29271 28925 0 -1 4202560 4346 0 0 0 81773 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672670417560 140673220139401 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29302] ppid=29271 vsize=28766288 memory=111636 CPUtime=818.62 cores=0-7 /proc/29273/task/29302/stat : 29302 (java) R 29271 29271 28925 0 -1 4202560 12431 0 0 0 81852 10 0 0 20 0 28 0 447390277 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672669364904 140673220574253 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 Current children cumulated CPU time: 6575.59 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 407036 KiB [startup+827.401 s] /proc/loadavg: 8.10 8.33 8.33 9/220 29383 /proc/meminfo: memFree=30185076/32770688 swapFree=66961212/67108860 [pid=29271] ppid=29268 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29271/stat : 29271 (xcsp3-exec) S 29268 29271 28925 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447390206 115843072 364 33554432000 4194304 5098028 140721612870976 140721612869080 139776953991804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38920192 140721612878709 140721612878953 140721612878953 140721612881866 0 /proc/29271/statm: 28282 364 305 221 0 87 0 [pid=29273] ppid=29271 vsize=28766288 memory=405580 CPUtime=6577.19 cores=0-7 /proc/29273/stat : 29273 (java) S 29271 29271 28925 0 -1 1077944320 206831 0 0 0 657551 168 0 0 20 0 28 0 447390207 29456678912 101395 33554432000 4194304 4196468 140736793791872 140736793774416 140673579020023 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 /proc/29273/statm: 7191572 101395 3548 1 0 7152672 0 [pid=29273/tid=29274] ppid=29271 vsize=28766288 memory=1808 CPUtime=0.67 cores=0-7 /proc/29273/task/29274/stat : 29274 (java) S 29271 29271 28925 0 -1 1077944384 8633 0 0 0 63 4 0 0 20 0 28 0 447390207 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673583260800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29275] ppid=29271 vsize=28766288 memory=920 CPUtime=1.47 cores=0-7 /proc/29273/task/29275/stat : 29275 (java) S 29271 29271 28925 0 -1 1077944384 7674 0 0 0 138 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673535573008 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29276] ppid=29271 vsize=28766288 memory=4164 CPUtime=1.49 cores=0-7 /proc/29273/task/29276/stat : 29276 (java) S 29271 29271 28925 0 -1 1077944384 7990 0 0 0 141 8 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673128979600 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29277] ppid=29271 vsize=28766288 memory=4100 CPUtime=1.48 cores=0-7 /proc/29273/task/29277/stat : 29277 (java) S 29271 29271 28925 0 -1 1077944384 6047 0 0 0 139 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673127926544 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29278] ppid=29271 vsize=28766288 memory=1408 CPUtime=1.52 cores=0-7 /proc/29273/task/29278/stat : 29278 (java) S 29271 29271 28925 0 -1 1077944384 7402 0 0 0 144 8 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673126874000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29279] ppid=29271 vsize=28766288 memory=984 CPUtime=1.5 cores=0-7 /proc/29273/task/29279/stat : 29279 (java) S 29271 29271 28925 0 -1 1077944384 8620 0 0 0 141 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673125820944 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29280] ppid=29271 vsize=28766288 memory=2044 CPUtime=1.46 cores=0-7 /proc/29273/task/29280/stat : 29280 (java) S 29271 29271 28925 0 -1 1077944384 8202 0 0 0 138 8 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673124768400 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29281] ppid=29271 vsize=28766288 memory=1388 CPUtime=1.48 cores=0-7 /proc/29273/task/29281/stat : 29281 (java) S 29271 29271 28925 0 -1 1077944384 7641 0 0 0 139 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673123715344 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29282] ppid=29271 vsize=28766288 memory=1056 CPUtime=1.5 cores=0-7 /proc/29273/task/29282/stat : 29282 (java) S 29271 29271 28925 0 -1 1077944384 6315 0 0 0 141 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673122662800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29283] ppid=29271 vsize=28766288 memory=788 CPUtime=0.88 cores=0-7 /proc/29273/task/29283/stat : 29283 (java) S 29271 29271 28925 0 -1 1077944384 20883 0 0 0 66 22 0 0 20 0 28 0 447390209 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672695425776 140673579031170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29284] ppid=29271 vsize=28766288 memory=1708 CPUtime=0 cores=0-7 /proc/29273/task/29284/stat : 29284 (java) S 29271 29271 28925 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447390210 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672694372064 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29285] ppid=29271 vsize=28766288 memory=1280 CPUtime=0 cores=0-7 /proc/29273/task/29285/stat : 29285 (java) S 29271 29271 28925 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 447390210 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672693318912 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29286] ppid=29271 vsize=28766288 memory=6028 CPUtime=0 cores=0-7 /proc/29273/task/29286/stat : 29286 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672692267472 140673579038619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29287] ppid=29271 vsize=28766288 memory=780 CPUtime=2.36 cores=0-7 /proc/29273/task/29287/stat : 29287 (java) S 29271 29271 28925 0 -1 1077944384 18749 0 0 0 233 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672691214576 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29288] ppid=29271 vsize=28766288 memory=14068 CPUtime=2.16 cores=0-7 /proc/29273/task/29288/stat : 29288 (java) S 29271 29271 28925 0 -1 1077944384 15266 0 0 0 213 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672690162032 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29289] ppid=29271 vsize=28766288 memory=2120 CPUtime=2.41 cores=0-7 /proc/29273/task/29289/stat : 29289 (java) S 29271 29271 28925 0 -1 1077944384 12357 0 0 0 238 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672689108976 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29290] ppid=29271 vsize=28766288 memory=496 CPUtime=0.72 cores=0-7 /proc/29273/task/29290/stat : 29290 (java) S 29271 29271 28925 0 -1 1077944384 8200 0 0 0 69 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672688056432 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29291] ppid=29271 vsize=28766288 memory=1556 CPUtime=0 cores=0-7 /proc/29273/task/29291/stat : 29291 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672687004640 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29292] ppid=29271 vsize=28766288 memory=928 CPUtime=0.27 cores=0-7 /proc/29273/task/29292/stat : 29292 (java) S 29271 29271 28925 0 -1 1077944384 3333 0 0 0 3 24 0 0 20 0 28 0 447390214 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672685952176 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29295] ppid=29271 vsize=28766288 memory=1628 CPUtime=820.77 cores=0-7 /proc/29273/task/29295/stat : 29295 (java) R 29271 29271 28925 0 -1 4202560 3850 0 0 0 82074 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672676731536 140673220438639 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29296] ppid=29271 vsize=28766288 memory=796 CPUtime=820.27 cores=0-7 /proc/29273/task/29296/stat : 29296 (java) R 29271 29271 28925 0 -1 4202560 4081 0 0 0 82024 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672675680488 140673221239860 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29297] ppid=29271 vsize=28766288 memory=1444 CPUtime=819.01 cores=0-7 /proc/29273/task/29297/stat : 29297 (java) R 29271 29271 28925 0 -1 4202560 7037 0 0 0 81893 8 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672674627192 140673221239809 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29298] ppid=29271 vsize=28766288 memory=1984 CPUtime=819.54 cores=0-7 /proc/29273/task/29298/stat : 29298 (java) R 29271 29271 28925 0 -1 4202560 9580 0 0 0 81943 11 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672673574888 140673220140414 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29299] ppid=29271 vsize=28766288 memory=2424 CPUtime=820.64 cores=0-7 /proc/29273/task/29299/stat : 29299 (java) R 29271 29271 28925 0 -1 4202560 8511 0 0 0 82053 11 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672672524144 140673220986318 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29300] ppid=29271 vsize=28766288 memory=496 CPUtime=818.58 cores=0-7 /proc/29273/task/29300/stat : 29300 (java) R 29271 29271 28925 0 -1 4202560 8306 0 0 0 81849 9 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672671469480 140673221244943 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29301] ppid=29271 vsize=28766288 memory=1556 CPUtime=817.96 cores=0-7 /proc/29273/task/29301/stat : 29301 (java) R 29271 29271 28925 0 -1 4202560 4346 0 0 0 81793 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672670417560 140673221239737 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29302] ppid=29271 vsize=28766288 memory=928 CPUtime=818.82 cores=0-7 /proc/29273/task/29302/stat : 29302 (java) R 29271 29271 28925 0 -1 4202560 12431 0 0 0 81872 10 0 0 20 0 28 0 447390277 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672669364904 140673219394474 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 Current children cumulated CPU time: 6577.19 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 407036 KiB [startup+827.501 s] /proc/loadavg: 8.10 8.33 8.33 9/220 29383 /proc/meminfo: memFree=30185076/32770688 swapFree=66961212/67108860 [pid=29271] ppid=29268 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29271/stat : 29271 (xcsp3-exec) S 29268 29271 28925 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447390206 115843072 364 33554432000 4194304 5098028 140721612870976 140721612869080 139776953991804 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38920192 140721612878709 140721612878953 140721612878953 140721612881866 0 /proc/29271/statm: 28282 364 305 221 0 87 0 [pid=29273] ppid=29271 vsize=28766288 memory=405580 CPUtime=6577.98 cores=0-7 /proc/29273/stat : 29273 (java) S 29271 29271 28925 0 -1 1077944320 206831 0 0 0 657630 168 0 0 20 0 28 0 447390207 29456678912 101395 33554432000 4194304 4196468 140736793791872 140736793774416 140673579020023 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 /proc/29273/statm: 7191572 101395 3548 1 0 7152672 0 [pid=29273/tid=29274] ppid=29271 vsize=28766288 memory=406608 CPUtime=0.67 cores=0-7 /proc/29273/task/29274/stat : 29274 (java) S 29271 29271 28925 0 -1 1077944384 8633 0 0 0 63 4 0 0 20 0 28 0 447390207 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673583260800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29275] ppid=29271 vsize=28766288 memory=405580 CPUtime=1.47 cores=0-7 /proc/29273/task/29275/stat : 29275 (java) S 29271 29271 28925 0 -1 1077944384 7674 0 0 0 138 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673535573008 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29276] ppid=29271 vsize=28766288 memory=1456 CPUtime=1.49 cores=0-7 /proc/29273/task/29276/stat : 29276 (java) S 29271 29271 28925 0 -1 1077944384 7990 0 0 0 141 8 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673128979600 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29277] ppid=29271 vsize=28766288 memory=405580 CPUtime=1.48 cores=0-7 /proc/29273/task/29277/stat : 29277 (java) S 29271 29271 28925 0 -1 1077944384 6047 0 0 0 139 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673127926544 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29278] ppid=29271 vsize=28766288 memory=1456 CPUtime=1.52 cores=0-7 /proc/29273/task/29278/stat : 29278 (java) S 29271 29271 28925 0 -1 1077944384 7402 0 0 0 144 8 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673126874000 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29279] ppid=29271 vsize=28766288 memory=0 CPUtime=1.5 cores=0-7 /proc/29273/task/29279/stat : 29279 (java) S 29271 29271 28925 0 -1 1077944384 8620 0 0 0 141 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673125820944 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29280] ppid=29271 vsize=28766288 memory=405580 CPUtime=1.46 cores=0-7 /proc/29273/task/29280/stat : 29280 (java) S 29271 29271 28925 0 -1 1077944384 8202 0 0 0 138 8 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673124768400 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29281] ppid=29271 vsize=28766288 memory=1456 CPUtime=1.48 cores=0-7 /proc/29273/task/29281/stat : 29281 (java) S 29271 29271 28925 0 -1 1077944384 7641 0 0 0 139 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673123715344 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29282] ppid=29271 vsize=28766288 memory=164 CPUtime=1.5 cores=0-7 /proc/29273/task/29282/stat : 29282 (java) S 29271 29271 28925 0 -1 1077944384 6315 0 0 0 141 9 0 0 20 0 28 0 447390208 29456678912 101395 33554432000 4194304 4196468 140736793791872 140673122662800 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29283] ppid=29271 vsize=28766288 memory=7233736994252652628 CPUtime=0.88 cores=0-7 /proc/29273/task/29283/stat : 29283 (java) S 29271 29271 28925 0 -1 1077944384 20883 0 0 0 66 22 0 0 20 0 28 0 447390209 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672695425776 140673579031170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29284] ppid=29271 vsize=28766288 memory=3840 CPUtime=0 cores=0-7 /proc/29273/task/29284/stat : 29284 (java) S 29271 29271 28925 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447390210 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672694372064 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29285] ppid=29271 vsize=28766288 memory=1456 CPUtime=0 cores=0-7 /proc/29273/task/29285/stat : 29285 (java) S 29271 29271 28925 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 447390210 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672693318912 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29286] ppid=29271 vsize=28766288 memory=406608 CPUtime=0 cores=0-7 /proc/29273/task/29286/stat : 29286 (java) S 29271 29271 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672692267472 140673579038619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29287] ppid=29271 vsize=28766288 memory=1456 CPUtime=2.36 cores=0-7 /proc/29273/task/29287/stat : 29287 (java) S 29271 29271 28925 0 -1 1077944384 18749 0 0 0 233 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672691214576 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29288] ppid=29271 vsize=28766288 memory=406608 CPUtime=2.16 cores=0-7 /proc/29273/task/29288/stat : 29288 (java) S 29271 29271 28925 0 -1 1077944384 15266 0 0 0 213 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672690162032 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29289] ppid=29271 vsize=28766288 memory=47172 CPUtime=2.41 cores=0-7 /proc/29273/task/29289/stat : 29289 (java) S 29271 29271 28925 0 -1 1077944384 12357 0 0 0 238 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672689108976 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29290] ppid=29271 vsize=28766288 memory=406608 CPUtime=0.72 cores=0-7 /proc/29273/task/29290/stat : 29290 (java) S 29271 29271 28925 0 -1 1077944384 8200 0 0 0 69 3 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672688056432 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29291] ppid=29271 vsize=28766288 memory=1456 CPUtime=0 cores=0-7 /proc/29273/task/29291/stat : 29291 (java) S 29271 29271 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447390213 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672687004640 140673579030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29292] ppid=29271 vsize=28766288 memory=1456 CPUtime=0.27 cores=0-7 /proc/29273/task/29292/stat : 29292 (java) S 29271 29271 28925 0 -1 1077944384 3333 0 0 0 3 24 0 0 20 0 28 0 447390214 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672685952176 140673579031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29295] ppid=29271 vsize=28766288 memory=406608 CPUtime=820.87 cores=0-7 /proc/29273/task/29295/stat : 29295 (java) R 29271 29271 28925 0 -1 4202560 3850 0 0 0 82084 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672676731536 140673220890687 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29296] ppid=29271 vsize=28766288 memory=1456 CPUtime=820.37 cores=0-7 /proc/29273/task/29296/stat : 29296 (java) R 29271 29271 28925 0 -1 4202560 4081 0 0 0 82034 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672675680488 140673220241644 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29297] ppid=29271 vsize=28766288 memory=14068 CPUtime=819.11 cores=0-7 /proc/29273/task/29297/stat : 29297 (java) R 29271 29271 28925 0 -1 4202560 7037 0 0 0 81903 8 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672674627192 140673220574211 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29298] ppid=29271 vsize=28766288 memory=2120 CPUtime=819.64 cores=0-7 /proc/29273/task/29298/stat : 29298 (java) R 29271 29271 28925 0 -1 4202560 9580 0 0 0 81953 11 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672673574888 140673221239879 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29299] ppid=29271 vsize=28766288 memory=1456 CPUtime=820.74 cores=0-7 /proc/29273/task/29299/stat : 29299 (java) R 29271 29271 28925 0 -1 4202560 8511 0 0 0 82063 11 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672672524144 140673221096652 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29300] ppid=29271 vsize=28766288 memory=47172 CPUtime=818.68 cores=0-7 /proc/29273/task/29300/stat : 29300 (java) R 29271 29271 28925 0 -1 4202560 8306 0 0 0 81859 9 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672671469480 140673222496808 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29301] ppid=29271 vsize=28766288 memory=1280 CPUtime=818.06 cores=0-7 /proc/29273/task/29301/stat : 29301 (java) R 29271 29271 28925 0 -1 4202560 4346 0 0 0 81803 3 0 0 20 0 28 0 447390276 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672670417560 140673220241783 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 [pid=29273/tid=29302] ppid=29271 vsize=28766288 memory=6028 CPUtime=818.92 cores=0-7 /proc/29273/task/29302/stat : 29302 (java) R 29271 29271 28925 0 -1 4202560 12431 0 0 0 81882 10 0 0 20 0 28 0 447390277 29456678912 101395 33554432000 4194304 4196468 140736793791872 140672669364904 140673215179538 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14323712 140736793797610 140736793797782 140736793797782 140736793800655 0 Current children cumulated CPU time: 6577.98 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 407036 KiB Child status: 0 Real time (s): 827.55 CPU time (s): 6578.23 CPU user time (s): 6576.53 CPU system time (s): 1.69423 CPU usage (%): 794.904 Max. virtual memory (cumulated for all children) (KiB): 28885100 Max. memory (cumulated for all children) (KiB): 541292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6576.53 system time used= 1.69423 maximum resident set size= 542332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 208031 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 72041 involuntary context switches= 75286 # summary of solver processes directly reported to runsolver: # pid: 29271 # total CPU time (s): 6578.23 # total CPU user time (s): 6576.53 # total CPU system time (s): 1.69423 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.10655 second user time and 11.0419 second system time The end
Begin job on node116 at 2019-09-17 12:00:44 IDJOB=4399624 IDBENCH=138957 IDSOLVER=2854 FILE ID=node116/4399624-1568714485 RUNJOBID= node116-1568711923-28952 PBS_JOBID= 21703942 Free space on /tmp= 61232 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-19.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399624-1568714485/watcher-4399624-1568714485 -o /tmp/evaluation-result-4399624-1568714485/solver-4399624-1568714485 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568711923-28952 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1086942553 HOME/instance-4399624-1568714485.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3875648f967e99deb98809a056dae84c RANDOM SEED=1086942553 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30578944 kB MemAvailable: 31847160 kB Buffers: 154552 kB Cached: 1407668 kB SwapCached: 46584 kB Active: 1028572 kB Inactive: 585228 kB Active(anon): 4768 kB Inactive(anon): 95240 kB Active(file): 1023804 kB Inactive(file): 489988 kB Unevictable: 110292 kB Mlocked: 110292 kB SwapTotal: 67108860 kB SwapFree: 66961212 kB Dirty: 26184 kB Writeback: 0 kB AnonPages: 115104 kB Mapped: 47740 kB Shmem: 40296 kB Slab: 168832 kB SReclaimable: 140520 kB SUnreclaim: 28312 kB KernelStack: 3376 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 505824 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61208 MiB End job on node116 at 2019-09-17 12:14:32