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
OscaR - ALNS 2017-07-26	SAT (TO)	492	2520.1399	2457.4299

0.24/0.40	c version: 2017-07-26
0.24/0.40	c seed: 1234641259
0.24/0.40	c timeout: 2520
0.24/0.40	c memlimit: 11000
0.24/0.40	c nbcore: 4
0.43/0.42	c Parsing instance...
5.78/2.78	c Parsing done, starting search...
10.46/5.96	o 484
30.45/24.18	o 485
168.91/161.22	o 487
488.07/474.41	o 488
584.25/567.95	o 489
614.19/597.19	o 490
649.65/631.76	o 492
2520.09/2457.40	s SATISFIABLE
2520.09/2457.41	v <instantiation>
2520.09/2457.41	v 	<list>
2520.09/2457.41	v 		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[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] 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[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] 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[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] 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[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] 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[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] 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[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] 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[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] 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[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] 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[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] 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] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] 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[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] 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[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] 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[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] 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[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] 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[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] 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[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] 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[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] 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[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] 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[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] 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[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] 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[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] 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[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] 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[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] 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[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] 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[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] 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[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] 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[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] 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[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] 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[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] 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[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] 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[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] 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[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] 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[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] 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[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] 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[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] 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[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] 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[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] 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[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] 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[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] 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[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] 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[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] 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[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] 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[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] 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[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] 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[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] 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[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] 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[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] 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] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] 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] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z
2520.09/2457.41	v 	</list>
2520.09/2457.41	v 	<values>
2520.09/2457.41	v 		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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 2 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 0 0 1 0 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 0 0 1 1 2 1 0 1 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 2 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 1 1 2 1 1 2 1 2 2 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 2 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 2 1 1 2 2 2 2 1 0 1 1 2 2 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 2 2 0 1 0 0 1 2 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 2 1 0 0 0 1 0 0 1 0 0 0 0 1 1 2 1 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 2 1 1 1 1 0 0 1 0 1 0 1 2 1 2 2 1 0 1 0 1 1 1 0 1 1 2 1 1 0 0 0 2 0 0 0 0 0 0 2 1 1 0 0 1 1 1 1 2 0 0 0 0 0 0 1 2 2 2 2 1 1 0 0 0 1 0 0 1 1 2 2 2 1 0 1 1 0 1 1 0 2 0 2 0 1 0 0 0 0 1 1 1 1 0 2 1 1 1 1 2 2 2 1 2 1 0 0 0 0 0 0 1 0 2 2 1 1 1 0 0 2 2 1 1 2 2 2 0 2 0 1 0 1 0 1 1 1 1 0 0 0 2 2 2 2 2 0 1 0 2 1 1 1 1 0 0 1 2 2 0 0 0 0 0 1 1 2 2 1 1 2 2 2 0 1 0 2 1 0 1 0 1 2 1 1 2 2 2 2 2 1 0 2 0 0 2 1 1 0 0 1 2 2 1 1 2 0 0 1 0 1 1 1 0 0 0 2 2 2 1 2 2 1 1 0 0 1 2 2 2 2 2 2 2 2 1 0 0 0 1 0 0 0 1 0 2 2 1 1 0 0 0 2 0 0 0 1 1 0 2 1 1 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 0 0 1 0 1 2 2 1 0 0 1 0 2 2 2 1 1 2 2 0 1 0 2 2 2 2 2 2 2 2 2 1 1 1 2 1 2 2 2 2 2 2 2 2 0 0 1 1 1 2 1 2 1 1 0 1 2 2 1 1 2 1 1 2 2 1 1 2 1 1 2 2 2 2 2 2 1 0 1 0 1 0 2 2 2 2 2 2 1 1 0 1 1 1 0 1 0 2 1 2 2 2 1 0 1 0 1 0 1 2 1 1 0 0 0 1 2 1 2 2 1 1 0 0 0 0 1 1 2 2 2 2 2 2 1 1 2 1 0 0 0 1 1 2 2 2 2 1 1 0 1 0 0 1 2 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 2 2 2 2 2 1 2 1 2 2 1 1 1 0 1 1 1 2 2 1 1 1 1 0 0 1 2 2 1 1 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 0 1 0 2 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 2 2 2 1 2 2 1 1 0 0 1 0 0 0 0 1 0 0 1 1 2 1 0 0 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 1 0 0 0 1 1 1 2 1 1 1 0 1 2 2 1 1 1 0 0 1 0 1 0 2 0 2 0 2 1 1 0 0 0 0 0 1 0 0 0 1 0 2 0 2 1 0 0 0 1 1 1 2 2 2 1 1 2 1 1 2 2 0 0 1 1 2 1 1 2 2 0 0 1 2 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 2 0 0 1 0 1 0 1 2 2 2 2 1 0 0 0 1 1 0 1 2 2 0 1 0 1 1 0 1 2 2 0 0 1 0 0 0 0 0 2 0 1 1 0 2 1 0 1 0 1 0 0 1 1 2 1 2 1 0 2 1 1 1 1 2 2 0 2 0 1 1 0 0 1 1 2 0 0 0 0 0 0 0 1 1 1 0 0 2 2 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 2 2 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 2 2 0 0 0 1 1 0 0 0 0 0 0 0 1 0 2 2 2 2 2 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 2 2 2 2 2 2 2 0 0 0 0 1 1 2 2 1 0 1 1 2 0 1 0 1 0 2 1 1 1 2 1 1 1 1 1 0 0 0 0 1 0 0 1 1 2 2 2 2 2 2 2 2 2 0 1 0 0 1 2 2 0 2 0 2 2 2 0 0 0 2 2 2 2 0 0 0 1 1 2 1 1 1 1 1 0 0 0 0 2 2 2 1 1 2 1 1 2 2 2 1 0 1 1 2 1 0 0 2 2 2 0 1 0 0 1 2 2 2 2 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 2 1 1 0 0 0 0 0 2 2 2 2 1 1 2 1 0 1 0 2 0 0 0 0 0 1 2 2 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 2 0 0 0 1 0 1 1 2 1 2 0 1 0 2 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 2 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 2 0 1 1 2 0 0 0 1 0 1 0 0 0 0 1 0 0 1 2 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 2 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 2 2 2 0 0 1 0 1 0 0 0 0 1 0 1 2 2 0 0 2 1 0 1 1 2 1 1 2 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 2 0 0 0 0 1 0 0 1 0 1 1 2 2 1 1 1 0 1 2 1 1 2 2 2 1 1 2 1 1 2 2 2 2 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 2 2 1 1 0 0 0 1 1 1 2 2 2 1 0 1 1 2 2 2 2 2 2 2 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 2 1 1 2 2 2 0 1 0 2 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 1 0 1 1 2 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 2 1 0 1 1 1 1 2 0 1 1 0 2 2 2 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 43 131 219 303 377 450 517 569 610 642 663 685 718 753 797 840 888 937 999 1064 1111 1152 1199 1234 1254 1287 1328 1363 1399 1421 1444 1487 1535 1582 1619 1647 1671 1692 1721 1766 1806 1833 1844 1877 1902 492 
2520.09/2457.41	v 	</values>
2520.09/2457.41	v </instantiation>

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 (15219 MiB free)
  memory of node 1: 16384 MiB (14636 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273268-1502738579/watcher-4273268-1502738579 -o /tmp/evaluation-result-4273268-1502738579/solver-4273268-1502738579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4849 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1234641259 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273268-1502738579.xml 

running on 4 cores: 0,2,4,6

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=15555, runsolver pid=15552

[startup+0.100151 s]*
/proc/loadavg: 1.25 1.29 1.35 2/200 15556
/proc/meminfo: memFree=30572296/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=30188 memory=3488 CPUtime=0 cores=0,2,4,6
/proc/15555/stat : 15555 (java) R 15552 15555 7084 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 173510589 30912512 806 18446744073709551615 4194304 4196468 140725451022768 140725451003464 139862233679497 0 0 1 0 0 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 7547 872 655 1 0 159 0
[pid=15555/tid=15557] ppid=15552 vsize=98832 memory=7974038411334692957 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 2 0 173510600 101203968 1162 18446744073709551615 4194304 4196468 140725451022768 140725451003464 139862233734256 0 0 1 0 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 30188 KiB
Current children cumulated memory: 3488 KiB

[startup+0.210074 s]*
/proc/loadavg: 1.25 1.29 1.35 4/214 15570
/proc/meminfo: memFree=30557892/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13975920 memory=28228 CPUtime=0.08 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 6845 0 0 0 7 1 0 0 20 0 15 0 173510589 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3493980 7057 3347 1 0 3482759 0
[pid=15555/tid=15557] ppid=15552 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 4891 0 0 0 6 0 0 0 20 0 15 0 173510600 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139862235686904 139862217525646 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13975920 memory=329 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13975920 memory=140263197948653 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13975920 memory=140263196714624 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173510602 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173510602 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861147476896 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173510602 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861146424304 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 7057 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 7569 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13975920 memory=140263196714624 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) S 15552 15555 7084 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 7569 18446744073709551615 4194304 4196468 140725451022768 139861142215408 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 7569 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13975920 memory=140263196714624 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510609 14311342080 7569 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28228 KiB

[startup+0.315277 s]*
/proc/loadavg: 1.25 1.29 1.35 3/214 15570
/proc/meminfo: memFree=30545508/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13975920 memory=39848 CPUtime=0.24 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 10188 0 0 0 21 3 0 0 20 0 15 0 173510589 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3493980 9962 3546 1 0 3482759 0
[pid=15555/tid=15557] ppid=15552 vsize=13975920 memory=7668954370464627011 CPUtime=0.17 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 7919 0 0 0 15 2 0 0 20 0 15 0 173510600 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139862235679472 139862215538014 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173510600 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 173510602 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173510602 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861147476896 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173510602 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861146424304 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 15 0 173510605 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13975920 memory=140263196714624 CPUtime=0.04 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) R 15552 15555 7084 0 -1 4202560 376 0 0 0 4 0 0 0 20 0 15 0 173510605 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861142215408 139862231478874 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13975920 memory=140263196714624 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510609 14311342080 9962 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39848 KiB

[startup+0.70072 s]
/proc/loadavg: 1.25 1.29 1.35 4/214 15570
/proc/meminfo: memFree=30534452/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13977988 memory=68476 CPUtime=1 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 13853 0 0 0 95 5 0 0 20 0 15 0 173510589 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3494497 17119 3730 1 0 3483271 0
[pid=15555/tid=15557] ppid=15552 vsize=13977988 memory=236 CPUtime=0.54 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 10359 0 0 0 51 3 0 0 20 0 15 0 173510600 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139862235692864 139861868801792 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13977988 memory=5 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13977988 memory=2275 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13977988 memory=567 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13977988 memory=6556 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173510600 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13977988 memory=60 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 173510602 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13977988 memory=540 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173510602 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861147476896 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13977988 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173510602 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861146424304 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13977988 memory=767 CPUtime=0.13 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 918 0 0 0 13 0 0 0 20 0 15 0 173510605 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13977988 memory=1196 CPUtime=0.1 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 445 0 0 0 10 0 0 0 20 0 15 0 173510605 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13977988 memory=15884 CPUtime=0.2 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) R 15552 15555 7084 0 -1 4202560 748 0 0 0 20 0 0 0 20 0 15 0 173510605 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861142215536 139862210126440 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13977988 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13977988 memory=43076 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510609 14313459712 17119 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68476 KiB

[startup+1.50073 s]
/proc/loadavg: 1.25 1.29 1.35 6/214 15570
/proc/meminfo: memFree=30476864/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13982084 memory=169388 CPUtime=3.43 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 24533 0 0 0 333 10 0 0 20 0 15 0 173510589 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3495521 42347 3759 1 0 3484295 0
[pid=15555/tid=15557] ppid=15552 vsize=13982084 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 13910 0 0 0 127 6 0 0 20 0 15 0 173510600 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 139862235692536 139862213326848 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13982084 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173510600 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13982084 memory=7451718624864575303 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173510600 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13982084 memory=7679937539709960979 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13982084 memory=8041079860532773434 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 42347 18446744073709551615 4194304 4196468 140725451022768 139861147476896 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13982084 memory=-7522837583045875833 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 42413 18446744073709551615 4194304 4196468 140725451022768 139861146424304 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 42413 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13982084 memory=73884 CPUtime=0.75 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 3084 0 0 0 74 1 0 0 20 0 15 0 173510605 14317654016 42413 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13982084 memory=1296 CPUtime=0.66 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 2169 0 0 0 65 1 0 0 20 0 15 0 173510605 14317654016 42413 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13982084 memory=6788 CPUtime=0.66 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) R 15552 15555 7084 0 -1 4202560 4002 0 0 0 65 1 0 0 20 0 15 0 173510605 14317654016 42413 18446744073709551615 4194304 4196468 140725451022768 139861142212072 139862210425810 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13982084 memory=5937524883438583904 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 42413 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13982084 memory=5787785663623029848 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510609 14317654016 42413 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 3.43 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 169388 KiB

[startup+3.11036 s]
/proc/loadavg: 1.39 1.32 1.36 6/214 15570
/proc/meminfo: memFree=30092432/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13982084 memory=496812 CPUtime=6.9 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 34140 0 0 0 654 36 0 0 20 0 15 0 173510589 14317654016 124203 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3495521 124203 3798 1 0 3484295 0

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

/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 147633 0 0 0 230166 81 0 0 20 0 15 0 173510600 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139862235695360 139861879195572 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13982084 memory=1511576 CPUtime=17.44 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 24967 0 0 0 1700 44 0 0 20 0 15 0 173510600 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13982084 memory=1507472 CPUtime=17.43 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 23071 0 0 0 1701 42 0 0 20 0 15 0 173510600 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13982084 memory=1507600 CPUtime=17.45 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 20870 0 0 0 1701 44 0 0 20 0 15 0 173510600 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13982084 memory=1769460 CPUtime=17.43 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 22106 0 0 0 1699 44 0 0 20 0 15 0 173510600 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13982084 memory=1774588 CPUtime=1.31 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 89229 0 0 0 101 30 0 0 20 0 15 0 173510602 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13982084 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861147476960 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13982084 memory=3208 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861146424320 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13982084 memory=796 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13982084 memory=5768 CPUtime=3.04 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 30080 0 0 0 299 5 0 0 20 0 15 0 173510605 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13982084 memory=4600 CPUtime=2.92 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 24225 0 0 0 288 4 0 0 20 0 15 0 173510605 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13982084 memory=1440 CPUtime=1.24 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) S 15552 15555 7084 0 -1 1077944384 33039 0 0 0 119 5 0 0 20 0 15 0 173510605 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861142215408 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13982084 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13982084 memory=1724 CPUtime=1.27 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 1939 0 0 0 65 62 0 0 20 0 15 0 173510609 14317654016 376900 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1507600 KiB

[startup+2382.3 s]
/proc/loadavg: 1.22 1.46 1.49 3/214 15715
/proc/meminfo: memFree=27803112/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13982084 memory=1715712 CPUtime=2443.57 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 422469 0 0 0 243998 359 0 0 20 0 15 0 173510589 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3495521 428928 3841 1 0 3484295 0
[pid=15555/tid=15557] ppid=15552 vsize=13982084 memory=1296 CPUtime=2361.92 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 150229 0 0 0 236107 85 0 0 20 0 15 0 173510600 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139862235695360 139861880327886 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13982084 memory=1715712 CPUtime=17.94 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 25105 0 0 0 1747 47 0 0 20 0 15 0 173510600 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13982084 memory=1450272 CPUtime=17.93 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 23374 0 0 0 1748 45 0 0 20 0 15 0 173510600 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13982084 memory=1723960 CPUtime=17.93 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 21087 0 0 0 1747 46 0 0 20 0 15 0 173510600 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13982084 memory=1714728 CPUtime=17.92 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 22196 0 0 0 1745 47 0 0 20 0 15 0 173510600 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13982084 memory=1715732 CPUtime=1.34 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 89691 0 0 0 103 31 0 0 20 0 15 0 173510602 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13982084 memory=1715712 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861147476960 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13982084 memory=1715712 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861146424320 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13982084 memory=1715712 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13982084 memory=1715712 CPUtime=3.04 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 30082 0 0 0 299 5 0 0 20 0 15 0 173510605 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13982084 memory=1760 CPUtime=2.92 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 24227 0 0 0 288 4 0 0 20 0 15 0 173510605 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13982084 memory=132 CPUtime=1.24 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) S 15552 15555 7084 0 -1 1077944384 33041 0 0 0 119 5 0 0 20 0 15 0 173510605 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861142215408 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13982084 memory=74028 CPUtime=1.3 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 1959 0 0 0 67 63 0 0 20 0 15 0 173510609 14317654016 428928 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 2443.57 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1715712 KiB

[startup+2442.3 s]
/proc/loadavg: 1.83 1.58 1.53 3/214 15717
/proc/meminfo: memFree=27793076/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13982084 memory=1839000 CPUtime=2504.38 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 429534 0 0 0 250068 370 0 0 20 0 15 0 173510589 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3495521 459750 3841 1 0 3484295 0
[pid=15555/tid=15557] ppid=15552 vsize=13982084 memory=796 CPUtime=2421.61 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 154011 0 0 0 242074 87 0 0 20 0 15 0 173510600 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139862235695360 139861880327852 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13982084 memory=1839000 CPUtime=18.21 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 25385 0 0 0 1772 49 0 0 20 0 15 0 173510600 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13982084 memory=1793944 CPUtime=18.19 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 23710 0 0 0 1772 47 0 0 20 0 15 0 173510600 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13982084 memory=1450272 CPUtime=18.2 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 21161 0 0 0 1772 48 0 0 20 0 15 0 173510600 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13982084 memory=1723960 CPUtime=18.19 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 22308 0 0 0 1770 49 0 0 20 0 15 0 173510600 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13982084 memory=1722344 CPUtime=1.35 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 89925 0 0 0 104 31 0 0 20 0 15 0 173510602 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13982084 memory=1713072 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861147476960 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13982084 memory=1713072 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861146424320 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13982084 memory=1784732 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13982084 memory=1839000 CPUtime=3.05 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 30984 0 0 0 300 5 0 0 20 0 15 0 173510605 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13982084 memory=1784732 CPUtime=2.92 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 24407 0 0 0 288 4 0 0 20 0 15 0 173510605 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13982084 memory=1839000 CPUtime=1.25 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) S 15552 15555 7084 0 -1 1077944384 34167 0 0 0 119 6 0 0 20 0 15 0 173510605 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861142215408 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13982084 memory=1839000 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13982084 memory=1839000 CPUtime=1.33 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 1998 0 0 0 69 64 0 0 20 0 15 0 173510609 14317654016 459750 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 2504.38 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1839000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.4 s]
/proc/loadavg: 1.93 1.62 1.54 3/214 15798
/proc/meminfo: memFree=28901360/32770624 swapFree=67108776/67108860
[pid=15555] ppid=15552 vsize=13982084 memory=1811320 CPUtime=2520.09 cores=0,2,4,6
/proc/15555/stat : 15555 (java) S 15552 15555 7084 0 -1 1077944320 434430 0 0 0 251638 371 0 0 20 0 15 0 173510589 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 140725451005312 139862231457527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
/proc/15555/statm: 3495521 452830 3841 1 0 3484295 0
[pid=15555/tid=15557] ppid=15552 vsize=13982084 memory=290763896594366775 CPUtime=2436.48 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (java) R 15552 15555 7084 0 -1 4202560 154276 0 0 0 243561 87 0 0 20 0 15 0 173510600 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139862235695472 139861880327886 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15558] ppid=15552 vsize=13982084 memory=13563786715989427 CPUtime=18.4 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (java) S 15552 15555 7084 0 -1 1077944384 25432 0 0 0 1791 49 0 0 20 0 15 0 173510600 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861831117584 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15559] ppid=15552 vsize=13982084 memory=8328453600958622283 CPUtime=18.38 cores=0,2,4,6
/proc/15555/task/15559/stat : 15559 (java) S 15552 15555 7084 0 -1 1077944384 23776 0 0 0 1791 47 0 0 20 0 15 0 173510600 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861830065040 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15560] ppid=15552 vsize=13982084 memory=7897517683652307531 CPUtime=18.4 cores=0,2,4,6
/proc/15555/task/15560/stat : 15560 (java) S 15552 15555 7084 0 -1 1077944384 21224 0 0 0 1792 48 0 0 20 0 15 0 173510600 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861829012496 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15561] ppid=15552 vsize=13982084 memory=8514726395715349656 CPUtime=18.39 cores=0,2,4,6
/proc/15555/task/15561/stat : 15561 (java) S 15552 15555 7084 0 -1 1077944384 22332 0 0 0 1790 49 0 0 20 0 15 0 173510600 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861827959952 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15562] ppid=15552 vsize=13982084 memory=3047711553320166262 CPUtime=1.37 cores=0,2,4,6
/proc/15555/task/15562/stat : 15562 (java) S 15552 15555 7084 0 -1 1077944384 94354 0 0 0 106 31 0 0 20 0 15 0 173510602 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861148530672 139862231468674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15563] ppid=15552 vsize=13982084 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15563/stat : 15563 (java) S 15552 15555 7084 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861147476960 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15564] ppid=15552 vsize=13982084 memory=7100839878645619564 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15564/stat : 15564 (java) S 15552 15555 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173510602 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861146424320 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15565] ppid=15552 vsize=13982084 memory=7800340461609314414 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15565/stat : 15565 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861145372880 139862231476123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15566] ppid=15552 vsize=13982084 memory=7800340461609315180 CPUtime=3.05 cores=0,2,4,6
/proc/15555/task/15566/stat : 15566 (java) S 15552 15555 7084 0 -1 1077944384 30984 0 0 0 300 5 0 0 20 0 15 0 173510605 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861144320496 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15567] ppid=15552 vsize=13982084 memory=7800340461609314153 CPUtime=2.92 cores=0,2,4,6
/proc/15555/task/15567/stat : 15567 (java) S 15552 15555 7084 0 -1 1077944384 24407 0 0 0 288 4 0 0 20 0 15 0 173510605 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861143267952 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15568] ppid=15552 vsize=13982084 memory=-6519613052471072158 CPUtime=1.25 cores=0,2,4,6
/proc/15555/task/15568/stat : 15568 (java) S 15552 15555 7084 0 -1 1077944384 34167 0 0 0 119 6 0 0 20 0 15 0 173510605 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861142215408 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15569] ppid=15552 vsize=13982084 memory=6012710545610794594 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15569/stat : 15569 (java) S 15552 15555 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173510605 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861141163104 139862231467733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
[pid=15555/tid=15570] ppid=15552 vsize=13982084 memory=6944652177228980320 CPUtime=1.35 cores=0,2,4,6
/proc/15555/task/15570/stat : 15570 (java) S 15552 15555 7084 0 -1 1077944384 2000 0 0 0 70 65 0 0 20 0 15 0 173510609 14317654016 452830 18446744073709551615 4194304 4196468 140725451022768 139861140109616 139862231468674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 24072192 140725451026804 140725451026985 140725451026985 140725451030479 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1811320 KiB

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

[startup+2457.43 s]
# the end of solver process 15555 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.42 s, system=3.72448 s

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

Child status: 143
Real time (s): 2457.43
CPU time (s): 2520.14
CPU user time (s): 2516.42
CPU system time (s): 3.72448
CPU usage (%): 102.552
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3861292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.72448
maximum resident set size= 3861736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80959
involuntary context switches= 5906


# summary of solver processes directly reported to runsolver:
#   pid: 15555
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.42
#   total CPU system time (s): 3.72448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9527 second user time and 21.6943 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml
MD5SUM	2bbdfe474604d495dd31c09972612e7d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	911
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	4096
Number of constraints	2287
Number of domains	4
Minimum domain size	2
Maximum domain size	4051
Distribution of domain sizes	[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree	1
Maximum variable degree	46
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	47
Distribution of constraint arities	[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints	2021
Number of intensional constraints	216
Distribution of constraint types	[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4273268

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