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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	532	2520.1201	2451.51

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283556-1503180334.xml"  -tl '2520s' -p 1 -x 3
0.13/0.25	c [HOME/instance-4283556-1503180334.xml, -tl, 2520s, -p, 1, -x, 3]
0.13/0.31	c simple solver
0.33/0.37	c parse instance...
2.73/1.32	c solve instance...
26.16/19.64	o 510 
28.45/20.48	o 512 
62.87/51.76	o 515 
63.34/52.12	o 516 
69.67/58.36	o 528 
72.86/61.44	o 530 
74.16/62.75	o 531 
276.59/260.97	o 532 
2520.09/2451.50	s SATISFIABLE
2520.09/2451.50	v <instantiation>
2520.09/2451.50	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>
2520.09/2451.50	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 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 2 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 0 0 1 1 1 0 1 2 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 1 2 2 0 0 1 0 1 0 0 0 1 1 2 1 1 0 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 2 0 0 1 1 1 2 2 2 1 1 0 1 0 0 0 0 0 1 2 0 1 1 0 2 2 2 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 2 2 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 2 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 2 2 2 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 1 0 0 1 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 2 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 2 2 2 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 2 2 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 2 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 2 1 1 0 1 1 1 0 0 1 0 0 2 0 1 0 0 1 1 0 0 0 0 2 1 1 0 1 1 0 0 0 0 0 0 0 1 1 2 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 2 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 2 2 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 2 1 1 2 1 2 2 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 2 2 2 2 1 1 2 0 0 0 0 1 2 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 2 1 1 1 0 0 2 2 2 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 2 2 2 1 0 0 0 1 0 0 1 0 0 1 1 2 1 1 0 0 1 2 0 0 2 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 2 2 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 2 1 1 2 0 0 1 0 0 2 1 1 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 2 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 1 0 1 1 1 2 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 2 2 2 2 1 0 1 1 1 1 0 0 1 2 1 0 0 2 2 0 0 0 0 0 0 1 0 0 2 0 1 1 0 1 1 0 0 0 1 0 2 2 2 2 1 1 2 1 0 0 0 2 2 2 0 0 1 1 0 0 0 0 0 0 0 0 0 1 2 0 0 1 1 0 0 0 0 0 1 1 1 2 2 2 1 1 1 0 0 1 1 2 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 2 1 1 0 0 1 1 1 2 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 2 2 2 1 0 1 1 1 1 2 2 0 0 0 0 0 2 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 2 2 1 1 0 0 2 2 2 2 1 1 0 0 0 1 0 2 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 2 1 1 2 1 0 0 0 0 1 2 2 2 2 0 1 1 0 0 0 1 1 1 0 1 1 0 0 2 0 2 0 0 0 1 0 1 2 2 2 1 1 2 1 1 0 0 1 1 2 2 2 2 2 1 1 1 1 0 1 2 1 2 2 1 0 1 1 2 0 0 0 0 0 1 1 2 2 2 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 17 34 48 74 102 121 142 154 167 175 190 201 214 232 254 272 288 310 329 355 382 403 415 427 439 453 460 473 491 513 543 568 584 599 624 655 688 731 758 532 </values>
2520.09/2451.50	v </instantiation>
2520.09/2451.50	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 (15039 MiB free)
  memory of node 1: 16384 MiB (15739 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283556-1503180334/watcher-4283556-1503180334 -o /tmp/evaluation-result-4283556-1503180334/solver-4283556-1503180334 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 412659984 HOME/instance-4283556-1503180334.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=31506, runsolver pid=31503

[startup+0.100112 s]*
/proc/loadavg: 1.55 1.41 1.48 3/206 31516
/proc/meminfo: memFree=31510020/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13574484 memory=17196 CPUtime=0.03 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 4159 0 0 0 2 1 0 0 20 0 9 0 16441404 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3393621 4299 2098 1 0 3383118 0
[pid=31508/tid=31509] ppid=31506 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 2861 0 0 0 2 0 0 0 20 0 9 0 16441404 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360683635672 140360679421085 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16441405 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13574484 memory=140320716338816 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16441405 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16441405 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31513/stat : 31513 (java) S 31506 31506 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16441405 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360610674960 140360679409365 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31514] ppid=31506 vsize=13574484 memory=140320716338816 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31514/stat : 31514 (java) S 31506 31506 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16441406 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360157715312 140360679410306 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31515] ppid=31506 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31515/stat : 31515 (java) S 31506 31506 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 16441406 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360156661280 140360679409365 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31516] ppid=31506 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 16441407 13900271616 4299 18446744073709551615 4194304 4196468 140736618336880 140360155608496 140360679409365 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18576 KiB

[startup+0.210826 s]*
/proc/loadavg: 1.55 1.41 1.48 4/212 31522
/proc/meminfo: memFree=31501216/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13974352 memory=28412 CPUtime=0.13 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 5577 0 0 0 12 1 0 0 20 0 15 0 16441404 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3493588 7103 2844 1 0 3482964 0
[pid=31508/tid=31509] ppid=31506 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 3505 0 0 0 9 1 0 0 20 0 15 0 16441404 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360683622192 140360663442789 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13974352 memory=8942 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13974352 memory=140320716510858 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31513/stat : 31513 (java) S 31506 31506 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16441405 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360610674960 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31514] ppid=31506 vsize=13974352 memory=140320716338816 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31514/stat : 31514 (java) S 31506 31506 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16441406 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360157715312 140360679410306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31515] ppid=31506 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31515/stat : 31515 (java) S 31506 31506 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16441406 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360156661280 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31516] ppid=31506 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16441407 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360155608432 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31517] ppid=31506 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31517/stat : 31517 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360154556752 140360679417755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31518] ppid=31506 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31518/stat : 31518 (java) S 31506 31506 15523 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 16441409 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360153504112 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31519] ppid=31506 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31519/stat : 31519 (java) S 31506 31506 15523 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 16441409 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360152451312 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31520] ppid=31506 vsize=13974352 memory=140320716338816 CPUtime=0.01 cores=1,3,5,7
/proc/31508/task/31520/stat : 31520 (java) R 31506 31506 15523 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 16441409 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360151398512 140360663585752 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31521] ppid=31506 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31521/stat : 31521 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360150345952 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31522] ppid=31506 vsize=13974352 memory=140320716338816 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31522/stat : 31522 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441414 14309736448 7103 18446744073709551615 4194304 4196468 140736618336880 140360149294256 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29792 KiB

[startup+0.310456 s]*
/proc/loadavg: 1.55 1.41 1.48 4/212 31522
/proc/meminfo: memFree=31489104/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13978608 memory=39748 CPUtime=0.33 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 9164 0 0 0 30 3 0 0 20 0 15 0 16441404 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3494652 9937 3025 1 0 3482964 0
[pid=31508/tid=31509] ppid=31506 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 6389 0 0 0 17 2 0 0 20 0 15 0 16441404 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360683620152 140360663479646 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31513/stat : 31513 (java) S 31506 31506 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16441405 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360610674960 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31514] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31514/stat : 31514 (java) S 31506 31506 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16441406 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360157715312 140360679410306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31515] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31515/stat : 31515 (java) S 31506 31506 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16441406 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360156661280 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31516] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16441407 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360155608432 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31517] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31517/stat : 31517 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360154556752 140360679417755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31518] ppid=31506 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31508/task/31518/stat : 31518 (java) S 31506 31506 15523 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 16441409 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360153504112 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31519] ppid=31506 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31508/task/31519/stat : 31519 (java) S 31506 31506 15523 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 16441409 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360152451312 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31520] ppid=31506 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31508/task/31520/stat : 31520 (java) S 31506 31506 15523 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 15 0 16441409 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360151398512 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31521] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31521/stat : 31521 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360150345952 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31522] ppid=31506 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31522/stat : 31522 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441414 14314094592 9937 18446744073709551615 4194304 4196468 140736618336880 140360149294256 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41128 KiB

[startup+0.700807 s]
/proc/loadavg: 1.55 1.41 1.48 5/212 31522
/proc/meminfo: memFree=31468820/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13978684 memory=83112 CPUtime=1.47 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 13441 0 0 0 142 5 0 0 20 0 15 0 16441404 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3494671 20778 3170 1 0 3482964 0
[pid=31508/tid=31509] ppid=31506 vsize=13978684 memory=4282241104337350043 CPUtime=0.57 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 7958 0 0 0 53 4 0 0 20 0 15 0 16441404 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360683637760 140360679411094 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13978684 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13978684 memory=11952 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13978684 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31513/stat : 31513 (java) S 31506 31506 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16441405 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360610674960 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31514] ppid=31506 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31514/stat : 31514 (java) S 31506 31506 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16441406 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360157715312 140360679410306 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31515] ppid=31506 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31515/stat : 31515 (java) S 31506 31506 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16441406 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360156661280 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31516] ppid=31506 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16441407 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360155608432 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31517] ppid=31506 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31517/stat : 31517 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360154556752 140360679417755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31518] ppid=31506 vsize=13978684 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/31508/task/31518/stat : 31518 (java) R 31506 31506 15523 0 -1 4202560 1349 0 0 0 29 0 0 0 20 0 15 0 16441409 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360153490960 140360672384233 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31519] ppid=31506 vsize=13978684 memory=4 CPUtime=0.27 cores=1,3,5,7
/proc/31508/task/31519/stat : 31519 (java) R 31506 31506 15523 0 -1 4202560 1218 0 0 0 27 0 0 0 20 0 15 0 16441409 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360152439344 140360660101745 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31520] ppid=31506 vsize=13978684 memory=4 CPUtime=0.32 cores=1,3,5,7
/proc/31508/task/31520/stat : 31520 (java) R 31506 31506 15523 0 -1 1077944384 1608 0 0 0 32 0 0 0 20 0 15 0 16441409 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360151398512 140360679410306 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31521] ppid=31506 vsize=13978684 memory=12 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31521/stat : 31521 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360150345952 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31522] ppid=31506 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31522/stat : 31522 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441414 14314172416 20778 18446744073709551615 4194304 4196468 140736618336880 140360149294256 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 84492 KiB

[startup+1.50155 s]
/proc/loadavg: 1.55 1.41 1.48 4/212 31522
/proc/meminfo: memFree=31423708/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13980732 memory=128768 CPUtime=3.1 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 20214 0 0 0 302 8 0 0 20 0 15 0 16441404 14316269568 32192 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3495183 32192 3192 1 0 3483476 0
[pid=31508/tid=31509] ppid=31506 vsize=13980732 memory=4282241104337350043 CPUtime=1.37 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 11288 0 0 0 132 5 0 0 20 0 15 0 16441404 14316269568 32192 18446744073709551615 4194304 4196468 140736618336880 140360683637968 140360290011540 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13980732 memory=280641216422720 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14316269568 32192 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13980732 memory=-4866526891258710369 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14316269568 32192 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13980732 memory=7525061327444273260 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16441405 14316269568 32192 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13980732 memory=-8253362664378451622 CPUtime=0 cores=1,3,5,7

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

/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16441407 14318366720 198779 18446744073709551615 4194304 4196468 140736618336880 140360155608432 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31517] ppid=31506 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31517/stat : 31517 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 198779 18446744073709551615 4194304 4196468 140736618336880 140360154556752 140360679417755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31518] ppid=31506 vsize=13982780 memory=840 CPUtime=5.19 cores=1,3,5,7
/proc/31508/task/31518/stat : 31518 (java) S 31506 31506 15523 0 -1 1077944384 30434 0 0 0 516 3 0 0 20 0 15 0 16441409 14318366720 198779 18446744073709551615 4194304 4196468 140736618336880 140360153504112 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31519] ppid=31506 vsize=13982780 memory=3912 CPUtime=6.43 cores=1,3,5,7
/proc/31508/task/31519/stat : 31519 (java) S 31506 31506 15523 0 -1 1077944384 41156 0 0 0 638 5 0 0 20 0 15 0 16441409 14318366720 198779 18446744073709551615 4194304 4196468 140736618336880 140360152451312 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31520] ppid=31506 vsize=13982780 memory=4124 CPUtime=0.99 cores=1,3,5,7
/proc/31508/task/31520/stat : 31520 (java) S 31506 31506 15523 0 -1 1077944384 13685 0 0 0 98 1 0 0 20 0 15 0 16441409 14318366720 198779 18446744073709551615 4194304 4196468 140736618336880 140360151398512 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31521] ppid=31506 vsize=13982780 memory=12640 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31521/stat : 31521 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 198779 18446744073709551615 4194304 4196468 140736618336880 140360150345952 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31522] ppid=31506 vsize=13982780 memory=1380 CPUtime=1.14 cores=1,3,5,7
/proc/31508/task/31522/stat : 31522 (java) S 31506 31506 15523 0 -1 1077944384 1962 0 0 0 55 59 0 0 20 0 15 0 16441414 14318366720 198779 18446744073709551615 4194304 4196468 140736618336880 140360149294256 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 2448.82 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 796496 KiB

[startup+2442.3 s]
/proc/loadavg: 1.86 1.72 1.64 3/212 31869
/proc/meminfo: memFree=30755060/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13982780 memory=847452 CPUtime=2510.7 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 277321 0 0 0 250698 372 0 0 20 0 15 0 16441404 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3495695 211863 3256 1 0 3483988 0
[pid=31508/tid=31509] ppid=31506 vsize=13982780 memory=847452 CPUtime=2422.45 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 76451 0 0 0 242222 23 0 0 20 0 15 0 16441404 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360683638480 140360297007650 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13982780 memory=853096 CPUtime=18.42 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 17933 0 0 0 1770 72 0 0 20 0 15 0 16441405 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13982780 memory=853096 CPUtime=18.39 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 16072 0 0 0 1774 65 0 0 20 0 15 0 16441405 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13982780 memory=847452 CPUtime=18.38 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 18446 0 0 0 1767 71 0 0 20 0 15 0 16441405 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13982780 memory=1380 CPUtime=18.42 cores=1,3,5,7
/proc/31508/task/31513/stat : 31513 (java) S 31506 31506 15523 0 -1 1077944384 15435 0 0 0 1773 69 0 0 20 0 15 0 16441405 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360610674960 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31514] ppid=31506 vsize=13982780 memory=1380 CPUtime=0.79 cores=1,3,5,7
/proc/31508/task/31514/stat : 31514 (java) S 31506 31506 15523 0 -1 1077944384 44372 0 0 0 65 14 0 0 20 0 15 0 16441406 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360157715312 140360679410306 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31515] ppid=31506 vsize=13982780 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31515/stat : 31515 (java) S 31506 31506 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 16441406 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360156661344 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31516] ppid=31506 vsize=13982780 memory=853096 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16441407 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360155608432 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31517] ppid=31506 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31517/stat : 31517 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360154556752 140360679417755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31518] ppid=31506 vsize=13982780 memory=2412 CPUtime=5.19 cores=1,3,5,7
/proc/31508/task/31518/stat : 31518 (java) S 31506 31506 15523 0 -1 1077944384 30435 0 0 0 516 3 0 0 20 0 15 0 16441409 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360153504112 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31519] ppid=31506 vsize=13982780 memory=1724 CPUtime=6.43 cores=1,3,5,7
/proc/31508/task/31519/stat : 31519 (java) S 31506 31506 15523 0 -1 1077944384 41156 0 0 0 638 5 0 0 20 0 15 0 16441409 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360152451312 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31520] ppid=31506 vsize=13982780 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/31508/task/31520/stat : 31520 (java) S 31506 31506 15523 0 -1 1077944384 13685 0 0 0 98 1 0 0 20 0 15 0 16441409 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360151398512 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31521] ppid=31506 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31521/stat : 31521 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360150345952 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31522] ppid=31506 vsize=13982780 memory=858224 CPUtime=1.17 cores=1,3,5,7
/proc/31508/task/31522/stat : 31522 (java) S 31506 31506 15523 0 -1 1077944384 1975 0 0 0 56 61 0 0 20 0 15 0 16441414 14318366720 211863 18446744073709551615 4194304 4196468 140736618336880 140360149294256 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 2510.7 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 848832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.5 s]
/proc/loadavg: 1.89 1.73 1.64 3/212 31869
/proc/meminfo: memFree=30775964/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13982780 memory=833088 CPUtime=2520.09 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 277356 0 0 0 251636 373 0 0 20 0 15 0 16441404 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3495695 208272 3256 1 0 3483988 0
[pid=31508/tid=31509] ppid=31506 vsize=13982780 memory=-8774313645642428999 CPUtime=2431.58 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 76455 0 0 0 243135 23 0 0 20 0 15 0 16441404 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360683638928 140360293815738 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13982780 memory=1380 CPUtime=18.48 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 17941 0 0 0 1776 72 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13982780 memory=833088 CPUtime=18.45 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 16078 0 0 0 1780 65 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13982780 memory=837192 CPUtime=18.44 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 18450 0 0 0 1773 71 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13982780 memory=837192 CPUtime=18.48 cores=1,3,5,7
/proc/31508/task/31513/stat : 31513 (java) S 31506 31506 15523 0 -1 1077944384 15438 0 0 0 1779 69 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360610674960 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31514] ppid=31506 vsize=13982780 memory=833088 CPUtime=0.79 cores=1,3,5,7
/proc/31508/task/31514/stat : 31514 (java) S 31506 31506 15523 0 -1 1077944384 44380 0 0 0 65 14 0 0 20 0 15 0 16441406 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360157715312 140360679410306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31515] ppid=31506 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31515/stat : 31515 (java) S 31506 31506 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 16441406 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360156661344 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31516] ppid=31506 vsize=13982780 memory=841808 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16441407 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360155608432 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31517] ppid=31506 vsize=13982780 memory=847452 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31517/stat : 31517 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360154556752 140360679417755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31518] ppid=31506 vsize=13982780 memory=1380 CPUtime=5.19 cores=1,3,5,7
/proc/31508/task/31518/stat : 31518 (java) S 31506 31506 15523 0 -1 1077944384 30435 0 0 0 516 3 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360153504112 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31519] ppid=31506 vsize=13982780 memory=1380 CPUtime=6.43 cores=1,3,5,7
/proc/31508/task/31519/stat : 31519 (java) S 31506 31506 15523 0 -1 1077944384 41156 0 0 0 638 5 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360152451312 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31520] ppid=31506 vsize=13982780 memory=837192 CPUtime=1 cores=1,3,5,7
/proc/31508/task/31520/stat : 31520 (java) S 31506 31506 15523 0 -1 1077944384 13685 0 0 0 98 2 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360151398512 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31521] ppid=31506 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31521/stat : 31521 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360150345952 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31522] ppid=31506 vsize=13982780 memory=4124 CPUtime=1.18 cores=1,3,5,7
/proc/31508/task/31522/stat : 31522 (java) S 31506 31506 15523 0 -1 1077944384 1977 0 0 0 56 62 0 0 20 0 15 0 16441414 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360149294256 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 834468 KiB

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

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

[startup+2451.51 s]
# the end of solver process 31508 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.38 s, system=3.73954 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

[startup+2451.5 s]
/proc/loadavg: 1.89 1.73 1.64 3/212 31869
/proc/meminfo: memFree=30775964/32770624 swapFree=67108860/67108860
[pid=31506] ppid=31503 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (xcsp3-exec) S 31503 31506 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16441397 9740288 345 18446744073709551615 4194304 5098028 140721185495520 140721185493624 139647773528700 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 16883712 140721185501562 140721185501766 140721185501766 140721185505259 0
/proc/31506/statm: 2378 345 289 221 0 87 0
[pid=31508] ppid=31506 vsize=13982780 memory=833088 CPUtime=2520.09 cores=1,3,5,7
/proc/31508/stat : 31508 (java) S 31506 31506 15523 0 -1 1077944320 277356 0 0 0 251636 373 0 0 20 0 15 0 16441404 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140736618319424 140360679399159 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
/proc/31508/statm: 3495695 208272 3256 1 0 3483988 0
[pid=31508/tid=31509] ppid=31506 vsize=13982780 memory=-8774313645642428999 CPUtime=2431.58 cores=1,3,5,7
/proc/31508/task/31509/stat : 31509 (java) R 31506 31506 15523 0 -1 4202560 76455 0 0 0 243135 23 0 0 20 0 15 0 16441404 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360683638928 140360293815738 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31510] ppid=31506 vsize=13982780 memory=1380 CPUtime=18.48 cores=1,3,5,7
/proc/31508/task/31510/stat : 31510 (java) S 31506 31506 15523 0 -1 1077944384 17941 0 0 0 1776 72 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360613833360 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31511] ppid=31506 vsize=13982780 memory=833088 CPUtime=18.45 cores=1,3,5,7
/proc/31508/task/31511/stat : 31511 (java) S 31506 31506 15523 0 -1 1077944384 16078 0 0 0 1780 65 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360612780560 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31512] ppid=31506 vsize=13982780 memory=837192 CPUtime=18.44 cores=1,3,5,7
/proc/31508/task/31512/stat : 31512 (java) S 31506 31506 15523 0 -1 1077944384 18450 0 0 0 1773 71 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360611727760 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31513] ppid=31506 vsize=13982780 memory=837192 CPUtime=18.48 cores=1,3,5,7
/proc/31508/task/31513/stat : 31513 (java) S 31506 31506 15523 0 -1 1077944384 15438 0 0 0 1779 69 0 0 20 0 15 0 16441405 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360610674960 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31514] ppid=31506 vsize=13982780 memory=833088 CPUtime=0.79 cores=1,3,5,7
/proc/31508/task/31514/stat : 31514 (java) S 31506 31506 15523 0 -1 1077944384 44380 0 0 0 65 14 0 0 20 0 15 0 16441406 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360157715312 140360679410306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31515] ppid=31506 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31515/stat : 31515 (java) S 31506 31506 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 16441406 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360156661344 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31516] ppid=31506 vsize=13982780 memory=841808 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31516/stat : 31516 (java) S 31506 31506 15523 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16441407 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360155608432 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31517] ppid=31506 vsize=13982780 memory=847452 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31517/stat : 31517 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360154556752 140360679417755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31518] ppid=31506 vsize=13982780 memory=1380 CPUtime=5.19 cores=1,3,5,7
/proc/31508/task/31518/stat : 31518 (java) S 31506 31506 15523 0 -1 1077944384 30435 0 0 0 516 3 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360153504112 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31519] ppid=31506 vsize=13982780 memory=1380 CPUtime=6.43 cores=1,3,5,7
/proc/31508/task/31519/stat : 31519 (java) S 31506 31506 15523 0 -1 1077944384 41156 0 0 0 638 5 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360152451312 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31520] ppid=31506 vsize=13982780 memory=837192 CPUtime=1 cores=1,3,5,7
/proc/31508/task/31520/stat : 31520 (java) S 31506 31506 15523 0 -1 1077944384 13685 0 0 0 98 2 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360151398512 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31521] ppid=31506 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31508/task/31521/stat : 31521 (java) S 31506 31506 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16441409 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360150345952 140360679409365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
[pid=31508/tid=31522] ppid=31506 vsize=13982780 memory=4124 CPUtime=1.18 cores=1,3,5,7
/proc/31508/task/31522/stat : 31522 (java) S 31506 31506 15523 0 -1 1077944384 1977 0 0 0 56 62 0 0 20 0 15 0 16441414 14318366720 208272 18446744073709551615 4194304 4196468 140736618336880 140360149294256 140360679410306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140736618344882 140736618345058 140736618345058 140736618348495 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 834468 KiB

Child status: 143
Real time (s): 2451.51
CPU time (s): 2520.12
CPU user time (s): 2516.38
CPU system time (s): 3.73954
CPU usage (%): 102.798
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 958980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.73954
maximum resident set size= 959648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66412
involuntary context switches= 2646


# summary of solver processes directly reported to runsolver:
#   pid: 31506,31508
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.38
#   total CPU system time (s): 3.73954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6708 second user time and 23.1324 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	686
Best CPU time to get the best result obtained on this benchmark	2400.02
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 4283556

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