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 5a (2017-08-18)	SAT (TO)	531	255.134	240.037

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284546-1503210559.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284546-1503210559.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
2.72/1.21	c solve instance...
24.85/18.73	o 510 
27.16/19.58	o 512 
61.77/51.14	o 515 
62.21/51.50	o 516 
68.64/57.87	o 528 
71.95/61.05	o 530 
73.35/62.40	o 531 
255.10/240.01	s SATISFIABLE
255.10/240.01	v <instantiation>
255.10/240.01	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>
255.10/240.01	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 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 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 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 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 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 2 2 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 2 2 2 0 1 1 0 2 0 0 0 0 0 0 0 1 0 1 1 2 1 0 0 1 0 2 0 0 0 0 0 0 0 0 1 0 0 0 2 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 1 0 1 2 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 2 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 2 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 2 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 2 1 2 1 1 1 2 1 1 0 1 1 0 0 0 0 0 1 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 0 1 2 2 2 1 1 2 2 2 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 2 2 2 0 1 1 0 2 2 1 1 1 1 1 1 2 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 1 1 2 1 0 0 1 1 0 0 2 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 2 2 1 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 1 2 1 1 1 1 0 0 1 2 2 1 0 1 0 0 0 0 0 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 2 2 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 2 2 1 1 0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 1 0 1 0 0 0 0 0 1 0 2 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 1 1 0 0 0 0 0 0 0 2 1 1 2 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 2 2 2 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 2 0 1 0 1 2 1 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 2 1 0 1 1 2 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 1 2 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 2 2 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 2 1 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 1 2 0 2 0 2 1 0 1 0 1 0 1 0 0 0 0 0 0 2 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 2 2 0 2 0 2 2 1 1 1 2 1 0 0 0 0 1 0 0 2 2 2 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 2 0 2 1 2 1 1 2 2 0 1 0 0 0 0 0 0 0 2 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 2 0 2 0 1 0 1 1 2 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 2 1 0 1 1 0 0 2 2 1 1 0 0 1 0 2 0 0 2 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 2 2 1 1 0 1 1 1 0 1 1 0 0 0 0 0 2 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 0 1 1 2 2 1 0 1 1 2 0 0 1 1 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 2 2 2 1 1 2 1 0 0 2 2 1 0 1 0 0 1 0 1 1 2 2 1 1 0 1 1 0 0 1 1 2 2 1 1 0 0 0 1 1 2 2 2 2 2 1 0 1 1 2 1 1 0 1 1 0 0 0 2 2 2 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 20 46 65 84 99 114 129 147 172 199 221 237 251 270 291 303 313 328 348 366 388 408 423 440 459 478 490 493 504 521 542 569 592 617 640 668 700 739 762 531 </values>
255.10/240.01	v </instantiation>
255.10/240.01	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11650 MiB free)
  memory of node 1: 16384 MiB (11617 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284546-1503210559/watcher-4284546-1503210559 -o /tmp/evaluation-result-4284546-1503210559/solver-4284546-1503210559 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 8789876 HOME/instance-4284546-1503210559.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=13376, runsolver pid=13373

[startup+0.100465 s]*
/proc/loadavg: 1.83 1.76 1.62 3/218 13392
/proc/meminfo: memFree=23809408/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0
[pid=13378] ppid=13376 vsize=13978596 memory=28600 CPUtime=0.12 cores=0,2,4,6
/proc/13378/stat : 13378 (java) S 13376 13376 12810 0 -1 1077944320 5456 0 0 0 11 1 0 0 20 0 15 0 154136605 14314082304 7150 33554432000 4194304 4196468 140724801964880 140724801947424 140510332542711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
/proc/13378/statm: 3494649 7150 2898 1 0 3482966 0
[pid=13378/tid=13379] ppid=13376 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/13378/task/13379/stat : 13379 (java) R 13376 13376 12810 0 -1 4202560 3460 0 0 0 8 1 0 0 20 0 15 0 154136605 14314082304 7150 33554432000 4194304 4196468 140724801964880 140510336775984 140509939073376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13380] ppid=13376 vsize=13978596 memory=3472468313201931472 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13380/stat : 13380 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14314082304 7150 33554432000 4194304 4196468 140724801964880 140510262631312 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13381] ppid=13376 vsize=13978596 memory=140184306779776 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13381/stat : 13381 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14314082304 7150 33554432000 4194304 4196468 140724801964880 140510261578512 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13382] ppid=13376 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13382/stat : 13382 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136606 14314082304 7150 33554432000 4194304 4196468 140724801964880 140510260526224 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13383] ppid=13376 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13383/stat : 13383 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14314082304 7150 33554432000 4194304 4196468 140724801964880 140510259473424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13384] ppid=13376 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13384/stat : 13384 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136607 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509446113392 140510332553858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13385] ppid=13376 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13385/stat : 13385 (java) S 13376 13376 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154136608 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509445059360 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13386] ppid=13376 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154136608 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) S 13376 13376 12810 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 154136610 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509441903216 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509440850416 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13978596 memory=140184306779776 CPUtime=0.01 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) R 13376 13376 12810 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 15 0 154136610 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509439798128 140510311513685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13978596 memory=140184306779776 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136611 14314082304 7150 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29984 KiB

[startup+0.210911 s]*
/proc/loadavg: 1.83 1.76 1.62 3/218 13392
/proc/meminfo: memFree=23797904/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0
[pid=13378] ppid=13376 vsize=13982884 memory=40688 CPUtime=0.33 cores=0,2,4,6
/proc/13378/stat : 13378 (java) S 13376 13376 12810 0 -1 1077944320 8226 0 0 0 31 2 0 0 20 0 15 0 154136605 14318473216 10172 33554432000 4194304 4196468 140724801964880 140724801947424 140510332542711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
/proc/13378/statm: 3495713 10172 3086 1 0 3482966 0
[pid=13378/tid=13379] ppid=13376 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=0,2,4,6
/proc/13378/task/13379/stat : 13379 (java) D 13376 13376 12810 0 -1 1077944384 5362 0 0 0 18 1 0 0 20 0 15 0 154136605 14318440448 10172 33554432000 4194304 4196468 140724801964880 140510336753616 140510325221933 0 4 0 16800975 18446744072101629476 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13380] ppid=13376 vsize=13982852 memory=3472468313201931472 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13380/stat : 13380 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14318440448 10172 33554432000 4194304 4196468 140724801964880 140510262631312 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13381] ppid=13376 vsize=13982884 memory=140184306779776 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13381/stat : 13381 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14318473216 10172 33554432000 4194304 4196468 140724801964880 140510261578512 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13382] ppid=13376 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13382/stat : 13382 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136606 14318473216 10172 33554432000 4194304 4196468 140724801964880 140510260526224 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13383] ppid=13376 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13383/stat : 13383 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14318440448 10172 33554432000 4194304 4196468 140724801964880 140510259473424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13384] ppid=13376 vsize=13982852 memory=140184306779776 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13384/stat : 13384 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136607 14318440448 10172 33554432000 4194304 4196468 140724801964880 140509446113392 140510332553858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13385] ppid=13376 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13385/stat : 13385 (java) S 13376 13376 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154136608 14318440448 10172 33554432000 4194304 4196468 140724801964880 140509445059360 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13386] ppid=13376 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154136608 14318440448 10172 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14318440448 10172 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) S 13376 13376 12810 0 -1 1077944384 730 0 0 0 3 0 0 0 20 0 15 0 154136610 14318440448 10172 33554432000 4194304 4196468 140724801964880 140509441903216 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) S 13376 13376 12810 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 154136610 14318440448 10172 33554432000 4194304 4196468 140724801964880 140509440850416 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13982884 memory=140184306779776 CPUtime=0.08 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) S 13376 13376 12810 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 154136610 14318473216 10172 33554432000 4194304 4196468 140724801964880 140509439798128 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14318473216 10172 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13982852 memory=140184306779776 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136611 14318440448 10172 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 42072 KiB

[startup+0.313247 s]*
/proc/loadavg: 1.83 1.76 1.62 4/218 13392
/proc/meminfo: memFree=23790584/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0
[pid=13378] ppid=13376 vsize=13982852 memory=47552 CPUtime=0.53 cores=0,2,4,6
/proc/13378/stat : 13378 (java) S 13376 13376 12810 0 -1 1077944320 9048 0 0 0 50 3 0 0 20 0 15 0 154136605 14318440448 11888 33554432000 4194304 4196468 140724801964880 140724801947424 140510332542711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
/proc/13378/statm: 3495713 11888 3110 1 0 3482966 0
[pid=13378/tid=13379] ppid=13376 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=0,2,4,6
/proc/13378/task/13379/stat : 13379 (java) R 13376 13376 12810 0 -1 4202560 5936 0 0 0 28 2 0 0 20 0 15 0 154136605 14318440448 11888 33554432000 4194304 4196468 140724801964880 140510336781344 140509939125287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13380] ppid=13376 vsize=13982852 memory=3472468313201931472 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13380/stat : 13380 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14318440448 11888 33554432000 4194304 4196468 140724801964880 140510262631312 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13381] ppid=13376 vsize=13982852 memory=140184306779776 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13381/stat : 13381 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14318440448 11888 33554432000 4194304 4196468 140724801964880 140510261578512 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13382] ppid=13376 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13382/stat : 13382 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136606 14318440448 11888 33554432000 4194304 4196468 140724801964880 140510260526224 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13383] ppid=13376 vsize=13982852 memory=140184175912991 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13383/stat : 13383 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14318440448 11888 33554432000 4194304 4196468 140724801964880 140510259473424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13384] ppid=13376 vsize=13982852 memory=280368351805216 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13384/stat : 13384 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136607 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509446113392 140510332553858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13385] ppid=13376 vsize=13982852 memory=140184175889935 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13385/stat : 13385 (java) S 13376 13376 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154136608 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509445059360 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13386] ppid=13376 vsize=13982852 memory=280368482678880 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154136608 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13982852 memory=140184175894543 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13982852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) R 13376 13376 12810 0 -1 4202560 830 0 0 0 5 0 0 0 20 0 15 0 154136610 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509441903216 140510314060640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) R 13376 13376 12810 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 15 0 154136610 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509440850416 140510332553858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) R 13376 13376 12810 0 -1 4202560 883 0 0 0 13 0 0 0 20 0 15 0 154136610 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509439797312 140510311062887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136611 14318440448 11888 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48936 KiB

[startup+0.703945 s]
/proc/loadavg: 1.83 1.76 1.62 5/218 13392
/proc/meminfo: memFree=23761652/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0
[pid=13378] ppid=13376 vsize=13984976 memory=92140 CPUtime=1.71 cores=0,2,4,6
/proc/13378/stat : 13378 (java) S 13376 13376 12810 0 -1 1077944320 12053 0 0 0 167 4 0 0 20 0 15 0 154136605 14320615424 23035 33554432000 4194304 4196468 140724801964880 140724801947424 140510332542711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
/proc/13378/statm: 3496244 23035 3200 1 0 3483478 0
[pid=13378/tid=13379] ppid=13376 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=0,2,4,6
/proc/13378/task/13379/stat : 13379 (java) R 13376 13376 12810 0 -1 4202560 6461 0 0 0 65 2 0 0 20 0 15 0 154136605 14320615424 23035 33554432000 4194304 4196468 140724801964880 140510336776896 140510312739345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13380] ppid=13376 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13380/stat : 13380 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14320615424 23035 33554432000 4194304 4196468 140724801964880 140510262631312 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13381] ppid=13376 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13381/stat : 13381 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14320615424 23035 33554432000 4194304 4196468 140724801964880 140510261578512 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13382] ppid=13376 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13382/stat : 13382 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136606 14320615424 23035 33554432000 4194304 4196468 140724801964880 140510260526224 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13383] ppid=13376 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13383/stat : 13383 (java) S 13376 13376 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154136606 14320615424 23035 33554432000 4194304 4196468 140724801964880 140510259473424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13384] ppid=13376 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13384/stat : 13384 (java) S 13376 13376 12810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154136607 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509446113392 140510332553858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13385] ppid=13376 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13385/stat : 13385 (java) S 13376 13376 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154136608 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509445059360 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13386] ppid=13376 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154136608 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13984976 memory=42928 CPUtime=0.35 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) S 13376 13376 12810 0 -1 1077944384 1768 0 0 0 35 0 0 0 20 0 15 0 154136610 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509441903216 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13984976 memory=1292 CPUtime=0.3 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) R 13376 13376 12810 0 -1 4202560 866 0 0 0 30 0 0 0 20 0 15 0 154136610 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509440850416 140510316445768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13984976 memory=2428 CPUtime=0.36 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) R 13376 13376 12810 0 -1 1077944384 1648 0 0 0 36 0 0 0 20 0 15 0 154136610 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509439795920 140510332552917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154136611 14320615424 23035 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93524 KiB

[startup+1.50078 s]
/proc/loadavg: 1.83 1.76 1.62 3/218 13392
/proc/meminfo: memFree=23721408/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0

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

/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154136608 14322712576 176912 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13987024 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14322712576 176912 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13987024 memory=42928 CPUtime=5.05 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) S 13376 13376 12810 0 -1 1077944384 24961 0 0 0 502 3 0 0 20 0 15 0 154136610 14322712576 176912 33554432000 4194304 4196468 140724801964880 140509441903216 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13987024 memory=1384 CPUtime=4.63 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) S 13376 13376 12810 0 -1 1077944384 20752 0 0 0 460 3 0 0 20 0 15 0 154136610 14322712576 176912 33554432000 4194304 4196468 140724801964880 140509440850416 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13987024 memory=710236 CPUtime=0.9 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) S 13376 13376 12810 0 -1 1077944384 6970 0 0 0 88 2 0 0 20 0 15 0 154136610 14322712576 176912 33554432000 4194304 4196468 140724801964880 140509439798128 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13987024 memory=2844 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14322712576 176912 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13987024 memory=707648 CPUtime=0.03 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 460 0 0 0 1 2 0 0 20 0 15 0 154136611 14322712576 176912 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 114.1 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 709032 KiB

[startup+162.301 s]
/proc/loadavg: 1.46 1.67 1.61 6/217 13553
/proc/meminfo: memFree=22867028/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0
[pid=13378] ppid=13376 vsize=13987024 memory=685380 CPUtime=175.32 cores=0,2,4,6
/proc/13378/stat : 13378 (java) S 13376 13376 12810 0 -1 1077944320 83520 0 0 0 17456 76 0 0 20 0 15 0 154136605 14322712576 171345 33554432000 4194304 4196468 140724801964880 140724801947424 140510332542711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
/proc/13378/statm: 3496756 171345 3271 1 0 3483990 0
[pid=13378/tid=13379] ppid=13376 vsize=13987024 memory=685380 CPUtime=161.48 cores=0,2,4,6
/proc/13378/task/13379/stat : 13379 (java) R 13376 13376 12810 0 -1 4202560 18401 0 0 0 16140 8 0 0 20 0 15 0 154136605 14322712576 171345 33554432000 4194304 4196468 140724801964880 140510336782288 140509949311163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13380] ppid=13376 vsize=13987024 memory=688856 CPUtime=0.72 cores=0,2,4,6
/proc/13378/task/13380/stat : 13380 (java) S 13376 13376 12810 0 -1 1077944384 760 0 0 0 59 13 0 0 20 0 15 0 154136606 14322712576 171345 33554432000 4194304 4196468 140724801964880 140510262631312 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13381] ppid=13376 vsize=13987024 memory=1384 CPUtime=0.72 cores=0,2,4,6
/proc/13378/task/13381/stat : 13381 (java) S 13376 13376 12810 0 -1 1077944384 1173 0 0 0 58 14 0 0 20 0 15 0 154136606 14322712576 171345 33554432000 4194304 4196468 140724801964880 140510261578512 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13382] ppid=13376 vsize=13987024 memory=685380 CPUtime=0.73 cores=0,2,4,6
/proc/13378/task/13382/stat : 13382 (java) S 13376 13376 12810 0 -1 1077944384 2176 0 0 0 59 14 0 0 20 0 15 0 154136606 14322712576 171345 33554432000 4194304 4196468 140724801964880 140510260526224 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13383] ppid=13376 vsize=13987024 memory=1384 CPUtime=0.74 cores=0,2,4,6
/proc/13378/task/13383/stat : 13383 (java) S 13376 13376 12810 0 -1 1077944384 1390 0 0 0 61 13 0 0 20 0 15 0 154136606 14322712576 171345 33554432000 4194304 4196468 140724801964880 140510259473424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13384] ppid=13376 vsize=13987024 memory=684268 CPUtime=0.03 cores=0,2,4,6
/proc/13378/task/13384/stat : 13384 (java) S 13376 13376 12810 0 -1 1077944384 1301 0 0 0 3 0 0 0 20 0 15 0 154136607 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509446113392 140510332553858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13385] ppid=13376 vsize=13987024 memory=687204 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13385/stat : 13385 (java) S 13376 13376 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154136608 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509445059424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13386] ppid=13376 vsize=13987024 memory=688856 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154136608 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13987024 memory=1384 CPUtime=5.09 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) S 13376 13376 12810 0 -1 1077944384 26409 0 0 0 506 3 0 0 20 0 15 0 154136610 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509441903216 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13987024 memory=1384 CPUtime=4.77 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) S 13376 13376 12810 0 -1 1077944384 23081 0 0 0 474 3 0 0 20 0 15 0 154136610 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509440850416 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13987024 memory=10096 CPUtime=0.9 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) S 13376 13376 12810 0 -1 1077944384 6971 0 0 0 88 2 0 0 20 0 15 0 154136610 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509439798128 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13987024 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13987024 memory=685380 CPUtime=0.06 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 495 0 0 0 2 4 0 0 20 0 15 0 154136611 14322712576 171345 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 175.32 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 686764 KiB

[startup+222.301 s]
/proc/loadavg: 1.54 1.65 1.60 3/217 13554
/proc/meminfo: memFree=22947104/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0
[pid=13378] ppid=13376 vsize=13987024 memory=709336 CPUtime=237.04 cores=0,2,4,6
/proc/13378/stat : 13378 (java) S 13376 13376 12810 0 -1 1077944320 91088 0 0 0 23618 86 0 0 20 0 15 0 154136605 14322712576 177334 33554432000 4194304 4196468 140724801964880 140724801947424 140510332542711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
/proc/13378/statm: 3496756 177334 3287 1 0 3483990 0
[pid=13378/tid=13379] ppid=13376 vsize=13987024 memory=709336 CPUtime=220.82 cores=0,2,4,6
/proc/13378/task/13379/stat : 13379 (java) R 13376 13376 12810 0 -1 4202560 19326 0 0 0 22074 8 0 0 20 0 15 0 154136605 14322712576 177334 33554432000 4194304 4196468 140724801964880 140510336782112 140509945098512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13380] ppid=13376 vsize=13987024 memory=709336 CPUtime=1.28 cores=0,2,4,6
/proc/13378/task/13380/stat : 13380 (java) S 13376 13376 12810 0 -1 1077944384 1640 0 0 0 113 15 0 0 20 0 15 0 154136606 14322712576 177334 33554432000 4194304 4196468 140724801964880 140510262631312 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13381] ppid=13376 vsize=13987024 memory=709336 CPUtime=1.29 cores=0,2,4,6
/proc/13378/task/13381/stat : 13381 (java) S 13376 13376 12810 0 -1 1077944384 1466 0 0 0 113 16 0 0 20 0 15 0 154136606 14322712576 177334 33554432000 4194304 4196468 140724801964880 140510261578512 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13382] ppid=13376 vsize=13987024 memory=1384 CPUtime=1.3 cores=0,2,4,6
/proc/13378/task/13382/stat : 13382 (java) S 13376 13376 12810 0 -1 1077944384 2532 0 0 0 114 16 0 0 20 0 15 0 154136606 14322712576 177334 33554432000 4194304 4196468 140724801964880 140510260526224 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13383] ppid=13376 vsize=13987024 memory=1384 CPUtime=1.3 cores=0,2,4,6
/proc/13378/task/13383/stat : 13383 (java) S 13376 13376 12810 0 -1 1077944384 1908 0 0 0 115 15 0 0 20 0 15 0 154136606 14322712576 177334 33554432000 4194304 4196468 140724801964880 140510259473424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13384] ppid=13376 vsize=13987024 memory=709336 CPUtime=0.11 cores=0,2,4,6
/proc/13378/task/13384/stat : 13384 (java) S 13376 13376 12810 0 -1 1077944384 5620 0 0 0 10 1 0 0 20 0 15 0 154136607 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509446113392 140510332553858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13385] ppid=13376 vsize=13987024 memory=709336 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13385/stat : 13385 (java) S 13376 13376 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154136608 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509445059424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13386] ppid=13376 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154136608 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13987024 memory=1384 CPUtime=5.09 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) S 13376 13376 12810 0 -1 1077944384 26412 0 0 0 506 3 0 0 20 0 15 0 154136610 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509441903216 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13987024 memory=1384 CPUtime=4.77 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) S 13376 13376 12810 0 -1 1077944384 23313 0 0 0 474 3 0 0 20 0 15 0 154136610 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509440850416 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13987024 memory=4144 CPUtime=0.9 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) S 13376 13376 12810 0 -1 1077944384 6977 0 0 0 88 2 0 0 20 0 15 0 154136610 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509439798128 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13987024 memory=42928 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13987024 memory=1292 CPUtime=0.08 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 531 0 0 0 3 5 0 0 20 0 15 0 154136611 14322712576 177334 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 237.04 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 710720 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.82 1.71 1.62 3/217 13555
/proc/meminfo: memFree=22999832/32770624 swapFree=67108860/67108860
[pid=13376] ppid=13373 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13376/stat : 13376 (xcsp3-exec) S 13373 13376 12810 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154136605 9740288 346 33554432000 4194304 5098028 140721433012464 140721433010568 140550304567932 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30928896 140721433019511 140721433019712 140721433019712 140721433022443 0
/proc/13376/statm: 2378 346 289 221 0 87 0
[pid=13378] ppid=13376 vsize=13987024 memory=681164 CPUtime=255.1 cores=0,2,4,6
/proc/13378/stat : 13378 (java) S 13376 13376 12810 0 -1 1077944320 93986 0 0 0 25423 87 0 0 20 0 15 0 154136605 14322712576 170291 33554432000 4194304 4196468 140724801964880 140724801947424 140510332542711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
/proc/13378/statm: 3496756 170291 3287 1 0 3483990 0
[pid=13378/tid=13379] ppid=13376 vsize=13987024 memory=6791534058613427641 CPUtime=238.45 cores=0,2,4,6
/proc/13378/task/13379/stat : 13379 (java) R 13376 13376 12810 0 -1 4202560 19740 0 0 0 23837 8 0 0 20 0 15 0 154136605 14322712576 170291 33554432000 4194304 4196468 140724801964880 140510336781952 140509945532665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13380] ppid=13376 vsize=13987024 memory=-7003737579269690708 CPUtime=1.36 cores=0,2,4,6
/proc/13378/task/13380/stat : 13380 (java) S 13376 13376 12810 0 -1 1077944384 1664 0 0 0 121 15 0 0 20 0 15 0 154136606 14322712576 170291 33554432000 4194304 4196468 140724801964880 140510262631312 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13381] ppid=13376 vsize=13987024 memory=7595975420832469072 CPUtime=1.36 cores=0,2,4,6
/proc/13378/task/13381/stat : 13381 (java) S 13376 13376 12810 0 -1 1077944384 1578 0 0 0 120 16 0 0 20 0 15 0 154136606 14322712576 170291 33554432000 4194304 4196468 140724801964880 140510261578512 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13382] ppid=13376 vsize=13987024 memory=7156589670649974870 CPUtime=1.38 cores=0,2,4,6
/proc/13378/task/13382/stat : 13382 (java) S 13376 13376 12810 0 -1 1077944384 2820 0 0 0 122 16 0 0 20 0 15 0 154136606 14322712576 170291 33554432000 4194304 4196468 140724801964880 140510260526224 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13383] ppid=13376 vsize=13987024 memory=3091 CPUtime=1.38 cores=0,2,4,6
/proc/13378/task/13383/stat : 13383 (java) S 13376 13376 12810 0 -1 1077944384 1938 0 0 0 123 15 0 0 20 0 15 0 154136606 14322712576 170291 33554432000 4194304 4196468 140724801964880 140510259473424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13384] ppid=13376 vsize=13987024 memory=17789 CPUtime=0.11 cores=0,2,4,6
/proc/13378/task/13384/stat : 13384 (java) S 13376 13376 12810 0 -1 1077944384 5760 0 0 0 10 1 0 0 20 0 15 0 154136607 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509446113392 140510332553858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13385] ppid=13376 vsize=13987024 memory=7230923198005536106 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13385/stat : 13385 (java) S 13376 13376 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154136608 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509445059424 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13386] ppid=13376 vsize=13987024 memory=6153415073933387626 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13386/stat : 13386 (java) S 13376 13376 12810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154136608 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509444007024 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13387] ppid=13376 vsize=13987024 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13387/stat : 13387 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136610 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509442955344 140510332561307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13388] ppid=13376 vsize=13987024 memory=960 CPUtime=5.2 cores=0,2,4,6
/proc/13378/task/13388/stat : 13388 (java) S 13376 13376 12810 0 -1 1077944384 28070 0 0 0 517 3 0 0 20 0 15 0 154136610 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509441903216 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13389] ppid=13376 vsize=13987024 memory=1232 CPUtime=4.77 cores=0,2,4,6
/proc/13378/task/13389/stat : 13389 (java) S 13376 13376 12810 0 -1 1077944384 23323 0 0 0 474 3 0 0 20 0 15 0 154136610 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509440850416 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13390] ppid=13376 vsize=13987024 memory=2428 CPUtime=0.9 cores=0,2,4,6
/proc/13378/task/13390/stat : 13390 (java) S 13376 13376 12810 0 -1 1077944384 6979 0 0 0 88 2 0 0 20 0 15 0 154136610 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509439798128 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13391] ppid=13376 vsize=13987024 memory=932 CPUtime=0 cores=0,2,4,6
/proc/13378/task/13391/stat : 13391 (java) S 13376 13376 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154136611 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509438745568 140510332552917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
[pid=13378/tid=13392] ppid=13376 vsize=13987024 memory=1580 CPUtime=0.09 cores=0,2,4,6
/proc/13378/task/13392/stat : 13392 (java) S 13376 13376 12810 0 -1 1077944384 751 0 0 0 4 5 0 0 20 0 15 0 154136611 14322712576 170291 33554432000 4194304 4196468 140724801964880 140509437692336 140510332553858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13549568 140724801967261 140724801967436 140724801967436 140724801970127 0
Current children cumulated CPU time: 255.1 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 682548 KiB

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

[startup+240.02 s]
# the end of solver process 13376 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000926 s, system=0.000926 s

[startup+240.037 s]
# the end of solver process 13378 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=254.254 s, system=0.880625 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 240.037
CPU time (s): 255.134
CPU user time (s): 254.254
CPU system time (s): 0.880625
CPU usage (%): 106.29
Max. virtual memory (cumulated for all children) (KiB): 13996536
Max. memory (cumulated for all children) (KiB): 735564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.254
system time used= 0.880625
maximum resident set size= 734188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9833
involuntary context switches= 359


# summary of solver processes directly reported to runsolver:
#   pid: 13376,13378
#   total CPU time (s): 255.134
#   total CPU user time (s): 254.254
#   total CPU system time (s): 0.880625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66448 second user time and 2.29153 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 4284546

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