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
choco-solver 5a (2017-08-18)	SAT (TO)	126	2520.1201	2469.4199

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283256-1503195546.xml"  -tl '2520s' -p 1 -x 3
0.09/0.27	c [HOME/instance-4283256-1503195546.xml, -tl, 2520s, -p, 1, -x, 3]
0.29/0.33	c simple solver
0.29/0.40	c parse instance...
0.91/0.68	c solve instance...
918.14/889.89	o 130 
929.64/901.06	o 129 
1067.02/1036.78	o 128 
1071.27/1040.93	o 127 
1071.87/1041.52	o 126 
2520.09/2469.40	s SATISFIABLE
2520.09/2469.40	v <instantiation>
2520.09/2469.40	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>
2520.09/2469.40	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 1 1 1 1 1 1 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 10 1 2 0 0 4 0 0 0 0 0 1 2 0 0 4 0 0 0 0 0 1 2 0 0 4 0 0 0 0 0 1 2 0 0 4 0 0 0 0 0 1 2 0 0 4 0 0 0 0 0 1 2 0 0 4 0 0 0 0 0 1 2 0 0 4 0 0 0 0 0 1 2 0 0 2 0 0 0 0 9 1 2 0 0 2 0 0 0 0 9 1 1 4 0 0 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 1 1 3 0 0 0 0 0 0 8 1 1 0 0 5 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 1 1 0 0 0 0 0 2 0 16 1 1 0 0 0 0 0 1 6 0 1 1 0 0 0 0 0 1 5 4 1 1 0 0 0 0 0 1 5 4 1 1 0 0 0 0 0 1 5 4 1 1 0 0 0 0 0 1 5 4 1 1 0 0 0 0 0 1 5 4 1 1 0 0 0 0 0 1 5 4 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 1 0 0 0 0 0 1 5 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 1 0 0 0 5 0 0 0 0 8 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 0 1 0 6 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 7 0 0 0 1 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 7 0 0 0 2 4 0 0 0 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 6 0 0 0 6 0 0 0 0 0 6 0 0 0 6 0 0 0 0 0 6 0 0 0 6 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
2520.09/2469.40	v </instantiation>
2520.09/2469.40	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 (13376 MiB free)
  memory of node 1: 16384 MiB (15428 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283256-1503195546/watcher-4283256-1503195546 -o /tmp/evaluation-result-4283256-1503195546/solver-4283256-1503195546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1347282542 HOME/instance-4283256-1503195546.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15984, runsolver pid=15981

[startup+0.100137 s]*
/proc/loadavg: 1.52 1.58 1.64 2/199 15987
/proc/meminfo: memFree=29492800/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13358712 memory=13840 CPUtime=0 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 3243 0 0 0 0 0 0 0 20 0 6 0 121747619 13679321088 3460 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3339678 3460 1867 1 0 3329175 0
[pid=15986/tid=15987] ppid=15984 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 2052 0 0 0 0 0 0 0 20 0 6 0 121747619 13679321088 3526 18446744073709551615 4194304 4196468 140729860919072 140588033884752 140588011297424 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121747620 13679321088 3526 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13358712 memory=139968550418048 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121747620 13679321088 3526 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121747620 13679321088 3526 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121747620 13679321088 3526 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15220 KiB

[startup+0.211065 s]*
/proc/loadavg: 1.52 1.58 1.64 3/212 16000
/proc/meminfo: memFree=29480956/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13974352 memory=28156 CPUtime=0.09 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 5430 0 0 0 8 1 0 0 20 0 15 0 121747619 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3493588 7039 2755 1 0 3482964 0
[pid=15986/tid=15987] ppid=15984 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 3581 0 0 0 7 0 0 0 20 0 15 0 121747619 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140588033877872 140588012831213 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13974352 memory=139968550434037 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15992] ppid=15984 vsize=13974352 memory=139968550418048 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747621 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121747622 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587574297376 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15994/stat : 15994 (java) S 15984 15984 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121747622 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587573245040 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15995] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15995/stat : 15995 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587572193360 140588029667227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15996] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15996/stat : 15996 (java) S 15984 15984 28892 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 121747624 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587571141232 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15997] ppid=15984 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15997/stat : 15997 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587570088432 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15998] ppid=15984 vsize=13974352 memory=139968550418048 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15998/stat : 15998 (java) R 15984 15984 28892 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 15 0 121747624 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587569036144 140588008784448 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15999] ppid=15984 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15999/stat : 15999 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747625 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587500039136 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=16000] ppid=15984 vsize=13974352 memory=139968550418048 CPUtime=0 cores=1,3,5,7
/proc/15986/task/16000/stat : 16000 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121747629 14309736448 7039 18446744073709551615 4194304 4196468 140729860919072 140587498985904 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29536 KiB

[startup+0.313495 s]*
/proc/loadavg: 1.52 1.58 1.64 5/212 16000
/proc/meminfo: memFree=29468484/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13974352 memory=37560 CPUtime=0.29 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 8984 0 0 0 26 3 0 0 20 0 15 0 121747619 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3493588 9390 2973 1 0 3482964 0
[pid=15986/tid=15987] ppid=15984 vsize=13974352 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 6212 0 0 0 15 2 0 0 20 0 15 0 121747619 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140588033874944 140588013729118 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15992] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747621 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121747622 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587574297376 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15994/stat : 15994 (java) S 15984 15984 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121747622 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587573245040 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15995] ppid=15984 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15995/stat : 15995 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587572193360 140588029667227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15996] ppid=15984 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15986/task/15996/stat : 15996 (java) R 15984 15984 28892 0 -1 4202560 557 0 0 0 1 0 0 0 20 0 15 0 121747624 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587571141232 140588010348928 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15997] ppid=15984 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15986/task/15997/stat : 15997 (java) R 15984 15984 28892 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 121747624 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587570088432 140588029659778 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15998] ppid=15984 vsize=13974352 memory=139968550418048 CPUtime=0.06 cores=1,3,5,7
/proc/15986/task/15998/stat : 15998 (java) R 15984 15984 28892 0 -1 4202560 695 0 0 0 6 0 0 0 20 0 15 0 121747624 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587569036144 140588029660566 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15999] ppid=15984 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15999/stat : 15999 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747625 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587500039136 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=16000] ppid=15984 vsize=13974352 memory=139968550418048 CPUtime=0 cores=1,3,5,7
/proc/15986/task/16000/stat : 16000 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121747629 14309736448 9390 18446744073709551615 4194304 4196468 140729860919072 140587498985904 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38940 KiB

[startup+0.700778 s]
/proc/loadavg: 1.52 1.58 1.64 4/212 16000
/proc/meminfo: memFree=29458524/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13980732 memory=67692 CPUtime=1.17 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 12728 0 0 0 112 5 0 0 20 0 15 0 121747619 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3495183 16923 3174 1 0 3483476 0
[pid=15986/tid=15987] ppid=15984 vsize=13980732 memory=33 CPUtime=0.54 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 8226 0 0 0 51 3 0 0 20 0 15 0 121747619 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140588033884480 140588029660566 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15992] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121747621 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587574297376 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15994/stat : 15994 (java) S 15984 15984 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587573245040 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15995] ppid=15984 vsize=13980732 memory=1551 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15995/stat : 15995 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587572193360 140588029667227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15996] ppid=15984 vsize=13980732 memory=111 CPUtime=0.15 cores=1,3,5,7
/proc/15986/task/15996/stat : 15996 (java) S 15984 15984 28892 0 -1 1077944384 1127 0 0 0 15 0 0 0 20 0 15 0 121747624 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587571141232 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15997] ppid=15984 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15986/task/15997/stat : 15997 (java) R 15984 15984 28892 0 -1 4202560 666 0 0 0 15 0 0 0 20 0 15 0 121747624 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587570079888 140588029669978 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15998] ppid=15984 vsize=13980732 memory=207 CPUtime=0.3 cores=1,3,5,7
/proc/15986/task/15998/stat : 15998 (java) R 15984 15984 28892 0 -1 4202560 1401 0 0 0 30 0 0 0 20 0 15 0 121747624 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587569033936 140588021885758 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15999] ppid=15984 vsize=13980732 memory=400 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15999/stat : 15999 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747625 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587500039136 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=16000] ppid=15984 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/15986/task/16000/stat : 16000 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121747629 14316269568 16923 18446744073709551615 4194304 4196468 140729860919072 140587498985904 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69072 KiB

[startup+1.5011 s]
/proc/loadavg: 1.52 1.58 1.64 6/212 16000
/proc/meminfo: memFree=29416940/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13980732 memory=121772 CPUtime=3.71 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 26418 0 0 0 363 8 0 0 20 0 15 0 121747619 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3495183 30443 3189 1 0 3483476 0
[pid=15986/tid=15987] ppid=15984 vsize=13980732 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 9062 0 0 0 130 4 0 0 20 0 15 0 121747619 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140588033885832 140587656378268 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13980732 memory=279936841726968 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13980732 memory=1795027895809 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13980732 memory=1855157436417 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13980732 memory=139968420831088 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121747620 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15992] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 121747621 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 30443 18446744073709551615 4194304 4196468 140729860919072 140587574297376 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

[pid=15986/tid=15992] ppid=15984 vsize=13980732 memory=1611140 CPUtime=0.37 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 17925 0 0 0 31 6 0 0 20 0 15 0 121747621 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13980732 memory=1604468 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587574297440 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13980732 memory=37 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15994/stat : 15994 (java) S 15984 15984 28892 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587573245056 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15995] ppid=15984 vsize=13980732 memory=1604468 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15995/stat : 15995 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587572193360 140588029667227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15996] ppid=15984 vsize=13980732 memory=1604468 CPUtime=5.09 cores=1,3,5,7
/proc/15986/task/15996/stat : 15996 (java) S 15984 15984 28892 0 -1 1077944384 38209 0 0 0 504 5 0 0 20 0 15 0 121747624 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587571141232 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15997] ppid=15984 vsize=13980732 memory=1380 CPUtime=5.02 cores=1,3,5,7
/proc/15986/task/15997/stat : 15997 (java) S 15984 15984 28892 0 -1 1077944384 51253 0 0 0 497 5 0 0 20 0 15 0 121747624 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587570088432 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15998] ppid=15984 vsize=13980732 memory=1604468 CPUtime=0.87 cores=1,3,5,7
/proc/15986/task/15998/stat : 15998 (java) S 15984 15984 28892 0 -1 1077944384 15282 0 0 0 84 3 0 0 20 0 15 0 121747624 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587569036144 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15999] ppid=15984 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15999/stat : 15999 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747625 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587500039136 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=16000] ppid=15984 vsize=13980732 memory=491700 CPUtime=1.18 cores=1,3,5,7
/proc/15986/task/16000/stat : 16000 (java) S 15984 15984 28892 0 -1 1077944384 1584 0 0 0 60 58 0 0 20 0 15 0 121747629 14316269568 401117 18446744073709551615 4194304 4196468 140729860919072 140587498985904 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 2370.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1605848 KiB

[startup+2382.3 s]
/proc/loadavg: 1.84 1.81 1.78 3/213 16293
/proc/meminfo: memFree=29128160/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13980732 memory=1488140 CPUtime=2431.89 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 305924 0 0 0 242694 495 0 0 20 0 15 0 121747619 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3495183 372035 3260 1 0 3483476 0
[pid=15986/tid=15987] ppid=15984 vsize=13980732 memory=1488140 CPUtime=2368.94 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 118540 0 0 0 236866 28 0 0 20 0 15 0 121747619 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140588033888064 140587655839956 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13980732 memory=1488140 CPUtime=12.58 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 14063 0 0 0 1158 100 0 0 20 0 15 0 121747620 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13980732 memory=1488020 CPUtime=12.58 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 14438 0 0 0 1159 99 0 0 20 0 15 0 121747620 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13980732 memory=1488140 CPUtime=12.59 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 15584 0 0 0 1159 100 0 0 20 0 15 0 121747620 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13980732 memory=1488140 CPUtime=12.57 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 17408 0 0 0 1158 99 0 0 20 0 15 0 121747620 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15992] ppid=15984 vsize=13980732 memory=1380 CPUtime=0.37 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 18141 0 0 0 31 6 0 0 20 0 15 0 121747621 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587574297440 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15994/stat : 15994 (java) S 15984 15984 28892 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587573245056 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15995] ppid=15984 vsize=13980732 memory=1488140 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15995/stat : 15995 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587572193360 140588029667227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15996] ppid=15984 vsize=13980732 memory=1000 CPUtime=5.09 cores=1,3,5,7
/proc/15986/task/15996/stat : 15996 (java) S 15984 15984 28892 0 -1 1077944384 38212 0 0 0 504 5 0 0 20 0 15 0 121747624 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587571141232 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15997] ppid=15984 vsize=13980732 memory=796 CPUtime=5.02 cores=1,3,5,7
/proc/15986/task/15997/stat : 15997 (java) S 15984 15984 28892 0 -1 1077944384 51255 0 0 0 497 5 0 0 20 0 15 0 121747624 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587570088432 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15998] ppid=15984 vsize=13980732 memory=1380 CPUtime=0.87 cores=1,3,5,7
/proc/15986/task/15998/stat : 15998 (java) S 15984 15984 28892 0 -1 1077944384 15284 0 0 0 84 3 0 0 20 0 15 0 121747624 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587569036144 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15999] ppid=15984 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15999/stat : 15999 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747625 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587500039136 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=16000] ppid=15984 vsize=13980732 memory=1380 CPUtime=1.21 cores=1,3,5,7
/proc/15986/task/16000/stat : 16000 (java) S 15984 15984 28892 0 -1 1077944384 1601 0 0 0 61 60 0 0 20 0 15 0 121747629 14316269568 372035 18446744073709551615 4194304 4196468 140729860919072 140587498985904 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 2431.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1489520 KiB

[startup+2442.3 s]
/proc/loadavg: 1.78 1.80 1.78 3/211 16295
/proc/meminfo: memFree=28977036/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13980732 memory=1635148 CPUtime=2492.61 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 308455 0 0 0 248746 515 0 0 20 0 15 0 121747619 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3495183 408787 3260 1 0 3483476 0
[pid=15986/tid=15987] ppid=15984 vsize=13980732 memory=1635148 CPUtime=2428.7 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 119553 0 0 0 242842 28 0 0 20 0 15 0 121747619 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140588033888064 140587659034252 0 4 1 16800974 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13980732 memory=1635148 CPUtime=12.81 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 14258 0 0 0 1176 105 0 0 20 0 15 0 121747620 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13980732 memory=1635148 CPUtime=12.81 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 14901 0 0 0 1177 104 0 0 20 0 15 0 121747620 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13980732 memory=1559316 CPUtime=12.82 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 15990 0 0 0 1177 105 0 0 20 0 15 0 121747620 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13980732 memory=1635148 CPUtime=12.79 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 17778 0 0 0 1176 103 0 0 20 0 15 0 121747620 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15992] ppid=15984 vsize=13980732 memory=1635148 CPUtime=0.38 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 18187 0 0 0 32 6 0 0 20 0 15 0 121747621 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587574297440 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13980732 memory=1635148 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15994/stat : 15994 (java) S 15984 15984 28892 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587573245056 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15995] ppid=15984 vsize=13980732 memory=1635148 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15995/stat : 15995 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587572193360 140588029667227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15996] ppid=15984 vsize=13980732 memory=1635148 CPUtime=5.09 cores=1,3,5,7
/proc/15986/task/15996/stat : 15996 (java) S 15984 15984 28892 0 -1 1077944384 38214 0 0 0 504 5 0 0 20 0 15 0 121747624 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587571141232 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15997] ppid=15984 vsize=13980732 memory=1635148 CPUtime=5.02 cores=1,3,5,7
/proc/15986/task/15997/stat : 15997 (java) S 15984 15984 28892 0 -1 1077944384 51257 0 0 0 497 5 0 0 20 0 15 0 121747624 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587570088432 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15998] ppid=15984 vsize=13980732 memory=1380 CPUtime=0.87 cores=1,3,5,7
/proc/15986/task/15998/stat : 15998 (java) S 15984 15984 28892 0 -1 1077944384 15287 0 0 0 84 3 0 0 20 0 15 0 121747624 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587569036144 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15999] ppid=15984 vsize=13980732 memory=1635148 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15999/stat : 15999 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747625 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587500039136 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=16000] ppid=15984 vsize=13980732 memory=1380 CPUtime=1.24 cores=1,3,5,7
/proc/15986/task/16000/stat : 16000 (java) S 15984 15984 28892 0 -1 1077944384 1632 0 0 0 62 62 0 0 20 0 15 0 121747629 14316269568 408787 18446744073709551615 4194304 4196468 140729860919072 140587498985904 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 2492.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1636528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2469.4 s]
/proc/loadavg: 1.65 1.77 1.77 3/211 16296
/proc/meminfo: memFree=28986060/32770624 swapFree=67108860/67108860
[pid=15984] ppid=15981 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15984/stat : 15984 (xcsp3-exec) S 15981 15984 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121747610 9740288 345 18446744073709551615 4194304 5098028 140731137410304 140731137408408 140688977642108 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12726272 140731137413496 140731137413701 140731137413701 140731137417195 0
/proc/15984/statm: 2378 345 289 221 0 87 0
[pid=15986] ppid=15984 vsize=13980732 memory=1612676 CPUtime=2520.09 cores=1,3,5,7
/proc/15986/stat : 15986 (java) S 15984 15984 28892 0 -1 1077944320 310188 0 0 0 251493 516 0 0 20 0 15 0 121747619 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140729860901616 140588029648631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
/proc/15986/statm: 3495183 403169 3260 1 0 3483476 0
[pid=15986/tid=15987] ppid=15984 vsize=13980732 memory=15825486446070293 CPUtime=2455.67 cores=1,3,5,7
/proc/15986/task/15987/stat : 15987 (java) R 15984 15984 28892 0 -1 4202560 120046 0 0 0 245539 28 0 0 20 0 15 0 121747619 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140588033888064 140587660106106 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15988] ppid=15984 vsize=13980732 memory=1708 CPUtime=12.94 cores=1,3,5,7
/proc/15986/task/15988/stat : 15988 (java) S 15984 15984 28892 0 -1 1077944384 14879 0 0 0 1189 105 0 0 20 0 15 0 121747620 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587971595152 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15989] ppid=15984 vsize=13980732 memory=1444 CPUtime=12.94 cores=1,3,5,7
/proc/15986/task/15989/stat : 15989 (java) S 15984 15984 28892 0 -1 1077944384 15093 0 0 0 1190 104 0 0 20 0 15 0 121747620 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587628501776 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15990] ppid=15984 vsize=13980732 memory=1228 CPUtime=12.95 cores=1,3,5,7
/proc/15986/task/15990/stat : 15990 (java) S 15984 15984 28892 0 -1 1077944384 16112 0 0 0 1190 105 0 0 20 0 15 0 121747620 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587627449488 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15991] ppid=15984 vsize=13980732 memory=12216 CPUtime=12.92 cores=1,3,5,7
/proc/15986/task/15991/stat : 15991 (java) S 15984 15984 28892 0 -1 1077944384 17918 0 0 0 1189 103 0 0 20 0 15 0 121747620 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587626396688 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15992] ppid=15984 vsize=13980732 memory=1992 CPUtime=0.38 cores=1,3,5,7
/proc/15986/task/15992/stat : 15992 (java) S 15984 15984 28892 0 -1 1077944384 18350 0 0 0 32 6 0 0 20 0 15 0 121747621 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587575351408 140588029659778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15993] ppid=15984 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15993/stat : 15993 (java) S 15984 15984 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587574297440 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15994] ppid=15984 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15994/stat : 15994 (java) S 15984 15984 28892 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 121747622 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587573245056 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15995] ppid=15984 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15995/stat : 15995 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747624 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587572193360 140588029667227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15996] ppid=15984 vsize=13980732 memory=11160 CPUtime=5.09 cores=1,3,5,7
/proc/15986/task/15996/stat : 15996 (java) S 15984 15984 28892 0 -1 1077944384 38214 0 0 0 504 5 0 0 20 0 15 0 121747624 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587571141232 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15997] ppid=15984 vsize=13980732 memory=15880 CPUtime=5.02 cores=1,3,5,7
/proc/15986/task/15997/stat : 15997 (java) S 15984 15984 28892 0 -1 1077944384 51257 0 0 0 497 5 0 0 20 0 15 0 121747624 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587570088432 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15998] ppid=15984 vsize=13980732 memory=4048 CPUtime=0.87 cores=1,3,5,7
/proc/15986/task/15998/stat : 15998 (java) S 15984 15984 28892 0 -1 1077944384 15287 0 0 0 84 3 0 0 20 0 15 0 121747624 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587569036144 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=15999] ppid=15984 vsize=13980732 memory=517500 CPUtime=0 cores=1,3,5,7
/proc/15986/task/15999/stat : 15999 (java) S 15984 15984 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121747625 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587500039136 140588029658837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
[pid=15986/tid=16000] ppid=15984 vsize=13980732 memory=3908 CPUtime=1.25 cores=1,3,5,7
/proc/15986/task/16000/stat : 16000 (java) S 15984 15984 28892 0 -1 1077944384 1634 0 0 0 62 63 0 0 20 0 15 0 121747629 14316269568 403169 18446744073709551615 4194304 4196468 140729860919072 140587498985904 140588029659778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 34516992 140729860927921 140729860928097 140729860928097 140729860931535 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1614056 KiB

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

[startup+2469.42 s]
# the end of solver process 15984 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.95 s, system=5.17267 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2469.42
CPU time (s): 2520.12
CPU user time (s): 2514.95
CPU system time (s): 5.17267
CPU usage (%): 102.053
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2820652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.95
system time used= 5.17267
maximum resident set size= 2819272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59917
involuntary context switches= 1485


# summary of solver processes directly reported to runsolver:
#   pid: 15984
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2514.95
#   total CPU system time (s): 5.17267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0315 second user time and 24.3466 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	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 4283256

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