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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	6	2400.08	303.627

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245572-1500685911.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4245572-1500685911.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.32	c parse instance...
18.52/3.71	c solve instance...
24.48/4.54	o 35 
25.06/4.61	o 34 
25.06/4.67	o 33 
37.42/6.36	o 32 
37.99/6.40	o 31 
37.99/6.44	o 30 
37.99/6.49	o 29 
38.62/6.53	o 28 
38.62/6.56	o 27 
39.38/6.62	o 26 
39.38/6.65	o 25 
39.38/6.69	o 24 
40.05/6.73	o 23 
40.05/6.77	o 22 
40.58/6.85	o 21 
40.58/6.89	o 20 
41.27/6.92	o 19 
41.27/6.96	o 18 
41.95/7.00	o 17 
41.95/7.04	o 16 
41.95/7.08	o 15 
42.55/7.12	o 14 
42.55/7.16	o 13 
43.19/7.20	o 12 
43.19/7.23	o 11 
43.19/7.27	o 10 
520.47/67.24	o 8 
520.99/67.31	o 7 
879.13/112.52	o 6 
2400.08/303.65	s SATISFIABLE
2400.08/303.65	v <instantiation>
2400.08/303.65	v 	<list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list>
2400.08/303.65	v 	<values>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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 </values>
2400.08/303.65	v </instantiation>
2400.08/303.65	c Unexpected resolution interruption!

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245572-1500685911/watcher-4245572-1500685911 -o /tmp/evaluation-result-4245572-1500685911/solver-4245572-1500685911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2006111710 HOME/instance-4245572-1500685911.xml 

pid=32317
running on 8 cores: 4-7,12-15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 12.68 13.17 14.29 10/277 32320
/proc/meminfo: memFree=30714100/32770624 swapFree=5944/213968
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0

[startup+0.100079 s]
/proc/loadavg: 12.68 13.17 14.29 10/277 32320
/proc/meminfo: memFree=30714100/32770624 swapFree=5944/213968
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200324 s]
/proc/loadavg: 12.68 13.17 14.29 10/277 32320
/proc/meminfo: memFree=30714100/32770624 swapFree=5944/213968
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300269 s]
/proc/loadavg: 12.68 13.17 14.29 10/277 32320
/proc/meminfo: memFree=30714100/32770624 swapFree=5944/213968
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700241 s]
/proc/loadavg: 12.68 13.17 14.29 10/277 32320
/proc/meminfo: memFree=30714100/32770624 swapFree=5944/213968
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50081 s]
/proc/loadavg: 12.68 13.17 14.29 13/298 32341
/proc/meminfo: memFree=30479708/32770624 swapFree=5944/214000
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
[pid=32321] ppid=32320 vsize=13269256 CPUtime=5.44 cores=4-7,12-15
/proc/32321/stat : 32321 (java) S 32320 32320 18810 0 -1 1077944320 16807 0 0 0 471 73 0 0 20 0 20 0 3858304 13587718144 83895 33554432000 4194304 4196468 140735096649808 140735096632352 140108647550711 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
/proc/32321/statm: 3317314 83895 3249 1 0 3304547 0
[pid=32321/tid=32322] ppid=32320 vsize=13269256 CPUtime=1.28 cores=4-7,12-15
/proc/32321/task/32322/stat : 32322 (java) R 32320 32320 18810 0 -1 4202560 6988 0 0 0 123 5 0 0 20 0 20 0 3858304 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108651789160 140108289499210 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32324] ppid=32320 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/32321/task/32324/stat : 32324 (java) S 32320 32320 18810 0 -1 1077944384 100 0 0 0 9 7 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108612832272 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32325] ppid=32320 vsize=13269256 CPUtime=0.17 cores=4-7,12-15
/proc/32321/task/32325/stat : 32325 (java) S 32320 32320 18810 0 -1 1077944384 99 0 0 0 8 9 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108245617808 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32326] ppid=32320 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/32321/task/32326/stat : 32326 (java) S 32320 32320 18810 0 -1 1077944384 111 0 0 0 8 7 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108244564752 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32327] ppid=32320 vsize=13269256 CPUtime=0.17 cores=4-7,12-15
/proc/32321/task/32327/stat : 32327 (java) S 32320 32320 18810 0 -1 1077944384 103 0 0 0 9 8 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108243512208 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32328] ppid=32320 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/32321/task/32328/stat : 32328 (java) S 32320 32320 18810 0 -1 1077944384 97 0 0 0 8 7 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108242459152 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32329] ppid=32320 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/32321/task/32329/stat : 32329 (java) S 32320 32320 18810 0 -1 1077944384 78 0 0 0 8 7 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108241406608 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32330] ppid=32320 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/32321/task/32330/stat : 32330 (java) S 32320 32320 18810 0 -1 1077944384 97 0 0 0 8 7 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108240353552 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32331] ppid=32320 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/32321/task/32331/stat : 32331 (java) S 32320 32320 18810 0 -1 1077944384 131 0 0 0 8 8 0 0 20 0 20 0 3858305 13587718144 83895 33554432000 4194304 4196468 140735096649808 140108239301008 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32332] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32332/stat : 32332 (java) S 32320 32320 18810 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3858308 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107312282352 140108647561858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32333] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32333/stat : 32333 (java) S 32320 32320 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3858308 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107311228640 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32334] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32334/stat : 32334 (java) S 32320 32320 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3858309 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107310175488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32335] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32335/stat : 32335 (java) S 32320 32320 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3858313 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107309124048 140108647569307 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32336] ppid=32320 vsize=13269256 CPUtime=0.7 cores=4-7,12-15
/proc/32321/task/32336/stat : 32336 (java) R 32320 32320 18810 0 -1 4202560 2020 0 0 0 69 1 0 0 20 0 20 0 3858313 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107308071448 140108630938209 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32337] ppid=32320 vsize=13269256 CPUtime=0.8 cores=4-7,12-15
/proc/32321/task/32337/stat : 32337 (java) R 32320 32320 18810 0 -1 4202560 1942 0 0 0 80 0 0 0 20 0 20 0 3858313 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107307018904 140108647564593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32338] ppid=32320 vsize=13269256 CPUtime=0.71 cores=4-7,12-15
/proc/32321/task/32338/stat : 32338 (java) R 32320 32320 18810 0 -1 4202560 1564 0 0 0 71 0 0 0 20 0 20 0 3858313 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107305957504 140108630961504 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32339] ppid=32320 vsize=13269256 CPUtime=0.57 cores=4-7,12-15
/proc/32321/task/32339/stat : 32339 (java) S 32320 32320 18810 0 -1 1077944384 2093 0 0 0 57 0 0 0 20 0 20 0 3858313 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107304913008 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32340] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32340/stat : 32340 (java) S 32320 32320 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3858313 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107303861216 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32341] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32341/stat : 32341 (java) S 32320 32320 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3858313 13587718144 83895 33554432000 4194304 4196468 140735096649808 140107302808752 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 13278768

[startup+3.10089 s]
/proc/loadavg: 12.68 13.17 14.29 17/298 32341
/proc/meminfo: memFree=30094448/32770624 swapFree=5944/214000
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
[pid=32321] ppid=32320 vsize=13269256 CPUtime=16.13 cores=4-7,12-15
/proc/32321/stat : 32321 (java) S 32320 32320 18810 0 -1 1077944320 19091 0 0 0 1453 160 0 0 20 0 20 0 3858304 13587718144 157560 33554432000 4194304 4196468 140735096649808 140735096632352 140108647550711 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
/proc/32321/statm: 3317314 157560 3259 1 0 3304547 0
[pid=32321/tid=32322] ppid=32320 vsize=13269256 CPUtime=1.55 cores=4-7,12-15
/proc/32321/task/32322/stat : 32322 (java) R 32320 32320 18810 0 -1 4202560 7341 0 0 0 149 6 0 0 20 0 20 0 3858304 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108651787304 140108284832455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32324] ppid=32320 vsize=13269256 CPUtime=1.39 cores=4-7,12-15
/proc/32321/task/32324/stat : 32324 (java) S 32320 32320 18810 0 -1 1077944384 495 0 0 0 122 17 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108612832272 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32325] ppid=32320 vsize=13269256 CPUtime=1.42 cores=4-7,12-15
/proc/32321/task/32325/stat : 32325 (java) S 32320 32320 18810 0 -1 1077944384 231 0 0 0 122 20 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108245617808 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32326] ppid=32320 vsize=13269256 CPUtime=1.39 cores=4-7,12-15
/proc/32321/task/32326/stat : 32326 (java) S 32320 32320 18810 0 -1 1077944384 325 0 0 0 122 17 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108244564752 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32327] ppid=32320 vsize=13269256 CPUtime=1.43 cores=4-7,12-15
/proc/32321/task/32327/stat : 32327 (java) S 32320 32320 18810 0 -1 1077944384 194 0 0 0 124 19 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108243512208 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32328] ppid=32320 vsize=13269256 CPUtime=1.4 cores=4-7,12-15
/proc/32321/task/32328/stat : 32328 (java) S 32320 32320 18810 0 -1 1077944384 232 0 0 0 122 18 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108242459152 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32329] ppid=32320 vsize=13269256 CPUtime=1.38 cores=4-7,12-15
/proc/32321/task/32329/stat : 32329 (java) S 32320 32320 18810 0 -1 1077944384 189 0 0 0 120 18 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108241406608 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32330] ppid=32320 vsize=13269256 CPUtime=1.4 cores=4-7,12-15
/proc/32321/task/32330/stat : 32330 (java) S 32320 32320 18810 0 -1 1077944384 205 0 0 0 122 18 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108240353552 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32331] ppid=32320 vsize=13269256 CPUtime=1.4 cores=4-7,12-15
/proc/32321/task/32331/stat : 32331 (java) S 32320 32320 18810 0 -1 1077944384 261 0 0 0 121 19 0 0 20 0 20 0 3858305 13587718144 157560 33554432000 4194304 4196468 140735096649808 140108239301008 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32332] ppid=32320 vsize=13269256 CPUtime=0.06 cores=4-7,12-15
/proc/32321/task/32332/stat : 32332 (java) S 32320 32320 18810 0 -1 1077944384 475 0 0 0 6 0 0 0 20 0 20 0 3858308 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107312282352 140108647561858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32333] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32333/stat : 32333 (java) S 32320 32320 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3858308 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107311228640 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32334] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32334/stat : 32334 (java) S 32320 32320 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3858309 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107310175488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32335] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32335/stat : 32335 (java) S 32320 32320 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3858313 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107309124048 140108647569307 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32336] ppid=32320 vsize=13269256 CPUtime=0.82 cores=4-7,12-15
/proc/32321/task/32336/stat : 32336 (java) R 32320 32320 18810 0 -1 4202560 2037 0 0 0 81 1 0 0 20 0 20 0 3858313 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107308056960 140108631036624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32337] ppid=32320 vsize=13269256 CPUtime=0.94 cores=4-7,12-15
/proc/32321/task/32337/stat : 32337 (java) R 32320 32320 18810 0 -1 4202560 1970 0 0 0 94 0 0 0 20 0 20 0 3858313 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107307018608 140108632655889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32338] ppid=32320 vsize=13269256 CPUtime=0.8 cores=4-7,12-15
/proc/32321/task/32338/stat : 32338 (java) R 32320 32320 18810 0 -1 4202560 1595 0 0 0 80 0 0 0 20 0 20 0 3858313 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107305957504 140108626884343 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32339] ppid=32320 vsize=13269256 CPUtime=0.63 cores=4-7,12-15
/proc/32321/task/32339/stat : 32339 (java) R 32320 32320 18810 0 -1 4202560 2241 0 0 0 63 0 0 0 20 0 20 0 3858313 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107304913008 140108626673981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32340] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32340/stat : 32340 (java) S 32320 32320 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3858313 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107303861216 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32341] ppid=32320 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32341/stat : 32341 (java) S 32320 32320 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3858313 13587718144 157560 33554432000 4194304 4196468 140735096649808 140107302808752 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
Current children cumulated CPU time (s) 16.13
Current children cumulated vsize (KiB) 13278768

[startup+6.30097 s]
/proc/loadavg: 12.78 13.18 14.29 17/302 32369
/proc/meminfo: memFree=29697068/32770624 swapFree=5944/214012
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
[pid=32321] ppid=32320 vsize=13801768 CPUtime=37.42 cores=4-7,12-15
/proc/32321/stat : 32321 (java) S 32320 32320 18810 0 -1 1077944320 33722 0 0 0 3415 327 0 0 20 0 24 0 3858304 14133010432 256556 33554432000 4194304 4196468 140735096649808 140735096632352 140108647550711 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
/proc/32321/statm: 3450442 256556 3287 1 0 3437675 0
[pid=32321/tid=32322] ppid=32320 vsize=13801768 CPUtime=2.07 cores=4-7,12-15
/proc/32321/task/32322/stat : 32322 (java) S 32320 32320 18810 0 -1 1077944384 9042 0 0 0 200 7 0 0 20 0 24 0 3858304 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108651791488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32324] ppid=32320 vsize=13801768 CPUtime=3.02 cores=4-7,12-15
/proc/32321/task/32324/stat : 32324 (java) S 32320 32320 18810 0 -1 1077944384 919 0 0 0 265 37 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108612832272 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32325] ppid=32320 vsize=13801768 CPUtime=3.05 cores=4-7,12-15
/proc/32321/task/32325/stat : 32325 (java) S 32320 32320 18810 0 -1 1077944384 595 0 0 0 264 41 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108245617808 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32326] ppid=32320 vsize=13801768 CPUtime=2.97 cores=4-7,12-15
/proc/32321/task/32326/stat : 32326 (java) S 32320 32320 18810 0 -1 1077944384 672 0 0 0 261 36 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108244564752 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32327] ppid=32320 vsize=13801768 CPUtime=3.07 cores=4-7,12-15
/proc/32321/task/32327/stat : 32327 (java) S 32320 32320 18810 0 -1 1077944384 517 0 0 0 268 39 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108243512208 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32328] ppid=32320 vsize=13801768 CPUtime=3.05 cores=4-7,12-15
/proc/32321/task/32328/stat : 32328 (java) S 32320 32320 18810 0 -1 1077944384 663 0 0 0 266 39 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108242459152 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32329] ppid=32320 vsize=13801768 CPUtime=3.01 cores=4-7,12-15
/proc/32321/task/32329/stat : 32329 (java) S 32320 32320 18810 0 -1 1077944384 670 0 0 0 263 38 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108241406608 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32330] ppid=32320 vsize=13801768 CPUtime=3.04 cores=4-7,12-15
/proc/32321/task/32330/stat : 32330 (java) S 32320 32320 18810 0 -1 1077944384 470 0 0 0 265 39 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108240353552 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32331] ppid=32320 vsize=13801768 CPUtime=3.03 cores=4-7,12-15
/proc/32321/task/32331/stat : 32331 (java) S 32320 32320 18810 0 -1 1077944384 663 0 0 0 263 40 0 0 20 0 24 0 3858305 14133010432 256556 33554432000 4194304 4196468 140735096649808 140108239301008 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32332] ppid=32320 vsize=13801768 CPUtime=0.21 cores=4-7,12-15
/proc/32321/task/32332/stat : 32332 (java) R 32320 32320 18810 0 -1 4202560 1425 0 0 0 21 0 0 0 20 0 24 0 3858308 14133010432 256556 33554432000 4194304 4196468 140735096649808 140107312280784 140108632251347 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32333] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32333/stat : 32333 (java) S 32320 32320 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 24 0 3858308 14133010432 256556 33554432000 4194304 4196468 140735096649808 140107311228640 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32334] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32334/stat : 32334 (java) S 32320 32320 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 3858309 14133010432 256556 33554432000 4194304 4196468 140735096649808 140107310175488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32335] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32335/stat : 32335 (java) S 32320 32320 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 3858313 14133010432 256556 33554432000 4194304 4196468 140735096649808 140107309124048 140108647569307 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0

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

/proc/32321/task/32582/stat : 32582 (java) R 32320 32320 18810 0 -1 4202560 1227 0 0 0 10891 0 0 0 20 0 28 0 3869556 14133010432 365841 33554432000 4194304 4196468 140735096649808 140107288478328 140108292107282 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32583] ppid=32320 vsize=13801768 CPUtime=108.83 cores=4-7,12-15
/proc/32321/task/32583/stat : 32583 (java) R 32320 32320 18810 0 -1 4202560 966 0 0 0 10882 1 0 0 20 0 28 0 3869556 14133010432 365841 33554432000 4194304 4196468 140735096649808 140107294794408 140108292106905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
Current children cumulated CPU time (s) 1752.94
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 14.49 14.58 14.64 10/297 32682
/proc/meminfo: memFree=29817148/32770624 swapFree=5944/214348
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
[pid=32321] ppid=32320 vsize=13801768 CPUtime=2230.48 cores=4-7,12-15
/proc/32321/stat : 32321 (java) S 32320 32320 18810 0 -1 1077944320 145303 0 0 0 222586 462 0 0 20 0 28 0 3858304 14133010432 365195 33554432000 4194304 4196468 140735096649808 140735096632352 140108647550711 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
/proc/32321/statm: 3450442 365195 3292 1 0 3437675 0
[pid=32321/tid=32322] ppid=32320 vsize=13801768 CPUtime=2.1 cores=4-7,12-15
/proc/32321/task/32322/stat : 32322 (java) S 32320 32320 18810 0 -1 1077944384 9309 0 0 0 203 7 0 0 20 0 28 0 3858304 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108651791488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32324] ppid=32320 vsize=13801768 CPUtime=4.07 cores=4-7,12-15
/proc/32321/task/32324/stat : 32324 (java) S 32320 32320 18810 0 -1 1077944384 2515 0 0 0 361 46 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108612832272 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32325] ppid=32320 vsize=13801768 CPUtime=4.13 cores=4-7,12-15
/proc/32321/task/32325/stat : 32325 (java) S 32320 32320 18810 0 -1 1077944384 2836 0 0 0 362 51 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108245617808 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32326] ppid=32320 vsize=13801768 CPUtime=4.02 cores=4-7,12-15
/proc/32321/task/32326/stat : 32326 (java) S 32320 32320 18810 0 -1 1077944384 2561 0 0 0 355 47 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108244564752 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32327] ppid=32320 vsize=13801768 CPUtime=4.1 cores=4-7,12-15
/proc/32321/task/32327/stat : 32327 (java) S 32320 32320 18810 0 -1 1077944384 2615 0 0 0 361 49 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108243512208 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32328] ppid=32320 vsize=13801768 CPUtime=4.1 cores=4-7,12-15
/proc/32321/task/32328/stat : 32328 (java) S 32320 32320 18810 0 -1 1077944384 4501 0 0 0 360 50 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108242459152 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32329] ppid=32320 vsize=13801768 CPUtime=4.07 cores=4-7,12-15
/proc/32321/task/32329/stat : 32329 (java) S 32320 32320 18810 0 -1 1077944384 3512 0 0 0 359 48 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108241406608 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32330] ppid=32320 vsize=13801768 CPUtime=4.1 cores=4-7,12-15
/proc/32321/task/32330/stat : 32330 (java) S 32320 32320 18810 0 -1 1077944384 2206 0 0 0 360 50 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108240353552 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32331] ppid=32320 vsize=13801768 CPUtime=4.08 cores=4-7,12-15
/proc/32321/task/32331/stat : 32331 (java) S 32320 32320 18810 0 -1 1077944384 3712 0 0 0 359 49 0 0 20 0 28 0 3858305 14133010432 365195 33554432000 4194304 4196468 140735096649808 140108239301008 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32332] ppid=32320 vsize=13801768 CPUtime=0.42 cores=4-7,12-15
/proc/32321/task/32332/stat : 32332 (java) S 32320 32320 18810 0 -1 1077944384 6732 0 0 0 32 10 0 0 20 0 28 0 3858308 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107312282352 140108647561858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32333] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32333/stat : 32333 (java) S 32320 32320 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3858308 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107311228640 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32334] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32334/stat : 32334 (java) S 32320 32320 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3858309 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107310175488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32335] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32335/stat : 32335 (java) S 32320 32320 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3858313 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107309124048 140108647569307 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32336] ppid=32320 vsize=13801768 CPUtime=3.07 cores=4-7,12-15
/proc/32321/task/32336/stat : 32336 (java) S 32320 32320 18810 0 -1 1077944384 14629 0 0 0 304 3 0 0 20 0 28 0 3858313 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107308071152 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32337] ppid=32320 vsize=13801768 CPUtime=3.72 cores=4-7,12-15
/proc/32321/task/32337/stat : 32337 (java) S 32320 32320 18810 0 -1 1077944384 16150 0 0 0 369 3 0 0 20 0 28 0 3858313 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107307018608 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32338] ppid=32320 vsize=13801768 CPUtime=3.01 cores=4-7,12-15
/proc/32321/task/32338/stat : 32338 (java) S 32320 32320 18810 0 -1 1077944384 16524 0 0 0 298 3 0 0 20 0 28 0 3858313 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107305965552 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32339] ppid=32320 vsize=13801768 CPUtime=1.24 cores=4-7,12-15
/proc/32321/task/32339/stat : 32339 (java) S 32320 32320 18810 0 -1 1077944384 11751 0 0 0 122 2 0 0 20 0 28 0 3858313 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107304913008 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32340] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32340/stat : 32340 (java) S 32320 32320 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3858313 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107303861216 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32341] ppid=32320 vsize=13801768 CPUtime=0.16 cores=4-7,12-15
/proc/32321/task/32341/stat : 32341 (java) S 32320 32320 18810 0 -1 1077944384 1847 0 0 0 6 10 0 0 20 0 28 0 3858313 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107302808752 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32576] ppid=32320 vsize=13801768 CPUtime=168.32 cores=4-7,12-15
/proc/32321/task/32576/stat : 32576 (java) R 32320 32320 18810 0 -1 4202560 888 0 0 0 16832 0 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107292687464 140108292106905 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32577] ppid=32320 vsize=13801768 CPUtime=168.4 cores=4-7,12-15
/proc/32321/task/32577/stat : 32577 (java) R 32320 32320 18810 0 -1 4202560 1379 0 0 0 16840 0 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107290583144 140108292286183 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32578] ppid=32320 vsize=13801768 CPUtime=168.59 cores=4-7,12-15
/proc/32321/task/32578/stat : 32578 (java) R 32320 32320 18810 0 -1 4202560 2152 0 0 0 16859 0 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107291635136 140108291774562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32579] ppid=32320 vsize=13801768 CPUtime=168.89 cores=4-7,12-15
/proc/32321/task/32579/stat : 32579 (java) R 32320 32320 18810 0 -1 4202560 6004 0 0 0 16887 2 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107287427472 140108291804837 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32580] ppid=32320 vsize=13801768 CPUtime=168.26 cores=4-7,12-15
/proc/32321/task/32580/stat : 32580 (java) R 32320 32320 18810 0 -1 4202560 1681 0 0 0 16826 0 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107293740792 140108292280788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32581] ppid=32320 vsize=13801768 CPUtime=168.56 cores=4-7,12-15
/proc/32321/task/32581/stat : 32581 (java) R 32320 32320 18810 0 -1 4202560 600 0 0 0 16856 0 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107289530232 140108291693876 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32582] ppid=32320 vsize=13801768 CPUtime=168.69 cores=4-7,12-15
/proc/32321/task/32582/stat : 32582 (java) R 32320 32320 18810 0 -1 4202560 1344 0 0 0 16868 1 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107288478248 140108287546948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32583] ppid=32320 vsize=13801768 CPUtime=168.03 cores=4-7,12-15
/proc/32321/task/32583/stat : 32583 (java) R 32320 32320 18810 0 -1 4202560 1051 0 0 0 16802 1 0 0 20 0 28 0 3869556 14133010432 365195 33554432000 4194304 4196468 140735096649808 140107294794408 140108292603240 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
Current children cumulated CPU time (s) 2230.48
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.601 s]
/proc/loadavg: 12.93 14.22 14.52 10/296 32682
/proc/meminfo: memFree=28728516/32770624 swapFree=5944/214372
[pid=32320] ppid=32317 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32320/stat : 32320 (xcsp3-exec) S 32317 32320 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3858304 9740288 346 33554432000 4194304 5098028 140737458751312 140737458749416 139901864436348 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34893824 140737458754702 140737458754912 140737458754912 140737458757611 0
/proc/32320/statm: 2378 346 289 221 0 87 0
[pid=32321] ppid=32320 vsize=13801768 CPUtime=2400.08 cores=4-7,12-15
/proc/32321/stat : 32321 (java) S 32320 32320 18810 0 -1 1077944320 148550 0 0 0 239540 468 0 0 20 0 28 0 3858304 14133010432 365003 33554432000 4194304 4196468 140735096649808 140735096632352 140108647550711 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
/proc/32321/statm: 3450442 365003 3292 1 0 3437675 0
[pid=32321/tid=32322] ppid=32320 vsize=13801768 CPUtime=2.1 cores=4-7,12-15
/proc/32321/task/32322/stat : 32322 (java) S 32320 32320 18810 0 -1 1077944384 9309 0 0 0 203 7 0 0 20 0 28 0 3858304 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108651791488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32324] ppid=32320 vsize=13801768 CPUtime=4.12 cores=4-7,12-15
/proc/32321/task/32324/stat : 32324 (java) S 32320 32320 18810 0 -1 1077944384 2559 0 0 0 365 47 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108612832272 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32325] ppid=32320 vsize=13801768 CPUtime=4.18 cores=4-7,12-15
/proc/32321/task/32325/stat : 32325 (java) S 32320 32320 18810 0 -1 1077944384 2868 0 0 0 366 52 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108245617808 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32326] ppid=32320 vsize=13801768 CPUtime=4.07 cores=4-7,12-15
/proc/32321/task/32326/stat : 32326 (java) S 32320 32320 18810 0 -1 1077944384 2682 0 0 0 360 47 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108244564752 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32327] ppid=32320 vsize=13801768 CPUtime=4.14 cores=4-7,12-15
/proc/32321/task/32327/stat : 32327 (java) S 32320 32320 18810 0 -1 1077944384 3044 0 0 0 365 49 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108243512208 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32328] ppid=32320 vsize=13801768 CPUtime=4.15 cores=4-7,12-15
/proc/32321/task/32328/stat : 32328 (java) S 32320 32320 18810 0 -1 1077944384 4516 0 0 0 364 51 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108242459152 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32329] ppid=32320 vsize=13801768 CPUtime=4.1 cores=4-7,12-15
/proc/32321/task/32329/stat : 32329 (java) S 32320 32320 18810 0 -1 1077944384 3528 0 0 0 361 49 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108241406608 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32330] ppid=32320 vsize=13801768 CPUtime=4.13 cores=4-7,12-15
/proc/32321/task/32330/stat : 32330 (java) S 32320 32320 18810 0 -1 1077944384 2223 0 0 0 363 50 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108240353552 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32331] ppid=32320 vsize=13801768 CPUtime=4.13 cores=4-7,12-15
/proc/32321/task/32331/stat : 32331 (java) S 32320 32320 18810 0 -1 1077944384 3851 0 0 0 363 50 0 0 20 0 28 0 3858305 14133010432 365003 33554432000 4194304 4196468 140735096649808 140108239301008 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32332] ppid=32320 vsize=13801768 CPUtime=0.43 cores=4-7,12-15
/proc/32321/task/32332/stat : 32332 (java) S 32320 32320 18810 0 -1 1077944384 6982 0 0 0 32 11 0 0 20 0 28 0 3858308 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107312282352 140108647561858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32333] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32333/stat : 32333 (java) S 32320 32320 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3858308 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107311228640 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32334] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32334/stat : 32334 (java) S 32320 32320 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3858309 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107310175488 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32335] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32335/stat : 32335 (java) S 32320 32320 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3858313 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107309124048 140108647569307 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32336] ppid=32320 vsize=13801768 CPUtime=3.07 cores=4-7,12-15
/proc/32321/task/32336/stat : 32336 (java) S 32320 32320 18810 0 -1 1077944384 14844 0 0 0 304 3 0 0 20 0 28 0 3858313 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107308071152 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32337] ppid=32320 vsize=13801768 CPUtime=3.72 cores=4-7,12-15
/proc/32321/task/32337/stat : 32337 (java) S 32320 32320 18810 0 -1 1077944384 16155 0 0 0 369 3 0 0 20 0 28 0 3858313 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107307018608 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32338] ppid=32320 vsize=13801768 CPUtime=3.01 cores=4-7,12-15
/proc/32321/task/32338/stat : 32338 (java) S 32320 32320 18810 0 -1 1077944384 16665 0 0 0 298 3 0 0 20 0 28 0 3858313 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107305965552 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32339] ppid=32320 vsize=13801768 CPUtime=1.24 cores=4-7,12-15
/proc/32321/task/32339/stat : 32339 (java) S 32320 32320 18810 0 -1 1077944384 12402 0 0 0 122 2 0 0 20 0 28 0 3858313 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107304913008 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32340] ppid=32320 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/32321/task/32340/stat : 32340 (java) S 32320 32320 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3858313 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107303861216 140108647560917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32341] ppid=32320 vsize=13801768 CPUtime=0.19 cores=4-7,12-15
/proc/32321/task/32341/stat : 32341 (java) S 32320 32320 18810 0 -1 1077944384 1870 0 0 0 7 12 0 0 20 0 28 0 3858313 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107302808752 140108647561858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32576] ppid=32320 vsize=13801768 CPUtime=189.42 cores=4-7,12-15
/proc/32321/task/32576/stat : 32576 (java) R 32320 32320 18810 0 -1 4202560 961 0 0 0 18942 0 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107292690256 140108292281111 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32577] ppid=32320 vsize=13801768 CPUtime=189.62 cores=4-7,12-15
/proc/32321/task/32577/stat : 32577 (java) R 32320 32320 18810 0 -1 4202560 1554 0 0 0 18962 0 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107290583416 140108291715548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32578] ppid=32320 vsize=13801768 CPUtime=189.58 cores=4-7,12-15
/proc/32321/task/32578/stat : 32578 (java) R 32320 32320 18810 0 -1 4202560 2371 0 0 0 18957 1 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107291635416 140108291774562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32579] ppid=32320 vsize=13801768 CPUtime=190.12 cores=4-7,12-15
/proc/32321/task/32579/stat : 32579 (java) R 32320 32320 18810 0 -1 4202560 6305 0 0 0 19010 2 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107287425128 140108288612819 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32580] ppid=32320 vsize=13801768 CPUtime=189.49 cores=4-7,12-15
/proc/32321/task/32580/stat : 32580 (java) R 32320 32320 18810 0 -1 4202560 1789 0 0 0 18949 0 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107293740504 140108287547333 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32581] ppid=32320 vsize=13801768 CPUtime=189.72 cores=4-7,12-15
/proc/32321/task/32581/stat : 32581 (java) R 32320 32320 18810 0 -1 4202560 629 0 0 0 18972 0 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107289530152 140108292285859 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32582] ppid=32320 vsize=13801768 CPUtime=189.92 cores=4-7,12-15
/proc/32321/task/32582/stat : 32582 (java) R 32320 32320 18810 0 -1 4202560 1530 0 0 0 18991 1 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107288478152 140108287547139 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
[pid=32321/tid=32583] ppid=32320 vsize=13801768 CPUtime=189.12 cores=4-7,12-15
/proc/32321/task/32583/stat : 32583 (java) R 32320 32320 18810 0 -1 4202560 1109 0 0 0 18911 1 0 0 20 0 28 0 3869556 14133010432 365003 33554432000 4194304 4196468 140735096649808 140107294794160 140108292603200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140735096657084 140735096657260 140735096657260 140735096659919 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 13811280

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32321 sig 9
??? kill 32320 sig 9
??? kill -32320 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32320 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1044
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2088
# CPU time returned by wait4() is 0.003132
# while last known CPU time is 2400.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 303.627
CPU time (s): 2400.08
CPU user time (s): 2395.4
CPU system time (s): 4.68
CPU usage (%): 790.469
Max. virtual memory (cumulated for all children) (KiB): 13812928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001044
system time used= 0.002088
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81368 second user time and 4.44648 second system time

The end

Launcher Data

Begin job on node132 at 2017-07-22 03:11:51
IDJOB=4245572
IDBENCH=122959
IDSOLVER=2625
FILE ID=node132/4245572-1500685911
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245572-1500685911/watcher-4245572-1500685911 -o /tmp/evaluation-result-4245572-1500685911/solver-4245572-1500685911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2006111710 HOME/instance-4245572-1500685911.xml

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

MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8
RANDOM SEED=2006111710

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30714176 kB
MemAvailable:   30767588 kB
Buffers:           49616 kB
Cached:           312432 kB
SwapCached:            0 kB
Active:          1457600 kB
Inactive:         222596 kB
Active(anon):    1320956 kB
Inactive(anon):     8628 kB
Active(file):     136644 kB
Inactive(file):   213968 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7900 kB
Writeback:            16 kB
AnonPages:       1330028 kB
Mapped:            43128 kB
Shmem:              8904 kB
Slab:              70976 kB
SReclaimable:      37268 kB
SUnreclaim:        33708 kB
KernelStack:        5104 kB
PageTables:         7832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3351980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1218560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 03:16:55

Name	Opd/Opd-sum-large/ Opd-46-035-010.xml
MD5SUM	9882d57d510e95008d99aa62e0238ec8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	1611
Number of constraints	1082
Number of domains	2
Minimum domain size	2
Maximum domain size	33
Distribution of domain sizes	[{"size":2,"count":1610},{"size":33,"count":1}]
Minimum variable degree	47
Maximum variable degree	1036
Distribution of variable degrees	[{"degree":47,"count":1610},{"degree":1036,"count":1}]
Minimum constraint arity	35
Maximum constraint arity	1610
Distribution of constraint arities	[{"arity":35,"count":46},{"arity":71,"count":1035},{"arity":1610,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"lex","count":1},{"type":"sum","count":1081}]
Optimization problem	YES
Type of objective	min VAR

Trace number 4245572

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