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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT (TO)	3723	244.799	240.033

0.25/0.37	c version: 2017-07-26
0.25/0.37	c seed: 379677387
0.25/0.37	c timeout: 264
0.25/0.37	c memlimit: 11000
0.25/0.37	c nbcore: 4
0.25/0.39	c Parsing instance...
3.32/1.46	c Parsing done, starting search...
3.66/1.58	o 3967
3.96/1.60	o 3954
3.96/1.65	o 3917
3.96/1.67	o 3855
3.96/1.68	o 3850
4.29/1.70	o 3838
4.29/1.71	o 3836
4.29/1.72	o 3811
4.29/1.75	o 3793
4.61/1.88	o 3788
4.88/1.91	o 3786
6.88/3.58	o 3778
8.51/5.10	o 3770
8.51/5.19	o 3763
10.82/7.32	o 3751
11.02/7.56	o 3745
11.02/7.58	o 3743
103.34/99.39	o 3737
145.52/141.35	o 3733
155.15/150.91	o 3727
216.27/211.77	o 3723
244.75/240.00	s SATISFIABLE
244.75/240.01	v <instantiation>
244.75/240.01	v 	<list>
244.75/240.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
244.75/240.01	v 	</list>
244.75/240.01	v 	<values>
244.75/240.01	v 		0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 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 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 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 0 19 100 7 11 99 66 100 89 23 36 30 97 31 68 100 18 37 2 100 100 7 51 77 61 41 36 53 23 71 45 79 67 45 90 17 76 49 81 100 100 44 65 39 89 95 77 100 83 100 81 77 54 98 55 11 79 67 98 100 
244.75/240.01	v 	</values>
244.75/240.01	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-4256364-1501631704/watcher-4256364-1501631704 -o /tmp/evaluation-result-4256364-1501631704/solver-4256364-1501631704 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501623088-15579 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 379677387 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256364-1501631704.xml 

pid=22444
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.64 1.67 1.68 3/195 22447
/proc/meminfo: memFree=31643044/32770624 swapFree=0/205476
[pid=22447] ppid=22444 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22447/stat : 22447 (runsolver) D 22444 22447 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11787380 24240128 108 18446744073709551615 4194304 4338465 140721691172592 140721691170232 139955395424983 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 35069952 140721691177063 140721691177542 140721691177542 140721691181002 0
/proc/22447/statm: 5918 108 54 36 0 2156 0

[startup+0.105244 s]
/proc/loadavg: 1.64 1.67 1.68 3/195 22447
/proc/meminfo: memFree=31643044/32770624 swapFree=0/205476
[pid=22447] ppid=22444 vsize=13368832 CPUtime=0.01 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 3629 0 0 0 1 0 0 0 20 0 6 0 11787380 13689683968 3791 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3342208 3791 1924 1 0 3331713 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13368832

[startup+0.200263 s]
/proc/loadavg: 1.64 1.67 1.68 3/195 22447
/proc/meminfo: memFree=31643044/32770624 swapFree=0/205476
[pid=22447] ppid=22444 vsize=13975920 CPUtime=0.08 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 6775 0 0 0 8 0 0 0 20 0 15 0 11787380 14311342080 7467 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3493980 7467 3344 1 0 3482767 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13975920

[startup+0.300281 s]
/proc/loadavg: 1.64 1.67 1.68 3/195 22447
/proc/meminfo: memFree=31643044/32770624 swapFree=0/205476
[pid=22447] ppid=22444 vsize=13976944 CPUtime=0.25 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 10332 0 0 0 23 2 0 0 20 0 15 0 11787380 14312390656 9901 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3494236 9901 3546 1 0 3483023 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13976944

[startup+0.701365 s]
/proc/loadavg: 1.64 1.67 1.68 3/195 22447
/proc/meminfo: memFree=31643044/32770624 swapFree=0/205476
[pid=22447] ppid=22444 vsize=13977988 CPUtime=1.14 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 14117 0 0 0 110 4 0 0 20 0 15 0 11787380 14313459712 18487 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3494497 18487 3726 1 0 3483279 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13977988

[startup+1.50924 s]
/proc/loadavg: 1.64 1.67 1.68 3/210 22462
/proc/meminfo: memFree=31528148/32770624 swapFree=0/205464
[pid=22447] ppid=22444 vsize=13982084 CPUtime=3.66 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 30035 0 0 0 357 9 0 0 20 0 15 0 11787380 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 48509 3760 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=1.37 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 15730 0 0 0 131 6 0 0 20 0 15 0 11787388 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094786938112 140094408997257 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11787389 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11787389 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11787389 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11787389 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 11787390 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094328169888 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094327117296 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22458] ppid=22444 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/22447/task/22458/stat : 22458 (java) R 22444 22447 5123 0 -1 4202560 4201 0 0 0 79 1 0 0 20 0 15 0 11787393 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094324998744 140094766718899 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22459] ppid=22444 vsize=13982084 CPUtime=0.79 cores=0,2,4,6
/proc/22447/task/22459/stat : 22459 (java) R 22444 22447 5123 0 -1 4202560 3491 0 0 0 79 0 0 0 20 0 15 0 11787393 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094323949712 140094768395030 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22460] ppid=22444 vsize=13982084 CPUtime=0.67 cores=0,2,4,6
/proc/22447/task/22460/stat : 22460 (java) S 22444 22447 5123 0 -1 1077944384 5213 0 0 0 66 1 0 0 20 0 15 0 11787393 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094322907376 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22461] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11787397 14317654016 48509 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13982084

[startup+3.10074 s]
/proc/loadavg: 1.64 1.67 1.68 3/210 22462
/proc/meminfo: memFree=31418576/32770624 swapFree=0/205464
[pid=22447] ppid=22444 vsize=13982084 CPUtime=6.48 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 33372 0 0 0 633 15 0 0 20 0 15 0 11787380 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 65749 3789 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=2.91 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 15958 0 0 0 285 6 0 0 20 0 15 0 11787388 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094786952008 140094410021503 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 93 0 0 0 3 1 0 0 20 0 15 0 11787389 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 302 0 0 0 2 1 0 0 20 0 15 0 11787389 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 203 0 0 0 3 1 0 0 20 0 15 0 11787389 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 15 0 11787389 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 514 0 0 0 0 0 0 0 20 0 15 0 11787390 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094328169952 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094327117312 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22458] ppid=22444 vsize=13982084 CPUtime=1.35 cores=0,2,4,6
/proc/22447/task/22458/stat : 22458 (java) S 22444 22447 5123 0 -1 1077944384 5126 0 0 0 134 1 0 0 20 0 15 0 11787393 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094325012464 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22459] ppid=22444 vsize=13982084 CPUtime=1.26 cores=0,2,4,6
/proc/22447/task/22459/stat : 22459 (java) S 22444 22447 5123 0 -1 1077944384 3738 0 0 0 126 0 0 0 20 0 15 0 11787393 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094323959920 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22460] ppid=22444 vsize=13982084 CPUtime=0.75 cores=0,2,4,6
/proc/22447/task/22460/stat : 22460 (java) S 22444 22447 5123 0 -1 1077944384 5912 0 0 0 74 1 0 0 20 0 15 0 11787393 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094322907376 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22461] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 11787397 14317654016 65749 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 13982084

[startup+6.30073 s]
/proc/loadavg: 1.59 1.66 1.67 3/210 22462
/proc/meminfo: memFree=31299516/32770624 swapFree=0/205472
[pid=22447] ppid=22444 vsize=13982084 CPUtime=9.82 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 33949 0 0 0 963 19 0 0 20 0 15 0 11787380 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 98099 3790 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=6.09 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 16194 0 0 0 601 8 0 0 20 0 15 0 11787388 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094786951832 140094402012634 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 113 0 0 0 4 1 0 0 20 0 15 0 11787389 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 316 0 0 0 3 1 0 0 20 0 15 0 11787389 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 216 0 0 0 4 1 0 0 20 0 15 0 11787389 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 117 0 0 0 3 1 0 0 20 0 15 0 11787389 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 642 0 0 0 0 0 0 0 20 0 15 0 11787390 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094328169952 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094327117312 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22458] ppid=22444 vsize=13982084 CPUtime=1.39 cores=0,2,4,6
/proc/22447/task/22458/stat : 22458 (java) S 22444 22447 5123 0 -1 1077944384 5166 0 0 0 138 1 0 0 20 0 15 0 11787393 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094325012464 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22459] ppid=22444 vsize=13982084 CPUtime=1.29 cores=0,2,4,6
/proc/22447/task/22459/stat : 22459 (java) S 22444 22447 5123 0 -1 1077944384 3745 0 0 0 129 0 0 0 20 0 15 0 11787393 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094323959920 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22460] ppid=22444 vsize=13982084 CPUtime=0.76 cores=0,2,4,6
/proc/22447/task/22460/stat : 22460 (java) S 22444 22447 5123 0 -1 1077944384 6004 0 0 0 75 1 0 0 20 0 15 0 11787393 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094322907376 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22461] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11787397 14317654016 98099 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.54 1.65 1.67 3/210 22462
/proc/meminfo: memFree=31197724/32770624 swapFree=0/205484
[pid=22447] ppid=22444 vsize=13982084 CPUtime=16.38 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 35719 0 0 0 1614 24 0 0 20 0 15 0 11787380 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 130919 3791 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=12.46 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 17335 0 0 0 1237 9 0 0 20 0 15 0 11787388 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094786949632 140094410113508 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 158 0 0 0 5 2 0 0 20 0 15 0 11787389 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 381 0 0 0 4 2 0 0 20 0 15 0 11787389 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 258 0 0 0 5 2 0 0 20 0 15 0 11787389 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 126 0 0 0 4 2 0 0 20 0 15 0 11787389 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 15 0 11787390 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094328169952 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094327117312 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 130919 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0

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

/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 169713 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 360 0 0 0 2 1 0 0 20 0 15 0 11787397 14317654016 169713 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 55.05
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.75 1.69 1.68 3/210 22464
/proc/meminfo: memFree=30982836/32770624 swapFree=0/205548
[pid=22447] ppid=22444 vsize=13982084 CPUtime=106.41 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 50228 0 0 0 10603 38 0 0 20 0 15 0 11787380 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 169882 3794 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=101.94 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 21524 0 0 0 10182 12 0 0 20 0 15 0 11787388 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094786952000 140094409975115 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0.18 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 1811 0 0 0 13 5 0 0 20 0 15 0 11787389 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0.16 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 1030 0 0 0 12 4 0 0 20 0 15 0 11787389 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0.18 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 2277 0 0 0 14 4 0 0 20 0 15 0 11787389 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0.16 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 1680 0 0 0 12 4 0 0 20 0 15 0 11787389 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 1837 0 0 0 2 1 0 0 20 0 15 0 11787390 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094328169952 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094327117312 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22458] ppid=22444 vsize=13982084 CPUtime=1.49 cores=0,2,4,6
/proc/22447/task/22458/stat : 22458 (java) S 22444 22447 5123 0 -1 1077944384 6619 0 0 0 148 1 0 0 20 0 15 0 11787393 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094325012464 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22459] ppid=22444 vsize=13982084 CPUtime=1.36 cores=0,2,4,6
/proc/22447/task/22459/stat : 22459 (java) S 22444 22447 5123 0 -1 1077944384 5056 0 0 0 136 0 0 0 20 0 15 0 11787393 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094323959920 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22460] ppid=22444 vsize=13982084 CPUtime=0.76 cores=0,2,4,6
/proc/22447/task/22460/stat : 22460 (java) S 22444 22447 5123 0 -1 1077944384 6588 0 0 0 75 1 0 0 20 0 15 0 11787393 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094322907376 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22461] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 391 0 0 0 2 3 0 0 20 0 15 0 11787397 14317654016 169882 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 106.41
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.58 1.65 1.67 3/210 22466
/proc/meminfo: memFree=30978992/32770624 swapFree=0/205588
[pid=22447] ppid=22444 vsize=13982084 CPUtime=166.61 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 53266 0 0 0 16615 46 0 0 20 0 15 0 11787380 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 170028 3794 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=161.83 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 22271 0 0 0 16171 12 0 0 20 0 15 0 11787388 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094786952000 140094410094472 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0.23 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 1922 0 0 0 17 6 0 0 20 0 15 0 11787389 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0.23 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 1119 0 0 0 17 6 0 0 20 0 15 0 11787389 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0.24 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 2995 0 0 0 18 6 0 0 20 0 15 0 11787389 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0.22 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 1752 0 0 0 16 6 0 0 20 0 15 0 11787389 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 2076 0 0 0 5 1 0 0 20 0 15 0 11787390 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094328169952 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094327117312 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22458] ppid=22444 vsize=13982084 CPUtime=1.49 cores=0,2,4,6
/proc/22447/task/22458/stat : 22458 (java) S 22444 22447 5123 0 -1 1077944384 6621 0 0 0 148 1 0 0 20 0 15 0 11787393 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094325012464 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22459] ppid=22444 vsize=13982084 CPUtime=1.36 cores=0,2,4,6
/proc/22447/task/22459/stat : 22459 (java) S 22444 22447 5123 0 -1 1077944384 5284 0 0 0 136 0 0 0 20 0 15 0 11787393 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094323959920 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22460] ppid=22444 vsize=13982084 CPUtime=0.77 cores=0,2,4,6
/proc/22447/task/22460/stat : 22460 (java) S 22444 22447 5123 0 -1 1077944384 7392 0 0 0 76 1 0 0 20 0 15 0 11787393 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094322907376 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22461] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 419 0 0 0 4 4 0 0 20 0 15 0 11787397 14317654016 170028 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 166.61
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.48 1.61 1.66 3/209 22544
/proc/meminfo: memFree=30000164/32770624 swapFree=0/205684
[pid=22447] ppid=22444 vsize=13982084 CPUtime=226.93 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 55219 0 0 0 22644 49 0 0 20 0 15 0 11787380 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 170425 3794 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=221.63 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 23012 0 0 0 22151 12 0 0 20 0 15 0 11787388 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094786952000 140094409433305 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0.34 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 2006 0 0 0 27 7 0 0 20 0 15 0 11787389 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0.34 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 1697 0 0 0 27 7 0 0 20 0 15 0 11787389 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 3187 0 0 0 28 7 0 0 20 0 15 0 11787389 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0.33 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 1851 0 0 0 26 7 0 0 20 0 15 0 11787389 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 2323 0 0 0 11 1 0 0 20 0 15 0 11787390 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094328169952 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094327117312 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22458] ppid=22444 vsize=13982084 CPUtime=1.49 cores=0,2,4,6
/proc/22447/task/22458/stat : 22458 (java) S 22444 22447 5123 0 -1 1077944384 6623 0 0 0 148 1 0 0 20 0 15 0 11787393 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094325012464 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22459] ppid=22444 vsize=13982084 CPUtime=1.36 cores=0,2,4,6
/proc/22447/task/22459/stat : 22459 (java) S 22444 22447 5123 0 -1 1077944384 5286 0 0 0 136 0 0 0 20 0 15 0 11787393 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094323959920 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22460] ppid=22444 vsize=13982084 CPUtime=0.77 cores=0,2,4,6
/proc/22447/task/22460/stat : 22460 (java) S 22444 22447 5123 0 -1 1077944384 7394 0 0 0 76 1 0 0 20 0 15 0 11787393 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094322907376 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22461] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 425 0 0 0 5 6 0 0 20 0 15 0 11787397 14317654016 170425 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 226.93
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.51 1.61 1.66 3/208 22546
/proc/meminfo: memFree=30039144/32770624 swapFree=0/205708
[pid=22447] ppid=22444 vsize=13982084 CPUtime=244.75 cores=0,2,4,6
/proc/22447/stat : 22447 (java) S 22444 22447 5123 0 -1 1077944320 55343 0 0 0 24424 51 0 0 20 0 15 0 11787380 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140737224488016 140094782713591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
/proc/22447/statm: 3495521 170469 3794 1 0 3484303 0
[pid=22447/tid=22449] ppid=22444 vsize=13982084 CPUtime=239.25 cores=0,2,4,6
/proc/22447/task/22449/stat : 22449 (java) R 22444 22447 5123 0 -1 4202560 23067 0 0 0 23913 12 0 0 20 0 15 0 11787388 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094786952112 140094409975145 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22450] ppid=22444 vsize=13982084 CPUtime=0.38 cores=0,2,4,6
/proc/22447/task/22450/stat : 22450 (java) S 22444 22447 5123 0 -1 1077944384 2019 0 0 0 31 7 0 0 20 0 15 0 11787389 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094724659472 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22451] ppid=22444 vsize=13982084 CPUtime=0.37 cores=0,2,4,6
/proc/22447/task/22451/stat : 22451 (java) S 22444 22447 5123 0 -1 1077944384 1723 0 0 0 30 7 0 0 20 0 15 0 11787389 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094723606928 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22452] ppid=22444 vsize=13982084 CPUtime=0.38 cores=0,2,4,6
/proc/22447/task/22452/stat : 22452 (java) S 22444 22447 5123 0 -1 1077944384 3196 0 0 0 31 7 0 0 20 0 15 0 11787389 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094722554384 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22453] ppid=22444 vsize=13982084 CPUtime=0.36 cores=0,2,4,6
/proc/22447/task/22453/stat : 22453 (java) S 22444 22447 5123 0 -1 1077944384 1871 0 0 0 29 7 0 0 20 0 15 0 11787389 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094721501840 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22454] ppid=22444 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/22447/task/22454/stat : 22454 (java) S 22444 22447 5123 0 -1 1077944384 2324 0 0 0 13 2 0 0 20 0 15 0 11787390 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094329223664 140094782724738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22455] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22455/stat : 22455 (java) S 22444 22447 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094328169952 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22456] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22456/stat : 22456 (java) S 22444 22447 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11787391 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094327117312 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22457] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22457/stat : 22457 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094326065872 140094782732187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22458] ppid=22444 vsize=13982084 CPUtime=1.49 cores=0,2,4,6
/proc/22447/task/22458/stat : 22458 (java) S 22444 22447 5123 0 -1 1077944384 6623 0 0 0 148 1 0 0 20 0 15 0 11787393 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094325012464 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22459] ppid=22444 vsize=13982084 CPUtime=1.36 cores=0,2,4,6
/proc/22447/task/22459/stat : 22459 (java) S 22444 22447 5123 0 -1 1077944384 5286 0 0 0 136 0 0 0 20 0 15 0 11787393 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094323959920 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22460] ppid=22444 vsize=13982084 CPUtime=0.77 cores=0,2,4,6
/proc/22447/task/22460/stat : 22460 (java) S 22444 22447 5123 0 -1 1077944384 7394 0 0 0 76 1 0 0 20 0 15 0 11787393 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094322907376 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22461] ppid=22444 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22447/task/22461/stat : 22461 (java) S 22444 22447 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11787393 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094321855072 140094782723797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
[pid=22447/tid=22462] ppid=22444 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/22447/task/22462/stat : 22462 (java) S 22444 22447 5123 0 -1 1077944384 425 0 0 0 6 7 0 0 20 0 15 0 11787397 14317654016 170469 18446744073709551615 4194304 4196468 140737224505472 140094320802608 140094782724738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140737224511890 140737224512075 140737224512075 140737224515535 0
Current children cumulated CPU time (s) 244.75
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 22447 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.033
CPU time (s): 244.799
CPU user time (s): 244.28
CPU system time (s): 0.519519
CPU usage (%): 101.986
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.279
system time used= 0.519519
maximum resident set size= 699000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56982
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= 11471
involuntary context switches= 457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43774 second user time and 1.08627 second system time

The end

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

Trace number 4256364

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