Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 119 | 1920.08 | 241.23399 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml |
MD5SUM | d01afa5e20b7ebab190e76d647c74323 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 119 |
Best CPU time to get the best result obtained on this benchmark | 251.897 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1430 |
Number of constraints | 142 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 132 |
Distribution of domain sizes | [{"size":2,"count":130},{"size":71,"count":130},{"size":73,"count":130},{"size":88,"count":130},{"size":93,"count":130},{"size":104,"count":130},{"size":109,"count":130},{"size":111,"count":130},{"size":112,"count":130},{"size":117,"count":130},{"size":132,"count":130}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":1430}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 1300 |
Distribution of constraint arities | [{"arity":11,"count":130},{"arity":130,"count":11},{"arity":1300,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":140}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.05 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254474-1501683145.xml" -tl '1920s' -p 8 -x 0 0.00/0.24 c [HOME/instance-4254474-1501683145.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.29 c 8 solvers in parallel 0.00/0.36 c parse instance... 0.00/0.82 c solve instance... 4.85/1.22 o 130 5.50/1.38 o 129 7.10/1.52 o 128 7.73/1.60 o 127 7.73/1.65 o 126 8.52/1.72 o 125 8.52/1.77 o 124 9.16/1.83 o 123 9.16/1.88 o 122 9.89/1.94 o 121 10.64/2.00 o 120 10.64/2.06 o 119 1920.08/241.26 s SATISFIABLE 1920.08/241.26 v <instantiation> 1920.08/241.26 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] </list> 1920.08/241.26 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 3 2 1 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 4 2 0 0 0 0 0 0 3 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 2 5 0 0 0 0 0 1 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 7 1 0 0 0 1 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 3 5 0 1 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 2 7 0 1 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 7 0 7 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 3 7 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 1920.08/241.26 v </instantiation> 1920.08/241.26 c Unexpected resolution interruption!
OK 119
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254474-1501683145/watcher-4254474-1501683145 -o /tmp/evaluation-result-4254474-1501683145/solver-4254474-1501683145 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 2144654549 HOME/instance-4254474-1501683145.xml pid=16373 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.29 8.05 7.84 2/172 16376 /proc/meminfo: memFree=31747468/32770624 swapFree=0/271028 [pid=16376] ppid=16373 vsize=23672 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (runsolver) D 16373 16376 31142 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16937546 24240128 108 18446744073709551615 4194304 4338465 140732221930704 140732221928344 140714688766679 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 15347712 140732221939794 140732221940291 140732221940291 140732221943754 0 /proc/16376/statm: 5918 108 54 36 0 2156 0 [startup+0.10016 s] /proc/loadavg: 8.29 8.05 7.84 2/172 16376 /proc/meminfo: memFree=31747468/32770624 swapFree=0/271028 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.20028 s] /proc/loadavg: 8.29 8.05 7.84 2/172 16376 /proc/meminfo: memFree=31747468/32770624 swapFree=0/271028 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.301548 s] /proc/loadavg: 8.29 8.05 7.84 2/172 16376 /proc/meminfo: memFree=31747468/32770624 swapFree=0/271028 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.702835 s] /proc/loadavg: 8.29 8.05 7.84 2/172 16376 /proc/meminfo: memFree=31747468/32770624 swapFree=0/271028 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50784 s] /proc/loadavg: 8.29 8.05 7.84 13/201 16405 /proc/meminfo: memFree=31616152/32770624 swapFree=0/270800 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 [pid=16378] ppid=16376 vsize=26534456 CPUtime=7.1 cores=0-7 /proc/16378/stat : 16378 (java) S 16376 16376 31142 0 -1 1077944320 21116 0 0 0 701 9 0 0 20 0 28 0 16937552 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 140732880929504 139839788400375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 /proc/16378/statm: 6633614 46002 3217 1 0 6621915 0 [pid=16378/tid=16379] ppid=16376 vsize=26534456 CPUtime=0.73 cores=0-7 /proc/16378/task/16379/stat : 16379 (java) S 16376 16376 31142 0 -1 1077944384 8743 0 0 0 69 4 0 0 20 0 28 0 16937552 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839792641152 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16380] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16380/stat : 16380 (java) S 16376 16376 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839715326864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16381] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16381/stat : 16381 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839714274064 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16382] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16382/stat : 16382 (java) S 16376 16376 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839713221776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16383] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16383/stat : 16383 (java) S 16376 16376 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839712168976 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16384] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16384/stat : 16384 (java) S 16376 16376 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839711115664 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16385] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16385/stat : 16385 (java) S 16376 16376 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839710062864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16386] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16386/stat : 16386 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839709010576 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16387] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16387/stat : 16387 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937553 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139839707957776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16388] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16388/stat : 16388 (java) S 16376 16376 31142 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 16937554 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838333430384 139839788411522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16389] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16389/stat : 16389 (java) S 16376 16376 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16937554 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838332376352 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16390] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16390/stat : 16390 (java) S 16376 16376 31142 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16937555 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838331324016 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16391] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16391/stat : 16391 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937557 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838330272336 139839788418971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16392] ppid=16376 vsize=26534456 CPUtime=0.84 cores=0-7 /proc/16378/task/16392/stat : 16392 (java) R 16376 16376 31142 0 -1 4202560 2547 0 0 0 83 1 0 0 20 0 28 0 16937557 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838329212376 139839771957740 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16393] ppid=16376 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/16378/task/16393/stat : 16393 (java) R 16376 16376 31142 0 -1 1077944384 2082 0 0 0 76 0 0 0 20 0 28 0 16937557 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838328166384 139839788411522 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16394] ppid=16376 vsize=26534456 CPUtime=0.79 cores=0-7 /proc/16378/task/16394/stat : 16394 (java) R 16376 16376 31142 0 -1 4202560 2621 0 0 0 79 0 0 0 20 0 28 0 16937557 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838327100192 139839771811193 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16395] ppid=16376 vsize=26534456 CPUtime=0.6 cores=0-7 /proc/16378/task/16395/stat : 16395 (java) S 16376 16376 31142 0 -1 1077944384 3095 0 0 0 60 0 0 0 20 0 28 0 16937557 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838326061296 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16396] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16396/stat : 16396 (java) S 16376 16376 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16937557 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838325009248 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16397] ppid=16376 vsize=26534456 CPUtime=0 cores=0-7 /proc/16378/task/16397/stat : 16397 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937561 27171282944 46002 18446744073709551615 4194304 4196468 140732880946960 139838323956528 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 Current children cumulated CPU time (s) 7.1 Current children cumulated vsize (KiB) 26543968 [startup+3.10184 s] /proc/loadavg: 8.29 8.05 7.84 10/201 16501 /proc/meminfo: memFree=31540672/32770624 swapFree=0/270800 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 [pid=16378] ppid=16376 vsize=26535484 CPUtime=19.34 cores=0-7 /proc/16378/stat : 16378 (java) S 16376 16376 31142 0 -1 1077944320 23017 0 0 0 1918 16 0 0 20 0 28 0 16937552 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 140732880929504 139839788400375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 /proc/16378/statm: 6633871 55070 3238 1 0 6622172 0 [pid=16378/tid=16379] ppid=16376 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/16378/task/16379/stat : 16379 (java) S 16376 16376 31142 0 -1 1077944384 8745 0 0 0 70 4 0 0 20 0 28 0 16937552 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839792641152 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16380] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16380/stat : 16380 (java) S 16376 16376 31142 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839715326864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16381] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16381/stat : 16381 (java) S 16376 16376 31142 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839714274064 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16382] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16382/stat : 16382 (java) S 16376 16376 31142 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839713221776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16383] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16383/stat : 16383 (java) S 16376 16376 31142 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839712168976 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16384] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16384/stat : 16384 (java) S 16376 16376 31142 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839711115664 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16385] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16385/stat : 16385 (java) S 16376 16376 31142 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839710062864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16386] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16386/stat : 16386 (java) S 16376 16376 31142 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839709010576 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16387] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16387/stat : 16387 (java) S 16376 16376 31142 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 16937553 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139839707957776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16388] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16388/stat : 16388 (java) S 16376 16376 31142 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 16937554 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838333430384 139839788411522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16389] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16389/stat : 16389 (java) S 16376 16376 31142 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 16937554 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838332376416 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16390] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16390/stat : 16390 (java) S 16376 16376 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16937555 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838331324016 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16391] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16391/stat : 16391 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937557 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838330272336 139839788418971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16392] ppid=16376 vsize=26535484 CPUtime=1.15 cores=0-7 /proc/16378/task/16392/stat : 16392 (java) R 16376 16376 31142 0 -1 4202560 2617 0 0 0 114 1 0 0 20 0 28 0 16937557 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838329219480 139839769944530 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16393] ppid=16376 vsize=26535484 CPUtime=1.02 cores=0-7 /proc/16378/task/16393/stat : 16393 (java) S 16376 16376 31142 0 -1 1077944384 2127 0 0 0 102 0 0 0 20 0 28 0 16937557 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838328166384 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16394] ppid=16376 vsize=26535484 CPUtime=1.19 cores=0-7 /proc/16378/task/16394/stat : 16394 (java) S 16376 16376 31142 0 -1 1077944384 2694 0 0 0 119 0 0 0 20 0 28 0 16937557 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838327114096 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16395] ppid=16376 vsize=26535484 CPUtime=0.68 cores=0-7 /proc/16378/task/16395/stat : 16395 (java) S 16376 16376 31142 0 -1 1077944384 3202 0 0 0 68 0 0 0 20 0 28 0 16937557 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838326061296 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16396] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16396/stat : 16396 (java) S 16376 16376 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16937557 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838325009248 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16397] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16397/stat : 16397 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937561 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838323956528 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16494] ppid=16376 vsize=26535484 CPUtime=0.95 cores=0-7 /proc/16378/task/16494/stat : 16494 (java) R 16376 16376 31142 0 -1 4202560 18 0 0 0 95 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838313840584 139839392967110 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16495] ppid=16376 vsize=26535484 CPUtime=1.01 cores=0-7 /proc/16378/task/16495/stat : 16495 (java) R 16376 16376 31142 0 -1 4202560 17 0 0 0 101 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838315946360 139839392967110 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16496] ppid=16376 vsize=26535484 CPUtime=0.83 cores=0-7 /proc/16378/task/16496/stat : 16496 (java) R 16376 16376 31142 0 -1 4202560 17 0 0 0 83 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838314895224 139839393412654 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16497] ppid=16376 vsize=26535484 CPUtime=1.02 cores=0-7 /proc/16378/task/16497/stat : 16497 (java) R 16376 16376 31142 0 -1 4202560 21 0 0 0 102 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838309629656 139839392967407 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16498] ppid=16376 vsize=26535484 CPUtime=1.02 cores=0-7 /proc/16378/task/16498/stat : 16498 (java) R 16376 16376 31142 0 -1 4202560 20 0 0 0 102 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838312787824 139839392967136 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16499] ppid=16376 vsize=26535484 CPUtime=0.89 cores=0-7 /proc/16378/task/16499/stat : 16499 (java) R 16376 16376 31142 0 -1 4202560 18 0 0 0 89 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838307525128 139839392967136 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16500] ppid=16376 vsize=26535484 CPUtime=0.89 cores=0-7 /proc/16378/task/16500/stat : 16500 (java) R 16376 16376 31142 0 -1 4202560 16 0 0 0 89 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838308577448 139839392967110 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16501] ppid=16376 vsize=26535484 CPUtime=1.02 cores=0-7 /proc/16378/task/16501/stat : 16501 (java) R 16376 16376 31142 0 -1 4202560 18 0 0 0 102 0 0 0 20 0 28 0 16937753 27172335616 55070 18446744073709551615 4194304 4196468 140732880946960 139838311734896 139839394055395 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 Current children cumulated CPU time (s) 19.34 Current children cumulated vsize (KiB) 26544996 [startup+6.30184 s] /proc/loadavg: 8.26 8.04 7.84 9/201 16501 /proc/meminfo: memFree=31515460/32770624 swapFree=0/270796 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 [pid=16378] ppid=16376 vsize=26535484 CPUtime=44.83 cores=0-7 /proc/16378/stat : 16378 (java) S 16376 16376 31142 0 -1 1077944320 28806 0 0 0 4457 26 0 0 20 0 28 0 16937552 27172335616 61267 18446744073709551615 4194304 4196468 140732880946960 140732880929504 139839788400375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 /proc/16378/statm: 6633871 61267 3242 1 0 6622172 0 [pid=16378/tid=16379] ppid=16376 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/16378/task/16379/stat : 16379 (java) S 16376 16376 31142 0 -1 1077944384 8745 0 0 0 70 4 0 0 20 0 28 0 16937552 27172335616 61267 18446744073709551615 4194304 4196468 140732880946960 139839792641152 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16380] ppid=16376 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/16378/task/16380/stat : 16380 (java) S 16376 16376 31142 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 16937553 27172335616 61267 18446744073709551615 4194304 4196468 140732880946960 139839715326864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16381] ppid=16376 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/16378/task/16381/stat : 16381 (java) S 16376 16376 31142 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 16937553 27172335616 61267 18446744073709551615 4194304 4196468 140732880946960 139839714274064 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16382] ppid=16376 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/16378/task/16382/stat : 16382 (java) S 16376 16376 31142 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 16937553 27172335616 61267 18446744073709551615 4194304 4196468 140732880946960 139839713221776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16383] ppid=16376 vsize=26535484 CPUtime=0.02 cores=0-7 /proc/16378/task/16383/stat : 16383 (java) S 16376 16376 31142 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 16937553 27172335616 61267 18446744073709551615 4194304 4196468 140732880946960 139839712168976 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 ################ # More data... # ################ [pid=16378/tid=16500] ppid=16376 vsize=26535484 CPUtime=159.66 cores=0-7 /proc/16378/task/16500/stat : 16500 (java) R 16376 16376 31142 0 -1 4202560 483 0 0 0 15966 0 0 0 20 0 28 0 16937753 27172335616 63702 18446744073709551615 4194304 4196468 140732880946960 139838308577384 139839392837262 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16501] ppid=16376 vsize=26535484 CPUtime=159.75 cores=0-7 /proc/16378/task/16501/stat : 16501 (java) R 16376 16376 31142 0 -1 4202560 1404 0 0 0 15974 1 0 0 20 0 28 0 16937753 27172335616 63702 18446744073709551615 4194304 4196468 140732880946960 139838311735272 139839393629758 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 Current children cumulated CPU time (s) 1290.01 Current children cumulated vsize (KiB) 26544996 [startup+222.308 s] /proc/loadavg: 8.19 8.25 7.98 9/205 16542 /proc/meminfo: memFree=31504416/32770624 swapFree=0/270872 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 [pid=16378] ppid=16376 vsize=26535484 CPUtime=1769.19 cores=0-7 /proc/16378/stat : 16378 (java) S 16376 16376 31142 0 -1 1077944320 71083 0 0 0 176865 54 0 0 20 0 28 0 16937552 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 140732880929504 139839788400375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 /proc/16378/statm: 6633871 63179 3253 1 0 6622172 0 [pid=16378/tid=16379] ppid=16376 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/16378/task/16379/stat : 16379 (java) S 16376 16376 31142 0 -1 1077944384 8745 0 0 0 70 4 0 0 20 0 28 0 16937552 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839792641152 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16380] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16380/stat : 16380 (java) S 16376 16376 31142 0 -1 1077944384 1559 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839715326864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16381] ppid=16376 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/16378/task/16381/stat : 16381 (java) S 16376 16376 31142 0 -1 1077944384 1711 0 0 0 4 3 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839714274064 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16382] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16382/stat : 16382 (java) S 16376 16376 31142 0 -1 1077944384 2214 0 0 0 5 3 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839713221776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16383] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16383/stat : 16383 (java) S 16376 16376 31142 0 -1 1077944384 656 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839712168976 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16384] ppid=16376 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/16378/task/16384/stat : 16384 (java) S 16376 16376 31142 0 -1 1077944384 588 0 0 0 3 2 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839711115664 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16385] ppid=16376 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/16378/task/16385/stat : 16385 (java) S 16376 16376 31142 0 -1 1077944384 506 0 0 0 4 3 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839710062864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16386] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16386/stat : 16386 (java) S 16376 16376 31142 0 -1 1077944384 1565 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839709010576 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16387] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16387/stat : 16387 (java) S 16376 16376 31142 0 -1 1077944384 341 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839707957776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16388] ppid=16376 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/16378/task/16388/stat : 16388 (java) S 16376 16376 31142 0 -1 1077944384 2446 0 0 0 2 1 0 0 20 0 28 0 16937554 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838333430384 139839788411522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16389] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16389/stat : 16389 (java) S 16376 16376 31142 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 16937554 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838332376416 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16390] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16390/stat : 16390 (java) S 16376 16376 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16937555 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838331324032 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16391] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16391/stat : 16391 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838330272336 139839788418971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16392] ppid=16376 vsize=26535484 CPUtime=1.7 cores=0-7 /proc/16378/task/16392/stat : 16392 (java) S 16376 16376 31142 0 -1 1077944384 8728 0 0 0 169 1 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838329219184 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16393] ppid=16376 vsize=26535484 CPUtime=1.47 cores=0-7 /proc/16378/task/16393/stat : 16393 (java) S 16376 16376 31142 0 -1 1077944384 7108 0 0 0 146 1 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838328166384 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16394] ppid=16376 vsize=26535484 CPUtime=1.85 cores=0-7 /proc/16378/task/16394/stat : 16394 (java) S 16376 16376 31142 0 -1 1077944384 10157 0 0 0 183 2 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838327114096 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16395] ppid=16376 vsize=26535484 CPUtime=0.75 cores=0-7 /proc/16378/task/16395/stat : 16395 (java) S 16376 16376 31142 0 -1 1077944384 7385 0 0 0 74 1 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838326061296 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16396] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16396/stat : 16396 (java) S 16376 16376 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838325009248 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16397] ppid=16376 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/16378/task/16397/stat : 16397 (java) S 16376 16376 31142 0 -1 1077944384 1305 0 0 0 0 3 0 0 20 0 28 0 16937561 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838323956528 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16494] ppid=16376 vsize=26535484 CPUtime=219.47 cores=0-7 /proc/16378/task/16494/stat : 16494 (java) R 16376 16376 31142 0 -1 4202560 715 0 0 0 21947 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838313839944 139839392967855 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16495] ppid=16376 vsize=26535484 CPUtime=219.71 cores=0-7 /proc/16378/task/16495/stat : 16495 (java) R 16376 16376 31142 0 -1 4202560 576 0 0 0 21971 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838315946248 139839393412349 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16496] ppid=16376 vsize=26535484 CPUtime=219.52 cores=0-7 /proc/16378/task/16496/stat : 16496 (java) R 16376 16376 31142 0 -1 4202560 1294 0 0 0 21952 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838314892984 139839392967206 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16497] ppid=16376 vsize=26535484 CPUtime=218.63 cores=0-7 /proc/16378/task/16497/stat : 16497 (java) R 16376 16376 31142 0 -1 4202560 4743 0 0 0 21861 2 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838309629448 139839390353652 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16498] ppid=16376 vsize=26535484 CPUtime=219.35 cores=0-7 /proc/16378/task/16498/stat : 16498 (java) R 16376 16376 31142 0 -1 4202560 2278 0 0 0 21935 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838312787648 139839393412663 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16499] ppid=16376 vsize=26535484 CPUtime=219.58 cores=0-7 /proc/16378/task/16499/stat : 16499 (java) R 16376 16376 31142 0 -1 4202560 960 0 0 0 21958 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838307524408 139839392967206 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16500] ppid=16376 vsize=26535484 CPUtime=219.65 cores=0-7 /proc/16378/task/16500/stat : 16500 (java) R 16376 16376 31142 0 -1 4202560 549 0 0 0 21965 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838308577464 139839392967131 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16501] ppid=16376 vsize=26535484 CPUtime=219.13 cores=0-7 /proc/16378/task/16501/stat : 16501 (java) R 16376 16376 31142 0 -1 4202560 1677 0 0 0 21912 1 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838311737824 139839392967136 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 Current children cumulated CPU time (s) 1769.19 Current children cumulated vsize (KiB) 26544996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+241.202 s] /proc/loadavg: 8.14 8.24 7.98 9/205 16542 /proc/meminfo: memFree=31504424/32770624 swapFree=0/270880 [pid=16376] ppid=16373 vsize=9512 CPUtime=0 cores=0-7 /proc/16376/stat : 16376 (xcsp3-exec) S 16373 16376 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16937546 9740288 345 18446744073709551615 4194304 5098028 140726627846752 140726627844856 139817478496892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 10330112 140726627848594 140726627848804 140726627848804 140726627852267 0 /proc/16376/statm: 2378 345 289 221 0 87 0 [pid=16378] ppid=16376 vsize=26535484 CPUtime=1920.08 cores=0-7 /proc/16378/stat : 16378 (java) S 16376 16376 31142 0 -1 1077944320 71292 0 0 0 191954 54 0 0 20 0 28 0 16937552 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 140732880929504 139839788400375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 /proc/16378/statm: 6633871 63179 3253 1 0 6622172 0 [pid=16378/tid=16379] ppid=16376 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/16378/task/16379/stat : 16379 (java) S 16376 16376 31142 0 -1 1077944384 8745 0 0 0 70 4 0 0 20 0 28 0 16937552 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839792641152 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16380] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16380/stat : 16380 (java) S 16376 16376 31142 0 -1 1077944384 1559 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839715326864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16381] ppid=16376 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/16378/task/16381/stat : 16381 (java) S 16376 16376 31142 0 -1 1077944384 1711 0 0 0 4 3 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839714274064 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16382] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16382/stat : 16382 (java) S 16376 16376 31142 0 -1 1077944384 2214 0 0 0 5 3 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839713221776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16383] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16383/stat : 16383 (java) S 16376 16376 31142 0 -1 1077944384 656 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839712168976 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16384] ppid=16376 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/16378/task/16384/stat : 16384 (java) S 16376 16376 31142 0 -1 1077944384 588 0 0 0 3 2 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839711115664 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16385] ppid=16376 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/16378/task/16385/stat : 16385 (java) S 16376 16376 31142 0 -1 1077944384 506 0 0 0 4 3 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839710062864 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16386] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16386/stat : 16386 (java) S 16376 16376 31142 0 -1 1077944384 1565 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839709010576 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16387] ppid=16376 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/16378/task/16387/stat : 16387 (java) S 16376 16376 31142 0 -1 1077944384 341 0 0 0 4 4 0 0 20 0 28 0 16937553 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139839707957776 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16388] ppid=16376 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/16378/task/16388/stat : 16388 (java) S 16376 16376 31142 0 -1 1077944384 2448 0 0 0 2 1 0 0 20 0 28 0 16937554 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838333430384 139839788411522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16389] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16389/stat : 16389 (java) S 16376 16376 31142 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 16937554 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838332376416 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16390] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16390/stat : 16390 (java) S 16376 16376 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16937555 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838331324032 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16391] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16391/stat : 16391 (java) S 16376 16376 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838330272336 139839788418971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16392] ppid=16376 vsize=26535484 CPUtime=1.7 cores=0-7 /proc/16378/task/16392/stat : 16392 (java) S 16376 16376 31142 0 -1 1077944384 8730 0 0 0 169 1 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838329219184 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16393] ppid=16376 vsize=26535484 CPUtime=1.47 cores=0-7 /proc/16378/task/16393/stat : 16393 (java) S 16376 16376 31142 0 -1 1077944384 7110 0 0 0 146 1 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838328166384 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16394] ppid=16376 vsize=26535484 CPUtime=1.85 cores=0-7 /proc/16378/task/16394/stat : 16394 (java) S 16376 16376 31142 0 -1 1077944384 10159 0 0 0 183 2 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838327114096 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16395] ppid=16376 vsize=26535484 CPUtime=0.75 cores=0-7 /proc/16378/task/16395/stat : 16395 (java) S 16376 16376 31142 0 -1 1077944384 7387 0 0 0 74 1 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838326061296 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16396] ppid=16376 vsize=26535484 CPUtime=0 cores=0-7 /proc/16378/task/16396/stat : 16396 (java) S 16376 16376 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16937557 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838325009248 139839788410581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16397] ppid=16376 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/16378/task/16397/stat : 16397 (java) S 16376 16376 31142 0 -1 1077944384 1307 0 0 0 0 3 0 0 20 0 28 0 16937561 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838323956528 139839788411522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16494] ppid=16376 vsize=26535484 CPUtime=238.36 cores=0-7 /proc/16378/task/16494/stat : 16494 (java) R 16376 16376 31142 0 -1 4202560 724 0 0 0 23836 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838313839944 139839393412415 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16495] ppid=16376 vsize=26535484 CPUtime=238.6 cores=0-7 /proc/16378/task/16495/stat : 16495 (java) R 16376 16376 31142 0 -1 4202560 589 0 0 0 23860 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838315946248 139839393412323 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16496] ppid=16376 vsize=26535484 CPUtime=238.41 cores=0-7 /proc/16378/task/16496/stat : 16496 (java) R 16376 16376 31142 0 -1 4202560 1311 0 0 0 23841 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838314892984 139839392967073 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16497] ppid=16376 vsize=26535484 CPUtime=237.53 cores=0-7 /proc/16378/task/16497/stat : 16497 (java) R 16376 16376 31142 0 -1 4202560 4808 0 0 0 23751 2 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838309629448 139839392967105 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16498] ppid=16376 vsize=26535484 CPUtime=237.99 cores=0-7 /proc/16378/task/16498/stat : 16498 (java) R 16376 16376 31142 0 -1 4202560 2296 0 0 0 23799 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838312787648 139839392967441 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16499] ppid=16376 vsize=26535484 CPUtime=238.47 cores=0-7 /proc/16378/task/16499/stat : 16499 (java) R 16376 16376 31142 0 -1 4202560 993 0 0 0 23847 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838307524408 139839393412286 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16500] ppid=16376 vsize=26535484 CPUtime=238.54 cores=0-7 /proc/16378/task/16500/stat : 16500 (java) R 16376 16376 31142 0 -1 4202560 562 0 0 0 23854 0 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838308577464 139839393412323 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 [pid=16378/tid=16501] ppid=16376 vsize=26535484 CPUtime=238.02 cores=0-7 /proc/16378/task/16501/stat : 16501 (java) R 16376 16376 31142 0 -1 4202560 1706 0 0 0 23801 1 0 0 20 0 28 0 16937753 27172335616 63179 18446744073709551615 4194304 4196468 140732880946960 139838311737824 139839392967136 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10661888 140732880953808 140732880953984 140732880953984 140732880957391 0 Current children cumulated CPU time (s) 1920.08 Current children cumulated vsize (KiB) 26544996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16378 sig 9 ??? kill 16376 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16376 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1919 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=277 # CPU time returned by wait4() is 0.002196 # while last known CPU time is 1920.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 241.234 CPU time (s): 1920.08 CPU user time (s): 1919.54 CPU system time (s): 0.54 CPU usage (%): 795.941 Max. virtual memory (cumulated for all children) (KiB): 26544996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001919 system time used= 0.000277 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.32507 second user time and 1.97056 second system time The end
Begin job on node129 at 2017-08-02 15:58:25 IDJOB=4254474 IDBENCH=124211 IDSOLVER=2636 FILE ID=node129/4254474-1501683145 RUNJOBID= node129-1501676508-31199 PBS_JOBID= Free space on /tmp= 61776 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-6.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254474-1501683145/watcher-4254474-1501683145 -o /tmp/evaluation-result-4254474-1501683145/solver-4254474-1501683145 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 2144654549 HOME/instance-4254474-1501683145.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d01afa5e20b7ebab190e76d647c74323 RANDOM SEED=2144654549 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31748580 kB MemAvailable: 32016072 kB Buffers: 137868 kB Cached: 417188 kB SwapCached: 0 kB Active: 322432 kB Inactive: 287744 kB Active(anon): 55460 kB Inactive(anon): 16716 kB Active(file): 266972 kB Inactive(file): 271028 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7892 kB Writeback: 0 kB AnonPages: 54484 kB Mapped: 30588 kB Shmem: 17064 kB Slab: 115824 kB SReclaimable: 90656 kB SUnreclaim: 25168 kB KernelStack: 3120 kB PageTables: 4320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286496 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61768 MiB End job on node129 at 2017-08-02 16:02:26