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)	532	245.48	240.00999

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254349-1501612410.xml"  -tl '264s' -p 1 -x 0
0.00/0.28	c [HOME/instance-4254349-1501612410.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.34	c simple solver
0.00/0.40	c parse instance...
2.73/1.33	c solve instance...
127.98/123.30	o 532 
245.48/240.00	s SATISFIABLE
245.48/240.00	v <instantiation>
245.48/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[0][34] x[0][35] x[0][36] x[0][37] x[0][38] 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[1][35] x[1][36] x[1][37] x[1][38] 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[2][35] x[2][36] x[2][37] x[2][38] 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[3][35] x[3][36] x[3][37] x[3][38] 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[4][35] x[4][36] x[4][37] x[4][38] 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[5][35] x[5][36] x[5][37] x[5][38] 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[6][35] x[6][36] x[6][37] x[6][38] 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[7][35] x[7][36] x[7][37] x[7][38] 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[8][35] x[8][36] x[8][37] x[8][38] 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[9][35] x[9][36] x[9][37] x[9][38] 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[10][35] x[10][36] x[10][37] x[10][38] 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[11][35] x[11][36] x[11][37] x[11][38] 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[12][35] x[12][36] x[12][37] x[12][38] 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[13][35] x[13][36] x[13][37] x[13][38] 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[14][35] x[14][36] x[14][37] x[14][38] 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[15][35] x[15][36] x[15][37] x[15][38] 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[16][35] x[16][36] x[16][37] x[16][38] 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[17][35] x[17][36] x[17][37] x[17][38] 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[18][35] x[18][36] x[18][37] x[18][38] 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[19][35] x[19][36] x[19][37] x[19][38] 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[20][35] x[20][36] x[20][37] x[20][38] 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[21][35] x[21][36] x[21][37] x[21][38] 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[22][35] x[22][36] x[22][37] x[22][38] 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[23][35] x[23][36] x[23][37] x[23][38] 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[24][35] x[24][36] x[24][37] x[24][38] 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[25][35] x[25][36] x[25][37] x[25][38] 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[26][35] x[26][36] x[26][37] x[26][38] 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[27][35] x[27][36] x[27][37] x[27][38] 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[28][35] x[28][36] x[28][37] x[28][38] 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[29][35] x[29][36] x[29][37] x[29][38] 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[30][35] x[30][36] x[30][37] x[30][38] 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[31][35] x[31][36] x[31][37] x[31][38] 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[32][35] x[32][36] x[32][37] x[32][38] 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[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] 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[0][34] w[0][35] w[0][36] w[0][37] w[0][38] 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[1][34] w[1][35] w[1][36] w[1][37] w[1][38] 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[2][34] w[2][35] w[2][36] w[2][37] w[2][38] 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[3][34] w[3][35] w[3][36] w[3][37] w[3][38] 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[4][34] w[4][35] w[4][36] w[4][37] w[4][38] 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[5][34] w[5][35] w[5][36] w[5][37] w[5][38] 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[6][34] w[6][35] w[6][36] w[6][37] w[6][38] 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[7][34] w[7][35] w[7][36] w[7][37] w[7][38] 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[8][34] w[8][35] w[8][36] w[8][37] w[8][38] 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[9][34] w[9][35] w[9][36] w[9][37] w[9][38] 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[10][34] w[10][35] w[10][36] w[10][37] w[10][38] 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[11][34] w[11][35] w[11][36] w[11][37] w[11][38] 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[12][34] w[12][35] w[12][36] w[12][37] w[12][38] 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[13][34] w[13][35] w[13][36] w[13][37] w[13][38] 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[14][34] w[14][35] w[14][36] w[14][37] w[14][38] 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[15][34] w[15][35] w[15][36] w[15][37] w[15][38] 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[16][34] w[16][35] w[16][36] w[16][37] w[16][38] 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[17][34] w[17][35] w[17][36] w[17][37] w[17][38] 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[18][34] w[18][35] w[18][36] w[18][37] w[18][38] 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[19][34] w[19][35] w[19][36] w[19][37] w[19][38] 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[20][34] w[20][35] w[20][36] w[20][37] w[20][38] 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[21][34] w[21][35] w[21][36] w[21][37] w[21][38] 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[22][34] w[22][35] w[22][36] w[22][37] w[22][38] 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[23][34] w[23][35] w[23][36] w[23][37] w[23][38] 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[24][34] w[24][35] w[24][36] w[24][37] w[24][38] 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[25][34] w[25][35] w[25][36] w[25][37] w[25][38] 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[26][34] w[26][35] w[26][36] w[26][37] w[26][38] 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[27][34] w[27][35] w[27][36] w[27][37] w[27][38] 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[28][34] w[28][35] w[28][36] w[28][37] w[28][38] 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[29][34] w[29][35] w[29][36] w[29][37] w[29][38] 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[30][34] w[30][35] w[30][36] w[30][37] w[30][38] 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[31][34] w[31][35] w[31][36] w[31][37] w[31][38] 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[32][34] w[32][35] w[32][36] w[32][37] w[32][38] 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] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] 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] ws[34] ws[35] ws[36] ws[37] ws[38] z </list>
245.48/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 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 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 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 2 1 0 0 0 2 2 2 1 0 0 0 0 1 1 2 2 1 1 0 0 1 0 0 0 0 0 1 1 0 1 2 1 0 1 1 2 1 1 2 1 1 0 2 0 2 1 1 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 2 2 1 1 1 2 1 2 0 2 0 1 0 0 1 0 0 1 1 0 1 2 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 2 2 1 0 1 0 1 2 2 0 0 0 0 1 0 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 1 2 1 0 0 0 1 0 2 2 1 1 2 0 1 0 1 1 0 0 0 2 0 2 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 2 0 2 2 2 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 2 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 2 0 0 2 2 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 2 2 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 0 0 0 1 0 1 0 0 2 2 1 1 2 0 2 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 2 2 1 1 2 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 2 1 0 0 0 0 0 1 0 1 0 2 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 2 2 0 1 0 0 0 0 0 1 2 2 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 2 0 2 2 1 1 0 0 0 1 1 2 1 1 0 0 0 0 0 1 0 1 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 2 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 2 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 2 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 2 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 2 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 2 2 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 2 2 1 2 0 1 0 1 0 0 0 1 0 1 0 2 0 2 0 0 0 1 0 0 0 0 2 1 0 1 0 0 1 0 0 0 0 0 2 2 2 2 1 1 2 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 2 1 1 2 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 2 1 2 1 0 1 0 0 0 0 1 0 0 2 0 1 1 0 2 1 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 1 2 2 1 1 0 1 1 0 2 0 1 1 1 1 0 0 1 1 2 1 0 0 1 0 0 0 1 2 2 2 1 1 0 0 0 0 0 1 1 2 2 1 0 1 0 1 2 0 1 0 2 0 0 0 0 0 2 2 2 0 0 1 2 1 2 2 2 2 2 0 0 1 1 0 1 0 1 2 2 2 1 0 0 1 1 2 2 1 2 1 1 0 0 0 1 1 2 1 1 0 1 2 2 2 2 2 2 1 1 0 1 2 1 0 1 1 2 2 2 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 22 53 80 107 126 149 164 175 193 212 225 249 270 286 295 309 319 330 342 359 381 399 417 431 444 459 472 489 505 519 538 558 580 599 619 650 688 733 758 532 </values>
245.48/240.00	v </instantiation>
245.48/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-4254349-1501612410/watcher-4254349-1501612410 -o /tmp/evaluation-result-4254349-1501612410/solver-4254349-1501612410 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3273 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1382100653 HOME/instance-4254349-1501612410.xml 

pid=4182
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.88 1.86 1.42 3/199 4185
/proc/meminfo: memFree=31929860/32770624 swapFree=0/159436
[pid=4185] ppid=4182 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (runsolver) D 4182 4185 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3151602 24240128 108 18446744073709551615 4194304 4338465 140724905677008 140724905674648 140106687529687 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23330816 140724905680990 140724905681479 140724905681479 140724905684938 0
/proc/4185/statm: 5918 108 54 36 0 2156 0

[startup+0.100151 s]
/proc/loadavg: 1.88 1.86 1.42 3/199 4185
/proc/meminfo: memFree=31929860/32770624 swapFree=0/159436
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200191 s]
/proc/loadavg: 1.88 1.86 1.42 3/199 4185
/proc/meminfo: memFree=31929860/32770624 swapFree=0/159436
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.302229 s]
/proc/loadavg: 1.88 1.86 1.42 3/199 4185
/proc/meminfo: memFree=31929860/32770624 swapFree=0/159436
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700176 s]
/proc/loadavg: 1.88 1.86 1.42 3/199 4185
/proc/meminfo: memFree=31929860/32770624 swapFree=0/159436
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50162 s]
/proc/loadavg: 1.89 1.87 1.42 3/215 4201
/proc/meminfo: memFree=31832040/32770624 swapFree=0/159432
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
[pid=4187] ppid=4185 vsize=13980732 CPUtime=3.12 cores=0,2,4,6
/proc/4187/stat : 4187 (java) S 4185 4185 3187 0 -1 1077944320 19793 0 0 0 306 6 0 0 20 0 15 0 3151612 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140729266319680 140196056293111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
/proc/4187/statm: 3495183 31965 3182 1 0 3483484 0
[pid=4187/tid=4188] ppid=4185 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/4187/task/4188/stat : 4188 (java) R 4185 4185 3187 0 -1 4202560 11050 0 0 0 130 4 0 0 20 0 15 0 3151612 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140196060529968 140195673854568 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4189] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4189/stat : 4189 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195990727440 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4190] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4190/stat : 4190 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195989674896 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4191] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4191/stat : 4191 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195988622352 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4192] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4192/stat : 4192 (java) S 4185 4185 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195653139600 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4193] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4193/stat : 4193 (java) S 4185 4185 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195534764016 140196056304258 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4194] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4194/stat : 4194 (java) S 4185 4185 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195533710240 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4195] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4195/stat : 4195 (java) S 4185 4185 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3151615 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195532657648 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4196] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4196/stat : 4196 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195531606224 140196056311707 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4197] ppid=4185 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/4187/task/4197/stat : 4197 (java) R 4185 4185 3187 0 -1 4202560 2209 0 0 0 64 0 0 0 20 0 15 0 3151617 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195530553840 140196039761012 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4198] ppid=4185 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/4187/task/4198/stat : 4198 (java) R 4185 4185 3187 0 -1 4202560 2059 0 0 0 60 0 0 0 20 0 15 0 3151617 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195529501296 140196056306993 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4199] ppid=4185 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/4187/task/4199/stat : 4199 (java) S 4185 4185 3187 0 -1 1077944384 3113 0 0 0 50 0 0 0 20 0 15 0 3151617 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195528448752 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4200] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4200/stat : 4200 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195527396448 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4201] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4201/stat : 4201 (java) S 4185 4185 3187 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 3151621 14316269568 31965 18446744073709551615 4194304 4196468 140729266337136 140195526342960 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 13990244

[startup+3.10066 s]
/proc/loadavg: 1.89 1.87 1.42 3/215 4201
/proc/meminfo: memFree=31801860/32770624 swapFree=0/159432
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
[pid=4187] ppid=4185 vsize=13980732 CPUtime=5.79 cores=0,2,4,6
/proc/4187/stat : 4187 (java) S 4185 4185 3187 0 -1 1077944320 21663 0 0 0 571 8 0 0 20 0 15 0 3151612 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140729266319680 140196056293111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
/proc/4187/statm: 3495183 37375 3184 1 0 3483484 0
[pid=4187/tid=4188] ppid=4185 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/4187/task/4188/stat : 4188 (java) R 4185 4185 3187 0 -1 4202560 11241 0 0 0 289 4 0 0 20 0 15 0 3151612 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140196060529552 140195674741888 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4189] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4189/stat : 4189 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195990727440 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4190] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4190/stat : 4190 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195989674896 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4191] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4191/stat : 4191 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195988622352 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4192] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4192/stat : 4192 (java) S 4185 4185 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195653139600 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4193] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4193/stat : 4193 (java) S 4185 4185 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195534764016 140196056304258 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4194] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4194/stat : 4194 (java) S 4185 4185 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195533710240 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4195] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4195/stat : 4195 (java) S 4185 4185 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3151615 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195532657648 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4196] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4196/stat : 4196 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195531606224 140196056311707 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4197] ppid=4185 vsize=13980732 CPUtime=1.13 cores=0,2,4,6
/proc/4187/task/4197/stat : 4197 (java) S 4185 4185 3187 0 -1 1077944384 2987 0 0 0 113 0 0 0 20 0 15 0 3151617 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195530553840 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4198] ppid=4185 vsize=13980732 CPUtime=1.06 cores=0,2,4,6
/proc/4187/task/4198/stat : 4198 (java) S 4185 4185 3187 0 -1 1077944384 2753 0 0 0 106 0 0 0 20 0 15 0 3151617 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195529501296 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4199] ppid=4185 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/4187/task/4199/stat : 4199 (java) S 4185 4185 3187 0 -1 1077944384 3320 0 0 0 60 1 0 0 20 0 15 0 3151617 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195528448752 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4200] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4200/stat : 4200 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195527396448 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4201] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4201/stat : 4201 (java) S 4185 4185 3187 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 3151621 14316269568 37375 18446744073709551615 4194304 4196468 140729266337136 140195526342960 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 13990244

[startup+6.30058 s]
/proc/loadavg: 1.90 1.87 1.43 6/215 4282
/proc/meminfo: memFree=31905656/32770624 swapFree=0/159372
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
[pid=4187] ppid=4185 vsize=13980732 CPUtime=9.65 cores=0,2,4,6
/proc/4187/stat : 4187 (java) S 4185 4185 3187 0 -1 1077944320 30889 0 0 0 956 9 0 0 20 0 15 0 3151612 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140729266319680 140196056293111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
/proc/4187/statm: 3495183 46147 3191 1 0 3483484 0
[pid=4187/tid=4188] ppid=4185 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/4187/task/4188/stat : 4188 (java) R 4185 4185 3187 0 -1 4202560 11787 0 0 0 609 5 0 0 20 0 15 0 3151612 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140196060528944 140195674741766 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4189] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4189/stat : 4189 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195990727440 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4190] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4190/stat : 4190 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195989674896 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4191] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4191/stat : 4191 (java) S 4185 4185 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195988622352 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4192] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4192/stat : 4192 (java) S 4185 4185 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3151613 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195653139600 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4193] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4193/stat : 4193 (java) S 4185 4185 3187 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195534764016 140196056304258 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4194] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4194/stat : 4194 (java) S 4185 4185 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195533710240 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4195] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4195/stat : 4195 (java) S 4185 4185 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3151615 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195532657648 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4196] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4196/stat : 4196 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195531606224 140196056311707 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4197] ppid=4185 vsize=13980732 CPUtime=1.23 cores=0,2,4,6
/proc/4187/task/4197/stat : 4197 (java) S 4185 4185 3187 0 -1 1077944384 3678 0 0 0 123 0 0 0 20 0 15 0 3151617 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195530553840 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4198] ppid=4185 vsize=13980732 CPUtime=1.62 cores=0,2,4,6
/proc/4187/task/4198/stat : 4198 (java) S 4185 4185 3187 0 -1 1077944384 10259 0 0 0 161 1 0 0 20 0 15 0 3151617 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195529501296 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4199] ppid=4185 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/4187/task/4199/stat : 4199 (java) S 4185 4185 3187 0 -1 1077944384 3347 0 0 0 62 1 0 0 20 0 15 0 3151617 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195528448752 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4200] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4200/stat : 4200 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195527396448 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4201] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4201/stat : 4201 (java) S 4185 4185 3187 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 15 0 3151621 14316269568 46147 18446744073709551615 4194304 4196468 140729266337136 140195526342960 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 13990244

[startup+12.7008 s]
/proc/loadavg: 1.83 1.85 1.42 3/215 4282
/proc/meminfo: memFree=31700204/32770624 swapFree=0/159380
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
[pid=4187] ppid=4185 vsize=13980732 CPUtime=16.41 cores=0,2,4,6
/proc/4187/stat : 4187 (java) S 4185 4185 3187 0 -1 1077944320 36876 0 0 0 1628 13 0 0 20 0 15 0 3151612 14316269568 57036 18446744073709551615 4194304 4196468 140729266337136 140729266319680 140196056293111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
/proc/4187/statm: 3495183 57036 3213 1 0 3483484 0
[pid=4187/tid=4188] ppid=4185 vsize=13980732 CPUtime=12.52 cores=0,2,4,6
/proc/4187/task/4188/stat : 4188 (java) R 4185 4185 3187 0 -1 4202560 12060 0 0 0 1246 6 0 0 20 0 15 0 3151612 14316269568 57036 18446744073709551615 4194304 4196468 140729266337136 140196060531800 140195674741977 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4189] ppid=4185 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/4187/task/4189/stat : 4189 (java) S 4185 4185 3187 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 15 0 3151613 14316269568 57036 18446744073709551615 4194304 4196468 140729266337136 140195990727440 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4190] ppid=4185 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/4187/task/4190/stat : 4190 (java) S 4185 4185 3187 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 3151613 14316269568 57036 18446744073709551615 4194304 4196468 140729266337136 140195989674896 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0

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

[pid=4187/tid=4194] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4194/stat : 4194 (java) S 4185 4185 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195533710240 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4195] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4195/stat : 4195 (java) S 4185 4185 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3151615 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195532657648 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4196] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4196/stat : 4196 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195531606224 140196056311707 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4197] ppid=4185 vsize=13980732 CPUtime=1.69 cores=0,2,4,6
/proc/4187/task/4197/stat : 4197 (java) S 4185 4185 3187 0 -1 1077944384 7535 0 0 0 168 1 0 0 20 0 15 0 3151617 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195530553840 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4198] ppid=4185 vsize=13980732 CPUtime=2.24 cores=0,2,4,6
/proc/4187/task/4198/stat : 4198 (java) S 4185 4185 3187 0 -1 1077944384 16874 0 0 0 222 2 0 0 20 0 15 0 3151617 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195529501296 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4199] ppid=4185 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/4187/task/4199/stat : 4199 (java) S 4185 4185 3187 0 -1 1077944384 5758 0 0 0 67 1 0 0 20 0 15 0 3151617 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195528448752 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4200] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4200/stat : 4200 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195527396448 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4201] ppid=4185 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/4187/task/4201/stat : 4201 (java) S 4185 4185 3187 0 -1 1077944384 1006 0 0 0 1 1 0 0 20 0 15 0 3151621 14316269568 62687 18446744073709551615 4194304 4196468 140729266337136 140195526342960 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
Current children cumulated CPU time (s) 106.92
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.91 1.87 1.50 3/215 4372
/proc/meminfo: memFree=31632852/32770624 swapFree=0/159528
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
[pid=4187] ppid=4185 vsize=13980732 CPUtime=167.44 cores=0,2,4,6
/proc/4187/stat : 4187 (java) S 4185 4185 3187 0 -1 1077944320 54463 0 0 0 16724 20 0 0 20 0 15 0 3151612 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140729266319680 140196056293111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
/proc/4187/statm: 3495183 63915 3224 1 0 3483484 0
[pid=4187/tid=4188] ppid=4185 vsize=13980732 CPUtime=162.08 cores=0,2,4,6
/proc/4187/task/4188/stat : 4188 (java) R 4185 4185 3187 0 -1 4202560 15250 0 0 0 16202 6 0 0 20 0 15 0 3151612 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140196060531992 140195674741804 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4189] ppid=4185 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/4187/task/4189/stat : 4189 (java) S 4185 4185 3187 0 -1 1077944384 1206 0 0 0 4 1 0 0 20 0 15 0 3151613 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195990727440 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4190] ppid=4185 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/4187/task/4190/stat : 4190 (java) S 4185 4185 3187 0 -1 1077944384 211 0 0 0 4 1 0 0 20 0 15 0 3151613 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195989674896 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4191] ppid=4185 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/4187/task/4191/stat : 4191 (java) S 4185 4185 3187 0 -1 1077944384 757 0 0 0 4 1 0 0 20 0 15 0 3151613 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195988622352 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4192] ppid=4185 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/4187/task/4192/stat : 4192 (java) S 4185 4185 3187 0 -1 1077944384 521 0 0 0 3 1 0 0 20 0 15 0 3151613 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195653139600 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4193] ppid=4185 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/4187/task/4193/stat : 4193 (java) S 4185 4185 3187 0 -1 1077944384 781 0 0 0 1 0 0 0 20 0 15 0 3151614 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195534764016 140196056304258 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4194] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4194/stat : 4194 (java) S 4185 4185 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195533710304 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4195] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4195/stat : 4195 (java) S 4185 4185 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3151615 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195532657648 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4196] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4196/stat : 4196 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195531606224 140196056311707 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4197] ppid=4185 vsize=13980732 CPUtime=1.94 cores=0,2,4,6
/proc/4187/task/4197/stat : 4197 (java) S 4185 4185 3187 0 -1 1077944384 8812 0 0 0 193 1 0 0 20 0 15 0 3151617 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195530553840 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4198] ppid=4185 vsize=13980732 CPUtime=2.38 cores=0,2,4,6
/proc/4187/task/4198/stat : 4198 (java) S 4185 4185 3187 0 -1 1077944384 17133 0 0 0 236 2 0 0 20 0 15 0 3151617 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195529501296 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4199] ppid=4185 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/4187/task/4199/stat : 4199 (java) S 4185 4185 3187 0 -1 1077944384 7392 0 0 0 70 1 0 0 20 0 15 0 3151617 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195528448752 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4200] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4200/stat : 4200 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195527396448 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4201] ppid=4185 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/4187/task/4201/stat : 4201 (java) S 4185 4185 3187 0 -1 1077944384 1028 0 0 0 1 3 0 0 20 0 15 0 3151621 14316269568 63915 18446744073709551615 4194304 4196468 140729266337136 140195526342960 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
Current children cumulated CPU time (s) 167.44
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.89 1.88 1.52 3/214 4374
/proc/meminfo: memFree=31639096/32770624 swapFree=0/159560
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
[pid=4187] ppid=4185 vsize=13980732 CPUtime=227.71 cores=0,2,4,6
/proc/4187/stat : 4187 (java) S 4185 4185 3187 0 -1 1077944320 57784 0 0 0 22749 22 0 0 20 0 15 0 3151612 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140729266319680 140196056293111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
/proc/4187/statm: 3495183 68198 3224 1 0 3483484 0
[pid=4187/tid=4188] ppid=4185 vsize=13980732 CPUtime=222.04 cores=0,2,4,6
/proc/4187/task/4188/stat : 4188 (java) R 4185 4185 3187 0 -1 4202560 15937 0 0 0 22198 6 0 0 20 0 15 0 3151612 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140196060532040 140195674140482 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4189] ppid=4185 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4187/task/4189/stat : 4189 (java) S 4185 4185 3187 0 -1 1077944384 1437 0 0 0 7 1 0 0 20 0 15 0 3151613 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195990727440 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4190] ppid=4185 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4187/task/4190/stat : 4190 (java) S 4185 4185 3187 0 -1 1077944384 366 0 0 0 7 1 0 0 20 0 15 0 3151613 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195989674896 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4191] ppid=4185 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4187/task/4191/stat : 4191 (java) S 4185 4185 3187 0 -1 1077944384 1009 0 0 0 7 1 0 0 20 0 15 0 3151613 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195988622352 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4192] ppid=4185 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/4187/task/4192/stat : 4192 (java) S 4185 4185 3187 0 -1 1077944384 1292 0 0 0 6 1 0 0 20 0 15 0 3151613 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195653139600 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4193] ppid=4185 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/4187/task/4193/stat : 4193 (java) S 4185 4185 3187 0 -1 1077944384 977 0 0 0 2 0 0 0 20 0 15 0 3151614 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195534764016 140196056304258 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4194] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4194/stat : 4194 (java) S 4185 4185 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195533710304 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4195] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4195/stat : 4195 (java) S 4185 4185 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3151615 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195532657648 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4196] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4196/stat : 4196 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195531606224 140196056311707 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4197] ppid=4185 vsize=13980732 CPUtime=1.98 cores=0,2,4,6
/proc/4187/task/4197/stat : 4197 (java) S 4185 4185 3187 0 -1 1077944384 9062 0 0 0 197 1 0 0 20 0 15 0 3151617 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195530553840 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4198] ppid=4185 vsize=13980732 CPUtime=2.46 cores=0,2,4,6
/proc/4187/task/4198/stat : 4198 (java) S 4185 4185 3187 0 -1 1077944384 17282 0 0 0 244 2 0 0 20 0 15 0 3151617 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195529501296 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4199] ppid=4185 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/4187/task/4199/stat : 4199 (java) S 4185 4185 3187 0 -1 1077944384 7998 0 0 0 71 1 0 0 20 0 15 0 3151617 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195528448752 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4200] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4200/stat : 4200 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195527396448 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4201] ppid=4185 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/4187/task/4201/stat : 4201 (java) S 4185 4185 3187 0 -1 1077944384 1052 0 0 0 3 4 0 0 20 0 15 0 3151621 14316269568 68198 18446744073709551615 4194304 4196468 140729266337136 140195526342960 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
Current children cumulated CPU time (s) 227.71
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.92 1.89 1.53 3/214 4374
/proc/meminfo: memFree=31638660/32770624 swapFree=0/159564
[pid=4185] ppid=4182 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4185/stat : 4185 (xcsp3-exec) S 4182 4185 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3151602 9740288 345 18446744073709551615 4194304 5098028 140730054826096 140730054824200 139629623194236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 31580160 140730054832540 140730054832744 140730054832744 140730054836203 0
/proc/4185/statm: 2378 345 289 221 0 87 0
[pid=4187] ppid=4185 vsize=13980732 CPUtime=245.48 cores=0,2,4,6
/proc/4187/stat : 4187 (java) S 4185 4185 3187 0 -1 1077944320 58162 0 0 0 24525 23 0 0 20 0 15 0 3151612 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140729266319680 140196056293111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
/proc/4187/statm: 3495183 69223 3224 1 0 3483484 0
[pid=4187/tid=4188] ppid=4185 vsize=13980732 CPUtime=239.73 cores=0,2,4,6
/proc/4187/task/4188/stat : 4188 (java) R 4185 4185 3187 0 -1 4202560 15956 0 0 0 23967 6 0 0 20 0 15 0 3151612 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140196060532496 140195674140282 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4189] ppid=4185 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4187/task/4189/stat : 4189 (java) S 4185 4185 3187 0 -1 1077944384 1439 0 0 0 7 1 0 0 20 0 15 0 3151613 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195990727440 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4190] ppid=4185 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4187/task/4190/stat : 4190 (java) S 4185 4185 3187 0 -1 1077944384 371 0 0 0 7 1 0 0 20 0 15 0 3151613 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195989674896 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4191] ppid=4185 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4187/task/4191/stat : 4191 (java) S 4185 4185 3187 0 -1 1077944384 1012 0 0 0 7 1 0 0 20 0 15 0 3151613 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195988622352 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4192] ppid=4185 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/4187/task/4192/stat : 4192 (java) S 4185 4185 3187 0 -1 1077944384 1294 0 0 0 7 2 0 0 20 0 15 0 3151613 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195653139600 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4193] ppid=4185 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/4187/task/4193/stat : 4193 (java) S 4185 4185 3187 0 -1 1077944384 980 0 0 0 2 0 0 0 20 0 15 0 3151614 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195534764016 140196056304258 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4194] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4194/stat : 4194 (java) S 4185 4185 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 3151614 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195533710304 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4195] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4195/stat : 4195 (java) S 4185 4185 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3151615 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195532657648 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4196] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4196/stat : 4196 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195531606224 140196056311707 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4197] ppid=4185 vsize=13980732 CPUtime=1.99 cores=0,2,4,6
/proc/4187/task/4197/stat : 4197 (java) S 4185 4185 3187 0 -1 1077944384 9108 0 0 0 198 1 0 0 20 0 15 0 3151617 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195530553840 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4198] ppid=4185 vsize=13980732 CPUtime=2.51 cores=0,2,4,6
/proc/4187/task/4198/stat : 4198 (java) S 4185 4185 3187 0 -1 1077944384 17484 0 0 0 249 2 0 0 20 0 15 0 3151617 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195529501296 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4199] ppid=4185 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/4187/task/4199/stat : 4199 (java) S 4185 4185 3187 0 -1 1077944384 8094 0 0 0 71 1 0 0 20 0 15 0 3151617 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195528448752 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4200] ppid=4185 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4187/task/4200/stat : 4200 (java) S 4185 4185 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3151617 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195527396448 140196056303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
[pid=4187/tid=4201] ppid=4185 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/4187/task/4201/stat : 4201 (java) S 4185 4185 3187 0 -1 1077944384 1052 0 0 0 3 4 0 0 20 0 15 0 3151621 14316269568 69223 18446744073709551615 4194304 4196468 140729266337136 140195526342960 140196056304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7036928 140729266340309 140729266340484 140729266340484 140729266343887 0
Current children cumulated CPU time (s) 245.48
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 4187 sig 9
??? kill 4185 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 4185 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=922
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=922
# CPU time returned by wait4() is 0.001844
# while last known CPU time is 245.48
#
# 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.48
CPU user time (s): 245.25
CPU system time (s): 0.23
CPU usage (%): 102.279
Max. virtual memory (cumulated for all children) (KiB): 13992268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000922
system time used= 0.000922
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.13594 second user time and 1.38658 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml
MD5SUM	45cb885f577274590a53a0b26d80d877
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	636
Best CPU time to get the best result obtained on this benchmark	1884.33
Satisfiable
(Un)Satisfiability was proved
Number of variables	3082
Number of constraints	1747
Number of domains	4
Minimum domain size	2
Maximum domain size	3043
Distribution of domain sizes	[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree	1
Maximum variable degree	40
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	41
Distribution of constraint arities	[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints	1517
Number of intensional constraints	186
Distribution of constraint types	[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4254349

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data