Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 17 | 1997.18 | 252.109 |
Name | Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml |
MD5SUM | 121f2d819dbc4bca8c6410c9ab5baa2a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 1998.41 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 882 |
Number of constraints | 947 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":2,"count":792},{"size":7,"count":12},{"size":11,"count":12},{"size":12,"count":66}] |
Minimum variable degree | 1 |
Maximum variable degree | 18 |
Distribution of variable degrees | [{"degree":1,"count":12},{"degree":2,"count":12},{"degree":4,"count":792},{"degree":12,"count":11},{"degree":13,"count":20},{"degree":14,"count":15},{"degree":15,"count":9},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 67 |
Distribution of constraint arities | [{"arity":2,"count":857},{"arity":12,"count":66},{"arity":67,"count":24}] |
Number of extensional constraints | 792 |
Number of intensional constraints | 65 |
Distribution of constraint types | [{"type":"extension","count":792},{"type":"intension","count":65},{"type":"sum","count":90}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405063-1569014365.xml" -tl '2016s' -p 8 0.11/0.20 c Choco 3fb4b153 0.11/0.20 c [HOME/instance-4405063-1569014365.xml, -tl, 2016s, -p, 8] 0.34/0.25 c 8 solvers in parallel 0.51/0.32 c parse instance... 3.90/1.21 c solve instance... 4.56/1.35 o 20 4.56/1.36 o 19 5.24/1.47 o 18 6.85/1.63 o 17 1996.52/252.08 s SATISFIABLE 1996.52/252.08 v <instantiation> 1996.52/252.08 v <list>prd[0] prd[1] prd[2] prd[3] prd[4] prd[5] prd[6] prd[7] prd[8] prd[9] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] prd[20] prd[21] prd[22] prd[23] prd[24] prd[25] prd[26] prd[27] prd[28] prd[29] prd[30] prd[31] prd[32] prd[33] prd[34] prd[35] prd[36] prd[37] prd[38] prd[39] prd[40] prd[41] prd[42] prd[43] prd[44] prd[45] prd[46] prd[47] prd[48] prd[49] prd[50] prd[51] prd[52] prd[53] prd[54] prd[55] prd[56] prd[57] prd[58] prd[59] prd[60] prd[61] prd[62] prd[63] prd[64] prd[65] nco[0] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] nco[8] nco[9] nco[10] nco[11] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] ncr[8] ncr[9] ncr[10] ncr[11] pc[0][0] pc[0][1] pc[0][2] pc[0][3] pc[0][4] pc[0][5] pc[0][6] pc[0][7] pc[0][8] pc[0][9] pc[0][10] pc[0][11] pc[0][12] pc[0][13] pc[0][14] pc[0][15] pc[0][16] pc[0][17] pc[0][18] pc[0][19] pc[0][20] pc[0][21] pc[0][22] pc[0][23] pc[0][24] pc[0][25] pc[0][26] pc[0][27] pc[0][28] pc[0][29] pc[0][30] pc[0][31] pc[0][32] pc[0][33] pc[0][34] pc[0][35] pc[0][36] pc[0][37] pc[0][38] pc[0][39] pc[0][40] pc[0][41] pc[0][42] pc[0][43] pc[0][44] pc[0][45] pc[0][46] pc[0][47] pc[0][48] pc[0][49] pc[0][50] pc[0][51] pc[0][52] pc[0][53] pc[0][54] pc[0][55] pc[0][56] pc[0][57] pc[0][58] pc[0][59] pc[0][60] pc[0][61] pc[0][62] pc[0][63] pc[0][64] pc[0][65] pc[1][0] pc[1][1] pc[1][2] pc[1][3] pc[1][4] pc[1][5] pc[1][6] pc[1][7] pc[1][8] pc[1][9] pc[1][10] pc[1][11] pc[1][12] pc[1][13] pc[1][14] pc[1][15] pc[1][16] pc[1][17] pc[1][18] pc[1][19] pc[1][20] pc[1][21] pc[1][22] pc[1][23] pc[1][24] pc[1][25] pc[1][26] pc[1][27] pc[1][28] pc[1][29] pc[1][30] pc[1][31] pc[1][32] pc[1][33] pc[1][34] pc[1][35] pc[1][36] pc[1][37] pc[1][38] pc[1][39] pc[1][40] pc[1][41] pc[1][42] pc[1][43] pc[1][44] pc[1][45] pc[1][46] pc[1][47] pc[1][48] pc[1][49] pc[1][50] pc[1][51] pc[1][52] pc[1][53] pc[1][54] pc[1][55] pc[1][56] pc[1][57] pc[1][58] pc[1][59] pc[1][60] pc[1][61] pc[1][62] pc[1][63] pc[1][64] pc[1][65] pc[2][0] pc[2][1] pc[2][2] pc[2][3] pc[2][4] pc[2][5] pc[2][6] pc[2][7] pc[2][8] pc[2][9] pc[2][10] pc[2][11] pc[2][12] pc[2][13] pc[2][14] pc[2][15] pc[2][16] pc[2][17] pc[2][18] pc[2][19] pc[2][20] pc[2][21] pc[2][22] pc[2][23] pc[2][24] pc[2][25] pc[2][26] pc[2][27] pc[2][28] pc[2][29] pc[2][30] pc[2][31] pc[2][32] pc[2][33] pc[2][34] pc[2][35] pc[2][36] pc[2][37] pc[2][38] pc[2][39] pc[2][40] pc[2][41] pc[2][42] pc[2][43] pc[2][44] pc[2][45] pc[2][46] pc[2][47] pc[2][48] pc[2][49] pc[2][50] pc[2][51] pc[2][52] pc[2][53] pc[2][54] pc[2][55] pc[2][56] pc[2][57] pc[2][58] pc[2][59] pc[2][60] pc[2][61] pc[2][62] pc[2][63] pc[2][64] pc[2][65] pc[3][0] pc[3][1] pc[3][2] pc[3][3] pc[3][4] pc[3][5] pc[3][6] pc[3][7] pc[3][8] pc[3][9] pc[3][10] pc[3][11] pc[3][12] pc[3][13] pc[3][14] pc[3][15] pc[3][16] pc[3][17] pc[3][18] pc[3][19] pc[3][20] pc[3][21] pc[3][22] pc[3][23] pc[3][24] pc[3][25] pc[3][26] pc[3][27] pc[3][28] pc[3][29] pc[3][30] pc[3][31] pc[3][32] pc[3][33] pc[3][34] pc[3][35] pc[3][36] pc[3][37] pc[3][38] pc[3][39] pc[3][40] pc[3][41] pc[3][42] pc[3][43] pc[3][44] pc[3][45] pc[3][46] pc[3][47] pc[3][48] pc[3][49] pc[3][50] pc[3][51] pc[3][52] pc[3][53] pc[3][54] pc[3][55] pc[3][56] pc[3][57] pc[3][58] pc[3][59] pc[3][60] pc[3][61] pc[3][62] pc[3][63] pc[3][64] pc[3][65] pc[4][0] pc[4][1] pc[4][2] pc[4][3] pc[4][4] pc[4][5] pc[4][6] pc[4][7] pc[4][8] pc[4][9] pc[4][10] pc[4][11] pc[4][12] pc[4][13] pc[4][14] pc[4][15] pc[4][16] pc[4][17] pc[4][18] pc[4][19] pc[4][20] pc[4][21] pc[4][22] pc[4][23] pc[4][24] pc[4][25] pc[4][26] pc[4][27] pc[4][28] pc[4][29] pc[4][30] pc[4][31] pc[4][32] pc[4][33] pc[4][34] pc[4][35] pc[4][36] pc[4][37] pc[4][38] pc[4][39] pc[4][40] pc[4][41] pc[4][42] pc[4][43] pc[4][44] pc[4][45] pc[4][46] pc[4][47] pc[4][48] pc[4][49] pc[4][50] pc[4][51] pc[4][52] pc[4][53] pc[4][54] pc[4][55] pc[4][56] pc[4][57] pc[4][58] pc[4][59] pc[4][60] pc[4][61] pc[4][62] pc[4][63] pc[4][64] pc[4][65] pc[5][0] pc[5][1] pc[5][2] pc[5][3] pc[5][4] pc[5][5] pc[5][6] pc[5][7] pc[5][8] pc[5][9] pc[5][10] pc[5][11] pc[5][12] pc[5][13] pc[5][14] pc[5][15] pc[5][16] pc[5][17] pc[5][18] pc[5][19] pc[5][20] pc[5][21] pc[5][22] pc[5][23] pc[5][24] pc[5][25] pc[5][26] pc[5][27] pc[5][28] pc[5][29] pc[5][30] pc[5][31] pc[5][32] pc[5][33] pc[5][34] pc[5][35] pc[5][36] pc[5][37] pc[5][38] pc[5][39] pc[5][40] pc[5][41] pc[5][42] pc[5][43] pc[5][44] pc[5][45] pc[5][46] pc[5][47] pc[5][48] pc[5][49] pc[5][50] pc[5][51] pc[5][52] pc[5][53] pc[5][54] pc[5][55] pc[5][56] pc[5][57] pc[5][58] pc[5][59] pc[5][60] pc[5][61] pc[5][62] pc[5][63] pc[5][64] pc[5][65] pc[6][0] pc[6][1] pc[6][2] pc[6][3] pc[6][4] pc[6][5] pc[6][6] pc[6][7] pc[6][8] pc[6][9] pc[6][10] pc[6][11] pc[6][12] pc[6][13] pc[6][14] pc[6][15] pc[6][16] pc[6][17] pc[6][18] pc[6][19] pc[6][20] pc[6][21] pc[6][22] pc[6][23] pc[6][24] pc[6][25] pc[6][26] pc[6][27] pc[6][28] pc[6][29] pc[6][30] pc[6][31] pc[6][32] pc[6][33] pc[6][34] pc[6][35] pc[6][36] pc[6][37] pc[6][38] pc[6][39] pc[6][40] pc[6][41] pc[6][42] pc[6][43] pc[6][44] pc[6][45] pc[6][46] pc[6][47] pc[6][48] pc[6][49] pc[6][50] pc[6][51] pc[6][52] pc[6][53] pc[6][54] pc[6][55] pc[6][56] pc[6][57] pc[6][58] pc[6][59] pc[6][60] pc[6][61] pc[6][62] pc[6][63] pc[6][64] pc[6][65] pc[7][0] pc[7][1] pc[7][2] pc[7][3] pc[7][4] pc[7][5] pc[7][6] pc[7][7] pc[7][8] pc[7][9] pc[7][10] pc[7][11] pc[7][12] pc[7][13] pc[7][14] pc[7][15] pc[7][16] pc[7][17] pc[7][18] pc[7][19] pc[7][20] pc[7][21] pc[7][22] pc[7][23] pc[7][24] pc[7][25] pc[7][26] pc[7][27] pc[7][28] pc[7][29] pc[7][30] pc[7][31] pc[7][32] pc[7][33] pc[7][34] pc[7][35] pc[7][36] pc[7][37] pc[7][38] pc[7][39] pc[7][40] pc[7][41] pc[7][42] pc[7][43] pc[7][44] pc[7][45] pc[7][46] pc[7][47] pc[7][48] pc[7][49] pc[7][50] pc[7][51] pc[7][52] pc[7][53] pc[7][54] pc[7][55] pc[7][56] pc[7][57] pc[7][58] pc[7][59] pc[7][60] pc[7][61] pc[7][62] pc[7][63] pc[7][64] pc[7][65] pc[8][0] pc[8][1] pc[8][2] pc[8][3] pc[8][4] pc[8][5] pc[8][6] pc[8][7] pc[8][8] pc[8][9] pc[8][10] pc[8][11] pc[8][12] pc[8][13] pc[8][14] pc[8][15] pc[8][16] pc[8][17] pc[8][18] pc[8][19] pc[8][20] pc[8][21] pc[8][22] pc[8][23] pc[8][24] pc[8][25] pc[8][26] pc[8][27] pc[8][28] pc[8][29] pc[8][30] pc[8][31] pc[8][32] pc[8][33] pc[8][34] pc[8][35] pc[8][36] pc[8][37] pc[8][38] pc[8][39] pc[8][40] pc[8][41] pc[8][42] pc[8][43] pc[8][44] pc[8][45] pc[8][46] pc[8][47] pc[8][48] pc[8][49] pc[8][50] pc[8][51] pc[8][52] pc[8][53] pc[8][54] pc[8][55] pc[8][56] pc[8][57] pc[8][58] pc[8][59] pc[8][60] pc[8][61] pc[8][62] pc[8][63] pc[8][64] pc[8][65] pc[9][0] pc[9][1] pc[9][2] pc[9][3] pc[9][4] pc[9][5] pc[9][6] pc[9][7] pc[9][8] pc[9][9] pc[9][10] pc[9][11] pc[9][12] pc[9][13] pc[9][14] pc[9][15] pc[9][16] pc[9][17] pc[9][18] pc[9][19] pc[9][20] pc[9][21] pc[9][22] pc[9][23] pc[9][24] pc[9][25] pc[9][26] pc[9][27] pc[9][28] pc[9][29] pc[9][30] pc[9][31] pc[9][32] pc[9][33] pc[9][34] pc[9][35] pc[9][36] pc[9][37] pc[9][38] pc[9][39] pc[9][40] pc[9][41] pc[9][42] pc[9][43] pc[9][44] pc[9][45] pc[9][46] pc[9][47] pc[9][48] pc[9][49] pc[9][50] pc[9][51] pc[9][52] pc[9][53] pc[9][54] pc[9][55] pc[9][56] pc[9][57] pc[9][58] pc[9][59] pc[9][60] pc[9][61] pc[9][62] pc[9][63] pc[9][64] pc[9][65] pc[10][0] pc[10][1] pc[10][2] pc[10][3] pc[10][4] pc[10][5] pc[10][6] pc[10][7] pc[10][8] pc[10][9] pc[10][10] pc[10][11] pc[10][12] pc[10][13] pc[10][14] pc[10][15] pc[10][16] pc[10][17] pc[10][18] pc[10][19] pc[10][20] pc[10][21] pc[10][22] pc[10][23] pc[10][24] pc[10][25] pc[10][26] pc[10][27] pc[10][28] pc[10][29] pc[10][30] pc[10][31] pc[10][32] pc[10][33] pc[10][34] pc[10][35] pc[10][36] pc[10][37] pc[10][38] pc[10][39] pc[10][40] pc[10][41] pc[10][42] pc[10][43] pc[10][44] pc[10][45] pc[10][46] pc[10][47] pc[10][48] pc[10][49] pc[10][50] pc[10][51] pc[10][52] pc[10][53] pc[10][54] pc[10][55] pc[10][56] pc[10][57] pc[10][58] pc[10][59] pc[10][60] pc[10][61] pc[10][62] pc[10][63] pc[10][64] pc[10][65] pc[11][0] pc[11][1] pc[11][2] pc[11][3] pc[11][4] pc[11][5] pc[11][6] pc[11][7] pc[11][8] pc[11][9] pc[11][10] pc[11][11] pc[11][12] pc[11][13] pc[11][14] pc[11][15] pc[11][16] pc[11][17] pc[11][18] pc[11][19] pc[11][20] pc[11][21] pc[11][22] pc[11][23] pc[11][24] pc[11][25] pc[11][26] pc[11][27] pc[11][28] pc[11][29] pc[11][30] pc[11][31] pc[11][32] pc[11][33] pc[11][34] pc[11][35] pc[11][36] pc[11][37] pc[11][38] pc[11][39] pc[11][40] pc[11][41] pc[11][42] pc[11][43] pc[11][44] pc[11][45] pc[11][46] pc[11][47] pc[11][48] pc[11][49] pc[11][50] pc[11][51] pc[11][52] pc[11][53] pc[11][54] pc[11][55] pc[11][56] pc[11][57] pc[11][58] pc[11][59] pc[11][60] pc[11][61] pc[11][62] pc[11][63] pc[11][64] pc[11][65] </list> 1996.52/252.08 v <values>9 10 4 1 11 11 3 9 11 10 10 1 5 3 10 5 9 9 2 8 8 6 6 1 4 0 11 4 11 7 3 7 9 7 6 10 4 7 5 8 8 10 6 3 4 2 5 3 1 3 8 4 1 0 5 2 2 2 4 1 0 0 0 7 1 6 5 7 5 6 7 5 5 5 5 5 6 5 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 1996.52/252.08 v </instantiation> 1996.52/252.08 c Unexpected resolution interruption!
OK 17
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 (15550 MiB free) memory of node 1: 16384 MiB (9324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405063-1569014365/watcher-4405063-1569014365 -o /tmp/evaluation-result-4405063-1569014365/solver-4405063-1569014365 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569004939-6705 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 540346180 HOME/instance-4405063-1569014365.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=9419, runsolver pid=9416 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 8.48 7.65 7.87 2/211 9440 /proc/meminfo: memFree=25455144/32770688 swapFree=67000508/67108860 [pid=9419] ppid=9416 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9419/stat : 9419 (xcsp3-exec) S 9416 9419 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477378138 115843072 362 33554432000 4194304 5098028 140732573307952 140732573306056 139874705584764 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15585280 140732573311868 140732573312110 140732573312110 140732573315018 0 /proc/9419/statm: 28282 362 304 221 0 87 0 [pid=9421] ppid=9419 vsize=28227396 memory=28928 CPUtime=0.11 cores=0-7 /proc/9421/stat : 9421 (java) S 9419 9419 6678 0 -1 1077944320 5688 0 0 0 10 1 0 0 20 0 20 0 477378138 28904853504 7232 33554432000 4194304 4196468 140735752910960 140735752893504 140197824470775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 /proc/9421/statm: 7056849 7232 3118 1 0 7019032 0 [pid=9421/tid=9422] ppid=9419 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/9421/task/9422/stat : 9422 (java) R 9419 9419 6678 0 -1 4202560 3607 0 0 0 8 1 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197828691584 140197808551262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9423] ppid=9419 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9421/task/9423/stat : 9423 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197744323088 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9424] ppid=9419 vsize=28227396 memory=139758629619328 CPUtime=0 cores=0-7 /proc/9421/task/9424/stat : 9424 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197743270544 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9425] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9425/stat : 9425 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197742217488 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9426] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9426/stat : 9426 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197741164944 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9427] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9427/stat : 9427 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197740112912 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9428] ppid=9419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9421/task/9428/stat : 9428 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197739060368 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9429] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9429/stat : 9429 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197738007312 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9430] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9430/stat : 9430 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197736954768 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9431] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9431/stat : 9431 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378141 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197074413808 140197824481922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9432] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9432/stat : 9432 (java) S 9419 9419 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477378142 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197073360032 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9433] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9433/stat : 9433 (java) S 9419 9419 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477378142 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197072306928 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9434] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9434/stat : 9434 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197071255504 140197824489371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9435] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9435/stat : 9435 (java) S 9419 9419 6678 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197070203632 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9436] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9436/stat : 9436 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197069151088 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9437] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9437/stat : 9437 (java) R 9419 9419 6678 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197068098032 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9438] ppid=9419 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9421/task/9438/stat : 9438 (java) R 9419 9419 6678 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 477378145 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197067045488 140197824481922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9439] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9439/stat : 9439 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197065992672 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9440] ppid=9419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9421/task/9440/stat : 9440 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 7232 33554432000 4194304 4196468 140735752910960 140197064940208 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30376 KiB [startup+0.211331 s]* /proc/loadavg: 8.48 7.65 7.87 2/211 9440 /proc/meminfo: memFree=25432160/32770688 swapFree=67000508/67108860 [pid=9419] ppid=9416 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9419/stat : 9419 (xcsp3-exec) S 9416 9419 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477378138 115843072 362 33554432000 4194304 5098028 140732573307952 140732573306056 139874705584764 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15585280 140732573311868 140732573312110 140732573312110 140732573315018 0 /proc/9419/statm: 28282 362 304 221 0 87 0 [pid=9421] ppid=9419 vsize=28227396 memory=40568 CPUtime=0.34 cores=0-7 /proc/9421/stat : 9421 (java) S 9419 9419 6678 0 -1 1077944320 9432 0 0 0 30 4 0 0 20 0 20 0 477378138 28904853504 10142 33554432000 4194304 4196468 140735752910960 140735752893504 140197824470775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 /proc/9421/statm: 7056849 10142 3280 1 0 7019032 0 [pid=9421/tid=9422] ppid=9419 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9421/task/9422/stat : 9422 (java) R 9419 9419 6678 0 -1 4202560 6584 0 0 0 17 2 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197828690112 140197808551262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9423] ppid=9419 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/9421/task/9423/stat : 9423 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197744323088 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9424] ppid=9419 vsize=28227396 memory=139758629632510 CPUtime=0 cores=0-7 /proc/9421/task/9424/stat : 9424 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197743270544 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9425] ppid=9419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9421/task/9425/stat : 9425 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197742217488 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9426] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9426/stat : 9426 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197741164944 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9427] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9427/stat : 9427 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197740112912 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9428] ppid=9419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9421/task/9428/stat : 9428 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197739060368 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9429] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9429/stat : 9429 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197738007312 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9430] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9430/stat : 9430 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197736954768 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9431] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9431/stat : 9431 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378141 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197074413808 140197824481922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9432] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9432/stat : 9432 (java) S 9419 9419 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477378142 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197073360032 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9433] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9433/stat : 9433 (java) S 9419 9419 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477378142 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197072306928 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9434] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9434/stat : 9434 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197071255504 140197824489371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9435] ppid=9419 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9421/task/9435/stat : 9435 (java) S 9419 9419 6678 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 477378145 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197070203632 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9436] ppid=9419 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9421/task/9436/stat : 9436 (java) S 9419 9419 6678 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 477378145 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197069151088 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9437] ppid=9419 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9421/task/9437/stat : 9437 (java) S 9419 9419 6678 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 20 0 477378145 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197068098032 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9438] ppid=9419 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9421/task/9438/stat : 9438 (java) S 9419 9419 6678 0 -1 1077944384 757 0 0 0 7 0 0 0 20 0 20 0 477378145 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197067045488 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9439] ppid=9419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9439/stat : 9439 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197065992672 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9440] ppid=9419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9421/task/9440/stat : 9440 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378145 28904853504 10142 33554432000 4194304 4196468 140735752910960 140197064940208 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42016 KiB [startup+0.310637 s]* /proc/loadavg: 8.48 7.65 7.87 5/211 9440 /proc/meminfo: memFree=25430264/32770688 swapFree=67000508/67108860 [pid=9419] ppid=9416 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9419/stat : 9419 (xcsp3-exec) S 9416 9419 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477378138 115843072 362 33554432000 4194304 5098028 140732573307952 140732573306056 139874705584764 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15585280 140732573311868 140732573312110 140732573312110 140732573315018 0 /proc/9419/statm: 28282 362 304 221 0 87 0 [pid=9421] ppid=9419 vsize=28231652 memory=46844 CPUtime=0.51 cores=0-7 /proc/9421/stat : 9421 (java) S 9419 9419 6678 0 -1 1077944320 10580 0 0 0 46 5 0 0 20 0 20 0 477378138 28909211648 11711 33554432000 4194304 4196468 140735752910960 140735752893504 140197824470775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 /proc/9421/statm: 7057913 11711 3332 1 0 7019032 0 [pid=9421/tid=9422] ppid=9419 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/9421/task/9422/stat : 9422 (java) R 9419 9419 6678 0 -1 4202560 7567 0 0 0 26 3 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197828692264 140197810165767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9423] ppid=9419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9423/stat : 9423 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197744323088 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9424] ppid=9419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9424/stat : 9424 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197743270544 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9425] ppid=9419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9425/stat : 9425 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197742217488 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9426] ppid=9419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9426/stat : 9426 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197741164944 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9427] ppid=9419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9427/stat : 9427 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197740112912 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9428] ppid=9419 vsize=28231652 memory=139758504340143 CPUtime=0 cores=0-7 /proc/9421/task/9428/stat : 9428 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197739060368 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9429] ppid=9419 vsize=28231652 memory=139758504342448 CPUtime=0 cores=0-7 /proc/9421/task/9429/stat : 9429 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197738007312 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9430] ppid=9419 vsize=28231652 memory=139758504344752 CPUtime=0 cores=0-7 /proc/9421/task/9430/stat : 9430 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197736954768 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9431] ppid=9419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9431/stat : 9431 (java) S 9419 9419 6678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477378141 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197074413808 140197824481922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9432] ppid=9419 vsize=28231652 memory=279517008703376 CPUtime=0 cores=0-7 /proc/9421/task/9432/stat : 9432 (java) S 9419 9419 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477378142 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197073360032 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9433] ppid=9419 vsize=28231652 memory=279517008701072 CPUtime=0 cores=0-7 /proc/9421/task/9433/stat : 9433 (java) S 9419 9419 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477378142 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197072306928 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9434] ppid=9419 vsize=28231652 memory=279517008707984 CPUtime=0 cores=0-7 /proc/9421/task/9434/stat : 9434 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378145 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197071255504 140197824489371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9435] ppid=9419 vsize=28231652 memory=279517008649232 CPUtime=0.02 cores=0-7 /proc/9421/task/9435/stat : 9435 (java) S 9419 9419 6678 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 477378145 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197070203632 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9436] ppid=9419 vsize=28231652 memory=279517008721808 CPUtime=0.02 cores=0-7 /proc/9421/task/9436/stat : 9436 (java) S 9419 9419 6678 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 477378145 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197069151088 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9437] ppid=9419 vsize=28231652 memory=279517008728720 CPUtime=0.02 cores=0-7 /proc/9421/task/9437/stat : 9437 (java) S 9419 9419 6678 0 -1 1077944384 314 0 0 0 2 0 0 0 20 0 20 0 477378145 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197068098032 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9438] ppid=9419 vsize=28231652 memory=279517008726416 CPUtime=0.12 cores=0-7 /proc/9421/task/9438/stat : 9438 (java) S 9419 9419 6678 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 477378145 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197067045488 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9439] ppid=9419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9439/stat : 9439 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477378145 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197065992672 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9440] ppid=9419 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9421/task/9440/stat : 9440 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378145 28909211648 11711 33554432000 4194304 4196468 140735752910960 140197064940208 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48292 KiB [startup+0.700975 s] /proc/loadavg: 8.48 7.65 7.87 3/211 9440 /proc/meminfo: memFree=25428284/32770688 swapFree=67000508/67108860 [pid=9419] ppid=9416 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9419/stat : 9419 (xcsp3-exec) S 9416 9419 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477378138 115843072 362 33554432000 4194304 5098028 140732573307952 140732573306056 139874705584764 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15585280 140732573311868 140732573312110 140732573312110 140732573315018 0 /proc/9419/statm: 28282 362 304 221 0 87 0 [pid=9421] ppid=9419 vsize=28233776 memory=83952 CPUtime=1.72 cores=0-7 /proc/9421/stat : 9421 (java) S 9419 9419 6678 0 -1 1077944320 16136 0 0 0 163 9 0 0 20 0 20 0 477378138 28911386624 20988 33554432000 4194304 4196468 140735752910960 140735752893504 140197824470775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 /proc/9421/statm: 7058444 20988 3442 1 0 7019544 0 [pid=9421/tid=9422] ppid=9419 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/9421/task/9422/stat : 9422 (java) R 9419 9419 6678 0 -1 4202560 8942 0 0 0 62 5 0 0 20 0 20 0 477378139 28911386624 20988 33554432000 4194304 4196468 140735752910960 140197828705152 140197808551262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9423] ppid=9419 vsize=28233776 memory=139758504551280 CPUtime=0 cores=0-7 /proc/9421/task/9423/stat : 9423 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28911386624 20988 33554432000 4194304 4196468 140735752910960 140197744323088 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9424] ppid=9419 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9421/task/9424/stat : 9424 (java) S 9419 9419 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477378139 28911386624 20988 33554432000 4194304 4196468 140735752910960 140197743270544 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9425] ppid=9419 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/9421/task/9425/stat : 9425 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477378139 28911386624 20988 33554432000 4194304 4196468 140735752910960 140197742217488 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 ################ # More data... # ################ [pid=9421/tid=9480] ppid=9419 vsize=28768336 memory=0 CPUtime=158.78 cores=0-7 /proc/9421/task/9480/stat : 9480 (java) R 9419 9419 6678 0 -1 4202560 2791 0 0 0 15872 6 0 0 20 0 28 0 477378304 29458776064 64824 33554432000 4194304 4196468 140735752910960 140195856708248 140197424367589 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 Current children cumulated CPU time: 1285.25 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 260744 KiB [startup+222.31 s] /proc/loadavg: 8.48 8.06 7.99 9/220 9503 /proc/meminfo: memFree=25079020/32770688 swapFree=67000520/67108860 [pid=9419] ppid=9416 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9419/stat : 9419 (xcsp3-exec) S 9416 9419 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477378138 115843072 362 33554432000 4194304 5098028 140732573307952 140732573306056 139874705584764 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15585280 140732573311868 140732573312110 140732573312110 140732573315018 0 /proc/9419/statm: 28282 362 304 221 0 87 0 [pid=9421] ppid=9419 vsize=28768336 memory=404456 CPUtime=1761.12 cores=0-7 /proc/9421/stat : 9421 (java) S 9419 9419 6678 0 -1 1077944320 140679 0 0 0 175995 117 0 0 20 0 28 0 477378138 29458776064 101114 33554432000 4194304 4196468 140735752910960 140735752893504 140197824470775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 /proc/9421/statm: 7192084 101114 3552 1 0 7153184 0 [pid=9421/tid=9422] ppid=9419 vsize=28768336 memory=404456 CPUtime=1.21 cores=0-7 /proc/9421/task/9422/stat : 9422 (java) S 9419 9419 6678 0 -1 1077944384 9916 0 0 0 115 6 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197828711552 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9423] ppid=9419 vsize=28768336 memory=1448 CPUtime=0.71 cores=0-7 /proc/9421/task/9423/stat : 9423 (java) S 9419 9419 6678 0 -1 1077944384 1920 0 0 0 65 6 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197744323088 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9424] ppid=9419 vsize=28768336 memory=3516 CPUtime=0.68 cores=0-7 /proc/9421/task/9424/stat : 9424 (java) S 9419 9419 6678 0 -1 1077944384 3638 0 0 0 62 6 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197743270544 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9425] ppid=9419 vsize=28768336 memory=164 CPUtime=0.7 cores=0-7 /proc/9421/task/9425/stat : 9425 (java) S 9419 9419 6678 0 -1 1077944384 2774 0 0 0 64 6 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197742217488 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9426] ppid=9419 vsize=28768336 memory=1056 CPUtime=0.69 cores=0-7 /proc/9421/task/9426/stat : 9426 (java) S 9419 9419 6678 0 -1 1077944384 3347 0 0 0 63 6 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197741164944 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9427] ppid=9419 vsize=28768336 memory=772 CPUtime=0.71 cores=0-7 /proc/9421/task/9427/stat : 9427 (java) S 9419 9419 6678 0 -1 1077944384 3889 0 0 0 64 7 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197740112912 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9428] ppid=9419 vsize=28768336 memory=1448 CPUtime=0.69 cores=0-7 /proc/9421/task/9428/stat : 9428 (java) S 9419 9419 6678 0 -1 1077944384 5655 0 0 0 63 6 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197739060368 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9429] ppid=9419 vsize=28768336 memory=524160 CPUtime=0.69 cores=0-7 /proc/9421/task/9429/stat : 9429 (java) S 9419 9419 6678 0 -1 1077944384 2058 0 0 0 63 6 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197738007312 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9430] ppid=9419 vsize=28768336 memory=383212 CPUtime=0.69 cores=0-7 /proc/9421/task/9430/stat : 9430 (java) S 9419 9419 6678 0 -1 1077944384 2589 0 0 0 62 7 0 0 20 0 28 0 477378139 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197736954768 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9431] ppid=9419 vsize=28768336 memory=1448 CPUtime=0.44 cores=0-7 /proc/9421/task/9431/stat : 9431 (java) S 9419 9419 6678 0 -1 1077944384 11550 0 0 0 30 14 0 0 20 0 28 0 477378141 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197074413808 140197824481922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9432] ppid=9419 vsize=28768336 memory=1620 CPUtime=0 cores=0-7 /proc/9421/task/9432/stat : 9432 (java) S 9419 9419 6678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477378142 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197073360096 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9433] ppid=9419 vsize=28768336 memory=780 CPUtime=0 cores=0-7 /proc/9421/task/9433/stat : 9433 (java) S 9419 9419 6678 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 477378142 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197072306944 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9434] ppid=9419 vsize=28768336 memory=545 CPUtime=0 cores=0-7 /proc/9421/task/9434/stat : 9434 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477378145 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197071255504 140197824489371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9435] ppid=9419 vsize=28768336 memory=8315171486948655189 CPUtime=2.45 cores=0-7 /proc/9421/task/9435/stat : 9435 (java) S 9419 9419 6678 0 -1 1077944384 8578 0 0 0 242 3 0 0 20 0 28 0 477378145 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197070203632 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9436] ppid=9419 vsize=28768336 memory=42636408785386 CPUtime=2.16 cores=0-7 /proc/9421/task/9436/stat : 9436 (java) S 9419 9419 6678 0 -1 1077944384 9234 0 0 0 215 1 0 0 20 0 28 0 477378145 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197069151088 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9437] ppid=9419 vsize=28768336 memory=42636408785386 CPUtime=2.36 cores=0-7 /proc/9421/task/9437/stat : 9437 (java) S 9419 9419 6678 0 -1 1077944384 12423 0 0 0 233 3 0 0 20 0 28 0 477378145 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197068098032 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9438] ppid=9419 vsize=28768336 memory=0 CPUtime=1.09 cores=0-7 /proc/9421/task/9438/stat : 9438 (java) S 9419 9419 6678 0 -1 1077944384 9515 0 0 0 107 2 0 0 20 0 28 0 477378145 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197067045488 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9439] ppid=9419 vsize=28768336 memory=441372 CPUtime=0 cores=0-7 /proc/9421/task/9439/stat : 9439 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477378145 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197065992672 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9440] ppid=9419 vsize=28768336 memory=53308 CPUtime=0.05 cores=0-7 /proc/9421/task/9440/stat : 9440 (java) S 9419 9419 6678 0 -1 1077944384 832 0 0 0 0 5 0 0 20 0 28 0 477378145 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197064940208 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9473] ppid=9419 vsize=28768336 memory=1448 CPUtime=217.59 cores=0-7 /proc/9421/task/9473/stat : 9473 (java) R 9419 9419 6678 0 -1 4202560 6332 0 0 0 21757 2 0 0 20 0 28 0 477378302 29458776064 101114 33554432000 4194304 4196468 140735752910960 140195858812008 140197420598832 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9474] ppid=9419 vsize=28768336 memory=304556123141439514 CPUtime=217.97 cores=0-7 /proc/9421/task/9474/stat : 9474 (java) R 9419 9419 6678 0 -1 4202560 1957 0 0 0 21796 1 0 0 20 0 28 0 477378302 29458776064 101114 33554432000 4194304 4196468 140735752910960 140195863024024 140197420598656 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9475] ppid=9419 vsize=28768336 memory=288230596050944315 CPUtime=218.32 cores=0-7 /proc/9421/task/9475/stat : 9475 (java) R 9419 9419 6678 0 -1 4202560 2198 0 0 0 21831 1 0 0 20 0 28 0 477378302 29458776064 101114 33554432000 4194304 4196468 140735752910960 140197062415248 140197420598837 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9476] ppid=9419 vsize=28768336 memory=14973369246289702 CPUtime=217.78 cores=0-7 /proc/9421/task/9476/stat : 9476 (java) R 9419 9419 6678 0 -1 4202560 12025 0 0 0 21772 6 0 0 20 0 28 0 477378302 29458776064 101114 33554432000 4194304 4196468 140735752910960 140195860919048 140197421557356 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9477] ppid=9419 vsize=28768336 memory=2524 CPUtime=218.02 cores=0-7 /proc/9421/task/9477/stat : 9477 (java) R 9419 9419 6678 0 -1 4202560 4646 0 0 0 21800 2 0 0 20 0 28 0 477378302 29458776064 101114 33554432000 4194304 4196468 140735752910960 140195859866392 140197423461709 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9478] ppid=9419 vsize=28768336 memory=3612 CPUtime=217.79 cores=0-7 /proc/9421/task/9478/stat : 9478 (java) R 9419 9419 6678 0 -1 4202560 3088 0 0 0 21776 3 0 0 20 0 28 0 477378302 29458776064 101114 33554432000 4194304 4196468 140735752910960 140195857761040 140197421602022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9479] ppid=9419 vsize=28768336 memory=53308 CPUtime=218.36 cores=0-7 /proc/9421/task/9479/stat : 9479 (java) R 9419 9419 6678 0 -1 4202560 1844 0 0 0 21835 1 0 0 20 0 28 0 477378302 29458776064 101114 33554432000 4194304 4196468 140735752910960 140195861970576 140197420598732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9480] ppid=9419 vsize=28768336 memory=984 CPUtime=217.85 cores=0-7 /proc/9421/task/9480/stat : 9480 (java) R 9419 9419 6678 0 -1 4202560 18347 0 0 0 21774 11 0 0 20 0 28 0 477378304 29458776064 101114 33554432000 4194304 4196468 140735752910960 140195856710384 140197421601943 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 Current children cumulated CPU time: 1761.12 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 405904 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.35 8.07 8.00 9/220 9506 /proc/meminfo: memFree=25104676/32770688 swapFree=67000520/67108860 [pid=9419] ppid=9416 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9419/stat : 9419 (xcsp3-exec) S 9416 9419 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477378138 115843072 362 33554432000 4194304 5098028 140732573307952 140732573306056 139874705584764 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15585280 140732573311868 140732573312110 140732573312110 140732573315018 0 /proc/9419/statm: 28282 362 304 221 0 87 0 [pid=9421] ppid=9419 vsize=28768336 memory=380484 CPUtime=1996.52 cores=0-7 /proc/9421/stat : 9421 (java) S 9419 9419 6678 0 -1 1077944320 169534 0 0 0 199522 130 0 0 20 0 28 0 477378138 29458776064 95121 33554432000 4194304 4196468 140735752910960 140735752893504 140197824470775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 /proc/9421/statm: 7192084 95121 3552 1 0 7153184 0 [pid=9421/tid=9422] ppid=9419 vsize=28768336 memory=1398722017469774279 CPUtime=1.21 cores=0-7 /proc/9421/task/9422/stat : 9422 (java) S 9419 9419 6678 0 -1 1077944384 9916 0 0 0 115 6 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197828711552 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9423] ppid=9419 vsize=28768336 memory=4872558044660077418 CPUtime=0.83 cores=0-7 /proc/9421/task/9423/stat : 9423 (java) S 9419 9419 6678 0 -1 1077944384 2524 0 0 0 77 6 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197744323088 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9424] ppid=9419 vsize=28768336 memory=1760 CPUtime=0.8 cores=0-7 /proc/9421/task/9424/stat : 9424 (java) S 9419 9419 6678 0 -1 1077944384 4207 0 0 0 74 6 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197743270544 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9425] ppid=9419 vsize=28768336 memory=111636 CPUtime=0.83 cores=0-7 /proc/9421/task/9425/stat : 9425 (java) S 9419 9419 6678 0 -1 1077944384 3880 0 0 0 76 7 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197742217488 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9426] ppid=9419 vsize=28768336 memory=800 CPUtime=0.83 cores=0-7 /proc/9421/task/9426/stat : 9426 (java) S 9419 9419 6678 0 -1 1077944384 4569 0 0 0 76 7 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197741164944 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9427] ppid=9419 vsize=28768336 memory=1808 CPUtime=0.84 cores=0-7 /proc/9421/task/9427/stat : 9427 (java) S 9419 9419 6678 0 -1 1077944384 4368 0 0 0 76 8 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197740112912 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9428] ppid=9419 vsize=28768336 memory=920 CPUtime=0.81 cores=0-7 /proc/9421/task/9428/stat : 9428 (java) S 9419 9419 6678 0 -1 1077944384 7480 0 0 0 75 6 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197739060368 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9429] ppid=9419 vsize=28768336 memory=3564 CPUtime=0.82 cores=0-7 /proc/9421/task/9429/stat : 9429 (java) S 9419 9419 6678 0 -1 1077944384 2514 0 0 0 75 7 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197738007312 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9430] ppid=9419 vsize=28768336 memory=8112282956445269571 CPUtime=0.81 cores=0-7 /proc/9421/task/9430/stat : 9430 (java) S 9419 9419 6678 0 -1 1077944384 3606 0 0 0 74 7 0 0 20 0 28 0 477378139 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197736954768 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9431] ppid=9419 vsize=28768336 memory=14973369246289702 CPUtime=0.56 cores=0-7 /proc/9421/task/9431/stat : 9431 (java) S 9419 9419 6678 0 -1 1077944384 14040 0 0 0 37 19 0 0 20 0 28 0 477378141 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197074413808 140197824481922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9432] ppid=9419 vsize=28768336 memory=80 CPUtime=0 cores=0-7 /proc/9421/task/9432/stat : 9432 (java) S 9419 9419 6678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477378142 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197073360096 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9433] ppid=9419 vsize=28768336 memory=79 CPUtime=0 cores=0-7 /proc/9421/task/9433/stat : 9433 (java) S 9419 9419 6678 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 477378142 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197072306944 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9434] ppid=9419 vsize=28768336 memory=1412 CPUtime=0 cores=0-7 /proc/9421/task/9434/stat : 9434 (java) S 9419 9419 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477378145 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197071255504 140197824489371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9435] ppid=9419 vsize=28768336 memory=3684 CPUtime=2.45 cores=0-7 /proc/9421/task/9435/stat : 9435 (java) S 9419 9419 6678 0 -1 1077944384 8588 0 0 0 242 3 0 0 20 0 28 0 477378145 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197070203632 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9436] ppid=9419 vsize=28768336 memory=1448 CPUtime=2.16 cores=0-7 /proc/9421/task/9436/stat : 9436 (java) S 9419 9419 6678 0 -1 1077944384 9244 0 0 0 215 1 0 0 20 0 28 0 477378145 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197069151088 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9437] ppid=9419 vsize=28768336 memory=387108 CPUtime=2.37 cores=0-7 /proc/9421/task/9437/stat : 9437 (java) S 9419 9419 6678 0 -1 1077944384 12975 0 0 0 234 3 0 0 20 0 28 0 477378145 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197068098032 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9438] ppid=9419 vsize=28768336 memory=4104 CPUtime=1.09 cores=0-7 /proc/9421/task/9438/stat : 9438 (java) S 9419 9419 6678 0 -1 1077944384 9526 0 0 0 107 2 0 0 20 0 28 0 477378145 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197067045488 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9439] ppid=9419 vsize=28768336 memory=1728 CPUtime=0 cores=0-7 /proc/9421/task/9439/stat : 9439 (java) S 9419 9419 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477378145 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197065992672 140197824480981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9440] ppid=9419 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/9421/task/9440/stat : 9440 (java) S 9419 9419 6678 0 -1 1077944384 1018 0 0 0 0 6 0 0 20 0 28 0 477378145 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197064940208 140197824481922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9473] ppid=9419 vsize=28768336 memory=0 CPUtime=246.92 cores=0-7 /proc/9421/task/9473/stat : 9473 (java) R 9419 9419 6678 0 -1 4202560 7945 0 0 0 24689 3 0 0 20 0 28 0 477378302 29458776064 95121 33554432000 4194304 4196468 140735752910960 140195858811496 140197424103808 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9474] ppid=9419 vsize=28768336 memory=245 CPUtime=247.15 cores=0-7 /proc/9421/task/9474/stat : 9474 (java) R 9419 9419 6678 0 -1 4202560 2558 0 0 0 24714 1 0 0 20 0 28 0 477378302 29458776064 95121 33554432000 4194304 4196468 140735752910960 140195863023448 140197420598771 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9475] ppid=9419 vsize=28768336 memory=1448 CPUtime=247.61 cores=0-7 /proc/9421/task/9475/stat : 9475 (java) R 9419 9419 6678 0 -1 4202560 2817 0 0 0 24760 1 0 0 20 0 28 0 477378302 29458776064 95121 33554432000 4194304 4196468 140735752910960 140197062415248 140197420923036 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9476] ppid=9419 vsize=28768336 memory=387072 CPUtime=247.02 cores=0-7 /proc/9421/task/9476/stat : 9476 (java) R 9419 9419 6678 0 -1 4202560 14428 0 0 0 24695 7 0 0 20 0 28 0 477378302 29458776064 95121 33554432000 4194304 4196468 140735752910960 140195860919448 140197420191777 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9477] ppid=9419 vsize=28768336 memory=1448 CPUtime=247.19 cores=0-7 /proc/9421/task/9477/stat : 9477 (java) R 9419 9419 6678 0 -1 4202560 7533 0 0 0 24716 3 0 0 20 0 28 0 477378302 29458776064 95121 33554432000 4194304 4196468 140735752910960 140195859865456 140197421601132 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9478] ppid=9419 vsize=28768336 memory=387108 CPUtime=247.15 cores=0-7 /proc/9421/task/9478/stat : 9478 (java) R 9419 9419 6678 0 -1 4202560 3788 0 0 0 24712 3 0 0 20 0 28 0 477378302 29458776064 95121 33554432000 4194304 4196468 140735752910960 140195857760096 140197422125312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9479] ppid=9419 vsize=28768336 memory=3516 CPUtime=247.73 cores=0-7 /proc/9421/task/9479/stat : 9479 (java) R 9419 9419 6678 0 -1 4202560 2220 0 0 0 24771 2 0 0 20 0 28 0 477378302 29458776064 95121 33554432000 4194304 4196468 140735752910960 140195861971344 140197421876392 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 [pid=9421/tid=9480] ppid=9419 vsize=28768336 memory=1076 CPUtime=247.2 cores=0-7 /proc/9421/task/9480/stat : 9480 (java) R 9419 9419 6678 0 -1 4202560 27466 0 0 0 24706 14 0 0 20 0 28 0 477378304 29458776064 95121 33554432000 4194304 4196468 140735752910960 140195856710400 140197424367312 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38858752 140735752913904 140735752914075 140735752914075 140735752916943 0 Current children cumulated CPU time: 1996.52 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 381932 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.038 s] # the end of solver process 9419 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00127 s, system=0.00127 s [startup+252.109 s] # the end of solver process 9421 was just reported to runsolver # cumulated CPU time of all completed processes: user=1995.86 s, system=1.32058 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.109 CPU time (s): 1997.18 CPU user time (s): 1995.86 CPU system time (s): 1.32058 CPU usage (%): 792.189 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 540120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1995.86 system time used= 1.32058 maximum resident set size= 559200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171011 page faults= 0 swaps= 0 block input operations= 0 block output operations= 560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30799 involuntary context switches= 24052 # summary of solver processes directly reported to runsolver: # pid: 9419,9421 # total CPU time (s): 1997.18 # total CPU user time (s): 1995.86 # total CPU system time (s): 1.32058 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.37552 second user time and 3.01123 second system time The end
Begin job on node116 at 2019-09-20 23:18:44 IDJOB=4405063 IDBENCH=141670 IDSOLVER=2866 FILE ID=node116/4405063-1569014365 RUNJOBID= node116-1569004939-6705 PBS_JOBID= 21704745 Free space on /tmp= 6528 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/Bacp/Bacp-m2/Bacp-m2-12b_c18.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-4405063-1569014365/watcher-4405063-1569014365 -o /tmp/evaluation-result-4405063-1569014365/solver-4405063-1569014365 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569004939-6705 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 540346180 HOME/instance-4405063-1569014365.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 121f2d819dbc4bca8c6410c9ab5baa2a RANDOM SEED=540346180 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: 25471520 kB MemAvailable: 31849908 kB Buffers: 44940 kB Cached: 6508864 kB SwapCached: 3504 kB Active: 3274380 kB Inactive: 3284872 kB Active(anon): 7192 kB Inactive(anon): 45800 kB Active(file): 3267188 kB Inactive(file): 3239072 kB Unevictable: 109700 kB Mlocked: 109700 kB SwapTotal: 67108860 kB SwapFree: 67000508 kB Dirty: 26496 kB Writeback: 0 kB AnonPages: 116876 kB Mapped: 49960 kB Shmem: 38928 kB Slab: 329336 kB SReclaimable: 300588 kB SUnreclaim: 28748 kB KernelStack: 3712 kB PageTables: 6052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 506404 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 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= 6504 MiB End job on node116 at 2019-09-20 23:22:56