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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-07-26)	SAT (TO)	398	245.7	240.00999

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254348-1501612536.xml"  -tl '264s' -p 1 -x 0
0.00/0.26	c [HOME/instance-4254348-1501612536.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.32	c simple solver
0.00/0.39	c parse instance...
2.67/1.22	c solve instance...
178.36/173.56	o 360 
178.75/173.73	o 363 
245.29/239.66	o 398 
245.70/240.00	s SATISFIABLE
245.70/240.00	v <instantiation>
245.70/240.00	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z </list>
245.70/240.00	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 2 2 1 1 2 1 1 0 0 0 0 0 0 1 1 2 1 0 1 1 1 0 1 1 2 0 1 1 0 2 1 1 1 1 2 1 1 0 1 2 0 0 0 0 0 0 1 0 1 2 1 1 0 1 1 0 0 2 1 1 0 0 1 0 1 0 0 1 1 2 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 2 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 2 1 2 2 2 1 1 0 0 2 2 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 2 1 1 1 0 0 2 2 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 2 1 0 1 0 0 1 1 2 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 0 1 1 1 2 2 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 2 2 2 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 2 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 2 2 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 2 2 2 1 1 2 0 0 0 0 1 0 0 0 0 0 0 1 1 1 2 0 1 0 0 1 0 0 0 0 0 0 0 0 1 2 2 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 1 0 1 2 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 2 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 2 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 2 1 1 2 1 0 1 0 0 0 0 0 0 0 0 2 0 2 1 0 1 1 0 0 1 0 0 1 0 1 2 1 1 2 2 1 1 2 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 2 1 1 1 0 0 0 0 0 0 1 0 2 2 2 2 1 1 0 1 0 0 0 0 0 1 1 2 0 1 0 0 0 1 0 2 2 0 0 0 0 0 0 0 2 1 1 2 1 2 1 0 0 0 1 0 0 0 1 0 1 2 1 1 0 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 1 0 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 2 2 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 2 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 2 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 2 1 2 1 1 0 0 1 0 0 1 2 0 0 0 0 0 1 0 0 0 0 2 2 0 1 1 0 2 1 1 1 0 0 1 2 1 1 0 0 0 0 0 0 1 2 0 0 1 0 2 0 1 1 0 0 1 1 1 0 0 1 1 2 2 1 0 0 0 0 1 0 0 1 0 1 1 0 2 1 1 0 1 2 0 1 0 1 1 0 1 2 0 1 1 0 2 2 2 2 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 20 50 72 90 105 127 146 156 171 186 202 217 230 248 265 278 287 297 311 323 336 349 373 400 422 440 455 465 478 496 518 537 565 584 398 </values>
245.70/240.00	v </instantiation>
245.70/240.00	c Unexpected resolution interruption!

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-4254348-1501612536/watcher-4254348-1501612536 -o /tmp/evaluation-result-4254348-1501612536/solver-4254348-1501612536 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2070295507 HOME/instance-4254348-1501612536.xml 

pid=6137
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.72 1.87 1.43 2/182 6140
/proc/meminfo: memFree=31874592/32770624 swapFree=0/277168
[pid=6140] ppid=6137 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (runsolver) D 6137 6140 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8759384 24240128 107 18446744073709551615 4194304 4338465 140722933757008 140722933754648 139663090086615 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 14426112 140722933760093 140722933760582 140722933760582 140722933764042 0
/proc/6140/statm: 5918 107 54 36 0 2156 0

[startup+0.100678 s]
/proc/loadavg: 1.72 1.87 1.43 2/182 6140
/proc/meminfo: memFree=31874592/32770624 swapFree=0/277168
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200717 s]
/proc/loadavg: 1.72 1.87 1.43 2/182 6140
/proc/meminfo: memFree=31874592/32770624 swapFree=0/277168
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300765 s]
/proc/loadavg: 1.72 1.87 1.43 2/182 6140
/proc/meminfo: memFree=31874592/32770624 swapFree=0/277168
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700676 s]
/proc/loadavg: 1.72 1.87 1.43 2/182 6140
/proc/meminfo: memFree=31874592/32770624 swapFree=0/277168
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50075 s]
/proc/loadavg: 1.72 1.87 1.43 6/216 6200
/proc/meminfo: memFree=31745800/32770624 swapFree=0/277188
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
[pid=6142] ppid=6140 vsize=13980732 CPUtime=3.48 cores=0,2,4,6
/proc/6142/stat : 6142 (java) S 6140 6140 5234 0 -1 1077944320 21177 0 0 0 341 7 0 0 20 0 15 0 8759390 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140736973935872 140135403073271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
/proc/6142/statm: 3495183 29322 3180 1 0 3483484 0
[pid=6142/tid=6143] ppid=6140 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/6142/task/6143/stat : 6143 (java) R 6140 6140 5234 0 -1 4202560 10635 0 0 0 131 5 0 0 20 0 15 0 8759391 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140135407311048 140135007622775 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6144] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6144/stat : 6144 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140135322487184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6145] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6145/stat : 6145 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140135001745680 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6146] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6146/stat : 6146 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140135000693392 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6147] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6147/stat : 6147 (java) S 6140 6140 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134999640592 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6148] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6148/stat : 6148 (java) S 6140 6140 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134881647216 140135403084418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6149] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6149/stat : 6149 (java) S 6140 6140 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134880593184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6150] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6150/stat : 6150 (java) S 6140 6140 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134879540848 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6154] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6154/stat : 6154 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134878489168 140135403091867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6155] ppid=6140 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/6142/task/6155/stat : 6155 (java) R 6140 6140 5234 0 -1 4202560 3293 0 0 0 79 0 0 0 20 0 15 0 8759396 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134877422560 140135387465496 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6156] ppid=6140 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/6142/task/6156/stat : 6156 (java) R 6140 6140 5234 0 -1 4202560 2699 0 0 0 76 0 0 0 20 0 15 0 8759396 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134876383216 140135382319512 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6157] ppid=6140 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/6142/task/6157/stat : 6157 (java) S 6140 6140 5234 0 -1 1077944384 3183 0 0 0 53 1 0 0 20 0 15 0 8759396 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134875330928 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6158] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6158/stat : 6158 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134874278368 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6162] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6162/stat : 6162 (java) S 6140 6140 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 8759402 14316269568 29322 18446744073709551615 4194304 4196468 140736973953328 140134873226160 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 13990244

[startup+3.10075 s]
/proc/loadavg: 1.72 1.87 1.43 2/197 6247
/proc/meminfo: memFree=31764968/32770624 swapFree=0/277124
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
[pid=6142] ppid=6140 vsize=13980732 CPUtime=6.08 cores=0,2,4,6
/proc/6142/stat : 6142 (java) S 6140 6140 5234 0 -1 1077944320 21966 0 0 0 601 7 0 0 20 0 15 0 8759390 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140736973935872 140135403073271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
/proc/6142/statm: 3495183 33912 3182 1 0 3483484 0
[pid=6142/tid=6143] ppid=6140 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/6142/task/6143/stat : 6143 (java) R 6140 6140 5234 0 -1 4202560 10820 0 0 0 291 5 0 0 20 0 15 0 8759391 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140135407310504 140135007613295 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6144] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6144/stat : 6144 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140135322487184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6145] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6145/stat : 6145 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140135001745680 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6146] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6146/stat : 6146 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140135000693392 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6147] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6147/stat : 6147 (java) S 6140 6140 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134999640592 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6148] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6148/stat : 6148 (java) S 6140 6140 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134881647216 140135403084418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6149] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6149/stat : 6149 (java) S 6140 6140 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134880593184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6150] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6150/stat : 6150 (java) S 6140 6140 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134879540848 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6154] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6154/stat : 6154 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134878489168 140135403091867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6155] ppid=6140 vsize=13980732 CPUtime=1.24 cores=0,2,4,6
/proc/6142/task/6155/stat : 6155 (java) S 6140 6140 5234 0 -1 1077944384 3600 0 0 0 124 0 0 0 20 0 15 0 8759396 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134877436016 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6156] ppid=6140 vsize=13980732 CPUtime=1.22 cores=0,2,4,6
/proc/6142/task/6156/stat : 6156 (java) S 6140 6140 5234 0 -1 1077944384 2848 0 0 0 122 0 0 0 20 0 15 0 8759396 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134876383216 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6157] ppid=6140 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/6142/task/6157/stat : 6157 (java) S 6140 6140 5234 0 -1 1077944384 3331 0 0 0 61 1 0 0 20 0 15 0 8759396 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134875330928 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6158] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6158/stat : 6158 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134874278368 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6162] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6162/stat : 6162 (java) S 6140 6140 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 8759402 14316269568 33912 18446744073709551615 4194304 4196468 140736973953328 140134873226160 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 13990244

[startup+6.30075 s]
/proc/loadavg: 1.98 1.92 1.44 3/216 6279
/proc/meminfo: memFree=31604584/32770624 swapFree=0/277140
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
[pid=6142] ppid=6140 vsize=13980732 CPUtime=10.15 cores=0,2,4,6
/proc/6142/stat : 6142 (java) S 6140 6140 5234 0 -1 1077944320 35099 0 0 0 1005 10 0 0 20 0 15 0 8759390 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140736973935872 140135403073271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
/proc/6142/statm: 3495183 44996 3191 1 0 3483484 0
[pid=6142/tid=6143] ppid=6140 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/6142/task/6143/stat : 6143 (java) R 6140 6140 5234 0 -1 4202560 11198 0 0 0 610 5 0 0 20 0 15 0 8759391 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140135407309120 140135008796798 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6144] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6144/stat : 6144 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140135322487184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6145] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6145/stat : 6145 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140135001745680 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6146] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6146/stat : 6146 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140135000693392 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6147] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6147/stat : 6147 (java) S 6140 6140 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134999640592 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6148] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6148/stat : 6148 (java) S 6140 6140 5234 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134881647216 140135403084418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6149] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6149/stat : 6149 (java) S 6140 6140 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134880593184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6150] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6150/stat : 6150 (java) S 6140 6140 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134879540848 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6154] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6154/stat : 6154 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134878489168 140135403091867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6155] ppid=6140 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/6142/task/6155/stat : 6155 (java) S 6140 6140 5234 0 -1 1077944384 6110 0 0 0 144 0 0 0 20 0 15 0 8759396 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134877436016 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6156] ppid=6140 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/6142/task/6156/stat : 6156 (java) S 6140 6140 5234 0 -1 1077944384 12630 0 0 0 185 1 0 0 20 0 15 0 8759396 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134876383216 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6157] ppid=6140 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/6142/task/6157/stat : 6157 (java) S 6140 6140 5234 0 -1 1077944384 3718 0 0 0 63 1 0 0 20 0 15 0 8759396 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134875330928 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6158] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6158/stat : 6158 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134874278368 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6162] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6162/stat : 6162 (java) S 6140 6140 5234 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 8759402 14316269568 44996 18446744073709551615 4194304 4196468 140736973953328 140134873226160 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
Current children cumulated CPU time (s) 10.15
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 1.98 1.92 1.45 3/216 6280
/proc/meminfo: memFree=31501212/32770624 swapFree=0/277148
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
[pid=6142] ppid=6140 vsize=13980732 CPUtime=16.79 cores=0,2,4,6
/proc/6142/stat : 6142 (java) S 6140 6140 5234 0 -1 1077944320 38951 0 0 0 1669 10 0 0 20 0 15 0 8759390 14316269568 48943 18446744073709551615 4194304 4196468 140736973953328 140736973935872 140135403073271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
/proc/6142/statm: 3495183 48943 3194 1 0 3483484 0
[pid=6142/tid=6143] ppid=6140 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/6142/task/6143/stat : 6143 (java) R 6140 6140 5234 0 -1 4202560 11773 0 0 0 1250 6 0 0 20 0 15 0 8759391 14316269568 48943 18446744073709551615 4194304 4196468 140736973953328 140135407310032 140135008796767 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6144] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6144/stat : 6144 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 48943 18446744073709551615 4194304 4196468 140736973953328 140135322487184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6145] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6145/stat : 6145 (java) S 6140 6140 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8759391 14316269568 48943 18446744073709551615 4194304 4196468 140736973953328 140135001745680 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0

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

[pid=6142/tid=6149] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6149/stat : 6149 (java) S 6140 6140 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134880593184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6150] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6150/stat : 6150 (java) S 6140 6140 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134879540848 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6154] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6154/stat : 6154 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134878489168 140135403091867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6155] ppid=6140 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/6142/task/6155/stat : 6155 (java) S 6140 6140 5234 0 -1 1077944384 10907 0 0 0 184 1 0 0 20 0 15 0 8759396 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134877436016 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6156] ppid=6140 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/6142/task/6156/stat : 6156 (java) S 6140 6140 5234 0 -1 1077944384 17178 0 0 0 216 2 0 0 20 0 15 0 8759396 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134876383216 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6157] ppid=6140 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/6142/task/6157/stat : 6157 (java) S 6140 6140 5234 0 -1 1077944384 6363 0 0 0 66 1 0 0 20 0 15 0 8759396 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134875330928 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6158] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6158/stat : 6158 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134874278368 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6162] ppid=6140 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6142/task/6162/stat : 6162 (java) S 6140 6140 5234 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 15 0 8759402 14316269568 59351 18446744073709551615 4194304 4196468 140736973953328 140134873226160 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
Current children cumulated CPU time (s) 107.03
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.77 1.87 1.50 3/216 6284
/proc/meminfo: memFree=31470480/32770624 swapFree=0/277216
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
[pid=6142] ppid=6140 vsize=13980732 CPUtime=167.15 cores=0,2,4,6
/proc/6142/stat : 6142 (java) S 6140 6140 5234 0 -1 1077944320 55071 0 0 0 16697 18 0 0 20 0 15 0 8759390 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140736973935872 140135403073271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
/proc/6142/statm: 3495183 62620 3221 1 0 3483484 0
[pid=6142/tid=6143] ppid=6140 vsize=13980732 CPUtime=162.11 cores=0,2,4,6
/proc/6142/task/6143/stat : 6143 (java) R 6140 6140 5234 0 -1 4202560 14174 0 0 0 16205 6 0 0 20 0 15 0 8759391 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140135407309936 140135008796706 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6144] ppid=6140 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6142/task/6144/stat : 6144 (java) S 6140 6140 5234 0 -1 1077944384 774 0 0 0 2 1 0 0 20 0 15 0 8759391 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140135322487184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6145] ppid=6140 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6142/task/6145/stat : 6145 (java) S 6140 6140 5234 0 -1 1077944384 1760 0 0 0 2 1 0 0 20 0 15 0 8759391 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140135001745680 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6146] ppid=6140 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6142/task/6146/stat : 6146 (java) S 6140 6140 5234 0 -1 1077944384 203 0 0 0 2 1 0 0 20 0 15 0 8759391 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140135000693392 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6147] ppid=6140 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6142/task/6147/stat : 6147 (java) S 6140 6140 5234 0 -1 1077944384 783 0 0 0 2 1 0 0 20 0 15 0 8759391 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134999640592 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6148] ppid=6140 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/6142/task/6148/stat : 6148 (java) S 6140 6140 5234 0 -1 1077944384 807 0 0 0 1 0 0 0 20 0 15 0 8759393 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134881647216 140135403084418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6149] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6149/stat : 6149 (java) S 6140 6140 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134880593184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6150] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6150/stat : 6150 (java) S 6140 6140 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134879540848 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6154] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6154/stat : 6154 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134878489168 140135403091867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6155] ppid=6140 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/6142/task/6155/stat : 6155 (java) S 6140 6140 5234 0 -1 1077944384 11201 0 0 0 190 1 0 0 20 0 15 0 8759396 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134877436016 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6156] ppid=6140 vsize=13980732 CPUtime=2.21 cores=0,2,4,6
/proc/6142/task/6156/stat : 6156 (java) S 6140 6140 5234 0 -1 1077944384 17252 0 0 0 219 2 0 0 20 0 15 0 8759396 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134876383216 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6157] ppid=6140 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/6142/task/6157/stat : 6157 (java) S 6140 6140 5234 0 -1 1077944384 6522 0 0 0 67 1 0 0 20 0 15 0 8759396 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134875330928 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6158] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6158/stat : 6158 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134874278368 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6162] ppid=6140 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6142/task/6162/stat : 6162 (java) S 6140 6140 5234 0 -1 1077944384 240 0 0 0 2 2 0 0 20 0 15 0 8759402 14316269568 62620 18446744073709551615 4194304 4196468 140736973953328 140134873226160 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
Current children cumulated CPU time (s) 167.15
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.88 1.88 1.53 3/215 6287
/proc/meminfo: memFree=31447268/32770624 swapFree=0/277252
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
[pid=6142] ppid=6140 vsize=13980732 CPUtime=227.83 cores=0,2,4,6
/proc/6142/stat : 6142 (java) S 6140 6140 5234 0 -1 1077944320 57544 0 0 0 22762 21 0 0 20 0 15 0 8759390 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140736973935872 140135403073271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
/proc/6142/statm: 3495183 66227 3228 1 0 3483484 0
[pid=6142/tid=6143] ppid=6140 vsize=13980732 CPUtime=222.07 cores=0,2,4,6
/proc/6142/task/6143/stat : 6143 (java) R 6140 6140 5234 0 -1 4202560 15190 0 0 0 22201 6 0 0 20 0 15 0 8759391 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140135407310552 140135395894139 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6144] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6144/stat : 6144 (java) S 6140 6140 5234 0 -1 1077944384 1092 0 0 0 5 1 0 0 20 0 15 0 8759391 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140135322487184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6145] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6145/stat : 6145 (java) S 6140 6140 5234 0 -1 1077944384 1810 0 0 0 5 1 0 0 20 0 15 0 8759391 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140135001745680 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6146] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6146/stat : 6146 (java) S 6140 6140 5234 0 -1 1077944384 250 0 0 0 5 1 0 0 20 0 15 0 8759391 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140135000693392 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6147] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6147/stat : 6147 (java) S 6140 6140 5234 0 -1 1077944384 930 0 0 0 5 1 0 0 20 0 15 0 8759391 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134999640592 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6148] ppid=6140 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6142/task/6148/stat : 6148 (java) S 6140 6140 5234 0 -1 1077944384 952 0 0 0 2 0 0 0 20 0 15 0 8759393 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134881647216 140135403084418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6149] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6149/stat : 6149 (java) S 6140 6140 5234 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134880593248 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6150] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6150/stat : 6150 (java) S 6140 6140 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134879540848 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6154] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6154/stat : 6154 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134878489168 140135403091867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6155] ppid=6140 vsize=13980732 CPUtime=2.22 cores=0,2,4,6
/proc/6142/task/6155/stat : 6155 (java) S 6140 6140 5234 0 -1 1077944384 11489 0 0 0 221 1 0 0 20 0 15 0 8759396 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134877436016 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6156] ppid=6140 vsize=13980732 CPUtime=2.41 cores=0,2,4,6
/proc/6142/task/6156/stat : 6156 (java) S 6140 6140 5234 0 -1 1077944384 17390 0 0 0 239 2 0 0 20 0 15 0 8759396 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134876383216 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6157] ppid=6140 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/6142/task/6157/stat : 6157 (java) S 6140 6140 5234 0 -1 1077944384 6819 0 0 0 70 1 0 0 20 0 15 0 8759396 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134875330928 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6158] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6158/stat : 6158 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134874278368 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6162] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6162/stat : 6162 (java) S 6140 6140 5234 0 -1 1077944384 259 0 0 0 3 3 0 0 20 0 15 0 8759402 14316269568 66227 18446744073709551615 4194304 4196468 140736973953328 140134873226160 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
Current children cumulated CPU time (s) 227.83
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.69 1.84 1.52 3/215 6287
/proc/meminfo: memFree=31442700/32770624 swapFree=0/277264
[pid=6140] ppid=6137 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6140/stat : 6140 (xcsp3-exec) S 6137 6140 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8759384 9740288 345 18446744073709551615 4194304 5098028 140724338908960 140724338907064 140573141348988 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 33034240 140724338917787 140724338917991 140724338917991 140724338921451 0
/proc/6140/statm: 2378 345 289 221 0 87 0
[pid=6142] ppid=6140 vsize=13980732 CPUtime=245.7 cores=0,2,4,6
/proc/6142/stat : 6142 (java) S 6140 6140 5234 0 -1 1077944320 57603 0 0 0 24548 22 0 0 20 0 15 0 8759390 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140736973935872 140135403073271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
/proc/6142/statm: 3495183 66755 3228 1 0 3483484 0
[pid=6142/tid=6143] ppid=6140 vsize=13980732 CPUtime=239.76 cores=0,2,4,6
/proc/6142/task/6143/stat : 6143 (java) R 6140 6140 5234 0 -1 4202560 15203 0 0 0 23970 6 0 0 20 0 15 0 8759391 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140135407310544 140135008045135 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6144] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6144/stat : 6144 (java) S 6140 6140 5234 0 -1 1077944384 1093 0 0 0 5 1 0 0 20 0 15 0 8759391 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140135322487184 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6145] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6145/stat : 6145 (java) S 6140 6140 5234 0 -1 1077944384 1812 0 0 0 5 1 0 0 20 0 15 0 8759391 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140135001745680 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6146] ppid=6140 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6142/task/6146/stat : 6146 (java) S 6140 6140 5234 0 -1 1077944384 251 0 0 0 6 1 0 0 20 0 15 0 8759391 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140135000693392 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6147] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6147/stat : 6147 (java) S 6140 6140 5234 0 -1 1077944384 932 0 0 0 5 1 0 0 20 0 15 0 8759391 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134999640592 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6148] ppid=6140 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6142/task/6148/stat : 6148 (java) S 6140 6140 5234 0 -1 1077944384 953 0 0 0 2 0 0 0 20 0 15 0 8759393 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134881647216 140135403084418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6149] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6149/stat : 6149 (java) S 6140 6140 5234 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134880593248 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6150] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6150/stat : 6150 (java) S 6140 6140 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8759393 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134879540848 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6154] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6154/stat : 6154 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134878489168 140135403091867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6155] ppid=6140 vsize=13980732 CPUtime=2.36 cores=0,2,4,6
/proc/6142/task/6155/stat : 6155 (java) S 6140 6140 5234 0 -1 1077944384 11517 0 0 0 235 1 0 0 20 0 15 0 8759396 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134877436016 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6156] ppid=6140 vsize=13980732 CPUtime=2.42 cores=0,2,4,6
/proc/6142/task/6156/stat : 6156 (java) S 6140 6140 5234 0 -1 1077944384 17398 0 0 0 240 2 0 0 20 0 15 0 8759396 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134876383216 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6157] ppid=6140 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/6142/task/6157/stat : 6157 (java) S 6140 6140 5234 0 -1 1077944384 6822 0 0 0 70 1 0 0 20 0 15 0 8759396 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134875330928 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6158] ppid=6140 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6142/task/6158/stat : 6158 (java) S 6140 6140 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8759396 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134874278368 140135403083477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
[pid=6142/tid=6162] ppid=6140 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6142/task/6162/stat : 6162 (java) S 6140 6140 5234 0 -1 1077944384 259 0 0 0 3 3 0 0 20 0 15 0 8759402 14316269568 66755 18446744073709551615 4194304 4196468 140736973953328 140134873226160 140135403084418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29892608 140736973955540 140736973955715 140736973955715 140736973959119 0
Current children cumulated CPU time (s) 245.7
Current children cumulated vsize (KiB) 13990244

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 6142 sig 9
??? kill 6140 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 6140 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1790
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=156
# CPU time returned by wait4() is 0.001946
# while last known CPU time is 245.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 245.7
CPU user time (s): 245.48
CPU system time (s): 0.22
CPU usage (%): 102.371
Max. virtual memory (cumulated for all children) (KiB): 13992264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00179
system time used= 0.000156
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08619 second user time and 1.42489 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml
MD5SUM	3de3ac871f1e1c584be6c245f66daf9e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	491
Best CPU time to get the best result obtained on this benchmark	251.978
Satisfiable
(Un)Satisfiability was proved
Number of variables	2347
Number of constraints	1352
Number of domains	4
Minimum domain size	2
Maximum domain size	2313
Distribution of domain sizes	[{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}]
Minimum variable degree	1
Maximum variable degree	35
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	36
Distribution of constraint arities	[{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}]
Number of extensional constraints	1152
Number of intensional constraints	161
Distribution of constraint types	[{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4254348

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