2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	119	2400.1	302.112

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246173-1500686791.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4246173-1500686791.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.27	c 8 solvers in parallel
0.00/0.34	c parse instance...
0.00/0.86	c solve instance...
4.30/1.22	o 130 
6.54/1.41	o 129 
7.30/1.57	o 128 
8.80/1.75	o 127 
10.38/1.90	o 126 
11.17/2.02	o 125 
41.35/5.84	o 124 
42.09/5.98	o 123 
42.82/6.09	o 122 
57.16/7.89	o 121 
58.31/8.05	o 120 
59.01/8.10	o 119 
2400.10/302.14	s SATISFIABLE
2400.10/302.14	v <instantiation>
2400.10/302.14	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.10/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.10/302.14	v </instantiation>
2400.10/302.14	c Unexpected resolution interruption!

Verifier Data

Watcher Data

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-4246173-1500686791/watcher-4246173-1500686791 -o /tmp/evaluation-result-4246173-1500686791/solver-4246173-1500686791 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1804688922 HOME/instance-4246173-1500686791.xml 

pid=8379
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.97 15.30 15.09 10/273 8382
/proc/meminfo: memFree=30226640/32770624 swapFree=5900/255820
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0

[startup+0.100078 s]
/proc/loadavg: 15.97 15.30 15.09 10/273 8382
/proc/meminfo: memFree=30226640/32770624 swapFree=5900/255820
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200336 s]
/proc/loadavg: 15.97 15.30 15.09 10/273 8382
/proc/meminfo: memFree=30226640/32770624 swapFree=5900/255820
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300399 s]
/proc/loadavg: 15.97 15.30 15.09 10/273 8382
/proc/meminfo: memFree=30226640/32770624 swapFree=5900/255820
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700209 s]
/proc/loadavg: 15.97 15.30 15.09 10/273 8382
/proc/meminfo: memFree=30226640/32770624 swapFree=5900/255820
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50187 s]
/proc/loadavg: 15.97 15.30 15.09 20/302 8411
/proc/meminfo: memFree=30094892/32770624 swapFree=5900/255860
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
[pid=8383] ppid=8382 vsize=13801768 CPUtime=7.3 cores=0,2,4,6,8,10,12,14
/proc/8383/stat : 8383 (java) S 8382 8382 16913 0 -1 1077944320 18401 0 0 0 720 10 0 0 20 0 28 0 3946086 14133010432 47243 33554432000 4194304 4196468 140725034373984 140725034356528 140111198359287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
/proc/8383/statm: 3450442 47243 3250 1 0 3437675 0
[pid=8383/tid=8384] ppid=8382 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8384/stat : 8384 (java) S 8382 8382 16913 0 -1 1077944384 6807 0 0 0 82 4 0 0 20 0 28 0 3946086 14133010432 47243 33554432000 4194304 4196468 140725034373984 140111202600064 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8386] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8386/stat : 8386 (java) S 8382 8382 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110797928720 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8387] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8387/stat : 8387 (java) S 8382 8382 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110796876176 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8388] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8388/stat : 8388 (java) S 8382 8382 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110795823632 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8389] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8389/stat : 8389 (java) S 8382 8382 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110794771088 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8390] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8390/stat : 8390 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110793718544 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8391] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8391/stat : 8391 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110792666000 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8392] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8392/stat : 8392 (java) S 8382 8382 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110791613456 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8393] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8393/stat : 8393 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 47243 33554432000 4194304 4196468 140725034373984 140110790560912 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8394] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8394/stat : 8394 (java) S 8382 8382 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3946090 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109863094256 140111198370434 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8395] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8395/stat : 8395 (java) S 8382 8382 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3946090 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109862040480 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8396] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8396/stat : 8396 (java) S 8382 8382 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3946091 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109860987888 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8397] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8397/stat : 8397 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109859936464 140111198377883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8398] ppid=8382 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8398/stat : 8398 (java) R 8382 8382 16913 0 -1 4202560 2394 0 0 0 90 1 0 0 20 0 28 0 3946095 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109858870720 140111181856064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8399] ppid=8382 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8399/stat : 8399 (java) R 8382 8382 16913 0 -1 4202560 2031 0 0 0 76 0 0 0 20 0 28 0 3946095 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109857816496 140111183476444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8400] ppid=8382 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8400/stat : 8400 (java) R 8382 8382 16913 0 -1 4202560 2459 0 0 0 79 0 0 0 20 0 28 0 3946095 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109856765248 140111184374523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8401] ppid=8382 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8401/stat : 8401 (java) S 8382 8382 16913 0 -1 1077944384 2730 0 0 0 72 0 0 0 20 0 28 0 3946095 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109855726448 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8402] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8402/stat : 8402 (java) S 8382 8382 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109854673120 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8403] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8403/stat : 8403 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 47243 33554432000 4194304 4196468 140725034373984 140109853620656 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 13811280

[startup+3.10169 s]
/proc/loadavg: 16.22 15.36 15.11 21/302 8459
/proc/meminfo: memFree=30009356/32770624 swapFree=5900/255860
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
[pid=8383] ppid=8382 vsize=13801768 CPUtime=19.9 cores=0,2,4,6,8,10,12,14
/proc/8383/stat : 8383 (java) S 8382 8382 16913 0 -1 1077944320 23151 0 0 0 1970 20 0 0 20 0 28 0 3946086 14133010432 58024 33554432000 4194304 4196468 140725034373984 140725034356528 140111198359287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
/proc/8383/statm: 3450442 58024 3271 1 0 3437675 0
[pid=8383/tid=8384] ppid=8382 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8384/stat : 8384 (java) S 8382 8382 16913 0 -1 1077944384 6808 0 0 0 82 4 0 0 20 0 28 0 3946086 14133010432 58024 33554432000 4194304 4196468 140725034373984 140111202600064 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8386] ppid=8382 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8386/stat : 8386 (java) S 8382 8382 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110797928720 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8387] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8387/stat : 8387 (java) S 8382 8382 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110796876176 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8388] ppid=8382 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8388/stat : 8388 (java) S 8382 8382 16913 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110795823632 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8389] ppid=8382 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8389/stat : 8389 (java) S 8382 8382 16913 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110794771088 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8390] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8390/stat : 8390 (java) S 8382 8382 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110793718544 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8391] ppid=8382 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8391/stat : 8391 (java) S 8382 8382 16913 0 -1 1077944384 10 0 0 0 1 1 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110792666000 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8392] ppid=8382 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8392/stat : 8392 (java) S 8382 8382 16913 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110791613456 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8393] ppid=8382 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8393/stat : 8393 (java) S 8382 8382 16913 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 28 0 3946087 14133010432 58024 33554432000 4194304 4196468 140725034373984 140110790560912 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8394] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8394/stat : 8394 (java) S 8382 8382 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3946090 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109863094256 140111198370434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8395] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8395/stat : 8395 (java) S 8382 8382 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3946090 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109862040480 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8396] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8396/stat : 8396 (java) S 8382 8382 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3946091 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109860987888 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8397] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8397/stat : 8397 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109859936464 140111198377883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8398] ppid=8382 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8398/stat : 8398 (java) S 8382 8382 16913 0 -1 1077944384 3875 0 0 0 186 1 0 0 20 0 28 0 3946095 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109858884080 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8399] ppid=8382 vsize=13801768 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8399/stat : 8399 (java) S 8382 8382 16913 0 -1 1077944384 2593 0 0 0 173 0 0 0 20 0 28 0 3946095 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109857831536 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8400] ppid=8382 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8400/stat : 8400 (java) S 8382 8382 16913 0 -1 1077944384 3653 0 0 0 176 1 0 0 20 0 28 0 3946095 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109856778992 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8401] ppid=8382 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8401/stat : 8401 (java) S 8382 8382 16913 0 -1 1077944384 3471 0 0 0 93 1 0 0 20 0 28 0 3946095 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109855726448 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8402] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8402/stat : 8402 (java) S 8382 8382 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109854673120 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8403] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8403/stat : 8403 (java) S 8382 8382 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109853620656 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8452] ppid=8382 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8452/stat : 8452 (java) R 8382 8382 16913 0 -1 4202560 17 0 0 0 80 0 0 0 20 0 28 0 3946287 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109845605336 140110842573631 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8453] ppid=8382 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8453/stat : 8453 (java) R 8382 8382 16913 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 28 0 3946287 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109840343280 140110842573908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8454] ppid=8382 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8454/stat : 8454 (java) R 8382 8382 16913 0 -1 4202560 17 0 0 0 76 0 0 0 20 0 28 0 3946287 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109844556008 140110841843732 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8455] ppid=8382 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8455/stat : 8455 (java) R 8382 8382 16913 0 -1 4202560 17 0 0 0 83 0 0 0 20 0 28 0 3946287 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109841398104 140110837144175 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8456] ppid=8382 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8456/stat : 8456 (java) R 8382 8382 16913 0 -1 4202560 17 0 0 0 89 0 0 0 20 0 28 0 3946287 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109839291352 140110841843793 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8457] ppid=8382 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8457/stat : 8457 (java) R 8382 8382 16913 0 -1 4202560 17 0 0 0 84 0 0 0 20 0 28 0 3946287 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109838237816 140110841843751 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8458] ppid=8382 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8458/stat : 8458 (java) R 8382 8382 16913 0 -1 4202560 17 0 0 0 75 0 0 0 20 0 28 0 3946287 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109843500688 140110841843767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8459] ppid=8382 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8459/stat : 8459 (java) R 8382 8382 16913 0 -1 4202560 18 0 0 0 73 0 0 0 20 0 28 0 3946288 14133010432 58024 33554432000 4194304 4196468 140725034373984 140109842448360 140110841843863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (KiB) 13811280

[startup+6.30135 s]
/proc/loadavg: 16.22 15.36 15.11 16/302 8555
/proc/meminfo: memFree=31399672/32770624 swapFree=5900/255900
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
[pid=8383] ppid=8382 vsize=13801768 CPUtime=45.12 cores=0,2,4,6,8,10,12,14
/proc/8383/stat : 8383 (java) S 8382 8382 16913 0 -1 1077944320 32186 0 0 0 4479 33 0 0 20 0 28 0 3946086 14133010432 64206 33554432000 4194304 4196468 140725034373984 140725034356528 140111198359287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
/proc/8383/statm: 3450442 64206 3281 1 0 3437675 0
[pid=8383/tid=8384] ppid=8382 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8384/stat : 8384 (java) S 8382 8382 16913 0 -1 1077944384 6987 0 0 0 83 4 0 0 20 0 28 0 3946086 14133010432 64206 33554432000 4194304 4196468 140725034373984 140111202600064 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8386] ppid=8382 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8386/stat : 8386 (java) S 8382 8382 16913 0 -1 1077944384 205 0 0 0 2 2 0 0 20 0 28 0 3946087 14133010432 64206 33554432000 4194304 4196468 140725034373984 140110797928720 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8387] ppid=8382 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8387/stat : 8387 (java) S 8382 8382 16913 0 -1 1077944384 95 0 0 0 1 1 0 0 20 0 28 0 3946087 14133010432 64206 33554432000 4194304 4196468 140725034373984 140110796876176 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8388] ppid=8382 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8388/stat : 8388 (java) S 8382 8382 16913 0 -1 1077944384 674 0 0 0 2 2 0 0 20 0 28 0 3946087 14133010432 64206 33554432000 4194304 4196468 140725034373984 140110795823632 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8389] ppid=8382 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8389/stat : 8389 (java) S 8382 8382 16913 0 -1 1077944384 29 0 0 0 1 2 0 0 20 0 28 0 3946087 14133010432 64206 33554432000 4194304 4196468 140725034373984 140110794771088 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0

################
# More data... #
################

[pid=8383/tid=8626] ppid=8382 vsize=13801768 CPUtime=272.42 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8626/stat : 8626 (java) R 8382 8382 16913 0 -1 4202560 762 0 0 0 27242 0 0 0 20 0 28 0 3946896 14133010432 94015 33554432000 4194304 4196468 140725034373984 140109844553176 140110841953183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8627] ppid=8382 vsize=13801768 CPUtime=271.55 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8627/stat : 8627 (java) R 8382 8382 16913 0 -1 4202560 779 0 0 0 27155 0 0 0 20 0 28 0 3946896 14133010432 94015 33554432000 4194304 4196468 140725034373984 140109845605800 140110841843767 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
Current children cumulated CPU time (s) 2242.35
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+302.102 s]
/proc/loadavg: 16.01 15.80 15.37 17/304 9016
/proc/meminfo: memFree=30869888/32770624 swapFree=5900/256280
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
[pid=8383] ppid=8382 vsize=13801768 CPUtime=2400.1 cores=0,2,4,6,8,10,12,14
/proc/8383/stat : 8383 (java) S 8382 8382 16913 0 -1 1077944320 77049 0 0 0 239925 85 0 0 20 0 28 0 3946086 14133010432 92605 33554432000 4194304 4196468 140725034373984 140725034356528 140111198359287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
/proc/8383/statm: 3450442 92605 3288 1 0 3437675 0
[pid=8383/tid=8384] ppid=8382 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8384/stat : 8384 (java) S 8382 8382 16913 0 -1 1077944384 6992 0 0 0 83 4 0 0 20 0 28 0 3946086 14133010432 92605 33554432000 4194304 4196468 140725034373984 140111202600064 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8386] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8386/stat : 8386 (java) S 8382 8382 16913 0 -1 1077944384 1537 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110797928720 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8387] ppid=8382 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8387/stat : 8387 (java) S 8382 8382 16913 0 -1 1077944384 336 0 0 0 8 5 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110796876176 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8388] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8388/stat : 8388 (java) S 8382 8382 16913 0 -1 1077944384 1884 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110795823632 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8389] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8389/stat : 8389 (java) S 8382 8382 16913 0 -1 1077944384 1401 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110794771088 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8390] ppid=8382 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8390/stat : 8390 (java) S 8382 8382 16913 0 -1 1077944384 285 0 0 0 8 5 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110793718544 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8391] ppid=8382 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8391/stat : 8391 (java) S 8382 8382 16913 0 -1 1077944384 711 0 0 0 8 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110792666000 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8392] ppid=8382 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8392/stat : 8392 (java) S 8382 8382 16913 0 -1 1077944384 1764 0 0 0 8 5 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110791613456 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8393] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8393/stat : 8393 (java) S 8382 8382 16913 0 -1 1077944384 519 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110790560912 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8394] ppid=8382 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8394/stat : 8394 (java) S 8382 8382 16913 0 -1 1077944384 2106 0 0 0 4 5 0 0 20 0 28 0 3946090 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109863094256 140111198370434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8395] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8395/stat : 8395 (java) S 8382 8382 16913 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 3946090 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109862040544 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8396] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8396/stat : 8396 (java) S 8382 8382 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3946091 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109860987904 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8397] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8397/stat : 8397 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109859936464 140111198377883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8398] ppid=8382 vsize=13801768 CPUtime=3.2 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8398/stat : 8398 (java) S 8382 8382 16913 0 -1 1077944384 10366 0 0 0 318 2 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109858884080 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8399] ppid=8382 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8399/stat : 8399 (java) S 8382 8382 16913 0 -1 1077944384 11245 0 0 0 299 1 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109857831536 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8400] ppid=8382 vsize=13801768 CPUtime=3.46 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8400/stat : 8400 (java) S 8382 8382 16913 0 -1 1077944384 14860 0 0 0 344 2 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109856778992 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8401] ppid=8382 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8401/stat : 8401 (java) S 8382 8382 16913 0 -1 1077944384 7871 0 0 0 112 2 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109855726448 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8402] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8402/stat : 8402 (java) S 8382 8382 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109854673120 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8403] ppid=8382 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8403/stat : 8403 (java) S 8382 8382 16913 0 -1 1077944384 1107 0 0 0 6 6 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109853620656 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8620] ppid=8382 vsize=13801768 CPUtime=291.67 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8620/stat : 8620 (java) R 8382 8382 16913 0 -1 4202560 1018 0 0 0 29166 1 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109842446952 140110843045505 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8621] ppid=8382 vsize=13801768 CPUtime=291.71 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8621/stat : 8621 (java) R 8382 8382 16913 0 -1 4202560 638 0 0 0 29171 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109841395672 140110841843759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8622] ppid=8382 vsize=13801768 CPUtime=291.46 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8622/stat : 8622 (java) R 8382 8382 16913 0 -1 4202560 2705 0 0 0 29145 1 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109840343096 140110841953087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8623] ppid=8382 vsize=13801768 CPUtime=293.29 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8623/stat : 8623 (java) R 8382 8382 16913 0 -1 4202560 2089 0 0 0 29326 3 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109843503664 140110841844032 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8624] ppid=8382 vsize=13801768 CPUtime=293.19 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8624/stat : 8624 (java) R 8382 8382 16913 0 -1 4202560 836 0 0 0 29319 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109838237664 140110841716324 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8625] ppid=8382 vsize=13801768 CPUtime=292.94 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8625/stat : 8625 (java) R 8382 8382 16913 0 -1 4202560 584 0 0 0 29294 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109839290840 140110843045600 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8626] ppid=8382 vsize=13801768 CPUtime=292.2 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8626/stat : 8626 (java) R 8382 8382 16913 0 -1 4202560 766 0 0 0 29220 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109844553048 140110841843863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8627] ppid=8382 vsize=13801768 CPUtime=291.33 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8627/stat : 8627 (java) R 8382 8382 16913 0 -1 4202560 781 0 0 0 29133 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109845605800 140110841843767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
Current children cumulated CPU time (s) 2400.1
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 8383 sig 9
??? kill 8382 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+302.102 s]
/proc/loadavg: 16.01 15.80 15.37 17/304 9016
/proc/meminfo: memFree=30869888/32770624 swapFree=5900/256280
[pid=8382] ppid=8379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8382/stat : 8382 (xcsp3-exec) S 8379 8382 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3946085 9740288 346 33554432000 4194304 5098028 140728619762640 140728619760744 140520172008060 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36691968 140728619771022 140728619771232 140728619771232 140728619773931 0
/proc/8382/statm: 2378 346 289 221 0 87 0
[pid=8383] ppid=8382 vsize=13801768 CPUtime=2400.1 cores=0,2,4,6,8,10,12,14
/proc/8383/stat : 8383 (java) S 8382 8382 16913 0 -1 1077944320 77049 0 0 0 239925 85 0 0 20 0 28 0 3946086 14133010432 92605 33554432000 4194304 4196468 140725034373984 140725034356528 140111198359287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
/proc/8383/statm: 3450442 92605 3288 1 0 3437675 0
[pid=8383/tid=8384] ppid=8382 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8384/stat : 8384 (java) S 8382 8382 16913 0 -1 1077944384 6992 0 0 0 83 4 0 0 20 0 28 0 3946086 14133010432 92605 33554432000 4194304 4196468 140725034373984 140111202600064 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8386] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8386/stat : 8386 (java) S 8382 8382 16913 0 -1 1077944384 1537 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110797928720 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8387] ppid=8382 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8387/stat : 8387 (java) S 8382 8382 16913 0 -1 1077944384 336 0 0 0 8 5 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110796876176 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8388] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8388/stat : 8388 (java) S 8382 8382 16913 0 -1 1077944384 1884 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110795823632 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8389] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8389/stat : 8389 (java) S 8382 8382 16913 0 -1 1077944384 1401 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110794771088 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8390] ppid=8382 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8390/stat : 8390 (java) S 8382 8382 16913 0 -1 1077944384 285 0 0 0 8 5 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110793718544 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8391] ppid=8382 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8391/stat : 8391 (java) S 8382 8382 16913 0 -1 1077944384 711 0 0 0 8 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110792666000 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8392] ppid=8382 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8392/stat : 8392 (java) S 8382 8382 16913 0 -1 1077944384 1764 0 0 0 8 5 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110791613456 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8393] ppid=8382 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8393/stat : 8393 (java) S 8382 8382 16913 0 -1 1077944384 519 0 0 0 9 6 0 0 20 0 28 0 3946087 14133010432 92605 33554432000 4194304 4196468 140725034373984 140110790560912 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8394] ppid=8382 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8394/stat : 8394 (java) S 8382 8382 16913 0 -1 1077944384 2106 0 0 0 4 5 0 0 20 0 28 0 3946090 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109863094256 140111198370434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8395] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8395/stat : 8395 (java) S 8382 8382 16913 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 3946090 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109862040544 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8396] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8396/stat : 8396 (java) S 8382 8382 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3946091 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109860987904 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8397] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8397/stat : 8397 (java) S 8382 8382 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109859936464 140111198377883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8398] ppid=8382 vsize=13801768 CPUtime=3.2 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8398/stat : 8398 (java) S 8382 8382 16913 0 -1 1077944384 10366 0 0 0 318 2 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109858884080 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8399] ppid=8382 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8399/stat : 8399 (java) S 8382 8382 16913 0 -1 1077944384 11245 0 0 0 299 1 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109857831536 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8400] ppid=8382 vsize=13801768 CPUtime=3.46 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8400/stat : 8400 (java) S 8382 8382 16913 0 -1 1077944384 14860 0 0 0 344 2 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109856778992 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8401] ppid=8382 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8401/stat : 8401 (java) S 8382 8382 16913 0 -1 1077944384 7871 0 0 0 112 2 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109855726448 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8402] ppid=8382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8402/stat : 8402 (java) S 8382 8382 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109854673120 140111198369493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8403] ppid=8382 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8403/stat : 8403 (java) S 8382 8382 16913 0 -1 1077944384 1107 0 0 0 6 6 0 0 20 0 28 0 3946095 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109853620656 140111198370434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8620] ppid=8382 vsize=13801768 CPUtime=291.67 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8620/stat : 8620 (java) R 8382 8382 16913 0 -1 4202560 1018 0 0 0 29166 1 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109842446952 140110843045505 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8621] ppid=8382 vsize=13801768 CPUtime=291.71 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8621/stat : 8621 (java) R 8382 8382 16913 0 -1 4202560 638 0 0 0 29171 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109841395672 140110841843759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8622] ppid=8382 vsize=13801768 CPUtime=291.46 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8622/stat : 8622 (java) R 8382 8382 16913 0 -1 4202560 2705 0 0 0 29145 1 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109840343096 140110841953087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8623] ppid=8382 vsize=13801768 CPUtime=293.29 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8623/stat : 8623 (java) R 8382 8382 16913 0 -1 4202560 2089 0 0 0 29326 3 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109843503664 140110841844032 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8624] ppid=8382 vsize=13801768 CPUtime=293.19 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8624/stat : 8624 (java) R 8382 8382 16913 0 -1 4202560 836 0 0 0 29319 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109838237664 140110841716324 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8625] ppid=8382 vsize=13801768 CPUtime=292.94 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8625/stat : 8625 (java) R 8382 8382 16913 0 -1 4202560 584 0 0 0 29294 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109839290840 140110843045600 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8626] ppid=8382 vsize=13801768 CPUtime=292.2 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8626/stat : 8626 (java) R 8382 8382 16913 0 -1 4202560 766 0 0 0 29220 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109844553048 140110841843863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
[pid=8383/tid=8627] ppid=8382 vsize=13801768 CPUtime=291.33 cores=0,2,4,6,8,10,12,14
/proc/8383/task/8627/stat : 8627 (java) R 8382 8382 16913 0 -1 4202560 781 0 0 0 29133 0 0 0 20 0 28 0 3946896 14133010432 92605 33554432000 4194304 4196468 140725034373984 140109845605800 140110841843767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140725034382524 140725034382700 140725034382700 140725034385359 0
Current children cumulated CPU time (s) 2400.1
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 8382 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1314
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1314
# CPU time returned by wait4() is 0.002628
# while last known CPU time is 2400.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 302.112
CPU time (s): 2400.1
CPU user time (s): 2399.25
CPU system time (s): 0.85
CPU usage (%): 794.439
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001314
system time used= 0.001314
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79046 second user time and 4.93656 second system time

The end

Launcher Data

Begin job on node133 at 2017-07-22 03:26:31
IDJOB=4246173
IDBENCH=124211
IDSOLVER=2625
FILE ID=node133/4246173-1500686791
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
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-4246173-1500686791/watcher-4246173-1500686791 -o /tmp/evaluation-result-4246173-1500686791/solver-4246173-1500686791 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1804688922 HOME/instance-4246173-1500686791.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= d01afa5e20b7ebab190e76d647c74323
RANDOM SEED=1804688922

node133.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		: 1600.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	: 5334.13
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	: 5229.85
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	: 5334.13
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	: 5229.85
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		: 1733.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	: 5334.13
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	: 5229.85
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		: 1867.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	: 5334.13
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	: 5229.85
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	: 5334.13
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	: 5229.85
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		: 1600.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	: 5334.13
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	: 5229.85
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	: 5334.13
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	: 5229.85
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		: 1733.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	: 5334.13
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30226740 kB
MemAvailable:   30384584 kB
Buffers:          109924 kB
Cached:           328604 kB
SwapCached:            0 kB
Active:          1842608 kB
Inactive:         264576 kB
Active(anon):    1670856 kB
Inactive(anon):     8756 kB
Active(file):     171752 kB
Inactive(file):   255820 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7604 kB
Writeback:             0 kB
AnonPages:       1673904 kB
Mapped:            43180 kB
Shmem:              8872 kB
Slab:             126088 kB
SReclaimable:      92216 kB
SUnreclaim:        33872 kB
KernelStack:        4720 kB
PageTables:         9288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2668580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1546240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 03:31:34

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

Trace number 4246173

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data