2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT (TO)	119	2006.87	252.108

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281306-1503185273.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281306-1503185273.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.85/0.72	c solve instance...
4.88/1.16	o 130 
7.95/1.51	o 129 
7.95/1.59	o 128 
8.58/1.66	o 127 
9.31/1.71	o 126 
9.31/1.77	o 125 
10.08/1.82	o 124 
10.08/1.87	o 123 
10.80/1.93	o 122 
10.80/2.01	o 121 
11.58/2.06	o 120 
12.31/2.11	o 119 
2006.14/252.08	s SATISFIABLE
2006.14/252.08	v <instantiation>
2006.14/252.08	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>
2006.14/252.08	v 	<values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 3 2 1 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 2 0 4 2 0 0 0 0 0 0 3 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 2 5 0 0 0 0 0 1 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 7 0 0 0 0 0 2 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 8 0 0 0 0 1 0 0 0 0 7 1 0 0 0 1 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 8 0 0 0 2 0 0 0 0 0 3 5 0 1 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 2 7 0 1 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 9 0 2 0 0 0 0 0 0 0 7 0 7 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 3 7 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2006.14/252.08	v </instantiation>
2006.14/252.08	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13000 MiB free)
  memory of node 1: 16384 MiB (13418 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281306-1503185273/watcher-4281306-1503185273 -o /tmp/evaluation-result-4281306-1503185273/solver-4281306-1503185273 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503178145-14492 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1883270387 HOME/instance-4281306-1503185273.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16334, runsolver pid=16331
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 7.50 6.68 7.33 3/199 16355
/proc/meminfo: memFree=27036504/32770624 swapFree=67108860/67108860
[pid=16334] ppid=16331 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16334/stat : 16334 (xcsp3-exec) S 16331 16334 14465 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151615252 9740288 345 33554432000 4194304 5098028 140731342850992 140731342849096 140636052877948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29298688 140731342853226 140731342853436 140731342853436 140731342856171 0
/proc/16334/statm: 2378 345 289 221 0 87 0
[pid=16336] ppid=16334 vsize=25999808 memory=27224 CPUtime=0.12 cores=0-7
/proc/16336/stat : 16336 (java) S 16334 16334 14465 0 -1 1077944320 5694 0 0 0 11 1 0 0 20 0 20 0 151615253 26623803392 6806 33554432000 4194304 4196468 140730962391008 140730962373552 140539477356279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
/proc/16336/statm: 6499952 6806 2865 1 0 6488269 0
[pid=16336/tid=16337] ppid=16334 vsize=25999808 memory=7897794704663551898 CPUtime=0.09 cores=0-7
/proc/16336/task/16337/stat : 16337 (java) R 16334 16334 14465 0 -1 4202560 3686 0 0 0 9 0 0 0 20 0 20 0 151615253 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539481589552 140539477368214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16338] ppid=16334 vsize=25999808 memory=732370855019408357 CPUtime=0 cores=0-7
/proc/16336/task/16338/stat : 16338 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539384917136 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16339] ppid=16334 vsize=25999808 memory=140716681954944 CPUtime=0 cores=0-7
/proc/16336/task/16339/stat : 16339 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539034176528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16340] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16340/stat : 16340 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539033123728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16341] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16341/stat : 16341 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539032070928 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16342] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16342/stat : 16342 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539031018128 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16343] ppid=16334 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16336/task/16343/stat : 16343 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539029965328 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16344] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16344/stat : 16344 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539028912528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16345] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16345/stat : 16345 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26623803392 6806 33554432000 4194304 4196468 140730962391008 140539027859728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16346] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16346/stat : 16346 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615255 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537883806576 140539477367426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16347] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16347/stat : 16347 (java) S 16334 16334 14465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151615256 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537882752544 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16348] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16348/stat : 16348 (java) S 16334 16334 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151615256 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537881699696 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16349] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16349/stat : 16349 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615258 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537880648016 140539477374875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16350] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16350/stat : 16350 (java) S 16334 16334 14465 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 151615258 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537879595376 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16351] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16351/stat : 16351 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615258 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537878542576 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16352] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16352/stat : 16352 (java) S 16334 16334 14465 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151615258 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537877489776 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16353] ppid=16334 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16336/task/16353/stat : 16353 (java) S 16334 16334 14465 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 151615258 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537876436976 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16354] ppid=16334 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16354/stat : 16354 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151615258 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537875385440 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16355] ppid=16334 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16336/task/16355/stat : 16355 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615259 26623803392 6806 33554432000 4194304 4196468 140730962391008 140537874332720 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28604 KiB

[startup+0.209989 s]*
/proc/loadavg: 7.50 6.68 7.33 3/199 16355
/proc/meminfo: memFree=27026544/32770624 swapFree=67108860/67108860
[pid=16334] ppid=16331 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16334/stat : 16334 (xcsp3-exec) S 16331 16334 14465 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151615252 9740288 345 33554432000 4194304 5098028 140731342850992 140731342849096 140636052877948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29298688 140731342853226 140731342853436 140731342853436 140731342856171 0
/proc/16334/statm: 2378 345 289 221 0 87 0
[pid=16336] ppid=16334 vsize=26004064 memory=38992 CPUtime=0.33 cores=0-7
/proc/16336/stat : 16336 (java) S 16334 16334 14465 0 -1 1077944320 8308 0 0 0 31 2 0 0 20 0 20 0 151615253 26628161536 9748 33554432000 4194304 4196468 140730962391008 140730962373552 140539477356279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
/proc/16336/statm: 6501016 9748 3052 1 0 6488269 0
[pid=16336/tid=16337] ppid=16334 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/16336/task/16337/stat : 16337 (java) R 16334 16334 14465 0 -1 4202560 5435 0 0 0 19 1 0 0 20 0 20 0 151615253 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539481577272 140539462521681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16338] ppid=16334 vsize=26004064 memory=732370855019408357 CPUtime=0 cores=0-7
/proc/16336/task/16338/stat : 16338 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539384917136 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16339] ppid=16334 vsize=26004064 memory=140716681954944 CPUtime=0 cores=0-7
/proc/16336/task/16339/stat : 16339 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539034176528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16340] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16340/stat : 16340 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539033123728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16341] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16341/stat : 16341 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539032070928 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16342] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16342/stat : 16342 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539031018128 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16343] ppid=16334 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16336/task/16343/stat : 16343 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539029965328 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16344] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16344/stat : 16344 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539028912528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16345] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16345/stat : 16345 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 9748 33554432000 4194304 4196468 140730962391008 140539027859728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16346] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16346/stat : 16346 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615255 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537883806576 140539477367426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16347] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16347/stat : 16347 (java) S 16334 16334 14465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151615256 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537882752544 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16348] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16348/stat : 16348 (java) S 16334 16334 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151615256 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537881699696 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16349] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16349/stat : 16349 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615258 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537880648016 140539477374875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16350] ppid=16334 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/16336/task/16350/stat : 16350 (java) S 16334 16334 14465 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 151615258 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537879595376 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16351] ppid=16334 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16336/task/16351/stat : 16351 (java) S 16334 16334 14465 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 151615258 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537878542576 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16352] ppid=16334 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16336/task/16352/stat : 16352 (java) S 16334 16334 14465 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 151615258 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537877489776 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16353] ppid=16334 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/16336/task/16353/stat : 16353 (java) R 16334 16334 14465 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 20 0 151615258 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537876436976 140539461436766 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16354] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16354/stat : 16354 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151615258 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537875385440 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16355] ppid=16334 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16336/task/16355/stat : 16355 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615259 26628161536 9748 33554432000 4194304 4196468 140730962391008 140537874332720 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40372 KiB

[startup+0.309461 s]*
/proc/loadavg: 7.50 6.68 7.33 3/199 16355
/proc/meminfo: memFree=27021892/32770624 swapFree=67108860/67108860
[pid=16334] ppid=16331 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16334/stat : 16334 (xcsp3-exec) S 16331 16334 14465 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151615252 9740288 345 33554432000 4194304 5098028 140731342850992 140731342849096 140636052877948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29298688 140731342853226 140731342853436 140731342853436 140731342856171 0
/proc/16334/statm: 2378 345 289 221 0 87 0
[pid=16336] ppid=16334 vsize=26004064 memory=45948 CPUtime=0.51 cores=0-7
/proc/16336/stat : 16336 (java) S 16334 16334 14465 0 -1 1077944320 9205 0 0 0 48 3 0 0 20 0 20 0 151615253 26628161536 11487 33554432000 4194304 4196468 140730962391008 140730962373552 140539477356279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
/proc/16336/statm: 6501016 11487 3104 1 0 6488269 0
[pid=16336/tid=16337] ppid=16334 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16336/task/16337/stat : 16337 (java) R 16334 16334 14465 0 -1 4202560 6124 0 0 0 28 1 0 0 20 0 20 0 151615253 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539481582512 140539477378205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16338] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16338/stat : 16338 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539384917136 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16339] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16339/stat : 16339 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539034176528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16340] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16340/stat : 16340 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539033123728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16341] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16341/stat : 16341 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539032070928 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16342] ppid=16334 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16336/task/16342/stat : 16342 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539031018128 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16343] ppid=16334 vsize=26004064 memory=140716550484911 CPUtime=0 cores=0-7
/proc/16336/task/16343/stat : 16343 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539029965328 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16344] ppid=16334 vsize=26004064 memory=140716550487216 CPUtime=0 cores=0-7
/proc/16336/task/16344/stat : 16344 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539028912528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16345] ppid=16334 vsize=26004064 memory=140716550489520 CPUtime=0 cores=0-7
/proc/16336/task/16345/stat : 16345 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26628161536 11487 33554432000 4194304 4196468 140730962391008 140539027859728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16346] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16346/stat : 16346 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615255 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537883806576 140539477367426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16347] ppid=16334 vsize=26004064 memory=281433100986000 CPUtime=0 cores=0-7
/proc/16336/task/16347/stat : 16347 (java) S 16334 16334 14465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151615256 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537882752544 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16348] ppid=16334 vsize=26004064 memory=281433100992912 CPUtime=0 cores=0-7
/proc/16336/task/16348/stat : 16348 (java) S 16334 16334 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151615256 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537881699696 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16349] ppid=16334 vsize=26004064 memory=281433100934192 CPUtime=0 cores=0-7
/proc/16336/task/16349/stat : 16349 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615258 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537880648016 140539477374875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16350] ppid=16334 vsize=26004064 memory=281433101006736 CPUtime=0.02 cores=0-7
/proc/16336/task/16350/stat : 16350 (java) S 16334 16334 14465 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 20 0 151615258 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537879595376 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16351] ppid=16334 vsize=26004064 memory=281433101013648 CPUtime=0.02 cores=0-7
/proc/16336/task/16351/stat : 16351 (java) S 16334 16334 14465 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 20 0 151615258 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537878542576 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16352] ppid=16334 vsize=26004064 memory=281433101011344 CPUtime=0.01 cores=0-7
/proc/16336/task/16352/stat : 16352 (java) S 16334 16334 14465 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 20 0 151615258 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537877489776 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16353] ppid=16334 vsize=26004064 memory=281433101027504 CPUtime=0.12 cores=0-7
/proc/16336/task/16353/stat : 16353 (java) R 16334 16334 14465 0 -1 4202560 877 0 0 0 12 0 0 0 20 0 20 0 151615258 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537876434768 140539469593406 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16354] ppid=16334 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16336/task/16354/stat : 16354 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151615258 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537875385440 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16355] ppid=16334 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16336/task/16355/stat : 16355 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615259 26628161536 11487 33554432000 4194304 4196468 140730962391008 140537874332720 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47328 KiB

[startup+0.700907 s]
/proc/loadavg: 7.50 6.68 7.33 3/199 16355
/proc/meminfo: memFree=27004996/32770624 swapFree=67108860/67108860
[pid=16334] ppid=16331 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16334/stat : 16334 (xcsp3-exec) S 16331 16334 14465 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151615252 9740288 345 33554432000 4194304 5098028 140731342850992 140731342849096 140636052877948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29298688 140731342853226 140731342853436 140731342853436 140731342856171 0
/proc/16334/statm: 2378 345 289 221 0 87 0
[pid=16336] ppid=16334 vsize=26006188 memory=108652 CPUtime=1.85 cores=0-7
/proc/16336/stat : 16336 (java) S 16334 16334 14465 0 -1 1077944320 14101 0 0 0 180 5 0 0 20 0 20 0 151615253 26630336512 27163 33554432000 4194304 4196468 140730962391008 140730962373552 140539477356279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
/proc/16336/statm: 6501547 27163 3221 1 0 6488781 0
[pid=16336/tid=16337] ppid=16334 vsize=26006188 memory=281433101322432 CPUtime=0.67 cores=0-7
/proc/16336/task/16337/stat : 16337 (java) R 16334 16334 14465 0 -1 4202560 6661 0 0 0 65 2 0 0 20 0 20 0 151615253 26630336512 27163 33554432000 4194304 4196468 140730962391008 140539481588272 140539477378205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16338] ppid=16334 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/16336/task/16338/stat : 16338 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151615254 26630336512 27163 33554432000 4194304 4196468 140730962391008 140539384917136 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16339] ppid=16334 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/16336/task/16339/stat : 16339 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151615254 26630336512 27163 33554432000 4194304 4196468 140730962391008 140539034176528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16340] ppid=16334 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/16336/task/16340/stat : 16340 (java) S 16334 16334 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151615254 26630336512 27163 33554432000 4194304 4196468 140730962391008 140539033123728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0

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

[pid=16336/tid=16459] ppid=16334 vsize=26539728 memory=7013348628813403246 CPUtime=158.23 cores=0-7
/proc/16336/task/16459/stat : 16459 (java) R 16334 16334 14465 0 -1 4202560 545 0 0 0 15823 0 0 0 20 0 28 0 151615464 27176681472 94931 33554432000 4194304 4196468 140730962391008 140537866321856 140539069836785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
Current children cumulated CPU time: 1290.23 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 381104 KiB

[startup+222.301 s]
/proc/loadavg: 8.01 7.39 7.48 9/207 16459
/proc/meminfo: memFree=26685468/32770624 swapFree=67108860/67108860
[pid=16334] ppid=16331 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16334/stat : 16334 (xcsp3-exec) S 16331 16334 14465 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151615252 9740288 345 33554432000 4194304 5098028 140731342850992 140731342849096 140636052877948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29298688 140731342853226 140731342853436 140731342853436 140731342856171 0
/proc/16334/statm: 2378 345 289 221 0 87 0
[pid=16336] ppid=16334 vsize=26539728 memory=384356 CPUtime=1769.06 cores=0-7
/proc/16336/stat : 16336 (java) S 16334 16334 14465 0 -1 1077944320 75253 0 0 0 176855 51 0 0 20 0 28 0 151615253 27176681472 96089 33554432000 4194304 4196468 140730962391008 140730962373552 140539477356279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
/proc/16336/statm: 6634932 96089 3288 1 0 6622166 0
[pid=16336/tid=16337] ppid=16334 vsize=26539728 memory=379756 CPUtime=0.73 cores=0-7
/proc/16336/task/16337/stat : 16337 (java) S 16334 16334 14465 0 -1 1077944384 6733 0 0 0 71 2 0 0 20 0 28 0 151615253 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539481597056 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16338] ppid=16334 vsize=26539728 memory=384356 CPUtime=0.06 cores=0-7
/proc/16336/task/16338/stat : 16338 (java) S 16334 16334 14465 0 -1 1077944384 610 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539384917136 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16339] ppid=16334 vsize=26539728 memory=384356 CPUtime=0.06 cores=0-7
/proc/16336/task/16339/stat : 16339 (java) S 16334 16334 14465 0 -1 1077944384 1542 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539034176528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16340] ppid=16334 vsize=26539728 memory=384356 CPUtime=0.06 cores=0-7
/proc/16336/task/16340/stat : 16340 (java) S 16334 16334 14465 0 -1 1077944384 1169 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539033123728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16341] ppid=16334 vsize=26539728 memory=1380 CPUtime=0.07 cores=0-7
/proc/16336/task/16341/stat : 16341 (java) S 16334 16334 14465 0 -1 1077944384 186 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539032070928 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16342] ppid=16334 vsize=26539728 memory=1380 CPUtime=0.07 cores=0-7
/proc/16336/task/16342/stat : 16342 (java) S 16334 16334 14465 0 -1 1077944384 1215 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539031018128 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16343] ppid=16334 vsize=26539728 memory=375604 CPUtime=0.07 cores=0-7
/proc/16336/task/16343/stat : 16343 (java) S 16334 16334 14465 0 -1 1077944384 796 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539029965328 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16344] ppid=16334 vsize=26539728 memory=0 CPUtime=0.06 cores=0-7
/proc/16336/task/16344/stat : 16344 (java) S 16334 16334 14465 0 -1 1077944384 358 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539028912528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16345] ppid=16334 vsize=26539728 memory=110 CPUtime=0.07 cores=0-7
/proc/16336/task/16345/stat : 16345 (java) S 16334 16334 14465 0 -1 1077944384 2307 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539027859728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16346] ppid=16334 vsize=26539728 memory=1380 CPUtime=0.03 cores=0-7
/proc/16336/task/16346/stat : 16346 (java) S 16334 16334 14465 0 -1 1077944384 1946 0 0 0 3 0 0 0 20 0 28 0 151615255 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537883806576 140539477367426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16347] ppid=16334 vsize=26539728 memory=1380 CPUtime=0 cores=0-7
/proc/16336/task/16347/stat : 16347 (java) S 16334 16334 14465 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151615256 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537882752608 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16348] ppid=16334 vsize=26539728 memory=42096 CPUtime=0 cores=0-7
/proc/16336/task/16348/stat : 16348 (java) S 16334 16334 14465 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151615256 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537881699712 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16349] ppid=16334 vsize=26539728 memory=1292 CPUtime=0 cores=0-7
/proc/16336/task/16349/stat : 16349 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537880648016 140539477374875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16350] ppid=16334 vsize=26539728 memory=1292 CPUtime=1.7 cores=0-7
/proc/16336/task/16350/stat : 16350 (java) S 16334 16334 14465 0 -1 1077944384 11944 0 0 0 167 3 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537879595376 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16351] ppid=16334 vsize=26539728 memory=2428 CPUtime=1.76 cores=0-7
/proc/16336/task/16351/stat : 16351 (java) S 16334 16334 14465 0 -1 1077944384 9488 0 0 0 173 3 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537878542576 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16352] ppid=16334 vsize=26539728 memory=1380 CPUtime=1.51 cores=0-7
/proc/16336/task/16352/stat : 16352 (java) S 16334 16334 14465 0 -1 1077944384 8808 0 0 0 150 1 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537877489776 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16353] ppid=16334 vsize=26539728 memory=1380 CPUtime=0.73 cores=0-7
/proc/16336/task/16353/stat : 16353 (java) S 16334 16334 14465 0 -1 1077944384 8397 0 0 0 71 2 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537876436976 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16354] ppid=16334 vsize=26539728 memory=1380 CPUtime=0 cores=0-7
/proc/16336/task/16354/stat : 16354 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537875385440 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16355] ppid=16334 vsize=26539728 memory=1292 CPUtime=0.03 cores=0-7
/proc/16336/task/16355/stat : 16355 (java) S 16334 16334 14465 0 -1 1077944384 1355 0 0 0 0 3 0 0 20 0 28 0 151615259 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537874332720 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16452] ppid=16334 vsize=26539728 memory=2428 CPUtime=218.97 cores=0-7
/proc/16336/task/16452/stat : 16452 (java) R 16334 16334 14465 0 -1 4202560 674 0 0 0 21897 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537858952264 140539069836734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16453] ppid=16334 vsize=26539728 memory=1728 CPUtime=219.54 cores=0-7
/proc/16336/task/16453/stat : 16453 (java) R 16334 16334 14465 0 -1 4202560 677 0 0 0 21954 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537863163960 140539069837466 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16454] ppid=16334 vsize=26539728 memory=1420 CPUtime=219.63 cores=0-7
/proc/16336/task/16454/stat : 16454 (java) R 16334 16334 14465 0 -1 4202560 1542 0 0 0 21963 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537857900840 140539069836743 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16455] ppid=16334 vsize=26539728 memory=11108 CPUtime=219.03 cores=0-7
/proc/16336/task/16455/stat : 16455 (java) R 16334 16334 14465 0 -1 4202560 5080 0 0 0 21892 11 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537865268904 140539070461102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16456] ppid=16334 vsize=26539728 memory=1712 CPUtime=219.75 cores=0-7
/proc/16336/task/16456/stat : 16456 (java) R 16334 16334 14465 0 -1 4202560 3432 0 0 0 21974 1 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537862110904 140539069836794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16457] ppid=16334 vsize=26539728 memory=1380 CPUtime=219.81 cores=0-7
/proc/16336/task/16457/stat : 16457 (java) R 16334 16334 14465 0 -1 4202560 1327 0 0 0 21981 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537864216104 140539070072307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16458] ppid=16334 vsize=26539728 memory=384356 CPUtime=219.62 cores=0-7
/proc/16336/task/16458/stat : 16458 (java) R 16334 16334 14465 0 -1 4202560 1860 0 0 0 21961 1 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537861061456 140539069836812 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16459] ppid=16334 vsize=26539728 memory=1380 CPUtime=217.53 cores=0-7
/proc/16336/task/16459/stat : 16459 (java) R 16334 16334 14465 0 -1 4202560 576 0 0 0 21753 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537866321872 140539069836690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
Current children cumulated CPU time: 1769.06 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 385736 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.00 7.44 7.50 9/207 16459
/proc/meminfo: memFree=26686096/32770624 swapFree=67108860/67108860
[pid=16334] ppid=16331 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16334/stat : 16334 (xcsp3-exec) S 16331 16334 14465 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151615252 9740288 345 33554432000 4194304 5098028 140731342850992 140731342849096 140636052877948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29298688 140731342853226 140731342853436 140731342853436 140731342856171 0
/proc/16334/statm: 2378 345 289 221 0 87 0
[pid=16336] ppid=16334 vsize=26539728 memory=384356 CPUtime=2006.14 cores=0-7
/proc/16336/stat : 16336 (java) S 16334 16334 14465 0 -1 1077944320 75333 0 0 0 200562 52 0 0 20 0 28 0 151615253 27176681472 96089 33554432000 4194304 4196468 140730962391008 140730962373552 140539477356279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
/proc/16336/statm: 6634932 96089 3288 1 0 6622166 0
[pid=16336/tid=16337] ppid=16334 vsize=26539728 memory=1380 CPUtime=0.73 cores=0-7
/proc/16336/task/16337/stat : 16337 (java) S 16334 16334 14465 0 -1 1077944384 6733 0 0 0 71 2 0 0 20 0 28 0 151615253 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539481597056 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16338] ppid=16334 vsize=26539728 memory=-7003737579269690708 CPUtime=0.06 cores=0-7
/proc/16336/task/16338/stat : 16338 (java) S 16334 16334 14465 0 -1 1077944384 610 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539384917136 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16339] ppid=16334 vsize=26539728 memory=7792 CPUtime=0.06 cores=0-7
/proc/16336/task/16339/stat : 16339 (java) S 16334 16334 14465 0 -1 1077944384 1542 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539034176528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16340] ppid=16334 vsize=26539728 memory=840 CPUtime=0.06 cores=0-7
/proc/16336/task/16340/stat : 16340 (java) S 16334 16334 14465 0 -1 1077944384 1169 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539033123728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16341] ppid=16334 vsize=26539728 memory=1692 CPUtime=0.07 cores=0-7
/proc/16336/task/16341/stat : 16341 (java) S 16334 16334 14465 0 -1 1077944384 186 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539032070928 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16342] ppid=16334 vsize=26539728 memory=916 CPUtime=0.07 cores=0-7
/proc/16336/task/16342/stat : 16342 (java) S 16334 16334 14465 0 -1 1077944384 1215 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539031018128 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16343] ppid=16334 vsize=26539728 memory=4500 CPUtime=0.07 cores=0-7
/proc/16336/task/16343/stat : 16343 (java) S 16334 16334 14465 0 -1 1077944384 796 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539029965328 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16344] ppid=16334 vsize=26539728 memory=4100 CPUtime=0.06 cores=0-7
/proc/16336/task/16344/stat : 16344 (java) S 16334 16334 14465 0 -1 1077944384 358 0 0 0 4 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539028912528 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16345] ppid=16334 vsize=26539728 memory=1160 CPUtime=0.07 cores=0-7
/proc/16336/task/16345/stat : 16345 (java) S 16334 16334 14465 0 -1 1077944384 2307 0 0 0 5 2 0 0 20 0 28 0 151615254 27176681472 96089 33554432000 4194304 4196468 140730962391008 140539027859728 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16346] ppid=16334 vsize=26539728 memory=3460 CPUtime=0.03 cores=0-7
/proc/16336/task/16346/stat : 16346 (java) S 16334 16334 14465 0 -1 1077944384 1948 0 0 0 3 0 0 0 20 0 28 0 151615255 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537883806576 140539477367426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16347] ppid=16334 vsize=26539728 memory=1380 CPUtime=0 cores=0-7
/proc/16336/task/16347/stat : 16347 (java) S 16334 16334 14465 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151615256 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537882752608 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16348] ppid=16334 vsize=26539728 memory=384356 CPUtime=0 cores=0-7
/proc/16336/task/16348/stat : 16348 (java) S 16334 16334 14465 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151615256 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537881699712 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16349] ppid=16334 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16336/task/16349/stat : 16349 (java) S 16334 16334 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537880648016 140539477374875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16350] ppid=16334 vsize=26539728 memory=4044 CPUtime=1.7 cores=0-7
/proc/16336/task/16350/stat : 16350 (java) S 16334 16334 14465 0 -1 1077944384 11944 0 0 0 167 3 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537879595376 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16351] ppid=16334 vsize=26539728 memory=1792 CPUtime=1.76 cores=0-7
/proc/16336/task/16351/stat : 16351 (java) S 16334 16334 14465 0 -1 1077944384 9488 0 0 0 173 3 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537878542576 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16352] ppid=16334 vsize=26539728 memory=636 CPUtime=1.51 cores=0-7
/proc/16336/task/16352/stat : 16352 (java) S 16334 16334 14465 0 -1 1077944384 8808 0 0 0 150 1 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537877489776 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16353] ppid=16334 vsize=26539728 memory=956 CPUtime=0.73 cores=0-7
/proc/16336/task/16353/stat : 16353 (java) S 16334 16334 14465 0 -1 1077944384 8397 0 0 0 71 2 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537876436976 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16354] ppid=16334 vsize=26539728 memory=2424 CPUtime=0 cores=0-7
/proc/16336/task/16354/stat : 16354 (java) S 16334 16334 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151615258 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537875385440 140539477366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16355] ppid=16334 vsize=26539728 memory=1236 CPUtime=0.03 cores=0-7
/proc/16336/task/16355/stat : 16355 (java) S 16334 16334 14465 0 -1 1077944384 1357 0 0 0 0 3 0 0 20 0 28 0 151615259 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537874332720 140539477367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16452] ppid=16334 vsize=26539728 memory=2240 CPUtime=248.67 cores=0-7
/proc/16336/task/16452/stat : 16452 (java) R 16334 16334 14465 0 -1 4202560 675 0 0 0 24867 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537858952120 140539069836841 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16453] ppid=16334 vsize=26539728 memory=4128 CPUtime=249.07 cores=0-7
/proc/16336/task/16453/stat : 16453 (java) R 16334 16334 14465 0 -1 4202560 677 0 0 0 24907 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537863163960 140539069836769 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16454] ppid=16334 vsize=26539728 memory=1572 CPUtime=249.34 cores=0-7
/proc/16336/task/16454/stat : 16454 (java) R 16334 16334 14465 0 -1 4202560 1543 0 0 0 24934 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537857900472 140539069837114 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16455] ppid=16334 vsize=26539728 memory=932 CPUtime=248.34 cores=0-7
/proc/16336/task/16455/stat : 16455 (java) R 16334 16334 14465 0 -1 4202560 5108 0 0 0 24823 11 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537865269032 140539070395845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16456] ppid=16334 vsize=26539728 memory=792 CPUtime=249.46 cores=0-7
/proc/16336/task/16456/stat : 16456 (java) R 16334 16334 14465 0 -1 4202560 3463 0 0 0 24945 1 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537862110760 140539069836769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16457] ppid=16334 vsize=26539728 memory=1004 CPUtime=249.5 cores=0-7
/proc/16336/task/16457/stat : 16457 (java) R 16334 16334 14465 0 -1 4202560 1327 0 0 0 24950 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537864215872 140539070072438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16458] ppid=16334 vsize=26539728 memory=5788 CPUtime=249.33 cores=0-7
/proc/16336/task/16458/stat : 16458 (java) R 16334 16334 14465 0 -1 4202560 1875 0 0 0 24932 1 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537861058712 140539069836764 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
[pid=16336/tid=16459] ppid=16334 vsize=26539728 memory=1196 CPUtime=247.23 cores=0-7
/proc/16336/task/16459/stat : 16459 (java) R 16334 16334 14465 0 -1 4202560 576 0 0 0 24723 0 0 0 20 0 28 0 151615464 27176681472 96089 33554432000 4194304 4196468 140730962391008 140537866321992 140539070072307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20697088 140730962392216 140730962392392 140730962392392 140730962395087 0
Current children cumulated CPU time: 2006.14 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 385736 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.045 s]
# the end of solver process 16334 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001052 s, system=0.001052 s

[startup+252.108 s]
# the end of solver process 16336 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2006.33 s, system=0.532455 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.108
CPU time (s): 2006.87
CPU user time (s): 2006.33
CPU system time (s): 0.532455
CPU usage (%): 796.036
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 385736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2006.33
system time used= 0.532455
maximum resident set size= 394104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10956
involuntary context switches= 21285


# summary of solver processes directly reported to runsolver:
#   pid: 16334,16336
#   total CPU time (s): 2006.87
#   total CPU user time (s): 2006.33
#   total CPU system time (s): 0.532455

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.84243 second user time and 2.856 second system time

The end

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml
MD5SUM	d01afa5e20b7ebab190e76d647c74323
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	119
Best CPU time to get the best result obtained on this benchmark	251.897
Satisfiable
(Un)Satisfiability was proved
Number of variables	1430
Number of constraints	142
Number of domains	11
Minimum domain size	2
Maximum domain size	132
Distribution of domain sizes	[{"size":2,"count":130},{"size":71,"count":130},{"size":73,"count":130},{"size":88,"count":130},{"size":93,"count":130},{"size":104,"count":130},{"size":109,"count":130},{"size":111,"count":130},{"size":112,"count":130},{"size":117,"count":130},{"size":132,"count":130}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":1430}]
Minimum constraint arity	11
Maximum constraint arity	1300
Distribution of constraint arities	[{"arity":11,"count":130},{"arity":130,"count":11},{"arity":1300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":140}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4281306

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