Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 119 | 2400.38 | 302.112 |
| 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 | 118 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| 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.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246174-1500687077.xml" -tl '2400s' -p 8 -x 3 0.00/0.19 c [HOME/instance-4246174-1500687077.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.24 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/0.82 c solve instance... 5.36/1.27 o 130 6.68/1.45 o 129 8.21/1.65 o 128 9.67/1.80 o 127 10.44/1.92 o 126 11.18/2.04 o 125 44.51/6.28 o 124 45.21/6.39 o 123 45.89/6.48 o 122 61.68/8.49 o 121 63.00/8.62 o 120 63.61/8.75 o 119 2400.38/302.13 s SATISFIABLE 2400.38/302.13 v <instantiation> 2400.38/302.13 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> 2400.38/302.14 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 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 0 0 0 0 0 4 1 0 0 1 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 1 5 0 1 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 6 1 0 0 0 0 0 0 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 5 2 0 0 0 1 0 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 3 5 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 7 1 0 0 2 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 6 3 0 0 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 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 3 7 2 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 11 0 0 0 0 0 0 0 0 0 2 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 </values> 2400.38/302.14 v </instantiation> 2400.38/302.14 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-4246174-1500687077/watcher-4246174-1500687077 -o /tmp/evaluation-result-4246174-1500687077/solver-4246174-1500687077 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2018597188 HOME/instance-4246174-1500687077.xml pid=27089 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.37 14.15 14.13 10/272 27092 /proc/meminfo: memFree=21189200/32770624 swapFree=5808/99920 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 [startup+0.100125 s] /proc/loadavg: 15.37 14.15 14.13 10/272 27092 /proc/meminfo: memFree=21189200/32770624 swapFree=5808/99920 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.20029 s] /proc/loadavg: 15.37 14.15 14.13 10/272 27092 /proc/meminfo: memFree=21189200/32770624 swapFree=5808/99920 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300235 s] /proc/loadavg: 15.37 14.15 14.13 10/272 27092 /proc/meminfo: memFree=21189200/32770624 swapFree=5808/99920 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700175 s] /proc/loadavg: 15.37 14.15 14.13 10/272 27092 /proc/meminfo: memFree=21189200/32770624 swapFree=5808/99920 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50123 s] /proc/loadavg: 15.34 14.16 14.13 20/301 27121 /proc/meminfo: memFree=21048968/32770624 swapFree=5808/99952 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 [pid=27093] ppid=27092 vsize=13801768 CPUtime=7.44 cores=0,2,4,6,8,10,12,14 /proc/27093/stat : 27093 (java) S 27092 27092 15196 0 -1 1077944320 21156 0 0 0 736 8 0 0 20 0 28 0 3972782 14133010432 48930 33554432000 4194304 4196468 140725684776080 140725684758624 140069144289015 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 /proc/27093/statm: 3450442 48930 3232 1 0 3437675 0 [pid=27093/tid=27094] ppid=27092 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27094/stat : 27094 (java) S 27092 27092 15196 0 -1 1077944384 6779 0 0 0 78 3 0 0 20 0 28 0 3972782 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069148529792 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27096] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27096/stat : 27096 (java) S 27092 27092 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069096909328 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27097] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27097/stat : 27097 (java) S 27092 27092 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069095856784 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27098] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27098/stat : 27098 (java) S 27092 27092 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069094803728 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27099] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27099/stat : 27099 (java) S 27092 27092 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069093751184 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27100] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27100/stat : 27100 (java) S 27092 27092 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069092699152 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27101] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27101/stat : 27101 (java) S 27092 27092 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069091646608 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27102] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27102/stat : 27102 (java) S 27092 27092 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069090593552 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27103] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27103/stat : 27103 (java) S 27092 27092 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 48930 33554432000 4194304 4196468 140725684776080 140069089541008 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27104] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27104/stat : 27104 (java) S 27092 27092 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3972785 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067807942896 140069144300162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27105] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27105/stat : 27105 (java) S 27092 27092 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067806889120 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27106] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27106/stat : 27106 (java) S 27092 27092 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067805836016 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27107] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27107/stat : 27107 (java) S 27092 27092 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067804784592 140069144307611 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27108] ppid=27092 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27108/stat : 27108 (java) R 27092 27092 15196 0 -1 4202560 2675 0 0 0 73 0 0 0 20 0 28 0 3972790 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067803717384 140069129397859 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27109] ppid=27092 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27109/stat : 27109 (java) R 27092 27092 15196 0 -1 4202560 2517 0 0 0 96 1 0 0 20 0 28 0 3972790 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067802672296 140069127785803 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27110] ppid=27092 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27110/stat : 27110 (java) R 27092 27092 15196 0 -1 4202560 3883 0 0 0 84 1 0 0 20 0 28 0 3972790 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067801613144 140069125833191 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27111] ppid=27092 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27111/stat : 27111 (java) D 27092 27092 15196 0 -1 4202560 3233 0 0 0 68 1 0 0 20 0 28 0 3972790 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067800570712 140069137006167 0 4 0 16800975 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27112] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27112/stat : 27112 (java) S 27092 27092 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067799521760 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27113] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27113/stat : 27113 (java) S 27092 27092 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3972791 14133010432 48930 33554432000 4194304 4196468 140725684776080 140067798469296 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 Current children cumulated CPU time (s) 7.44 Current children cumulated vsize (KiB) 13811280 [startup+3.10161 s] /proc/loadavg: 15.34 14.16 14.13 20/301 27169 /proc/meminfo: memFree=20964008/32770624 swapFree=5808/99952 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 [pid=27093] ppid=27092 vsize=13801768 CPUtime=19.92 cores=0,2,4,6,8,10,12,14 /proc/27093/stat : 27093 (java) S 27092 27092 15196 0 -1 1077944320 34008 0 0 0 1975 17 0 0 20 0 28 0 3972782 14133010432 57490 33554432000 4194304 4196468 140725684776080 140725684758624 140069144289015 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 /proc/27093/statm: 3450442 57490 3271 1 0 3437675 0 [pid=27093/tid=27094] ppid=27092 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27094/stat : 27094 (java) S 27092 27092 15196 0 -1 1077944384 6835 0 0 0 79 3 0 0 20 0 28 0 3972782 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069148529792 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27096] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27096/stat : 27096 (java) S 27092 27092 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069096909328 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27097] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27097/stat : 27097 (java) S 27092 27092 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069095856784 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27098] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27098/stat : 27098 (java) S 27092 27092 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069094803728 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27099] ppid=27092 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27099/stat : 27099 (java) S 27092 27092 15196 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069093751184 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27100] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27100/stat : 27100 (java) S 27092 27092 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069092699152 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27101] ppid=27092 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27101/stat : 27101 (java) S 27092 27092 15196 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069091646608 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27102] ppid=27092 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27102/stat : 27102 (java) S 27092 27092 15196 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069090593552 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27103] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27103/stat : 27103 (java) S 27092 27092 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 57490 33554432000 4194304 4196468 140725684776080 140069089541008 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27104] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27104/stat : 27104 (java) S 27092 27092 15196 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 28 0 3972785 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067807942896 140069144300162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27105] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27105/stat : 27105 (java) S 27092 27092 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067806889120 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27106] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27106/stat : 27106 (java) S 27092 27092 15196 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067805836016 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27107] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27107/stat : 27107 (java) S 27092 27092 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067804784592 140069144307611 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27108] ppid=27092 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27108/stat : 27108 (java) R 27092 27092 15196 0 -1 1077944384 5432 0 0 0 154 1 0 0 20 0 28 0 3972790 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067803732720 140069144300162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27109] ppid=27092 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27109/stat : 27109 (java) R 27092 27092 15196 0 -1 4202560 6269 0 0 0 169 1 0 0 20 0 28 0 3972790 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067802666720 140069129415289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27110] ppid=27092 vsize=13801768 CPUtime=1.58 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27110/stat : 27110 (java) R 27092 27092 15196 0 -1 4202560 7451 0 0 0 157 1 0 0 20 0 28 0 3972790 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067801627040 140069127774938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27111] ppid=27092 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27111/stat : 27111 (java) S 27092 27092 15196 0 -1 1077944384 3887 0 0 0 86 1 0 0 20 0 28 0 3972790 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067800574576 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27112] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27112/stat : 27112 (java) S 27092 27092 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067799521760 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27113] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27113/stat : 27113 (java) S 27092 27092 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3972791 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067798469296 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27162] ppid=27092 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27162/stat : 27162 (java) R 27092 27092 15196 0 -1 4202560 29 0 0 0 92 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067785690160 140068771423223 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27163] ppid=27092 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27163/stat : 27163 (java) R 27092 27092 15196 0 -1 4202560 17 0 0 0 80 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067783585704 140068771196289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27164] ppid=27092 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27164/stat : 27164 (java) R 27092 27092 15196 0 -1 4202560 34 0 0 0 100 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067784639528 140069125695286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27165] ppid=27092 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27165/stat : 27165 (java) R 27092 27092 15196 0 -1 4202560 28 0 0 0 96 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067787799128 140068771196526 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27166] ppid=27092 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27166/stat : 27166 (java) R 27092 27092 15196 0 -1 4202560 23 0 0 0 72 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067789903960 140068771196298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27167] ppid=27092 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27167/stat : 27167 (java) R 27092 27092 15196 0 -1 4202560 97 0 0 0 91 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067790955496 140068771196522 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27168] ppid=27092 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27168/stat : 27168 (java) R 27092 27092 15196 0 -1 4202560 82 0 0 0 73 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067786743112 140068772081496 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27169] ppid=27092 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27169/stat : 27169 (java) R 27092 27092 15196 0 -1 4202560 82 0 0 0 97 0 0 0 20 0 28 0 3972986 14133010432 57490 33554432000 4194304 4196468 140725684776080 140067788849672 140068770905020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (KiB) 13811280 [startup+6.30161 s] /proc/loadavg: 15.24 14.16 14.13 17/301 27169 /proc/meminfo: memFree=20974936/32770624 swapFree=5808/99960 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 [pid=27093] ppid=27092 vsize=13801768 CPUtime=45.21 cores=0,2,4,6,8,10,12,14 /proc/27093/stat : 27093 (java) S 27092 27092 15196 0 -1 1077944320 36062 0 0 0 4502 19 0 0 20 0 28 0 3972782 14133010432 56356 33554432000 4194304 4196468 140725684776080 140725684758624 140069144289015 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 /proc/27093/statm: 3450442 56356 3277 1 0 3437675 0 [pid=27093/tid=27094] ppid=27092 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27094/stat : 27094 (java) S 27092 27092 15196 0 -1 1077944384 6949 0 0 0 79 3 0 0 20 0 28 0 3972782 14133010432 56356 33554432000 4194304 4196468 140725684776080 140069148529792 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27096] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27096/stat : 27096 (java) S 27092 27092 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 56356 33554432000 4194304 4196468 140725684776080 140069096909328 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27097] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27097/stat : 27097 (java) S 27092 27092 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 56356 33554432000 4194304 4196468 140725684776080 140069095856784 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27098] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27098/stat : 27098 (java) S 27092 27092 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3972783 14133010432 56356 33554432000 4194304 4196468 140725684776080 140069094803728 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27099] ppid=27092 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27099/stat : 27099 (java) S 27092 27092 15196 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 3972783 14133010432 56356 33554432000 4194304 4196468 140725684776080 140069093751184 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 ################ # More data... # ################ [pid=27093/tid=27216] ppid=27092 vsize=13801768 CPUtime=269.32 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27216/stat : 27216 (java) R 27092 27092 15196 0 -1 4202560 399 0 0 0 26932 0 0 0 20 0 28 0 3973657 14133010432 95240 33554432000 4194304 4196468 140725684776080 140067785690920 140068771423496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27217] ppid=27092 vsize=13801768 CPUtime=272.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27217/stat : 27217 (java) R 27092 27092 15196 0 -1 4202560 672 0 0 0 27213 0 0 0 20 0 28 0 3973657 14133010432 95240 33554432000 4194304 4196468 140725684776080 140067788849064 140068771196587 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 Current children cumulated CPU time (s) 2242.67 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.102 s] /proc/loadavg: 15.86 15.18 14.57 17/299 27409 /proc/meminfo: memFree=31265240/32770624 swapFree=5808/100384 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 [pid=27093] ppid=27092 vsize=13801768 CPUtime=2400.38 cores=0,2,4,6,8,10,12,14 /proc/27093/stat : 27093 (java) S 27092 27092 15196 0 -1 1077944320 79004 0 0 0 239960 78 0 0 20 0 28 0 3972782 14133010432 94341 33554432000 4194304 4196468 140725684776080 140725684758624 140069144289015 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 /proc/27093/statm: 3450442 94341 3286 1 0 3437675 0 [pid=27093/tid=27094] ppid=27092 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27094/stat : 27094 (java) S 27092 27092 15196 0 -1 1077944384 6989 0 0 0 80 3 0 0 20 0 28 0 3972782 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069148529792 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27096] ppid=27092 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27096/stat : 27096 (java) S 27092 27092 15196 0 -1 1077944384 1059 0 0 0 9 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069096909328 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27097] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27097/stat : 27097 (java) S 27092 27092 15196 0 -1 1077944384 1039 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069095856784 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27098] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27098/stat : 27098 (java) S 27092 27092 15196 0 -1 1077944384 446 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069094803728 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27099] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27099/stat : 27099 (java) S 27092 27092 15196 0 -1 1077944384 375 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069093751184 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27100] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27100/stat : 27100 (java) S 27092 27092 15196 0 -1 1077944384 265 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069092699152 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27101] ppid=27092 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27101/stat : 27101 (java) S 27092 27092 15196 0 -1 1077944384 927 0 0 0 9 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069091646608 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27102] ppid=27092 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27102/stat : 27102 (java) S 27092 27092 15196 0 -1 1077944384 614 0 0 0 10 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069090593552 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27103] ppid=27092 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27103/stat : 27103 (java) S 27092 27092 15196 0 -1 1077944384 2557 0 0 0 9 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069089541008 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27104] ppid=27092 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27104/stat : 27104 (java) S 27092 27092 15196 0 -1 1077944384 1762 0 0 0 4 5 0 0 20 0 28 0 3972785 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067807942896 140069144300162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27105] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27105/stat : 27105 (java) S 27092 27092 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067806889184 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27106] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27106/stat : 27106 (java) S 27092 27092 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067805836032 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27107] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27107/stat : 27107 (java) S 27092 27092 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067804784592 140069144307611 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27108] ppid=27092 vsize=13801768 CPUtime=2.81 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27108/stat : 27108 (java) S 27092 27092 15196 0 -1 1077944384 13313 0 0 0 279 2 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067803732720 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27109] ppid=27092 vsize=13801768 CPUtime=2.76 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27109/stat : 27109 (java) S 27092 27092 15196 0 -1 1077944384 14939 0 0 0 274 2 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067802680176 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27110] ppid=27092 vsize=13801768 CPUtime=2.64 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27110/stat : 27110 (java) S 27092 27092 15196 0 -1 1077944384 12678 0 0 0 262 2 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067801627120 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27111] ppid=27092 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27111/stat : 27111 (java) S 27092 27092 15196 0 -1 1077944384 7682 0 0 0 98 1 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067800574576 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27112] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27112/stat : 27112 (java) S 27092 27092 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067799521760 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27113] ppid=27092 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27113/stat : 27113 (java) S 27092 27092 15196 0 -1 1077944384 541 0 0 0 4 6 0 0 20 0 28 0 3972791 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067798469296 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27210] ppid=27092 vsize=13801768 CPUtime=292.72 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27210/stat : 27210 (java) R 27092 27092 15196 0 -1 4202560 904 0 0 0 29271 1 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067784636984 140068771423310 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27211] ppid=27092 vsize=13801768 CPUtime=292.81 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27211/stat : 27211 (java) R 27092 27092 15196 0 -1 4202560 869 0 0 0 29281 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067790954280 140068772082436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27212] ppid=27092 vsize=13801768 CPUtime=291.97 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27212/stat : 27212 (java) R 27092 27092 15196 0 -1 4202560 3067 0 0 0 29196 1 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067789901760 140068773714384 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27213] ppid=27092 vsize=13801768 CPUtime=291.04 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27213/stat : 27213 (java) R 27092 27092 15196 0 -1 4202560 1397 0 0 0 29103 1 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067786744360 140068771423483 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27214] ppid=27092 vsize=13801768 CPUtime=292.58 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27214/stat : 27214 (java) R 27092 27092 15196 0 -1 4202560 630 0 0 0 29258 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067783588560 140068771196919 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27215] ppid=27092 vsize=13801768 CPUtime=291.59 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27215/stat : 27215 (java) R 27092 27092 15196 0 -1 4202560 694 0 0 0 29159 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067787796776 140068771196414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27216] ppid=27092 vsize=13801768 CPUtime=289.02 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27216/stat : 27216 (java) R 27092 27092 15196 0 -1 4202560 410 0 0 0 28902 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067785690920 140068771196205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27217] ppid=27092 vsize=13801768 CPUtime=291.75 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27217/stat : 27217 (java) R 27092 27092 15196 0 -1 4202560 681 0 0 0 29175 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067788848744 140068772425069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 Current children cumulated CPU time (s) 2400.38 Current children cumulated vsize (KiB) 13811280 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 27093 sig 9 ??? kill 27092 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+302.102 s] /proc/loadavg: 15.86 15.18 14.57 17/299 27409 /proc/meminfo: memFree=31265240/32770624 swapFree=5808/100384 [pid=27092] ppid=27089 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27092/stat : 27092 (xcsp3-exec) S 27089 27092 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3972781 9740288 346 33554432000 4194304 5098028 140731487355808 140731487353912 140566322422396 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17960960 140731487364238 140731487364448 140731487364448 140731487367147 0 /proc/27092/statm: 2378 346 289 221 0 87 0 [pid=27093] ppid=27092 vsize=13801768 CPUtime=2400.38 cores=0,2,4,6,8,10,12,14 /proc/27093/stat : 27093 (java) S 27092 27092 15196 0 -1 1077944320 79004 0 0 0 239960 78 0 0 20 0 28 0 3972782 14133010432 94341 33554432000 4194304 4196468 140725684776080 140725684758624 140069144289015 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 /proc/27093/statm: 3450442 94341 3286 1 0 3437675 0 [pid=27093/tid=27094] ppid=27092 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27094/stat : 27094 (java) S 27092 27092 15196 0 -1 1077944384 6989 0 0 0 80 3 0 0 20 0 28 0 3972782 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069148529792 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27096] ppid=27092 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27096/stat : 27096 (java) S 27092 27092 15196 0 -1 1077944384 1059 0 0 0 9 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069096909328 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27097] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27097/stat : 27097 (java) S 27092 27092 15196 0 -1 1077944384 1039 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069095856784 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27098] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27098/stat : 27098 (java) S 27092 27092 15196 0 -1 1077944384 446 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069094803728 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27099] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27099/stat : 27099 (java) S 27092 27092 15196 0 -1 1077944384 375 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069093751184 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27100] ppid=27092 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27100/stat : 27100 (java) S 27092 27092 15196 0 -1 1077944384 265 0 0 0 8 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069092699152 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27101] ppid=27092 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27101/stat : 27101 (java) S 27092 27092 15196 0 -1 1077944384 927 0 0 0 9 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069091646608 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27102] ppid=27092 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27102/stat : 27102 (java) S 27092 27092 15196 0 -1 1077944384 614 0 0 0 10 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069090593552 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27103] ppid=27092 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27103/stat : 27103 (java) S 27092 27092 15196 0 -1 1077944384 2557 0 0 0 9 5 0 0 20 0 28 0 3972783 14133010432 94341 33554432000 4194304 4196468 140725684776080 140069089541008 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27104] ppid=27092 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27104/stat : 27104 (java) S 27092 27092 15196 0 -1 1077944384 1762 0 0 0 4 5 0 0 20 0 28 0 3972785 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067807942896 140069144300162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27105] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27105/stat : 27105 (java) S 27092 27092 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067806889184 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27106] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27106/stat : 27106 (java) S 27092 27092 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3972786 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067805836032 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27107] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27107/stat : 27107 (java) S 27092 27092 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067804784592 140069144307611 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27108] ppid=27092 vsize=13801768 CPUtime=2.81 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27108/stat : 27108 (java) S 27092 27092 15196 0 -1 1077944384 13313 0 0 0 279 2 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067803732720 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27109] ppid=27092 vsize=13801768 CPUtime=2.76 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27109/stat : 27109 (java) S 27092 27092 15196 0 -1 1077944384 14939 0 0 0 274 2 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067802680176 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27110] ppid=27092 vsize=13801768 CPUtime=2.64 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27110/stat : 27110 (java) S 27092 27092 15196 0 -1 1077944384 12678 0 0 0 262 2 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067801627120 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27111] ppid=27092 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27111/stat : 27111 (java) S 27092 27092 15196 0 -1 1077944384 7682 0 0 0 98 1 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067800574576 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27112] ppid=27092 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27112/stat : 27112 (java) S 27092 27092 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3972790 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067799521760 140069144299221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27113] ppid=27092 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27113/stat : 27113 (java) S 27092 27092 15196 0 -1 1077944384 541 0 0 0 4 6 0 0 20 0 28 0 3972791 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067798469296 140069144300162 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27210] ppid=27092 vsize=13801768 CPUtime=292.72 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27210/stat : 27210 (java) R 27092 27092 15196 0 -1 4202560 904 0 0 0 29271 1 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067784636984 140068771423310 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27211] ppid=27092 vsize=13801768 CPUtime=292.81 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27211/stat : 27211 (java) R 27092 27092 15196 0 -1 4202560 869 0 0 0 29281 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067790954280 140068772082436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27212] ppid=27092 vsize=13801768 CPUtime=291.97 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27212/stat : 27212 (java) R 27092 27092 15196 0 -1 4202560 3067 0 0 0 29196 1 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067789901760 140068773714384 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27213] ppid=27092 vsize=13801768 CPUtime=291.04 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27213/stat : 27213 (java) R 27092 27092 15196 0 -1 4202560 1397 0 0 0 29103 1 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067786744360 140068771423483 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27214] ppid=27092 vsize=13801768 CPUtime=292.58 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27214/stat : 27214 (java) R 27092 27092 15196 0 -1 4202560 630 0 0 0 29258 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067783588560 140068771196919 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27215] ppid=27092 vsize=13801768 CPUtime=291.59 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27215/stat : 27215 (java) R 27092 27092 15196 0 -1 4202560 694 0 0 0 29159 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067787796776 140068771196414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27216] ppid=27092 vsize=13801768 CPUtime=289.02 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27216/stat : 27216 (java) R 27092 27092 15196 0 -1 4202560 410 0 0 0 28902 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067785690920 140068771196205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 [pid=27093/tid=27217] ppid=27092 vsize=13801768 CPUtime=291.75 cores=0,2,4,6,8,10,12,14 /proc/27093/task/27217/stat : 27217 (java) R 27092 27092 15196 0 -1 4202560 681 0 0 0 29175 0 0 0 20 0 28 0 3973657 14133010432 94341 33554432000 4194304 4196468 140725684776080 140067788848744 140068772425069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725684782268 140725684782444 140725684782444 140725684785103 0 Current children cumulated CPU time (s) 2400.38 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27092 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1519 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1519 # CPU time returned by wait4() is 0.003038 # while last known CPU time is 2400.38 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.112 CPU time (s): 2400.38 CPU user time (s): 2399.6 CPU system time (s): 0.78 CPU usage (%): 794.533 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001519 system time used= 0.001519 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.7399 second user time and 4.54793 second system time The end
Begin job on node145 at 2017-07-22 03:31:17 IDJOB=4246174 IDBENCH=124211 IDSOLVER=2626 FILE ID=node145/4246174-1500687077 RUNJOBID= node145-1500682809-15227 PBS_JOBID= 20623333 Free space on /tmp= 61840 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-6.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246174-1500687077/watcher-4246174-1500687077 -o /tmp/evaluation-result-4246174-1500687077/solver-4246174-1500687077 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2018597188 HOME/instance-4246174-1500687077.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= d01afa5e20b7ebab190e76d647c74323 RANDOM SEED=2018597188 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.43 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 : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.43 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 : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.43 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 : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.43 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21189256 kB MemAvailable: 21253868 kB Buffers: 127460 kB Cached: 209588 kB SwapCached: 0 kB Active: 10942308 kB Inactive: 168312 kB Active(anon): 10716976 kB Inactive(anon): 68068 kB Active(file): 225332 kB Inactive(file): 100244 kB Unevictable: 5808 kB Mlocked: 5808 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8164 kB Writeback: 0 kB AnonPages: 10779432 kB Mapped: 43112 kB Shmem: 8852 kB Slab: 144348 kB SReclaimable: 109740 kB SUnreclaim: 34608 kB KernelStack: 4672 kB PageTables: 26176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 11022736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10506240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61848 MiB End job on node145 at 2017-07-22 03:36:19