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)	468	2520.1499	2464.6299

0.23/0.40	c version: 2017-07-26
0.23/0.40	c seed: 1843285337
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.42/0.42	c Parsing instance...
5.82/2.86	c Parsing done, starting search...
8.28/4.25	o 453
75.55/69.11	o 454
99.41/92.81	o 461
476.16/463.91	o 462
477.31/465.04	o 463
485.42/472.87	o 465
1269.59/1238.18	o 466
1466.09/1430.41	o 468
2520.09/2464.60	s SATISFIABLE
2520.09/2464.61	v <instantiation>
2520.09/2464.61	v 	<list>
2520.09/2464.61	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[0][45] 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[1][45] 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[2][45] 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[3][45] 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[4][45] 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[5][45] 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[6][45] 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[7][45] 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[8][45] 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[9][45] 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[10][45] 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[11][45] 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[12][45] 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[13][45] 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[14][45] 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[15][45] 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[16][45] 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[17][45] 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[18][45] 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[19][45] 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[20][45] 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[21][45] 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[22][45] 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[23][45] 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[24][45] 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[25][45] 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[26][45] 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[27][45] 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[28][45] 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[29][45] 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[30][45] 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[31][45] 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[32][45] 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[33][45] 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[34][45] 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[35][45] 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[36][45] 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[37][45] 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[38][45] 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[39][45] 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[40][45] 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[41][45] 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[42][45] 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[43][45] 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] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] 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[0][45] 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[1][45] 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[2][45] 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[3][45] 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[4][45] 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[5][45] 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[6][45] 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[7][45] 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[8][45] 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[9][45] 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[10][45] 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[11][45] 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[12][45] 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[13][45] 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[14][45] 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[15][45] 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[16][45] 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[17][45] 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[18][45] 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[19][45] 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[20][45] 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[21][45] 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[22][45] 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[23][45] 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[24][45] 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[25][45] 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[26][45] 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[27][45] 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[28][45] 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[29][45] 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[30][45] 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[31][45] 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[32][45] 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[33][45] 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[34][45] 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[35][45] 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[36][45] 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[37][45] 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[38][45] 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[39][45] 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[40][45] 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[41][45] 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[42][45] 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[43][45] 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] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] 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] ws[45] z
2520.09/2464.61	v 	</list>
2520.09/2464.61	v 	<values>
2520.09/2464.61	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 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 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 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 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 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 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 1 1 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 1 0 1 1 1 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 1 1 0 0 1 1 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 1 1 1 0 1 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 1 1 2 2 1 2 2 2 1 2 1 1 2 1 1 1 1 1 1 2 1 2 1 1 2 2 1 2 1 1 2 2 1 2 1 2 2 1 1 2 1 2 2 1 1 2 1 2 1 0 1 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 2 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 2 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 2 1 2 2 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 2 2 1 1 0 0 0 0 1 1 2 2 2 2 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 2 2 2 2 0 1 0 1 0 1 2 2 2 2 2 1 1 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 2 2 2 2 2 2 1 2 0 2 0 2 2 2 2 2 2 1 1 0 1 0 0 2 1 1 0 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 1 0 0 1 2 2 2 1 2 2 2 2 2 0 2 0 2 2 2 2 2 2 1 1 0 1 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 2 1 1 0 1 2 2 2 2 0 0 1 2 2 2 2 2 2 0 0 0 0 1 1 2 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 2 2 1 0 0 1 0 2 2 1 1 0 1 2 2 2 2 2 2 2 0 1 1 0 2 2 2 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 2 2 2 2 1 1 0 0 0 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 2 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 2 2 2 2 0 0 2 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 2 2 2 1 1 0 1 0 2 2 2 2 2 2 1 2 2 0 1 0 2 2 2 1 2 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 2 2 1 1 1 0 0 1 2 2 2 2 2 1 0 1 1 1 1 2 1 1 2 0 1 0 2 1 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 2 2 2 0 1 0 0 1 2 0 1 0 2 1 1 2 0 0 2 2 2 2 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 2 1 1 0 1 1 2 2 2 1 2 2 2 0 1 0 1 1 2 2 2 2 1 1 2 2 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 2 1 1 2 2 2 2 2 2 1 1 0 0 2 2 2 2 2 2 2 0 1 0 0 0 0 1 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 1 0 0 1 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 2 1 1 0 1 0 0 2 2 1 0 0 1 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 2 2 1 0 1 0 1 0 1 2 2 1 1 2 1 1 2 1 2 1 1 2 2 1 1 0 1 2 2 2 1 1 2 2 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 2 0 0 1 1 1 2 2 0 0 0 0 1 0 0 0 1 2 2 0 0 1 1 1 2 2 2 2 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 2 0 0 0 0 0 1 1 0 2 0 0 0 0 0 1 1 2 2 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 1 1 0 0 0 0 1 1 0 0 0 2 1 1 2 1 2 2 1 1 0 0 0 0 1 2 2 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 44 134 224 314 404 494 584 674 764 852 936 1018 1102 1184 1239 1259 1273 1293 1305 1318 1337 1351 1369 1380 1390 1412 1436 1468 1510 1551 1590 1632 1683 1731 1774 1814 1850 1891 1933 1972 2017 2064 2100 2121 2151 2176 468 
2520.09/2464.61	v 	</values>
2520.09/2464.61	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 (14585 MiB free)
  memory of node 1: 16384 MiB (15429 MiB free)
  node distances:
     10  21
     21  10

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13802, runsolver pid=13799
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 1.06 1.32 1.43 3/201 13804
/proc/meminfo: memFree=30734084/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13358552 memory=12292 CPUtime=0 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 2913 0 0 0 0 0 0 0 20 0 6 0 172276921 13679157248 3073 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3339638 3073 1531 1 0 3329135 0
[pid=13802/tid=13804] ppid=13799 vsize=13358552 memory=7974038411334692957 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 1826 0 0 0 0 0 0 0 20 0 6 0 172276930 13679157248 3271 18446744073709551615 4194304 4196468 140737043774976 139812338635344 139812295380854 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13358552 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 172276931 13679157248 3337 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13358552 memory=139649284703872 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 172276931 13679157248 3337 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 172276931 13679157248 3337 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 172276931 13679157248 3337 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 12292 KiB

[startup+0.214167 s]*
/proc/loadavg: 1.06 1.32 1.43 3/214 13817
/proc/meminfo: memFree=30722060/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13975920 memory=27968 CPUtime=0.07 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 6815 0 0 0 6 1 0 0 20 0 15 0 172276921 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3493980 6992 3318 1 0 3482759 0
[pid=13802/tid=13804] ppid=13799 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 4898 0 0 0 5 1 0 0 20 0 15 0 172276930 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139812338629072 139812334421149 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13975920 memory=329 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13975920 memory=139649285928900 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13975920 memory=139649284703872 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172276932 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172276933 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139811676967712 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172276933 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139811675915376 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) S 13799 13802 7084 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 172276935 14311342080 6992 18446744073709551615 4194304 4196468 140737043774976 139811673811568 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14311342080 7031 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13975920 memory=139649284703872 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) S 13799 13802 7084 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 172276935 14311342080 7031 18446744073709551615 4194304 4196468 140737043774976 139811671706480 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14311342080 7031 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13975920 memory=139649284703872 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276941 14311342080 7031 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27968 KiB

[startup+0.312147 s]*
/proc/loadavg: 1.21 1.35 1.43 3/214 13817
/proc/meminfo: memFree=30708052/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13975920 memory=39920 CPUtime=0.23 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 10185 0 0 0 20 3 0 0 20 0 15 0 172276921 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3493980 9980 3545 1 0 3482759 0
[pid=13802/tid=13804] ppid=13799 vsize=13975920 memory=7668954370464627011 CPUtime=0.15 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 7920 0 0 0 13 2 0 0 20 0 15 0 172276930 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139812338626416 139812334421149 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172276931 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 172276932 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172276933 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811676967712 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172276933 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811675915376 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) S 13799 13802 7084 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 172276935 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811673811568 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) R 13799 13802 7084 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 172276935 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) R 13799 13802 7084 0 -1 1077944384 374 0 0 0 4 0 0 0 20 0 15 0 172276935 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811671706480 139812334410370 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13975920 memory=139649284703872 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276941 14311342080 9980 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39920 KiB

[startup+0.700667 s]
/proc/loadavg: 1.21 1.35 1.43 3/214 13817
/proc/meminfo: memFree=30695880/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13977988 memory=70696 CPUtime=1.01 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 13864 0 0 0 96 5 0 0 20 0 15 0 172276921 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3494497 17674 3735 1 0 3483271 0
[pid=13802/tid=13804] ppid=13799 vsize=13977988 memory=7662705889289527641 CPUtime=0.53 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 10358 0 0 0 49 4 0 0 20 0 15 0 172276930 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139812338633776 139811941533365 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13977988 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13977988 memory=6296683625556824416 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13977988 memory=7523638460580128064 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13977988 memory=6506 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172276931 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13977988 memory=59 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 172276932 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13977988 memory=535 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172276933 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811676967712 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13977988 memory=1103 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172276933 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811675915376 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13977988 memory=761 CPUtime=0.14 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) S 13799 13802 7084 0 -1 1077944384 916 0 0 0 14 0 0 0 20 0 15 0 172276935 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811673811568 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13977988 memory=16444 CPUtime=0.11 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) S 13799 13802 7084 0 -1 1077944384 425 0 0 0 11 0 0 0 20 0 15 0 172276935 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13977988 memory=7668954370464627011 CPUtime=0.21 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) R 13799 13802 7084 0 -1 4202560 784 0 0 0 21 0 0 0 20 0 15 0 172276935 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811671700784 139812314114004 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13977988 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276941 14313459712 17674 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70696 KiB

[startup+1.50341 s]
/proc/loadavg: 1.21 1.35 1.43 7/214 13817
/proc/meminfo: memFree=30637816/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13982084 memory=169228 CPUtime=3.4 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 27062 0 0 0 330 10 0 0 20 0 15 0 172276921 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3495521 42307 3762 1 0 3484295 0
[pid=13802/tid=13804] ppid=13799 vsize=13982084 memory=3472328296227680365 CPUtime=1.33 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 15023 0 0 0 126 7 0 0 20 0 15 0 172276930 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139812338635840 139811940081580 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13982084 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13982084 memory=5857 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172276931 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13982084 memory=6502580487379 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172276931 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13982084 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 172276932 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13982084 memory=13563786715989427 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811676967712 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13982084 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811675915376 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13982084 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13982084 memory=271 CPUtime=0.75 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) R 13799 13802 7084 0 -1 4202560 3295 0 0 0 74 1 0 0 20 0 15 0 172276935 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811673797448 139812327496067 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13982084 memory=274 CPUtime=0.63 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) S 13799 13802 7084 0 -1 1077944384 2708 0 0 0 63 0 0 0 20 0 15 0 172276935 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13982084 memory=109 CPUtime=0.65 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) R 13799 13802 7084 0 -1 4202560 4232 0 0 0 65 0 0 0 20 0 15 0 172276935 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811671702208 139812313756719 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13982084 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 172276941 14317654016 42307 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 13982084 KiB

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

/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 132385 0 0 0 230490 90 0 0 20 0 15 0 172276930 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139812338637168 139811950336251 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13982084 memory=1936800 CPUtime=14.95 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 16695 0 0 0 1458 37 0 0 20 0 15 0 172276931 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13982084 memory=1936248 CPUtime=14.97 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 19328 0 0 0 1460 37 0 0 20 0 15 0 172276931 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13982084 memory=1936248 CPUtime=14.92 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 19595 0 0 0 1454 38 0 0 20 0 15 0 172276931 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13982084 memory=1937776 CPUtime=14.92 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 19342 0 0 0 1455 37 0 0 20 0 15 0 172276931 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13982084 memory=1937776 CPUtime=1.01 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 56588 0 0 0 80 21 0 0 20 0 15 0 172276932 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13982084 memory=1937776 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811676967776 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13982084 memory=1937776 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811675915392 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13982084 memory=1938820 CPUtime=2.98 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) S 13799 13802 7084 0 -1 1077944384 27876 0 0 0 294 4 0 0 20 0 15 0 172276935 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811673811568 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13982084 memory=1940892 CPUtime=2.69 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) S 13799 13802 7084 0 -1 1077944384 23755 0 0 0 267 2 0 0 20 0 15 0 172276935 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13982084 memory=1936248 CPUtime=1.22 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) S 13799 13802 7084 0 -1 1077944384 35903 0 0 0 119 3 0 0 20 0 15 0 172276935 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811671706480 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13982084 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13982084 memory=1937776 CPUtime=1.12 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 2067 0 0 0 46 66 0 0 20 0 15 0 172276941 14317654016 484444 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 2374.71 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1937776 KiB

[startup+2382.3 s]
/proc/loadavg: 1.55 1.52 1.57 3/213 14066
/proc/meminfo: memFree=28177100/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13982084 memory=1917092 CPUtime=2436.11 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 358530 0 0 0 243270 341 0 0 20 0 15 0 172276921 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3495521 479273 3840 1 0 3484295 0
[pid=13802/tid=13804] ppid=13799 vsize=13982084 memory=1917092 CPUtime=2365.3 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 134774 0 0 0 236439 91 0 0 20 0 15 0 172276930 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139812338637056 139811940854717 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13982084 memory=1608 CPUtime=15.42 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 16867 0 0 0 1502 40 0 0 20 0 15 0 172276931 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13982084 memory=56 CPUtime=15.43 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 19567 0 0 0 1502 41 0 0 20 0 15 0 172276931 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13982084 memory=1936128 CPUtime=15.38 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 19860 0 0 0 1497 41 0 0 20 0 15 0 172276931 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13982084 memory=1937644 CPUtime=15.38 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 19503 0 0 0 1497 41 0 0 20 0 15 0 172276931 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13982084 memory=1937656 CPUtime=1.04 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 56765 0 0 0 82 22 0 0 20 0 15 0 172276932 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13982084 memory=1921708 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811676967776 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13982084 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811675915392 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13982084 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13982084 memory=4156 CPUtime=2.98 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) S 13799 13802 7084 0 -1 1077944384 27878 0 0 0 294 4 0 0 20 0 15 0 172276935 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811673811568 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13982084 memory=73328 CPUtime=2.69 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) S 13799 13802 7084 0 -1 1077944384 23757 0 0 0 267 2 0 0 20 0 15 0 172276935 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13982084 memory=1932480 CPUtime=1.22 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) S 13799 13802 7084 0 -1 1077944384 36007 0 0 0 119 3 0 0 20 0 15 0 172276935 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811671706480 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13982084 memory=1938636 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13982084 memory=1917092 CPUtime=1.15 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 2081 0 0 0 47 68 0 0 20 0 15 0 172276941 14317654016 479273 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 2436.11 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1917092 KiB

[startup+2442.3 s]
/proc/loadavg: 1.27 1.45 1.54 3/212 14068
/proc/meminfo: memFree=28371304/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13982084 memory=1847436 CPUtime=2497.27 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 362599 0 0 0 249384 343 0 0 20 0 15 0 172276921 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3495521 461859 3840 1 0 3484295 0
[pid=13802/tid=13804] ppid=13799 vsize=13982084 memory=1847436 CPUtime=2424.87 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 135988 0 0 0 242396 91 0 0 20 0 15 0 172276930 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139812338637056 139811944096942 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13982084 memory=1937644 CPUtime=15.8 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 17064 0 0 0 1540 40 0 0 20 0 15 0 172276931 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13982084 memory=1873600 CPUtime=15.81 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 19710 0 0 0 1540 41 0 0 20 0 15 0 172276931 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13982084 memory=1873600 CPUtime=15.76 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 20315 0 0 0 1535 41 0 0 20 0 15 0 172276931 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13982084 memory=1873600 CPUtime=15.76 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 19706 0 0 0 1535 41 0 0 20 0 15 0 172276931 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13982084 memory=1873600 CPUtime=1.06 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 58432 0 0 0 84 22 0 0 20 0 15 0 172276932 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13982084 memory=1873600 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811676967776 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13982084 memory=1864880 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811675915392 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13982084 memory=1864880 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13982084 memory=1864880 CPUtime=2.98 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) S 13799 13802 7084 0 -1 1077944384 27880 0 0 0 294 4 0 0 20 0 15 0 172276935 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811673811568 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13982084 memory=1852568 CPUtime=2.69 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) S 13799 13802 7084 0 -1 1077944384 23760 0 0 0 267 2 0 0 20 0 15 0 172276935 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13982084 memory=1847436 CPUtime=1.22 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) S 13799 13802 7084 0 -1 1077944384 36165 0 0 0 119 3 0 0 20 0 15 0 172276935 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811671706480 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13982084 memory=1852568 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13982084 memory=1852568 CPUtime=1.19 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 2108 0 0 0 49 70 0 0 20 0 15 0 172276941 14317654016 461859 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 2497.27 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1847436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.6 s]
/proc/loadavg: 1.26 1.44 1.53 3/212 14069
/proc/meminfo: memFree=28462484/32770624 swapFree=67108776/67108860
[pid=13802] ppid=13799 vsize=13982084 memory=1799728 CPUtime=2520.09 cores=1,3,5,7
/proc/13802/stat : 13802 (java) S 13799 13802 7084 0 -1 1077944320 364198 0 0 0 251664 345 0 0 20 0 15 0 172276921 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 140737043757520 139812334399223 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
/proc/13802/statm: 3495521 449932 3840 1 0 3484295 0
[pid=13802/tid=13804] ppid=13799 vsize=13982084 memory=-8774313645642428999 CPUtime=2446.99 cores=1,3,5,7
/proc/13802/task/13804/stat : 13804 (java) R 13799 13802 7084 0 -1 4202560 137486 0 0 0 244608 91 0 0 20 0 15 0 172276930 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139812338637168 139811949979386 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13805] ppid=13799 vsize=13982084 memory=3908 CPUtime=15.97 cores=1,3,5,7
/proc/13802/task/13805/stat : 13805 (java) S 13799 13802 7084 0 -1 1077944384 17078 0 0 0 1557 40 0 0 20 0 15 0 172276931 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139812268833680 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13806] ppid=13799 vsize=13982084 memory=4072 CPUtime=15.97 cores=1,3,5,7
/proc/13802/task/13806/stat : 13806 (java) S 13799 13802 7084 0 -1 1077944384 19756 0 0 0 1556 41 0 0 20 0 15 0 172276931 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139812267780880 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13807] ppid=13799 vsize=13982084 memory=1152 CPUtime=15.93 cores=1,3,5,7
/proc/13802/task/13807/stat : 13807 (java) S 13799 13802 7084 0 -1 1077944384 20337 0 0 0 1552 41 0 0 20 0 15 0 172276931 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139812266728592 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13808] ppid=13799 vsize=13982084 memory=3092 CPUtime=15.94 cores=1,3,5,7
/proc/13802/task/13808/stat : 13808 (java) S 13799 13802 7084 0 -1 1077944384 19721 0 0 0 1553 41 0 0 20 0 15 0 172276931 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139812265675792 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13809] ppid=13799 vsize=13982084 memory=1805372 CPUtime=1.07 cores=1,3,5,7
/proc/13802/task/13809/stat : 13809 (java) S 13799 13802 7084 0 -1 1077944384 58436 0 0 0 85 22 0 0 20 0 15 0 172276932 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811678021744 139812334410370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13810] ppid=13799 vsize=13982084 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13810/stat : 13810 (java) S 13799 13802 7084 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811676967776 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13811] ppid=13799 vsize=13982084 memory=3224 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13811/stat : 13811 (java) S 13799 13802 7084 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 172276933 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811675915392 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13812] ppid=13799 vsize=13982084 memory=1140844 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13812/stat : 13812 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276935 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811674863696 139812334417819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13813] ppid=13799 vsize=13982084 memory=16444 CPUtime=2.98 cores=1,3,5,7
/proc/13802/task/13813/stat : 13813 (java) S 13799 13802 7084 0 -1 1077944384 27880 0 0 0 294 4 0 0 20 0 15 0 172276935 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811673811568 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13814] ppid=13799 vsize=13982084 memory=288230574492221466 CPUtime=2.69 cores=1,3,5,7
/proc/13802/task/13814/stat : 13814 (java) S 13799 13802 7084 0 -1 1077944384 23760 0 0 0 267 2 0 0 20 0 15 0 172276935 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811672758768 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13815] ppid=13799 vsize=13982084 memory=288230621803970871 CPUtime=1.22 cores=1,3,5,7
/proc/13802/task/13815/stat : 13815 (java) S 13799 13802 7084 0 -1 1077944384 36165 0 0 0 119 3 0 0 20 0 15 0 172276935 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811671706480 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13816] ppid=13799 vsize=13982084 memory=13563786715989427 CPUtime=0 cores=1,3,5,7
/proc/13802/task/13816/stat : 13816 (java) S 13799 13802 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172276936 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811670653920 139812334409429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
[pid=13802/tid=13817] ppid=13799 vsize=13982084 memory=139649184209041 CPUtime=1.2 cores=1,3,5,7
/proc/13802/task/13817/stat : 13817 (java) S 13799 13802 7084 0 -1 1077944384 2108 0 0 0 50 70 0 0 20 0 15 0 172276941 14317654016 449932 18446744073709551615 4194304 4196468 140737043774976 139811669600688 139812334410370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21151744 140737043779956 140737043780137 140737043780137 140737043783631 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1799728 KiB

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

[startup+2464.63 s]
# the end of solver process 13802 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.68 s, system=3.46042 s

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

Child status: 143
Real time (s): 2464.63
CPU time (s): 2520.15
CPU user time (s): 2516.68
CPU system time (s): 3.46042
CPU usage (%): 102.253
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3881576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.68
system time used= 3.46042
maximum resident set size= 3881796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75277
involuntary context switches= 2966


# summary of solver processes directly reported to runsolver:
#   pid: 13802
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2516.68
#   total CPU system time (s): 3.46042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.958 second user time and 20.5184 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml
MD5SUM	4997da7be544d89c7d7e917a89d7c5a2
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	941
Best CPU time to get the best result obtained on this benchmark	2519.6799
Satisfiable
(Un)Satisfiability was proved
Number of variables	4279
Number of constraints	2384
Number of domains	4
Minimum domain size	2
Maximum domain size	4233
Distribution of domain sizes	[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree	1
Maximum variable degree	47
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	48
Distribution of constraint arities	[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints	2112
Number of intensional constraints	221
Distribution of constraint types	[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4273269

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