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 - Parallel with EPS 2017-08-22	SAT (TO)	519	20023.9	2520.1799

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 84104997
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.53/0.92	c Parsing done, starting search...
96.92/18.72	o 503
96.92/18.74	o 504
96.92/18.74	o 505
99.25/19.08	o 506
102.35/19.45	o 507
103.16/19.54	o 508
106.35/20.01	o 509
107.20/20.06	o 510
108.00/20.11	o 511
115.96/21.12	o 512
121.44/21.82	o 513
122.19/21.94	o 514
2373.42/304.35	o 515
2375.01/304.50	o 516
2670.80/341.66	o 517
3054.39/389.72	o 518
3567.07/454.12	o 519
20022.87/2520.11	s SATISFIABLE
20022.87/2520.12	v <instantiation>
20022.87/2520.12	v 	<list>
20022.87/2520.12	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
20022.87/2520.12	v 	</list>
20022.87/2520.12	v 	<values>
20022.87/2520.12	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 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 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 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 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 2 1 1 1 1 1 1 2 2 1 1 2 1 1 2 1 1 2 2 1 2 1 1 1 1 0 1 1 1 0 1 0 2 1 1 0 1 0 2 1 1 0 1 0 2 2 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 2 1 0 0 1 1 0 0 1 2 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 2 2 0 0 0 0 0 0 2 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 2 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 2 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 2 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 2 0 1 0 1 1 2 2 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 2 2 0 1 1 0 2 2 0 1 0 0 0 0 0 0 0 0 0 2 2 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 2 2 0 0 2 2 2 2 0 0 0 2 0 0 1 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 1 0 1 1 2 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 2 1 2 2 1 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 2 1 1 2 1 1 1 0 0 1 2 2 2 2 1 0 0 0 0 0 0 2 0 2 1 1 2 0 2 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 2 2 1 1 2 1 0 0 2 2 2 2 2 1 1 0 0 0 2 0 0 2 2 2 2 1 2 0 1 0 2 1 1 2 1 1 0 0 0 1 0 0 0 1 0 2 2 0 0 0 0 1 0 1 1 1 1 2 2 2 1 1 0 0 1 0 2 1 2 2 1 1 0 1 0 1 1 2 2 2 2 0 0 1 1 0 1 1 0 1 2 2 0 2 0 0 0 0 0 0 0 1 1 0 2 2 2 1 1 0 0 1 0 1 1 2 1 0 0 0 0 0 1 0 2 2 1 0 1 0 0 1 0 1 2 2 2 1 1 0 1 0 1 1 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 2 1 1 0 1 1 0 0 2 0 2 1 0 0 1 0 0 0 1 2 2 2 0 0 0 1 0 1 1 0 0 0 0 1 0 2 0 1 0 0 1 0 0 1 1 2 0 1 0 1 1 1 1 0 0 1 1 2 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 2 1 1 0 0 1 0 0 0 1 2 1 1 0 0 0 1 1 0 0 1 0 2 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 2 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 2 2 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 2 2 2 2 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 2 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 1 2 2 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 2 2 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 2 0 0 1 1 2 1 0 1 1 2 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 44 134 224 314 404 494 584 674 764 854 944 1034 1124 1204 1252 1276 1298 1319 1332 1355 1371 1388 1407 1428 1442 1454 1464 1479 1500 1524 1549 1566 1589 1626 1671 1712 1745 1776 1804 1830 1857 1879 1903 1920 1950 1972 519 
20022.87/2520.12	v 	</values>
20022.87/2520.12	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 (9312 MiB free)
  memory of node 1: 16384 MiB (7889 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285029-1503411245/watcher-4285029-1503411245 -o /tmp/evaluation-result-4285029-1503411245/solver-4285029-1503411245 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503402813-1419 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 84104997 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285029-1503411245.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100259 s]*
/proc/loadavg: 8.83 8.87 8.78 1/198 2061
/proc/meminfo: memFree=17599004/32770624 swapFree=67108860/67108860
[pid=2041] ppid=2038 vsize=26000852 memory=31664 CPUtime=0.12 cores=0-7
/proc/2041/stat : 2041 (java) S 2038 2041 1392 0 -1 1077944320 8325 0 0 0 10 2 0 0 20 0 20 0 174212042 26624872448 7916 33554432000 4194304 4196468 140735272887904 140735272870448 140146833338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
/proc/2041/statm: 6500213 7916 3403 1 0 6487932 0
[pid=2041/tid=2043] ppid=2038 vsize=26000852 memory=1399051139730258233 CPUtime=0.08 cores=0-7
/proc/2041/task/2043/stat : 2043 (java) R 2038 2041 1392 0 -1 4202560 6264 0 0 0 7 1 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146837535056 140146833360029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2044] ppid=2038 vsize=26000852 memory=3677534773662714415 CPUtime=0 cores=0-7
/proc/2041/task/2044/stat : 2044 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146391776272 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2045] ppid=2038 vsize=26000852 memory=140370187527808 CPUtime=0 cores=0-7
/proc/2041/task/2045/stat : 2045 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146390723728 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2046] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2046/stat : 2046 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146389670672 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2047] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2047/stat : 2047 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146388618128 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2048] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2048/stat : 2048 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146387565072 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2049] ppid=2038 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/2041/task/2049/stat : 2049 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146386512528 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2050] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2050/stat : 2050 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146385459472 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2051] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2051/stat : 2051 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146384406928 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2052] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2052/stat : 2052 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212045 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146095733488 140146833349250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2053] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2053/stat : 2053 (java) S 2038 2041 1392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174212045 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146094679712 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2054] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2054/stat : 2054 (java) S 2038 2041 1392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174212046 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146093626608 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2055] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2055/stat : 2055 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146092575184 140146833356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2056] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2056/stat : 2056 (java) S 2038 2041 1392 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146091522288 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2057] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2057/stat : 2057 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146090469744 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2058] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2058/stat : 2058 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146089416688 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2059] ppid=2038 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/2041/task/2059/stat : 2059 (java) S 2038 2041 1392 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 174212048 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146088364144 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2060] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2060/stat : 2060 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146087312352 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2061] ppid=2038 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/2041/task/2061/stat : 2061 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 7916 33554432000 4194304 4196468 140735272887904 140146086259888 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31664 KiB

[startup+0.210165 s]*
/proc/loadavg: 8.83 8.87 8.78 3/198 2061
/proc/meminfo: memFree=17588164/32770624 swapFree=67108860/67108860
[pid=2041] ppid=2038 vsize=26000852 memory=41268 CPUtime=0.29 cores=0-7
/proc/2041/stat : 2041 (java) S 2038 2041 1392 0 -1 1077944320 9416 0 0 0 27 2 0 0 20 0 20 0 174212042 26624872448 10317 33554432000 4194304 4196468 140735272887904 140735272870448 140146833338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
/proc/2041/statm: 6500213 10317 3636 1 0 6487932 0
[pid=2041/tid=2043] ppid=2038 vsize=26000852 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/2041/task/2043/stat : 2043 (java) R 2038 2041 1392 0 -1 4202560 6947 0 0 0 18 2 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146837563168 140146817418590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2044] ppid=2038 vsize=26000852 memory=288230587528118295 CPUtime=0 cores=0-7
/proc/2041/task/2044/stat : 2044 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146391776272 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2045] ppid=2038 vsize=26000852 memory=3546506493793543840 CPUtime=0 cores=0-7
/proc/2041/task/2045/stat : 2045 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146390723728 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2046] ppid=2038 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/2041/task/2046/stat : 2046 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146389670672 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2047] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2047/stat : 2047 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146388618128 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2048] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2048/stat : 2048 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146387565072 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2049] ppid=2038 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/2041/task/2049/stat : 2049 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146386512528 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2050] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2050/stat : 2050 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146385459472 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2051] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2051/stat : 2051 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146384406928 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2052] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2052/stat : 2052 (java) S 2038 2041 1392 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174212045 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146095733488 140146833349250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2053] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2053/stat : 2053 (java) S 2038 2041 1392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174212045 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146094679712 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2054] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2054/stat : 2054 (java) S 2038 2041 1392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174212046 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146093626608 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2055] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2055/stat : 2055 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146092575184 140146833356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2056] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2056/stat : 2056 (java) S 2038 2041 1392 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146091522288 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2057] ppid=2038 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/2041/task/2057/stat : 2057 (java) S 2038 2041 1392 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 174212048 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146090469744 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2058] ppid=2038 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/2041/task/2058/stat : 2058 (java) S 2038 2041 1392 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 20 0 174212048 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146089416688 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2059] ppid=2038 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/2041/task/2059/stat : 2059 (java) R 2038 2041 1392 0 -1 4202560 415 0 0 0 5 0 0 0 20 0 20 0 174212048 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146088364144 140146833350038 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2060] ppid=2038 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2060/stat : 2060 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146087312352 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2061] ppid=2038 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/2041/task/2061/stat : 2061 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212048 26624872448 10317 33554432000 4194304 4196468 140735272887904 140146086259888 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41268 KiB

[startup+0.309968 s]*
/proc/loadavg: 8.83 8.87 8.78 2/198 2061
/proc/meminfo: memFree=17581796/32770624 swapFree=67108860/67108860
[pid=2041] ppid=2038 vsize=26000872 memory=49600 CPUtime=0.48 cores=0-7
/proc/2041/stat : 2041 (java) S 2038 2041 1392 0 -1 1077944320 10691 0 0 0 45 3 0 0 20 0 20 0 174212042 26624892928 12400 33554432000 4194304 4196468 140735272887904 140735272870448 140146833338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
/proc/2041/statm: 6500218 12400 3722 1 0 6487932 0
[pid=2041/tid=2043] ppid=2038 vsize=26000872 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/2041/task/2043/stat : 2043 (java) R 2038 2041 1392 0 -1 4202560 7719 0 0 0 27 2 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146837561040 140146817381733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2044] ppid=2038 vsize=26000872 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2041/task/2044/stat : 2044 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146391776272 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2045] ppid=2038 vsize=26000872 memory=1204 CPUtime=0 cores=0-7
/proc/2041/task/2045/stat : 2045 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146390723728 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2046] ppid=2038 vsize=26000872 memory=15876 CPUtime=0 cores=0-7
/proc/2041/task/2046/stat : 2046 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146389670672 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2047] ppid=2038 vsize=26000872 memory=16444 CPUtime=0 cores=0-7
/proc/2041/task/2047/stat : 2047 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146388618128 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2048] ppid=2038 vsize=26000872 memory=4052 CPUtime=0 cores=0-7
/proc/2041/task/2048/stat : 2048 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146387565072 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2049] ppid=2038 vsize=26000872 memory=26428 CPUtime=0 cores=0-7
/proc/2041/task/2049/stat : 2049 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146386512528 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2050] ppid=2038 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2050/stat : 2050 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146385459472 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2051] ppid=2038 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2051/stat : 2051 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146384406928 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2052] ppid=2038 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2052/stat : 2052 (java) S 2038 2041 1392 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174212045 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146095733488 140146833349250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2053] ppid=2038 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2053/stat : 2053 (java) S 2038 2041 1392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174212045 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146094679712 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2054] ppid=2038 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2054/stat : 2054 (java) S 2038 2041 1392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174212046 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146093626608 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2055] ppid=2038 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/2041/task/2055/stat : 2055 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212048 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146092575184 140146833356699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2056] ppid=2038 vsize=26000872 memory=2244 CPUtime=0.03 cores=0-7
/proc/2041/task/2056/stat : 2056 (java) S 2038 2041 1392 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 20 0 174212048 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146091522288 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2057] ppid=2038 vsize=26000872 memory=2244 CPUtime=0.03 cores=0-7
/proc/2041/task/2057/stat : 2057 (java) S 2038 2041 1392 0 -1 1077944384 185 0 0 0 3 0 0 0 20 0 20 0 174212048 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146090469744 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2058] ppid=2038 vsize=26000872 memory=2244 CPUtime=0.03 cores=0-7
/proc/2041/task/2058/stat : 2058 (java) S 2038 2041 1392 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 20 0 174212048 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146089416688 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2059] ppid=2038 vsize=26000872 memory=2244 CPUtime=0.08 cores=0-7
/proc/2041/task/2059/stat : 2059 (java) R 2038 2041 1392 0 -1 4202560 544 0 0 0 8 0 0 0 20 0 20 0 174212048 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146088364144 140146833359450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2060] ppid=2038 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2060/stat : 2060 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212048 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146087312352 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2061] ppid=2038 vsize=26000872 memory=1 CPUtime=0 cores=0-7
/proc/2041/task/2061/stat : 2061 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212048 26624892928 12400 33554432000 4194304 4196468 140735272887904 140146086259888 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49600 KiB

[startup+0.700876 s]
/proc/loadavg: 8.83 8.87 8.78 2/198 2061
/proc/meminfo: memFree=17564176/32770624 swapFree=67108860/67108860
[pid=2041] ppid=2038 vsize=26002920 memory=102880 CPUtime=1.63 cores=0-7
/proc/2041/stat : 2041 (java) S 2038 2041 1392 0 -1 1077944320 14765 0 0 0 158 5 0 0 20 0 20 0 174212042 26626990080 25720 33554432000 4194304 4196468 140735272887904 140735272870448 140146833338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
/proc/2041/statm: 6500730 25720 3779 1 0 6488444 0
[pid=2041/tid=2043] ppid=2038 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/2041/task/2043/stat : 2043 (java) R 2038 2041 1392 0 -1 4202560 8511 0 0 0 64 3 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146837571424 140146833360029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2044] ppid=2038 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2044/stat : 2044 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146391776272 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2045] ppid=2038 vsize=26002920 memory=2353 CPUtime=0 cores=0-7
/proc/2041/task/2045/stat : 2045 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146390723728 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2046] ppid=2038 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/2041/task/2046/stat : 2046 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146389670672 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2047] ppid=2038 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/2041/task/2047/stat : 2047 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146388618128 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2048] ppid=2038 vsize=26002920 memory=13160 CPUtime=0 cores=0-7
/proc/2041/task/2048/stat : 2048 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146387565072 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2049] ppid=2038 vsize=26002920 memory=792 CPUtime=0 cores=0-7
/proc/2041/task/2049/stat : 2049 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146386512528 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2050] ppid=2038 vsize=26002920 memory=1008 CPUtime=0 cores=0-7
/proc/2041/task/2050/stat : 2050 (java) S 2038 2041 1392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146385459472 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2051] ppid=2038 vsize=26002920 memory=10804 CPUtime=0 cores=0-7
/proc/2041/task/2051/stat : 2051 (java) S 2038 2041 1392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174212043 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146384406928 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2052] ppid=2038 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/2041/task/2052/stat : 2052 (java) S 2038 2041 1392 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174212045 26626990080 25720 33554432000 4194304 4196468 140735272887904 140146095733488 140146833349250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0

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

/proc/2041/task/2058/stat : 2058 (java) S 2038 2041 1392 0 -1 1077944384 13374 0 0 0 271 3 0 0 20 0 43 0 174212048 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146089416688 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2059] ppid=2038 vsize=27546216 memory=6153985703205688884 CPUtime=1.27 cores=0-7
/proc/2041/task/2059/stat : 2059 (java) S 2038 2041 1392 0 -1 1077944384 23130 0 0 0 122 5 0 0 20 0 43 0 174212048 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146088364144 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2060] ppid=2038 vsize=27546216 memory=416 CPUtime=0 cores=0-7
/proc/2041/task/2060/stat : 2060 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 174212048 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146087312352 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2061] ppid=2038 vsize=27546216 memory=-7161732098442470212 CPUtime=1.04 cores=0-7
/proc/2041/task/2061/stat : 2061 (java) S 2038 2041 1392 0 -1 1077944384 3726 0 0 0 56 48 0 0 20 0 43 0 174212048 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146086259888 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2062] ppid=2038 vsize=27546216 memory=5860704123725310038 CPUtime=0 cores=0-7
/proc/2041/task/2062/stat : 2062 (java) S 2038 2041 1392 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 43 0 174212847 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146073871360 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2063] ppid=2038 vsize=27546216 memory=6655300316396806240 CPUtime=5.26 cores=0-7
/proc/2041/task/2063/stat : 2063 (java) S 2038 2041 1392 0 -1 1077944384 10225 0 0 0 234 292 0 0 20 0 43 0 174212858 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146072819104 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2064] ppid=2038 vsize=27546216 memory=6944656592455097440 CPUtime=2494.26 cores=0-7
/proc/2041/task/2064/stat : 2064 (java) R 2038 2041 1392 0 -1 4202560 129472 0 0 0 249246 180 0 0 20 0 43 0 174212867 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146069663048 140146479221275 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2065] ppid=2038 vsize=27546216 memory=4294967744 CPUtime=1.85 cores=0-7
/proc/2041/task/2065/stat : 2065 (java) S 2038 2041 1392 0 -1 1077944384 377 0 0 0 178 7 0 0 20 0 43 0 174212868 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146068616368 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2066] ppid=2038 vsize=27546216 memory=6944656592387989600 CPUtime=2492.22 cores=0-7
/proc/2041/task/2066/stat : 2066 (java) R 2038 2041 1392 0 -1 4202560 102237 0 0 0 249062 160 0 0 20 0 43 0 174212868 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146067557120 140146473642836 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2067] ppid=2038 vsize=27546216 memory=4137282578176515228 CPUtime=2487.71 cores=0-7
/proc/2041/task/2067/stat : 2067 (java) R 2038 2041 1392 0 -1 4202560 103547 0 0 0 248612 159 0 0 20 0 43 0 174212874 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146066507520 140146473994405 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2068] ppid=2038 vsize=27546216 memory=280740136162096 CPUtime=2487.44 cores=0-7
/proc/2041/task/2068/stat : 2068 (java) R 2038 2041 1392 0 -1 4202560 134856 0 0 0 248600 144 0 0 20 0 43 0 174212875 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146065455368 140146477550378 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2069] ppid=2038 vsize=27546216 memory=6944656592455360604 CPUtime=2482.66 cores=0-7
/proc/2041/task/2069/stat : 2069 (java) R 2038 2041 1392 0 -1 4202560 102374 0 0 0 248056 210 0 0 20 0 43 0 174212875 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146064400000 140146481208002 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2070] ppid=2038 vsize=27546216 memory=6944656575208382560 CPUtime=1.88 cores=0-7
/proc/2041/task/2070/stat : 2070 (java) S 2038 2041 1392 0 -1 1077944384 388 0 0 0 181 7 0 0 20 0 43 0 174212875 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146063353136 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2071] ppid=2038 vsize=27546216 memory=33 CPUtime=2485.9 cores=0-7
/proc/2041/task/2071/stat : 2071 (java) R 2038 2041 1392 0 -1 4202560 122105 0 0 0 248384 206 0 0 20 0 43 0 174212875 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146062294408 140146479221012 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2072] ppid=2038 vsize=27546216 memory=5860704123725310038 CPUtime=0 cores=0-7
/proc/2041/task/2072/stat : 2072 (java) S 2038 2041 1392 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 43 0 174212875 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146061247536 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2073] ppid=2038 vsize=27546216 memory=48312 CPUtime=2494.72 cores=0-7
/proc/2041/task/2073/stat : 2073 (java) R 2038 2041 1392 0 -1 4202560 155843 0 0 0 249259 213 0 0 20 0 43 0 174212875 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146060188920 140146481265560 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2074] ppid=2038 vsize=27546216 memory=1292 CPUtime=2489.47 cores=0-7
/proc/2041/task/2074/stat : 2074 (java) R 2038 2041 1392 0 -1 4202560 111025 0 0 0 248758 189 0 0 20 0 43 0 174212876 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140146059135632 140146473994405 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2075] ppid=2038 vsize=27546216 memory=2428 CPUtime=0 cores=0-7
/proc/2041/task/2075/stat : 2075 (java) S 2038 2041 1392 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 43 0 174213269 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145990820784 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2076] ppid=2038 vsize=27546216 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/2041/task/2076/stat : 2076 (java) S 2038 2041 1392 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 43 0 174213269 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145989768624 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2077] ppid=2038 vsize=27546216 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/2041/task/2077/stat : 2077 (java) S 2038 2041 1392 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 43 0 174213269 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145988716208 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2086] ppid=2038 vsize=27546216 memory=16098173902915245 CPUtime=0 cores=0-7
/proc/2041/task/2086/stat : 2086 (java) S 2038 2041 1392 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 43 0 174213916 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145985529136 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2087] ppid=2038 vsize=27546216 memory=2200 CPUtime=0 cores=0-7
/proc/2041/task/2087/stat : 2087 (java) S 2038 2041 1392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 43 0 174213920 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145984476464 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2088] ppid=2038 vsize=27546216 memory=7528 CPUtime=0 cores=0-7
/proc/2041/task/2088/stat : 2088 (java) S 2038 2041 1392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 43 0 174213922 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145983423408 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2089] ppid=2038 vsize=27546216 memory=840 CPUtime=0 cores=0-7
/proc/2041/task/2089/stat : 2089 (java) S 2038 2041 1392 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 43 0 174213923 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145982370992 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2090] ppid=2038 vsize=27546216 memory=1399051139730258233 CPUtime=0 cores=0-7
/proc/2041/task/2090/stat : 2090 (java) S 2038 2041 1392 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 43 0 174213927 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145981317936 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2091] ppid=2038 vsize=27546216 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2041/task/2091/stat : 2091 (java) S 2038 2041 1392 0 -1 1077944384 500 0 0 0 0 0 0 0 20 0 43 0 174213929 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145980265392 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2092] ppid=2038 vsize=27546216 memory=2200 CPUtime=0 cores=0-7
/proc/2041/task/2092/stat : 2092 (java) S 2038 2041 1392 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 43 0 174213931 28207325184 2099829 33554432000 4194304 4196468 140735272887904 140145979213360 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
Current children cumulated CPU time: 20022.9 s
Current children cumulated vsize: 27546216 KiB
Current children cumulated memory: 8399316 KiB

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

[startup+2520.18 s]
# the end of solver process 2041 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20002.1 s, system=21.864 s

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

[startup+2520.14 s]
/proc/loadavg: 9.08 8.91 8.84 10/222 2148
/proc/meminfo: memFree=9212596/32770624 swapFree=67108860/67108860
[pid=2041] ppid=2038 vsize=27679344 memory=8399548 CPUtime=20023.9 cores=0-7
/proc/2041/stat : 2041 (java) S 2038 2041 1392 0 -1 1077944320 1920137 0 0 0 2000207 2182 0 0 20 0 43 0 174212042 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140735272870448 140146833338103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
/proc/2041/statm: 6919836 2099887 3878 1 0 6907029 0
[pid=2041/tid=2043] ppid=2038 vsize=27679344 memory=8400344 CPUtime=8.01 cores=0-7
/proc/2041/task/2043/stat : 2043 (java) S 2038 2041 1392 0 -1 1077944384 16320 0 0 0 765 36 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146837575808 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2044] ppid=2038 vsize=27679344 memory=280740136290576 CPUtime=9.88 cores=0-7
/proc/2041/task/2044/stat : 2044 (java) S 2038 2041 1392 0 -1 1077944384 98008 0 0 0 909 79 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146391776272 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2045] ppid=2038 vsize=27679344 memory=4639948313719891052 CPUtime=9.93 cores=0-7
/proc/2041/task/2045/stat : 2045 (java) S 2038 2041 1392 0 -1 1077944384 95699 0 0 0 916 77 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146390723728 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2046] ppid=2038 vsize=27679344 memory=0 CPUtime=9.84 cores=0-7
/proc/2041/task/2046/stat : 2046 (java) S 2038 2041 1392 0 -1 1077944384 88203 0 0 0 911 73 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146389670672 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2047] ppid=2038 vsize=27679344 memory=0 CPUtime=9.91 cores=0-7
/proc/2041/task/2047/stat : 2047 (java) S 2038 2041 1392 0 -1 1077944384 94690 0 0 0 911 80 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146388618128 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2048] ppid=2038 vsize=27679344 memory=0 CPUtime=9.89 cores=0-7
/proc/2041/task/2048/stat : 2048 (java) S 2038 2041 1392 0 -1 1077944384 93532 0 0 0 909 80 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146387565072 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2049] ppid=2038 vsize=27679344 memory=0 CPUtime=9.79 cores=0-7
/proc/2041/task/2049/stat : 2049 (java) S 2038 2041 1392 0 -1 1077944384 96206 0 0 0 906 73 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146386512528 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2050] ppid=2038 vsize=27679344 memory=-6800859132029471843 CPUtime=9.91 cores=0-7
/proc/2041/task/2050/stat : 2050 (java) S 2038 2041 1392 0 -1 1077944384 92933 0 0 0 915 76 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146385459472 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2051] ppid=2038 vsize=27679344 memory=8547710663883855229 CPUtime=9.94 cores=0-7
/proc/2041/task/2051/stat : 2051 (java) S 2038 2041 1392 0 -1 1077944384 128715 0 0 0 913 81 0 0 20 0 43 0 174212043 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146384406928 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2052] ppid=2038 vsize=27679344 memory=8398296 CPUtime=1.38 cores=0-7
/proc/2041/task/2052/stat : 2052 (java) R 2038 2041 1392 0 -1 4202560 73872 0 0 0 111 27 0 0 20 0 43 0 174212045 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146095733488 140146826055255 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2053] ppid=2038 vsize=27679344 memory=2200 CPUtime=0 cores=0-7
/proc/2041/task/2053/stat : 2053 (java) S 2038 2041 1392 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 43 0 174212045 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146094679776 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2054] ppid=2038 vsize=27679344 memory=8398296 CPUtime=0 cores=0-7
/proc/2041/task/2054/stat : 2054 (java) S 2038 2041 1392 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 43 0 174212046 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146093626624 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2055] ppid=2038 vsize=27679344 memory=8399320 CPUtime=0 cores=0-7
/proc/2041/task/2055/stat : 2055 (java) S 2038 2041 1392 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 43 0 174212048 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146092574832 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2056] ppid=2038 vsize=27679344 memory=4126316290023845779 CPUtime=2.63 cores=0-7
/proc/2041/task/2056/stat : 2056 (java) S 2038 2041 1392 0 -1 1077944384 9797 0 0 0 261 2 0 0 20 0 43 0 174212048 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146091522288 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2057] ppid=2038 vsize=27679344 memory=1696 CPUtime=3.06 cores=0-7
/proc/2041/task/2057/stat : 2057 (java) S 2038 2041 1392 0 -1 1077944384 14477 0 0 0 301 5 0 0 20 0 43 0 174212048 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146090469744 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2058] ppid=2038 vsize=27679344 memory=920 CPUtime=2.74 cores=0-7
/proc/2041/task/2058/stat : 2058 (java) S 2038 2041 1392 0 -1 1077944384 13501 0 0 0 271 3 0 0 20 0 43 0 174212048 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146089405920 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2059] ppid=2038 vsize=27679344 memory=280740136383296 CPUtime=1.27 cores=0-7
/proc/2041/task/2059/stat : 2059 (java) S 2038 2041 1392 0 -1 1077944384 23715 0 0 0 122 5 0 0 20 0 43 0 174212048 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146088364144 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2060] ppid=2038 vsize=27679344 memory=280740134843816 CPUtime=0 cores=0-7
/proc/2041/task/2060/stat : 2060 (java) S 2038 2041 1392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 174212048 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146087312352 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2062] ppid=2038 vsize=27679344 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/2041/task/2062/stat : 2062 (java) S 2038 2041 1392 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 43 0 174212847 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146073871360 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2063] ppid=2038 vsize=27679344 memory=0 CPUtime=5.26 cores=0-7
/proc/2041/task/2063/stat : 2063 (java) S 2038 2041 1392 0 -1 1077944384 10225 0 0 0 234 292 0 0 20 0 43 0 174212858 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146072819104 140146833349250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2064] ppid=2038 vsize=27679344 memory=7811889830650140519 CPUtime=2494.38 cores=0-7
/proc/2041/task/2064/stat : 2064 (java) S 2038 2041 1392 0 -1 1077944384 129472 0 0 0 249258 180 0 0 20 0 43 0 174212867 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146069662928 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2065] ppid=2038 vsize=27679344 memory=164 CPUtime=1.85 cores=0-7
/proc/2041/task/2065/stat : 2065 (java) S 2038 2041 1392 0 -1 1077944384 377 0 0 0 178 7 0 0 20 0 43 0 174212868 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146068616368 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2066] ppid=2038 vsize=27679344 memory=280740135295792 CPUtime=2492.34 cores=0-7
/proc/2041/task/2066/stat : 2066 (java) S 2038 2041 1392 0 -1 1077944384 102237 0 0 0 249074 160 0 0 20 0 43 0 174212868 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146067556688 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2067] ppid=2038 vsize=27679344 memory=280740136303562 CPUtime=2487.84 cores=0-7
/proc/2041/task/2067/stat : 2067 (java) S 2038 2041 1392 0 -1 1077944384 103547 0 0 0 248625 159 0 0 20 0 43 0 174212874 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146066504576 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2068] ppid=2038 vsize=27679344 memory=956 CPUtime=2487.57 cores=0-7
/proc/2041/task/2068/stat : 2068 (java) S 2038 2041 1392 0 -1 1077944384 134856 0 0 0 248613 144 0 0 20 0 43 0 174212875 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146065452752 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2069] ppid=2038 vsize=27679344 memory=1696 CPUtime=2482.78 cores=0-7
/proc/2041/task/2069/stat : 2069 (java) S 2038 2041 1392 0 -1 1077944384 102377 0 0 0 248068 210 0 0 20 0 43 0 174212875 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146064399376 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2070] ppid=2038 vsize=27679344 memory=920 CPUtime=1.88 cores=0-7
/proc/2041/task/2070/stat : 2070 (java) S 2038 2041 1392 0 -1 1077944384 388 0 0 0 181 7 0 0 20 0 43 0 174212875 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146063353136 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2071] ppid=2038 vsize=27679344 memory=8400348 CPUtime=2486.02 cores=0-7
/proc/2041/task/2071/stat : 2071 (java) R 2038 2041 1392 0 -1 4202560 122105 0 0 0 248396 206 0 0 20 0 43 0 174212875 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146062294408 140146477550220 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2072] ppid=2038 vsize=27679344 memory=4140 CPUtime=0 cores=0-7
/proc/2041/task/2072/stat : 2072 (java) S 2038 2041 1392 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 43 0 174212875 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146061247536 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2073] ppid=2038 vsize=27679344 memory=48312 CPUtime=2494.84 cores=0-7
/proc/2041/task/2073/stat : 2073 (java) S 2038 2041 1392 0 -1 1077944384 155843 0 0 0 249271 213 0 0 20 0 43 0 174212875 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146060188992 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2074] ppid=2038 vsize=27679344 memory=1292 CPUtime=2489.59 cores=0-7
/proc/2041/task/2074/stat : 2074 (java) R 2038 2041 1392 0 -1 1077944384 111026 0 0 0 248770 189 0 0 20 0 43 0 174212876 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140146059135952 140146833348309 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2075] ppid=2038 vsize=27679344 memory=280740138440288 CPUtime=0 cores=0-7
/proc/2041/task/2075/stat : 2075 (java) S 2038 2041 1392 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 43 0 174213269 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145990820784 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2076] ppid=2038 vsize=27679344 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/2041/task/2076/stat : 2076 (java) S 2038 2041 1392 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 43 0 174213269 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145989768624 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2077] ppid=2038 vsize=27679344 memory=7380106142448641391 CPUtime=0 cores=0-7
/proc/2041/task/2077/stat : 2077 (java) S 2038 2041 1392 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 43 0 174213269 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145988716208 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2086] ppid=2038 vsize=27679344 memory=7444825561389879400 CPUtime=0 cores=0-7
/proc/2041/task/2086/stat : 2086 (java) S 2038 2041 1392 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 43 0 174213916 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145985529136 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2087] ppid=2038 vsize=27679344 memory=1399051139730258233 CPUtime=0 cores=0-7
/proc/2041/task/2087/stat : 2087 (java) S 2038 2041 1392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 43 0 174213920 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145984476464 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2088] ppid=2038 vsize=27679344 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2041/task/2088/stat : 2088 (java) S 2038 2041 1392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 43 0 174213922 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145983423408 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2089] ppid=2038 vsize=27679344 memory=1944 CPUtime=0 cores=0-7
/proc/2041/task/2089/stat : 2089 (java) S 2038 2041 1392 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 43 0 174213923 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145982370992 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2090] ppid=2038 vsize=27679344 memory=1700 CPUtime=0 cores=0-7
/proc/2041/task/2090/stat : 2090 (java) S 2038 2041 1392 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 43 0 174213927 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145981317936 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2091] ppid=2038 vsize=27679344 memory=1228 CPUtime=0 cores=0-7
/proc/2041/task/2091/stat : 2091 (java) S 2038 2041 1392 0 -1 1077944384 500 0 0 0 0 0 0 0 20 0 43 0 174213929 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145980265392 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
[pid=2041/tid=2092] ppid=2038 vsize=27679344 memory=5428 CPUtime=0 cores=0-7
/proc/2041/task/2092/stat : 2092 (java) S 2038 2041 1392 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 43 0 174213931 28343648256 2099887 33554432000 4194304 4196468 140735272887904 140145979213360 140146833348309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19230720 140735272891491 140735272891675 140735272891675 140735272894415 0
Current children cumulated CPU time: 20023.9 s
Current children cumulated vsize: 27679344 KiB
Current children cumulated memory: 8399548 KiB

Child status: 143
Real time (s): 2520.18
CPU time (s): 20023.9
CPU user time (s): 20002.1
CPU system time (s): 21.864
CPU usage (%): 794.544
Max. virtual memory (cumulated for all children) (KiB): 27679344
Max. memory (cumulated for all children) (KiB): 8553712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20002.1
system time used= 21.864
maximum resident set size= 8554740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1920183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 381629
involuntary context switches= 421381


# summary of solver processes directly reported to runsolver:
#   pid: 2041
#   total CPU time (s): 20023.9
#   total CPU user time (s): 20002.1
#   total CPU system time (s): 21.864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.9631 second user time and 35.9878 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 4285029

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