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

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 5a (2017-07-05)	SAT	25.0355	3.67634

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4250131-1500696400.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4250131-1500696400.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
0.00/0.71	c solve instance...
24.59/3.65	s SATISFIABLE
24.59/3.65	v <instantiation>
24.59/3.65	v 	<list>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] </list>
24.59/3.65	v 	<values>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 6 7 8 9 10 11 12 13 14 15 2 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 16 3 4 5 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 20 21 22 30 24 25 26 27 28 29 16 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 23 17 18 19 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 27 28 29 23 31 32 33 34 0 1 30 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 2 24 25 26 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 </values>
24.59/3.65	v </instantiation>

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-4250131-1500696400/watcher-4250131-1500696400 -o /tmp/evaluation-result-4250131-1500696400/solver-4250131-1500696400 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 315165953 HOME/instance-4250131-1500696400.xml 

pid=1054
running on 8 cores: 1,3,5,7,9,11,13,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: 7.94 10.64 12.67 3/262 1057
/proc/meminfo: memFree=25561488/32770624 swapFree=5860/293556
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0

[startup+0.100075 s]
/proc/loadavg: 7.94 10.64 12.67 3/262 1057
/proc/meminfo: memFree=25561488/32770624 swapFree=5860/293556
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20033 s]
/proc/loadavg: 7.94 10.64 12.67 3/262 1057
/proc/meminfo: memFree=25561488/32770624 swapFree=5860/293556
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300279 s]
/proc/loadavg: 7.94 10.64 12.67 3/262 1057
/proc/meminfo: memFree=25561488/32770624 swapFree=5860/293556
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700177 s]
/proc/loadavg: 7.94 10.64 12.67 3/262 1057
/proc/meminfo: memFree=25561488/32770624 swapFree=5860/293556
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50149 s]
/proc/loadavg: 7.71 10.54 12.63 13/291 1087
/proc/meminfo: memFree=25426344/32770624 swapFree=5860/293584
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
[pid=1058] ppid=1057 vsize=13801768 CPUtime=8.04 cores=1,3,5,7,9,11,13,15
/proc/1058/stat : 1058 (java) S 1057 1057 7411 0 -1 1077944320 18643 0 0 0 797 7 0 0 20 0 28 0 4907408 14133010432 38969 33554432000 4194304 4196468 140726071851136 140726071833680 140363196878583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
/proc/1058/statm: 3450442 38969 3220 1 0 3437675 0
[pid=1058/tid=1059] ppid=1057 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1059/stat : 1059 (java) S 1057 1057 7411 0 -1 1077944384 6396 0 0 0 66 3 0 0 20 0 28 0 4907409 14133010432 38969 33554432000 4194304 4196468 140726071851136 140363201119360 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1061] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1061/stat : 1061 (java) S 1057 1057 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362796059536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1063] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1063/stat : 1063 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362795006736 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1064] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1064/stat : 1064 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362793954448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1065] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1065/stat : 1065 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362792901648 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1066] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1066/stat : 1066 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362791848336 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1067] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1067/stat : 1067 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362790795536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1068] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1068/stat : 1068 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362789743248 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1069] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1069/stat : 1069 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362788690448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1070] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1070/stat : 1070 (java) S 1057 1057 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4907412 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362659134064 140363196889730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1071] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1071/stat : 1071 (java) S 1057 1057 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362658080032 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1072] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1072/stat : 1072 (java) S 1057 1057 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362657027696 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1073] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1073/stat : 1073 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362655976016 140363196897179 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1074] ppid=1057 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1074/stat : 1074 (java) R 1057 1057 7411 0 -1 4202560 2745 0 0 0 84 1 0 0 20 0 28 0 4907417 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362654913584 140363177578887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1075] ppid=1057 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1075/stat : 1075 (java) R 1057 1057 7411 0 -1 4202560 2196 0 0 0 84 0 0 0 20 0 28 0 4907417 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362653855944 140363178399765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1076] ppid=1057 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1076/stat : 1076 (java) R 1057 1057 7411 0 -1 4202560 2997 0 0 0 86 0 0 0 20 0 28 0 4907417 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362652803800 140363178421915 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1077] ppid=1057 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1077/stat : 1077 (java) S 1057 1057 7411 0 -1 1077944384 2650 0 0 0 59 1 0 0 20 0 28 0 4907417 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362651764976 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1078] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1078/stat : 1078 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362650712928 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1079] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1079/stat : 1079 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362649660208 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1080] ppid=1057 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1080/stat : 1080 (java) R 1057 1057 7411 0 -1 4202560 70 0 0 0 59 0 0 0 20 0 28 0 4907480 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362641646904 140362838392892 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1081] ppid=1057 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1081/stat : 1081 (java) R 1057 1057 7411 0 -1 4202560 41 0 0 0 51 0 0 0 20 0 28 0 4907480 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362640595160 140362836879140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1082] ppid=1057 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1082/stat : 1082 (java) R 1057 1057 7411 0 -1 4202560 37 0 0 0 54 0 0 0 20 0 28 0 4907480 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362639540104 140362838598565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1083] ppid=1057 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1083/stat : 1083 (java) R 1057 1057 7411 0 -1 4202560 73 0 0 0 42 0 0 0 20 0 28 0 4907480 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362638489096 140362838664847 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1084] ppid=1057 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1084/stat : 1084 (java) R 1057 1057 7411 0 -1 4202560 31 0 0 0 55 0 0 0 20 0 28 0 4907481 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362637436584 140362838151289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1085] ppid=1057 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1085/stat : 1085 (java) R 1057 1057 7411 0 -1 4202560 38 0 0 0 53 0 0 0 20 0 28 0 4907481 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362636384736 140362838250980 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1086] ppid=1057 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1086/stat : 1086 (java) R 1057 1057 7411 0 -1 4202560 29 0 0 0 57 0 0 0 20 0 28 0 4907481 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362635329944 140362834273723 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1087] ppid=1057 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1087/stat : 1087 (java) R 1057 1057 7411 0 -1 4202560 30 0 0 0 41 0 0 0 20 0 28 0 4907481 14133010432 38969 33554432000 4194304 4196468 140726071851136 140362634277464 140362838305824 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
Current children cumulated CPU time (s) 8.04
Current children cumulated vsize (KiB) 13811280

[startup+3.10144 s]
/proc/loadavg: 7.71 10.54 12.63 13/291 1087
/proc/meminfo: memFree=25407800/32770624 swapFree=5860/293588
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
[pid=1058] ppid=1057 vsize=13801768 CPUtime=20.63 cores=1,3,5,7,9,11,13,15
/proc/1058/stat : 1058 (java) S 1057 1057 7411 0 -1 1077944320 33789 0 0 0 2052 11 0 0 20 0 28 0 4907408 14133010432 45671 33554432000 4194304 4196468 140726071851136 140726071833680 140363196878583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
/proc/1058/statm: 3450442 45671 3243 1 0 3437675 0
[pid=1058/tid=1059] ppid=1057 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1059/stat : 1059 (java) S 1057 1057 7411 0 -1 1077944384 6396 0 0 0 66 3 0 0 20 0 28 0 4907409 14133010432 45671 33554432000 4194304 4196468 140726071851136 140363201119360 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1061] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1061/stat : 1061 (java) S 1057 1057 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362796059536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1063] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1063/stat : 1063 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362795006736 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1064] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1064/stat : 1064 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362793954448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1065] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1065/stat : 1065 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362792901648 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1066] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1066/stat : 1066 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362791848336 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1067] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1067/stat : 1067 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362790795536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1068] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1068/stat : 1068 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362789743248 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1069] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1069/stat : 1069 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362788690448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1070] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1070/stat : 1070 (java) S 1057 1057 7411 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 4907412 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362659134064 140363196889730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1071] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1071/stat : 1071 (java) S 1057 1057 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362658080032 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1072] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1072/stat : 1072 (java) S 1057 1057 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362657027696 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1073] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1073/stat : 1073 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362655976016 140363196897179 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1074] ppid=1057 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1074/stat : 1074 (java) R 1057 1057 7411 0 -1 4202560 5620 0 0 0 181 1 0 0 20 0 28 0 4907417 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362654909120 140363178399974 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1075] ppid=1057 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1075/stat : 1075 (java) R 1057 1057 7411 0 -1 4202560 8367 0 0 0 192 1 0 0 20 0 28 0 4907417 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362653856128 140363180372767 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1076] ppid=1057 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1076/stat : 1076 (java) R 1057 1057 7411 0 -1 4202560 7463 0 0 0 175 1 0 0 20 0 28 0 4907417 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362652804544 140363180353700 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1077] ppid=1057 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1077/stat : 1077 (java) S 1057 1057 7411 0 -1 1077944384 3308 0 0 0 65 1 0 0 20 0 28 0 4907417 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362651764976 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1078] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1078/stat : 1078 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362650712928 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1079] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1079/stat : 1079 (java) S 1057 1057 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362649660208 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1080] ppid=1057 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1080/stat : 1080 (java) R 1057 1057 7411 0 -1 4202560 202 0 0 0 185 0 0 0 20 0 28 0 4907480 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362641647784 140362838394130 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1081] ppid=1057 vsize=13801768 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1081/stat : 1081 (java) R 1057 1057 7411 0 -1 1077944384 149 0 0 0 175 0 0 0 20 0 28 0 4907480 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362640592192 140363196888789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1082] ppid=1057 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1082/stat : 1082 (java) R 1057 1057 7411 0 -1 4202560 249 0 0 0 182 0 0 0 20 0 28 0 4907480 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362639539872 140362838393185 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1083] ppid=1057 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1083/stat : 1083 (java) R 1057 1057 7411 0 -1 4202560 179 0 0 0 170 0 0 0 20 0 28 0 4907480 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362638486568 140362838169684 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1084] ppid=1057 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1084/stat : 1084 (java) R 1057 1057 7411 0 -1 4202560 131 0 0 0 171 0 0 0 20 0 28 0 4907481 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362637434048 140362838261622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1085] ppid=1057 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1085/stat : 1085 (java) R 1057 1057 7411 0 -1 4202560 125 0 0 0 167 0 0 0 20 0 28 0 4907481 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362636384656 140362839979519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1086] ppid=1057 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1086/stat : 1086 (java) R 1057 1057 7411 0 -1 4202560 118 0 0 0 158 0 0 0 20 0 28 0 4907481 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362635328824 140362839618503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1087] ppid=1057 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1087/stat : 1087 (java) R 1057 1057 7411 0 -1 4202560 146 0 0 0 157 0 0 0 20 0 28 0 4907481 14133010432 45671 33554432000 4194304 4196468 140726071851136 140362634276208 140362838394800 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
Current children cumulated CPU time (s) 20.63
Current children cumulated vsize (KiB) 13811280

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

[startup+3.20214 s]
/proc/loadavg: 7.71 10.54 12.63 13/291 1087
/proc/meminfo: memFree=25407800/32770624 swapFree=5860/293588
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
[pid=1058] ppid=1057 vsize=13801768 CPUtime=21.43 cores=1,3,5,7,9,11,13,15
/proc/1058/stat : 1058 (java) S 1057 1057 7411 0 -1 1077944320 34391 0 0 0 2132 11 0 0 20 0 28 0 4907408 14133010432 45890 33554432000 4194304 4196468 140726071851136 140726071833680 140363196878583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
/proc/1058/statm: 3450442 45890 3243 1 0 3437675 0
[pid=1058/tid=1059] ppid=1057 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1059/stat : 1059 (java) S 1057 1057 7411 0 -1 1077944384 6396 0 0 0 66 3 0 0 20 0 28 0 4907409 14133010432 45890 33554432000 4194304 4196468 140726071851136 140363201119360 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1061] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1061/stat : 1061 (java) S 1057 1057 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362796059536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1063] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1063/stat : 1063 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362795006736 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1064] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1064/stat : 1064 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362793954448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1065] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1065/stat : 1065 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362792901648 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1066] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1066/stat : 1066 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362791848336 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1067] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1067/stat : 1067 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362790795536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1068] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1068/stat : 1068 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362789743248 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1069] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1069/stat : 1069 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362788690448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1070] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1070/stat : 1070 (java) S 1057 1057 7411 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 4907412 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362659134064 140363196889730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1071] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1071/stat : 1071 (java) S 1057 1057 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362658080032 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1072] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1072/stat : 1072 (java) S 1057 1057 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362657027696 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1073] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1073/stat : 1073 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362655976016 140363196897179 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1074] ppid=1057 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1074/stat : 1074 (java) R 1057 1057 7411 0 -1 4202560 5755 0 0 0 188 1 0 0 20 0 28 0 4907417 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362654908888 140363178399974 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1075] ppid=1057 vsize=13801768 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1075/stat : 1075 (java) R 1057 1057 7411 0 -1 4202560 8452 0 0 0 199 1 0 0 20 0 28 0 4907417 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362653869168 140363181988620 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1076] ppid=1057 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1076/stat : 1076 (java) R 1057 1057 7411 0 -1 4202560 7476 0 0 0 181 1 0 0 20 0 28 0 4907417 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362652809312 140363180374807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1077] ppid=1057 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1077/stat : 1077 (java) S 1057 1057 7411 0 -1 1077944384 3320 0 0 0 66 1 0 0 20 0 28 0 4907417 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362651764976 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1078] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1078/stat : 1078 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362650712928 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1079] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1079/stat : 1079 (java) S 1057 1057 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362649660208 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1080] ppid=1057 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1080/stat : 1080 (java) R 1057 1057 7411 0 -1 4202560 213 0 0 0 192 0 0 0 20 0 28 0 4907480 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362641644464 140362839978249 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1081] ppid=1057 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1081/stat : 1081 (java) R 1057 1057 7411 0 -1 4202560 190 0 0 0 185 0 0 0 20 0 28 0 4907480 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362640592328 140362839621599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1082] ppid=1057 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1082/stat : 1082 (java) R 1057 1057 7411 0 -1 4202560 273 0 0 0 190 0 0 0 20 0 28 0 4907480 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362639539608 140362840071539 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1083] ppid=1057 vsize=13801768 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1083/stat : 1083 (java) R 1057 1057 7411 0 -1 4202560 338 0 0 0 177 0 0 0 20 0 28 0 4907480 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362638486080 140362838749251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1084] ppid=1057 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1084/stat : 1084 (java) R 1057 1057 7411 0 -1 4202560 209 0 0 0 176 0 0 0 20 0 28 0 4907481 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362637434176 140362840073799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1085] ppid=1057 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1085/stat : 1085 (java) R 1057 1057 7411 0 -1 4202560 128 0 0 0 174 0 0 0 20 0 28 0 4907481 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362636381168 140362839767774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1086] ppid=1057 vsize=13801768 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1086/stat : 1086 (java) R 1057 1057 7411 0 -1 4202560 121 0 0 0 166 0 0 0 20 0 28 0 4907481 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362635330360 140362839621438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1087] ppid=1057 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1087/stat : 1087 (java) R 1057 1057 7411 0 -1 4202560 184 0 0 0 167 0 0 0 20 0 28 0 4907481 14133010432 45890 33554432000 4194304 4196468 140726071851136 140362634279568 140362839815863 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
Current children cumulated CPU time (s) 21.43
Current children cumulated vsize (KiB) 13811280

[startup+3.60165 s]
/proc/loadavg: 7.71 10.54 12.63 13/291 1087
/proc/meminfo: memFree=25390312/32770624 swapFree=5860/293604
[pid=1057] ppid=1054 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1057/stat : 1057 (xcsp3-exec) S 1054 1057 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4907408 9740288 345 33554432000 4194304 5098028 140732902808624 140732902806728 140373105484412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27521024 140732902810767 140732902810976 140732902810976 140732902813675 0
/proc/1057/statm: 2378 345 289 221 0 87 0
[pid=1058] ppid=1057 vsize=13801768 CPUtime=24.59 cores=1,3,5,7,9,11,13,15
/proc/1058/stat : 1058 (java) S 1057 1057 7411 0 -1 1077944320 35288 0 0 0 2447 12 0 0 20 0 28 0 4907408 14133010432 47655 33554432000 4194304 4196468 140726071851136 140726071833680 140363196878583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
/proc/1058/statm: 3450442 47655 3249 1 0 3437675 0
[pid=1058/tid=1059] ppid=1057 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1059/stat : 1059 (java) S 1057 1057 7411 0 -1 1077944384 6396 0 0 0 66 3 0 0 20 0 28 0 4907409 14133010432 47655 33554432000 4194304 4196468 140726071851136 140363201119360 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1061] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1061/stat : 1061 (java) S 1057 1057 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362796059536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1063] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1063/stat : 1063 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362795006736 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1064] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1064/stat : 1064 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907409 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362793954448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1065] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1065/stat : 1065 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362792901648 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1066] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1066/stat : 1066 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362791848336 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1067] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1067/stat : 1067 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362790795536 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1068] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1068/stat : 1068 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362789743248 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1069] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1069/stat : 1069 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907410 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362788690448 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1070] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1070/stat : 1070 (java) S 1057 1057 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4907412 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362659134064 140363196889730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1071] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1071/stat : 1071 (java) S 1057 1057 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362658080032 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1072] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1072/stat : 1072 (java) S 1057 1057 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4907413 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362657027696 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1073] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1073/stat : 1073 (java) S 1057 1057 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362655976016 140363196897179 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1074] ppid=1057 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1074/stat : 1074 (java) S 1057 1057 7411 0 -1 1077944384 5853 0 0 0 210 1 0 0 20 0 28 0 4907417 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362654922864 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1075] ppid=1057 vsize=13801768 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1075/stat : 1075 (java) R 1057 1057 7411 0 -1 4202560 8792 0 0 0 219 1 0 0 20 0 28 0 4907417 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362653856032 140363180263456 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1076] ppid=1057 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1076/stat : 1076 (java) S 1057 1057 7411 0 -1 1077944384 7547 0 0 0 197 1 0 0 20 0 28 0 4907417 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362652817776 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1077] ppid=1057 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1077/stat : 1077 (java) S 1057 1057 7411 0 -1 1077944384 3520 0 0 0 73 1 0 0 20 0 28 0 4907417 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362651764976 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1078] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1078/stat : 1078 (java) S 1057 1057 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362650712928 140363196888789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1079] ppid=1057 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1079/stat : 1079 (java) S 1057 1057 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4907417 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362649660208 140363196889730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1080] ppid=1057 vsize=13801768 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1080/stat : 1080 (java) R 1057 1057 7411 0 -1 4202560 234 0 0 0 223 0 0 0 20 0 28 0 4907480 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362641645072 140362840002977 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1081] ppid=1057 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1081/stat : 1081 (java) R 1057 1057 7411 0 -1 4202560 204 0 0 0 217 0 0 0 20 0 28 0 4907480 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362640593608 140362839815649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1082] ppid=1057 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1082/stat : 1082 (java) R 1057 1057 7411 0 -1 4202560 299 0 0 0 217 0 0 0 20 0 28 0 4907480 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362639538424 140362839659469 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1083] ppid=1057 vsize=13801768 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1083/stat : 1083 (java) R 1057 1057 7411 0 -1 4202560 389 0 0 0 212 0 0 0 20 0 28 0 4907480 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362638487704 140362839912329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1084] ppid=1057 vsize=13801768 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1084/stat : 1084 (java) R 1057 1057 7411 0 -1 4202560 220 0 0 0 213 0 0 0 20 0 28 0 4907481 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362637433888 140362839659527 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1085] ppid=1057 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1085/stat : 1085 (java) R 1057 1057 7411 0 -1 4202560 137 0 0 0 196 0 0 0 20 0 28 0 4907481 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362636384712 140362839619912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1086] ppid=1057 vsize=13801768 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1086/stat : 1086 (java) R 1057 1057 7411 0 -1 4202560 133 0 0 0 200 0 0 0 20 0 28 0 4907481 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362635330008 140362839659469 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
[pid=1058/tid=1087] ppid=1057 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/1058/task/1087/stat : 1087 (java) R 1057 1057 7411 0 -1 4202560 190 0 0 0 198 0 0 0 20 0 28 0 4907481 14133010432 47655 33554432000 4194304 4196468 140726071851136 140362634276864 140362840072988 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24068096 140726071858364 140726071858540 140726071858540 140726071861199 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 3.67634
CPU time (s): 25.0355
CPU user time (s): 24.9024
CPU system time (s): 0.133113
CPU usage (%): 680.99
Max. virtual memory (cumulated for all children) (KiB): 13813776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9024
system time used= 0.133113
maximum resident set size= 193108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3450
involuntary context switches= 2467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039527 second user time and 0.057688 second system time

The end

Launcher Data

Begin job on node131 at 2017-07-22 06:06:40
IDJOB=4250131
IDBENCH=139130
IDSOLVER=2626
FILE ID=node131/4250131-1500696400
RUNJOBID= node131-1500682620-7802
PBS_JOBID= 20623041
Free space on /tmp= 62012 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gs/qwh-o035-h405.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-4250131-1500696400/watcher-4250131-1500696400 -o /tmp/evaluation-result-4250131-1500696400/solver-4250131-1500696400 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 315165953 HOME/instance-4250131-1500696400.xml

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

MD5SUM BENCH= 3223705abdf773009dcd28d689e47bd8
RANDOM SEED=315165953

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

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

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

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

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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		: 1733.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:        25561880 kB
MemAvailable:   25735208 kB
Buffers:          117916 kB
Cached:           337764 kB
SwapCached:            0 kB
Active:          6467104 kB
Inactive:         302236 kB
Active(anon):    6316524 kB
Inactive(anon):     8680 kB
Active(file):     150580 kB
Inactive(file):   293556 kB
Unevictable:        5860 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8084 kB
Writeback:             0 kB
AnonPages:       6363860 kB
Mapped:            42620 kB
Shmem:              8844 kB
Slab:             124152 kB
SReclaimable:      90052 kB
SUnreclaim:        34100 kB
KernelStack:        5024 kB
PageTables:        17712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7982660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6070272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62004 MiB
End job on node131 at 2017-07-22 06:06:44

Name	LatinSquare/LatinSquare-m1-gs/ qwh-o035-h405.xml
MD5SUM	3223705abdf773009dcd28d689e47bd8
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	12.0507
Satisfiable
(Un)Satisfiability was proved
Number of variables	1225
Number of constraints	2
Number of domains	1
Minimum domain size	35
Maximum domain size	35
Distribution of domain sizes	[{"size":35,"count":1225}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":405},{"degree":2,"count":820}]
Minimum constraint arity	820
Maximum constraint arity	1225
Distribution of constraint arities	[{"arity":820,"count":1},{"arity":1225,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problem	NO
Type of objective

Trace number 4250131

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data