2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	2733	250.429	240.05299

0.30/0.34	c version: 2017-07-26
0.30/0.34	c seed: 1412316073
0.30/0.34	c timeout: 264
0.30/0.34	c memlimit: 11000
0.30/0.34	c nbcore: 4
0.30/0.37	c Parsing instance...
3.46/1.46	c Parsing done, starting first complete search...
3.78/1.57	o 2936
3.78/1.96	o 2931
3.78/1.96	o 2905
3.78/1.96	o 2884
3.78/1.96	o 2877
3.78/1.96	o 2864
3.78/1.96	o 2858
3.78/1.96	o 2857
3.78/1.96	o 2853
3.78/1.96	o 2834
3.78/1.96	o 2806
3.78/1.96	o 2790
3.78/1.96	o 2787
3.78/1.96	o 2772
3.78/1.96	o 2747
3.78/2.05	o 2733
7.69/3.76	c First complete search done, starting ALNS search...
193.00/184.26	c ALNS done, starting second complete search
250.31/240.02	s SATISFIABLE
250.31/240.02	v <instantiation>
250.31/240.02	v 	<list>
250.31/240.02	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[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] 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[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] 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[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] 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[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] 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[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] 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[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] 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[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] 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[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] 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[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] 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[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] 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[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] 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[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] 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[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] 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[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] 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[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] 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[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] 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[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] 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[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] 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[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] 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[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] 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[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] 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[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] 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[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] 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[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] 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[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] 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[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] 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[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] 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[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] 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[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] 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[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] 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[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] 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[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] 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[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] 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[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] 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[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] 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[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] 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[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] 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[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] 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[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] 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[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] 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[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] 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[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] 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[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] 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[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] 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[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] 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] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60]
250.31/240.02	v 	</list>
250.31/240.02	v 	<values>
250.31/240.02	v 		0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 23 88 100 6 100 100 100 45 91 80 100 64 39 66 57 69 61 100 97 46 39 85 26 88 32 23 57 79 43 100 23 45 5 57 53 41 79 100 45 62 73 90 38 55 28 21 29 100 59 52 81 68 29 51 56 32 76 78 71 100 
250.31/240.02	v 	</values>
250.31/240.02	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256862-1501629037/watcher-4256862-1501629037 -o /tmp/evaluation-result-4256862-1501629037/solver-4256862-1501629037 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501623096-17792 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1412316073 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256862-1501629037.xml 

pid=22153
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.63 1.66 1.63 2/198 22156
/proc/meminfo: memFree=31585168/32770624 swapFree=0/183448
[pid=22156] ppid=22153 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22156/stat : 22156 (runsolver) D 22153 22156 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4814281 24240128 106 18446744073709551615 4194304 4338465 140720438990640 140720438988280 140246722536151 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 28397568 140720438993003 140720438993479 140720438993479 140720438996938 0
/proc/22156/statm: 5918 106 53 36 0 2156 0

[startup+0.10115 s]
/proc/loadavg: 1.63 1.66 1.63 2/198 22156
/proc/meminfo: memFree=31585168/32770624 swapFree=0/183448
[pid=22156] ppid=22153 vsize=13573664 CPUtime=0.04 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 3995 0 0 0 3 1 0 0 20 0 9 0 4814281 13899431936 4562 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3393416 4562 2103 1 0 3382921 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13573664

[startup+0.201399 s]
/proc/loadavg: 1.63 1.66 1.63 2/198 22156
/proc/meminfo: memFree=31585168/32770624 swapFree=0/183448
[pid=22156] ppid=22153 vsize=13975920 CPUtime=0.13 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 9182 0 0 0 11 2 0 0 20 0 15 0 4814281 14311342080 8710 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3493980 8710 3373 1 0 3482767 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13975920

[startup+0.301213 s]
/proc/loadavg: 1.63 1.66 1.63 2/198 22156
/proc/meminfo: memFree=31585168/32770624 swapFree=0/183448
[pid=22156] ppid=22153 vsize=13975920 CPUtime=0.3 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 10722 0 0 0 27 3 0 0 20 0 15 0 4814281 14311342080 11015 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3493980 11015 3581 1 0 3482767 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13975920

[startup+0.700215 s]
/proc/loadavg: 1.63 1.66 1.63 2/198 22156
/proc/meminfo: memFree=31585168/32770624 swapFree=0/183448
[pid=22156] ppid=22153 vsize=13977988 CPUtime=1.23 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 14220 0 0 0 119 4 0 0 20 0 15 0 4814281 14313459712 20065 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3494497 20065 3731 1 0 3483279 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 13977988

[startup+1.50121 s]
/proc/loadavg: 1.63 1.66 1.63 4/213 22171
/proc/meminfo: memFree=31466632/32770624 swapFree=0/183172
[pid=22156] ppid=22153 vsize=13982084 CPUtime=3.78 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 27806 0 0 0 368 10 0 0 20 0 15 0 4814281 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 50011 3764 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=1.39 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 14397 0 0 0 132 7 0 0 20 0 15 0 4814287 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140689030370352 140688650030336 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4814287 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4814287 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4814287 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4814287 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688571012640 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688569959792 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22167] ppid=22153 vsize=13982084 CPUtime=0.86 cores=0,2,4,6
/proc/22156/task/22167/stat : 22167 (java) R 22153 22156 3187 0 -1 4202560 3839 0 0 0 86 0 0 0 20 0 15 0 4814292 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688567842912 140689010543104 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22168] ppid=22153 vsize=13982084 CPUtime=0.81 cores=0,2,4,6
/proc/22156/task/22168/stat : 22168 (java) R 22153 22156 3187 0 -1 4202560 3754 0 0 0 80 1 0 0 20 0 15 0 4814292 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688004199480 140689010543104 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22169] ppid=22153 vsize=13982084 CPUtime=0.67 cores=0,2,4,6
/proc/22156/task/22169/stat : 22169 (java) R 22153 22156 3187 0 -1 4202560 4428 0 0 0 67 0 0 0 20 0 15 0 4814292 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688003160176 140689006494785 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22170] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814295 14317654016 50011 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13982084

[startup+3.10414 s]
/proc/loadavg: 1.98 1.73 1.65 6/213 22171
/proc/meminfo: memFree=31331092/32770624 swapFree=0/183180
[pid=22156] ppid=22153 vsize=13982084 CPUtime=7 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 33791 0 0 0 683 17 0 0 20 0 15 0 4814281 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 66273 3793 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=2.93 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 14800 0 0 0 286 7 0 0 20 0 15 0 4814287 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140689030384112 140689009524987 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 397 0 0 0 3 1 0 0 20 0 15 0 4814287 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 15 0 4814287 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 15 0 4814287 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 1073 0 0 0 3 1 0 0 20 0 15 0 4814287 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688571012640 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688569959808 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22167] ppid=22153 vsize=13982084 CPUtime=1.64 cores=0,2,4,6
/proc/22156/task/22167/stat : 22167 (java) S 22153 22156 3187 0 -1 1077944384 5386 0 0 0 163 1 0 0 20 0 15 0 4814292 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688567855472 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22168] ppid=22153 vsize=13982084 CPUtime=1.43 cores=0,2,4,6
/proc/22156/task/22168/stat : 22168 (java) S 22153 22156 3187 0 -1 1077944384 5349 0 0 0 142 1 0 0 20 0 15 0 4814292 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688004212976 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22169] ppid=22153 vsize=13982084 CPUtime=0.77 cores=0,2,4,6
/proc/22156/task/22169/stat : 22169 (java) S 22153 22156 3187 0 -1 1077944384 4953 0 0 0 77 0 0 0 20 0 15 0 4814292 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688003160176 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22170] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 4814295 14317654016 66273 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 13982084

[startup+6.30073 s]
/proc/loadavg: 1.98 1.73 1.65 3/213 22171
/proc/meminfo: memFree=31243108/32770624 swapFree=0/183184
[pid=22156] ppid=22153 vsize=13982084 CPUtime=11.22 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 36099 0 0 0 1095 27 0 0 20 0 15 0 4814281 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 108579 3795 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=6.07 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 15992 0 0 0 598 9 0 0 20 0 15 0 4814287 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140689030383056 140688659840464 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 437 0 0 0 7 3 0 0 20 0 15 0 4814287 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 15 0 4814287 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 107 0 0 0 6 3 0 0 20 0 15 0 4814287 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 1123 0 0 0 7 3 0 0 20 0 15 0 4814287 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 15 0 4814289 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688571012704 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688569959808 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22167] ppid=22153 vsize=13982084 CPUtime=1.95 cores=0,2,4,6
/proc/22156/task/22167/stat : 22167 (java) S 22153 22156 3187 0 -1 1077944384 5595 0 0 0 194 1 0 0 20 0 15 0 4814292 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688567855472 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22168] ppid=22153 vsize=13982084 CPUtime=1.87 cores=0,2,4,6
/proc/22156/task/22168/stat : 22168 (java) S 22153 22156 3187 0 -1 1077944384 5691 0 0 0 185 2 0 0 20 0 15 0 4814292 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688004212976 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22169] ppid=22153 vsize=13982084 CPUtime=0.86 cores=0,2,4,6
/proc/22156/task/22169/stat : 22169 (java) S 22153 22156 3187 0 -1 1077944384 5164 0 0 0 86 0 0 0 20 0 15 0 4814292 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688003160176 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22170] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 4814295 14317654016 108579 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 11.22
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.98 1.74 1.66 3/213 22171
/proc/meminfo: memFree=31130044/32770624 swapFree=0/183192
[pid=22156] ppid=22153 vsize=13982084 CPUtime=18.02 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 37675 0 0 0 1775 27 0 0 20 0 15 0 4814281 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 108780 3799 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=12.47 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 16592 0 0 0 1238 9 0 0 20 0 15 0 4814287 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140689030380752 140688659538322 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 437 0 0 0 7 3 0 0 20 0 15 0 4814287 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 15 0 4814287 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 107 0 0 0 6 3 0 0 20 0 15 0 4814287 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 1123 0 0 0 7 3 0 0 20 0 15 0 4814287 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 4814289 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688571012704 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688569959808 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 108780 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0

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

/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 177791 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 172 0 0 0 0 1 0 0 20 0 15 0 4814295 14317654016 177791 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 56.99
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.73 1.72 1.66 3/213 22175
/proc/meminfo: memFree=30167496/32770624 swapFree=0/183268
[pid=22156] ppid=22153 vsize=13982084 CPUtime=108.73 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 61926 0 0 0 10817 56 0 0 20 0 15 0 4814281 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 189186 3800 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=101.9 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 22843 0 0 0 10176 14 0 0 20 0 15 0 4814287 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140689030383672 140688660679594 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=0.26 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 624 0 0 0 18 8 0 0 20 0 15 0 4814287 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=0.26 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 1962 0 0 0 18 8 0 0 20 0 15 0 4814287 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=0.25 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 752 0 0 0 17 8 0 0 20 0 15 0 4814287 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=0.25 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 3728 0 0 0 18 7 0 0 20 0 15 0 4814287 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 1300 0 0 0 2 0 0 0 20 0 15 0 4814289 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688571012704 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688569959808 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22167] ppid=22153 vsize=13982084 CPUtime=2.41 cores=0,2,4,6
/proc/22156/task/22167/stat : 22167 (java) S 22153 22156 3187 0 -1 1077944384 8877 0 0 0 240 1 0 0 20 0 15 0 4814292 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688567855472 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22168] ppid=22153 vsize=13982084 CPUtime=2.22 cores=0,2,4,6
/proc/22156/task/22168/stat : 22168 (java) S 22153 22156 3187 0 -1 1077944384 9690 0 0 0 220 2 0 0 20 0 15 0 4814292 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688004212976 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22169] ppid=22153 vsize=13982084 CPUtime=1.02 cores=0,2,4,6
/proc/22156/task/22169/stat : 22169 (java) S 22153 22156 3187 0 -1 1077944384 10537 0 0 0 101 1 0 0 20 0 15 0 4814292 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688003160176 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22170] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 206 0 0 0 1 2 0 0 20 0 15 0 4814295 14317654016 189186 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 108.73
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.52 1.66 1.64 3/213 22177
/proc/meminfo: memFree=29119612/32770624 swapFree=0/183300
[pid=22156] ppid=22153 vsize=13982084 CPUtime=170.49 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 70311 0 0 0 16939 110 0 0 20 0 15 0 4814281 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 426441 3800 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=161.32 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 26966 0 0 0 16105 27 0 0 20 0 15 0 4814287 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140689030383760 140688659451833 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 827 0 0 0 63 17 0 0 20 0 15 0 4814287 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 2181 0 0 0 62 18 0 0 20 0 15 0 4814287 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=0.78 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 1504 0 0 0 60 18 0 0 20 0 15 0 4814287 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 4015 0 0 0 63 17 0 0 20 0 15 0 4814287 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 2221 0 0 0 4 1 0 0 20 0 15 0 4814289 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688571012704 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688569959808 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22167] ppid=22153 vsize=13982084 CPUtime=2.45 cores=0,2,4,6
/proc/22156/task/22167/stat : 22167 (java) S 22153 22156 3187 0 -1 1077944384 9444 0 0 0 244 1 0 0 20 0 15 0 4814292 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688567855472 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22168] ppid=22153 vsize=13982084 CPUtime=2.29 cores=0,2,4,6
/proc/22156/task/22168/stat : 22168 (java) S 22153 22156 3187 0 -1 1077944384 10473 0 0 0 227 2 0 0 20 0 15 0 4814292 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688004212976 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22169] ppid=22153 vsize=13982084 CPUtime=1.02 cores=0,2,4,6
/proc/22156/task/22169/stat : 22169 (java) S 22153 22156 3187 0 -1 1077944384 11031 0 0 0 101 1 0 0 20 0 15 0 4814292 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688003160176 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22170] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 242 0 0 0 3 4 0 0 20 0 15 0 4814295 14317654016 426441 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 170.49
Current children cumulated vsize (KiB) 13982084

[startup+222.301 s]
/proc/loadavg: 1.32 1.58 1.62 3/214 22186
/proc/meminfo: memFree=29048188/32770624 swapFree=0/183344
[pid=22156] ppid=22153 vsize=13982084 CPUtime=232.12 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 80037 0 0 0 23081 131 0 0 20 0 15 0 4814281 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 437623 3800 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=220.81 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 30040 0 0 0 22054 27 0 0 20 0 15 0 4814287 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140689030384144 140688654315294 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=1.26 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 1420 0 0 0 104 22 0 0 20 0 15 0 4814287 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=1.26 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 2417 0 0 0 103 23 0 0 20 0 15 0 4814287 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=1.25 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 1671 0 0 0 102 23 0 0 20 0 15 0 4814287 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=1.26 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 4163 0 0 0 104 22 0 0 20 0 15 0 4814287 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 2446 0 0 0 6 1 0 0 20 0 15 0 4814289 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688571012704 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688569959808 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22167] ppid=22153 vsize=13982084 CPUtime=2.58 cores=0,2,4,6
/proc/22156/task/22167/stat : 22167 (java) S 22153 22156 3187 0 -1 1077944384 11149 0 0 0 256 2 0 0 20 0 15 0 4814292 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688567855472 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22168] ppid=22153 vsize=13982084 CPUtime=2.38 cores=0,2,4,6
/proc/22156/task/22168/stat : 22168 (java) S 22153 22156 3187 0 -1 1077944384 12717 0 0 0 236 2 0 0 20 0 15 0 4814292 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688004212976 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22169] ppid=22153 vsize=13982084 CPUtime=1.04 cores=0,2,4,6
/proc/22156/task/22169/stat : 22169 (java) S 22153 22156 3187 0 -1 1077944384 12305 0 0 0 103 1 0 0 20 0 15 0 4814292 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688003160176 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22170] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 279 0 0 0 5 6 0 0 20 0 15 0 4814295 14317654016 437623 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 232.12
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.36 1.58 1.62 5/213 22263
/proc/meminfo: memFree=29952652/32770624 swapFree=0/183352
[pid=22156] ppid=22153 vsize=13982084 CPUtime=250.31 cores=0,2,4,6
/proc/22156/stat : 22156 (java) S 22153 22156 3187 0 -1 1077944320 81126 0 0 0 24892 139 0 0 20 0 15 0 4814281 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140734194565216 140689026146039 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
/proc/22156/statm: 3495521 443900 3800 1 0 3484303 0
[pid=22156/tid=22158] ppid=22153 vsize=13982084 CPUtime=238.32 cores=0,2,4,6
/proc/22156/task/22158/stat : 22158 (java) R 22153 22156 3187 0 -1 4202560 30834 0 0 0 23805 27 0 0 20 0 15 0 4814287 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140689030384144 140688660679810 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22159] ppid=22153 vsize=13982084 CPUtime=1.43 cores=0,2,4,6
/proc/22156/task/22159/stat : 22159 (java) S 22153 22156 3187 0 -1 1077944384 1458 0 0 0 119 24 0 0 20 0 15 0 4814287 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688983112336 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22160] ppid=22153 vsize=13982084 CPUtime=1.43 cores=0,2,4,6
/proc/22156/task/22160/stat : 22160 (java) S 22153 22156 3187 0 -1 1077944384 2454 0 0 0 118 25 0 0 20 0 15 0 4814287 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688982059536 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22161] ppid=22153 vsize=13982084 CPUtime=1.41 cores=0,2,4,6
/proc/22156/task/22161/stat : 22161 (java) S 22153 22156 3187 0 -1 1077944384 1716 0 0 0 116 25 0 0 20 0 15 0 4814287 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688981006736 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22162] ppid=22153 vsize=13982084 CPUtime=1.42 cores=0,2,4,6
/proc/22156/task/22162/stat : 22162 (java) S 22153 22156 3187 0 -1 1077944384 4202 0 0 0 119 23 0 0 20 0 15 0 4814287 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688979953936 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22163] ppid=22153 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/22156/task/22163/stat : 22163 (java) S 22153 22156 3187 0 -1 1077944384 2447 0 0 0 7 2 0 0 20 0 15 0 4814289 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688572066672 140689026157186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22164] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22164/stat : 22164 (java) S 22153 22156 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688571012704 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22165] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22165/stat : 22165 (java) S 22153 22156 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4814289 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688569959808 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22166] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22166/stat : 22166 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688568908112 140689026164635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22167] ppid=22153 vsize=13982084 CPUtime=2.58 cores=0,2,4,6
/proc/22156/task/22167/stat : 22167 (java) S 22153 22156 3187 0 -1 1077944384 11214 0 0 0 256 2 0 0 20 0 15 0 4814292 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688567855472 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22168] ppid=22153 vsize=13982084 CPUtime=2.38 cores=0,2,4,6
/proc/22156/task/22168/stat : 22168 (java) S 22153 22156 3187 0 -1 1077944384 12787 0 0 0 236 2 0 0 20 0 15 0 4814292 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688004212976 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22169] ppid=22153 vsize=13982084 CPUtime=1.04 cores=0,2,4,6
/proc/22156/task/22169/stat : 22169 (java) S 22153 22156 3187 0 -1 1077944384 12305 0 0 0 103 1 0 0 20 0 15 0 4814292 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688003160176 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22170] ppid=22153 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22156/task/22170/stat : 22170 (java) S 22153 22156 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4814292 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688002107616 140689026156245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
[pid=22156/tid=22171] ppid=22153 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/22156/task/22171/stat : 22171 (java) S 22153 22156 3187 0 -1 1077944384 279 0 0 0 5 7 0 0 20 0 15 0 4814295 14317654016 443900 18446744073709551615 4194304 4196468 140734194582672 140688001055920 140689026157186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140734194586006 140734194586188 140734194586188 140734194589647 0
Current children cumulated CPU time (s) 250.31
Current children cumulated vsize (KiB) 13982084

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22156 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.053
CPU time (s): 250.429
CPU user time (s): 249.015
CPU system time (s): 1.41429
CPU usage (%): 104.322
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.015
system time used= 1.41429
maximum resident set size= 1780352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10862
involuntary context switches= 416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1354 second user time and 1.42561 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml
MD5SUM	4ab7546591ba88ff6acec2aa7538cbc2
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	1295
Best CPU time to get the best result obtained on this benchmark	251.894
Satisfiable
(Un)Satisfiability was proved
Number of variables	3782
Number of constraints	3720
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":61},{"size":2,"count":3660},{"size":101,"count":60}]
Minimum variable degree	0
Maximum variable degree	119
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":61},{"degree":2,"count":120},{"degree":4,"count":3540},{"degree":119,"count":60}]
Minimum constraint arity	1
Maximum constraint arity	60
Distribution of constraint arities	[{"arity":1,"count":60},{"arity":3,"count":3540},{"arity":60,"count":120}]
Number of extensional constraints	0
Number of intensional constraints	60
Distribution of constraint types	[{"type":"intension","count":60},{"type":"sum","count":3540},{"type":"count","count":120}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4256862

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