2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28	SAT (TO)	14115	2520.14	2481.04

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
3.64/1.99	o 14356
3.64/2.00	o 14340
3.64/2.00	o 14329
3.79/2.02	o 14302
3.79/2.02	o 14255
3.79/2.04	o 14220
5.74/3.62	o 14217
5.74/3.63	o 14182
5.94/3.89	o 14173
6.54/4.48	o 14172
11.01/8.70	o 14151
108.64/106.28	o 14148
141.28/138.89	o 14143
253.39/250.03	o 14137
1620.10/1594.51	o 14126
1653.47/1627.37	o 14121
1784.44/1755.98	o 14116
1851.70/1822.25	o 14115
2520.09/2481.01	s SATISFIABLE
2520.09/2481.01	v <instantiation>
2520.09/2481.01	v 	<list>
2520.09/2481.01	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48] 
2520.09/2481.02	v 	</list>
2520.09/2481.02	v 	<values>
2520.09/2481.02	v 		0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 41 42 47 46 43 44 40 39 48 45 5 2 1 1 5 6 0 2 1 0 5 2 2 6 0 1 0 5 0 0 2 0 2 0 2 5 2 3 0 0 2 5 2 5 3 0 5 0 5 5 0 1 5 3 5 0 2 0 1 1 0 10 0 5 5 3 5 1 0 5 2 5 1 0 1 0 0 0 5 0 0 0 0 0 5 5 10 2 0 5 5 0 10 5 2 0 2 10 0 5 1 1 2 1 5 0 5 2 0 0 0 0 1 10 2 5 10 0 1 1 1 2 3 2 10 1 1 2 5 3 0 10 10 0 0 0 3 0 1 5 0 6 2 2 1 3 0 0 5 0 0 2 0 0 3 4 0 1 5 5 2 5 5 10 2 5 2 2 3 0 10 1 3 2 0 2 0 0 0 6 0 2 0 4 2 0 2 0 1 1 1 2 5 1 0 0 5 1 5 1 6 1 0 2 0 5 10 5 0 2 0 3 2 2 2 1 5 5 5 4 0 5 3 10 0 2 2 4 2 5 3 0 5 0 1 2 2 2 0 0 5 0 1 10 3 2 1 0 2 1 0 2 1 2 0 1 1 5 10 0 2 0 1 0 10 1 5 10 0 5 10 2 5 0 10 5 0 5 5 5 5 1 0 0 6 2 5 2 2 2 1 0 4 5 4 0 0 0 0 2 2 4 1 0 5 6 0 10 10 1 1 5 0 0 1 10 3 5 0 1 0 5 5 1 6 0 4 2 1 2 0 5 5 2 5 0 0 5 2 10 2 5 0 0 0 0 5 5 5 2 1 0 2 1 10 5 10 0 4 5 10 0 5 2 1 0 10 0 10 10 5 10 0 0 2 0 4 2 5 5 10 0 2 2 0 3 3 1 1 1 10 5 4 5 5 2 2 0 1 1 5 3 5 0 1 0 0 3 2 5 10 1 5 1 1 0 2 3 2 1 3 1 5 2 4 0 2 5 3 10 10 1 5 2 0 0 5 3 0 0 2 10 1 0 2 5 0 6 3 5 0 5 5 2 0 6 4 0 10 2 1 2 5 4 0 0 4 2 1 5 0 4 5 1 5 2 0 1 2 5 10 2 0 0 2 2 2 3 2 0 0 0 2 2 0 1 2 1 1 10 1 5 0 0 2 0 5 0 1 4 2 5 2 2 5 5 0 10 0 2 5 3 3 0 0 5 2 0 0 0 1 0 1 3 2 2 0 5 0 2 0 5 5 1 0 1 5 5 0 6 0 1 5 5 0 0 0 0 1 6 2 2 0 0 2 2 2 5 5 0 1 0 2 5 2 2 2 1 5 5 1 4 5 1 5 0 2 10 0 0 5 5 2 4 2 5 2 1 4 2 5 2 0 0 5 2 0 5 2 5 0 3 0 5 0 5 0 0 4 0 2 2 0 0 0 0 2 0 0 10 5 5 0 2 5 1 0 1 5 5 6 0 10 1 6 0 0 5 5 5 2 0 2 5 1 5 2 0 0 1 0 1 5 0 0 5 0 2 2 1 5 0 10 0 2 2 10 0 3 3 0 5 2 2 10 0 3 0 1 0 0 10 0 5 0 1 0 4 0 2 5 2 1 0 0 10 0 5 0 2 2 10 0 5 0 5 5 6 0 3 5 6 6 2 5 1 5 0 1 0 2 10 0 5 0 1 5 5 5 0 0 6 2 0 0 5 0 0 0 0 1 5 0 2 1 2 2 10 10 5 2 5 0 10 4 2 0 0 0 0 5 10 0 5 4 2 2 0 0 5 4 1 5 0 2 5 4 5 10 0 5 0 0 6 1 2 0 5 3 2 1 0 0 6 2 0 0 0 2 2 0 0 5 0 0 5 5 5 2 0 1 5 5 0 0 2 0 1 1 4 5 0 10 5 1 0 0 2 10 1 3 0 10 1 10 0 1 0 0 2 2 0 4 10 0 2 1 0 0 0 2 0 10 0 1 1 5 10 2 2 5 0 10 2 2 2 1 0 5 0 1 2 3 2 2 0 10 0 10 5 5 1 0 1 3 0 5 0 0 0 5 0 2 3 1 5 2 5 0 5 0 2 5 5 2 0 5 0 5 10 2 0 5 0 1 5 5 2 2 2 1 10 0 2 2 2 2 0 3 5 0 2 2 10 2 4 5 3 0 0 5 5 5 5 2 0 0 5 2 5 1 4 2 0 6 5 5 1 1 0 0 0 2 0 2 10 2 0 0 0 5 5 0 2 5 5 0 1 3 2 1 5 10 1 3 10 5 5 10 10 2 0 3 0 0 2 1 3 0 3 1 2 0 0 1 2 5 2 5 0 0 5 0 0 2 0 4 5 0 5 5 10 0 10 0 5 5 1 6 0 2 0 0 0 0 0 5 2 2 0 1 1 1 10 2 1 2 0 0 0 5 5 1 1 10 1 0 2 1 6 0 5 0 5 1 0 2 0 4 2 5 0 2 2 3 5 0 10 0 0 2 10 5 4 5 0 0 0 10 4 0 10 0 1 0 5 2 2 0 2 4 10 0 0 0 10 2 0 1 0 5 5 5 3 5 5 10 0 0 0 3 0 2 2 5 5 2 0 0 0 2 0 0 5 0 2 10 1 0 2 5 1 0 5 0 2 5 3 0 2 1 2 5 10 0 1 5 10 0 2 2 0 1 2 1 1 10 0 0 0 0 2 1 5 4 2 
2520.09/2481.02	v 	</values>
2520.09/2481.02	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9029 MiB free)
  memory of node 1: 16384 MiB (11326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298917-1532783497/watcher-4298917-1532783497 -o /tmp/evaluation-result-4298917-1532783497/solver-4298917-1532783497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532776007-24588 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298917-1532783497.xml 

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

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

solver pid=25411, runsolver pid=25408

[startup+0.1001 s]*
/proc/loadavg: 1.33 1.31 1.37 4/216 25426
/proc/meminfo: memFree=20831064/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661052 memory=25904 CPUtime=0.13 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 5388 0 0 0 12 1 0 0 20 0 15 0 95912534 10916917248 6476 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665263 6476 2862 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661052 memory=-8413741653617186170 CPUtime=0.09 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 3203 0 0 0 9 0 0 0 20 0 15 0 95912535 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073949471872 140073945255318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661052 memory=139682874848896 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95912536 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661052 memory=139682874848896 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912537 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95912537 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073249129376 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95912538 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) S 25408 25411 24557 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073245972976 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) S 25408 25411 24557 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073043487344 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661052 memory=139682874848896 CPUtime=0.01 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) R 25408 25411 24557 0 -1 4202560 369 0 0 0 1 0 0 0 20 0 15 0 95912540 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073042434800 140073945257265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661052 memory=139682874848896 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 6476 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 25904 KiB

[startup+0.210469 s]*
/proc/loadavg: 1.33 1.31 1.37 4/216 25426
/proc/meminfo: memFree=20819372/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661052 memory=38952 CPUtime=0.34 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 8336 0 0 0 32 2 0 0 20 0 15 0 95912534 10916917248 9738 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665263 9738 2994 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 5185 0 0 0 19 1 0 0 20 0 15 0 95912535 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073949479712 140073581985839 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661052 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661052 memory=139682875388962 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95912536 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661052 memory=139682874848896 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912537 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95912537 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073249129376 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95912538 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) R 25408 25411 24557 0 -1 4202560 611 0 0 0 3 0 0 0 20 0 15 0 95912540 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073245964304 140073930122956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661052 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) R 25408 25411 24557 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 95912540 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073043487440 140073945253589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661052 memory=139682874848896 CPUtime=0.08 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) R 25408 25411 24557 0 -1 4202560 981 0 0 0 8 0 0 0 20 0 15 0 95912540 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073042432464 140073924161965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661052 memory=139682874848896 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95912540 10916917248 9738 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 38952 KiB

[startup+0.310451 s]*
/proc/loadavg: 1.33 1.31 1.37 4/216 25426
/proc/meminfo: memFree=20805060/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661128 memory=53196 CPUtime=0.65 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 10425 0 0 0 62 3 0 0 20 0 15 0 95912534 10916995072 13299 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665282 13299 3075 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 5515 0 0 0 28 2 0 0 20 0 15 0 95912535 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073949479664 140073927082661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661128 memory=4294979917 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661128 memory=139682875388972 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95912535 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95912536 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661128 memory=139682874848896 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073249129376 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95912538 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661128 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) R 25408 25411 24557 0 -1 4202560 1023 0 0 0 8 0 0 0 20 0 15 0 95912540 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073245972976 140073931258496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661128 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) R 25408 25411 24557 0 -1 1077944384 1028 0 0 0 9 0 0 0 20 0 15 0 95912540 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073043487344 140073945254530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661128 memory=139682874848896 CPUtime=0.15 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) R 25408 25411 24557 0 -1 4202560 1491 0 0 0 15 0 0 0 20 0 15 0 95912540 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073042434800 140073938340219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661128 memory=139682874848896 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 13299 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 53196 KiB

[startup+0.702122 s]
/proc/loadavg: 1.33 1.31 1.37 4/216 25426
/proc/meminfo: memFree=20784376/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661128 memory=198024 CPUtime=1.82 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 11880 0 0 0 176 6 0 0 20 0 15 0 95912534 10916995072 49506 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665282 49506 3117 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661128 memory=248852217099945 CPUtime=0.66 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) S 25408 25411 24557 0 -1 1077944384 5720 0 0 0 63 3 0 0 20 0 15 0 95912535 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073949481360 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661128 memory=4051047449723404320 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) R 25408 25411 24557 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 95912535 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073917086680 140073937871591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661128 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) R 25408 25411 24557 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 15 0 95912535 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073551364856 140073937871591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) R 25408 25411 24557 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 95912535 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073550314712 140073930270296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661128 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) R 25408 25411 24557 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 15 0 95912536 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073549262088 140073937871591 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073250181664 140073945253589 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661128 memory=-6583839696183762729 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073249129376 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95912538 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661128 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661128 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) R 25408 25411 24557 0 -1 4202560 1571 0 0 0 35 0 0 0 20 0 15 0 95912540 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073245959000 140073924500113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661128 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) S 25408 25411 24557 0 -1 1077944384 1252 0 0 0 38 0 0 0 20 0 15 0 95912540 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073043472336 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661128 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) S 25408 25411 24557 0 -1 1077944384 1895 0 0 0 34 0 0 0 20 0 15 0 95912540 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073042434800 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661128 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 49506 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 198024 KiB

[startup+1.50074 s]
/proc/loadavg: 1.33 1.31 1.37 3/216 25426
/proc/meminfo: memFree=20617996/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661128 memory=386436 CPUtime=3.18 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 13168 0 0 0 301 17 0 0 20 0 15 0 95912534 10916995072 96609 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665282 96609 3160 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661128 memory=12848 CPUtime=1.4 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 5838 0 0 0 136 4 0 0 20 0 15 0 95912535 10916995072 96609 33554432000 4194304 4196468 140724625636592 140073949480088 140073586462291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661128 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 176 0 0 0 2 2 0 0 20 0 15 0 95912535 10916995072 96609 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661128 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 215 0 0 0 3 2 0 0 20 0 15 0 95912535 10916995072 96609 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661128 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 201 0 0 0 3 2 0 0 20 0 15 0 95912535 10916995072 96609 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661128 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 114 0 0 0 2 2 0 0 20 0 15 0 95912536 10916995072 96609 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 96609 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0

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

/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 65806 0 0 0 229674 65 0 0 20 0 15 0 95912535 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073949482896 140073586147132 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661128 memory=2517052 CPUtime=12.47 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 24104 0 0 0 1179 68 0 0 20 0 15 0 95912535 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661128 memory=11044 CPUtime=12.4 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 23897 0 0 0 1170 70 0 0 20 0 15 0 95912535 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661128 memory=2517052 CPUtime=12.46 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 22484 0 0 0 1180 66 0 0 20 0 15 0 95912535 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661128 memory=6791534058613427641 CPUtime=12.45 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 26477 0 0 0 1180 65 0 0 20 0 15 0 95912536 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661128 memory=912 CPUtime=8.51 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 28377 0 0 0 788 63 0 0 20 0 15 0 95912537 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661128 memory=2517052 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073249129440 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661128 memory=2517052 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95912538 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661128 memory=2517052 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661128 memory=2517052 CPUtime=0.84 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) S 25408 25411 24557 0 -1 1077944384 4723 0 0 0 83 1 0 0 20 0 15 0 95912540 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073245972976 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661128 memory=2517052 CPUtime=0.84 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) S 25408 25411 24557 0 -1 1077944384 3569 0 0 0 83 1 0 0 20 0 15 0 95912540 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073043487344 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661128 memory=2517052 CPUtime=0.45 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) S 25408 25411 24557 0 -1 1077944384 2870 0 0 0 44 1 0 0 20 0 15 0 95912540 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073042434800 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661128 memory=2517052 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661128 memory=1788 CPUtime=1.29 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 2125 0 0 0 64 65 0 0 20 0 15 0 95912540 10916995072 629263 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 2359.17 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2517052 KiB

[startup+2382.3 s]
/proc/loadavg: 1.46 1.38 1.39 3/216 25500
/proc/meminfo: memFree=18693084/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661128 memory=2513492 CPUtime=2419.99 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 212136 0 0 0 241601 398 0 0 20 0 15 0 95912534 10916995072 628373 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665282 628373 3181 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661128 memory=2513492 CPUtime=2356.69 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 66909 0 0 0 235604 65 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073949482816 140073586898327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661128 memory=2513492 CPUtime=12.76 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 24694 0 0 0 1207 69 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661128 memory=2513492 CPUtime=12.69 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 24194 0 0 0 1198 71 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661128 memory=2513492 CPUtime=12.76 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 22885 0 0 0 1208 68 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661128 memory=2513492 CPUtime=12.74 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 27117 0 0 0 1207 67 0 0 20 0 15 0 95912536 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661128 memory=139682738484350 CPUtime=8.79 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 31574 0 0 0 813 66 0 0 20 0 15 0 95912537 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661128 memory=2513492 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073249129440 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95912538 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661128 memory=27780 CPUtime=0.84 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) S 25408 25411 24557 0 -1 1077944384 4728 0 0 0 83 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073245972976 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661128 memory=2408 CPUtime=0.84 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) S 25408 25411 24557 0 -1 1077944384 3575 0 0 0 83 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073043487344 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661128 memory=1724 CPUtime=0.45 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) S 25408 25411 24557 0 -1 1077944384 2874 0 0 0 44 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073042434800 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661128 memory=952 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661128 memory=1232 CPUtime=1.32 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 2153 0 0 0 66 66 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 2419.99 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2513492 KiB

[startup+2442.3 s]
/proc/loadavg: 1.14 1.31 1.36 3/216 25501
/proc/meminfo: memFree=18693216/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661128 memory=2513492 CPUtime=2480.83 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 217255 0 0 0 247676 407 0 0 20 0 15 0 95912534 10916995072 628373 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665282 628373 3181 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661128 memory=2513492 CPUtime=2415.94 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 68389 0 0 0 241527 67 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073949483008 140073586348145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661128 memory=2513492 CPUtime=13.08 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 25272 0 0 0 1237 71 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661128 memory=2513492 CPUtime=13.01 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 24553 0 0 0 1228 73 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661128 memory=2513492 CPUtime=13.07 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 24198 0 0 0 1237 70 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661128 memory=2513492 CPUtime=13.06 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 27449 0 0 0 1237 69 0 0 20 0 15 0 95912536 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661128 memory=2513492 CPUtime=9.1 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 32552 0 0 0 842 68 0 0 20 0 15 0 95912537 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661128 memory=8548 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073249129440 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95912538 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661128 memory=2513492 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661128 memory=2513492 CPUtime=0.84 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) S 25408 25411 24557 0 -1 1077944384 4737 0 0 0 83 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073245972976 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661128 memory=2513492 CPUtime=0.85 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) S 25408 25411 24557 0 -1 1077944384 3586 0 0 0 84 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073043487344 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661128 memory=2513492 CPUtime=0.45 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) S 25408 25411 24557 0 -1 1077944384 2882 0 0 0 44 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073042434800 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661128 memory=2513492 CPUtime=1.36 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 2204 0 0 0 69 67 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 2480.83 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2513492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2481 s]*
/proc/loadavg: 1.19 1.31 1.36 3/216 25582
/proc/meminfo: memFree=20436992/32770624 swapFree=67108688/67108860
[pid=25411] ppid=25408 vsize=10661128 memory=2513492 CPUtime=2520.09 cores=0,2,4,6
/proc/25411/stat : 25411 (java) S 25408 25411 24557 0 -1 1077944320 220013 0 0 0 251596 413 0 0 20 0 15 0 95912534 10916995072 628373 33554432000 4194304 4196468 140724625636592 140724625619136 140073945243383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
/proc/25411/statm: 2665282 628373 3181 1 0 2627263 0
[pid=25411/tid=25413] ppid=25408 vsize=10661128 memory=6791534058613427641 CPUtime=2454.15 cores=0,2,4,6
/proc/25411/task/25413/stat : 25413 (java) R 25408 25411 24557 0 -1 4202560 69265 0 0 0 245347 68 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073949483008 140073586348064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25414] ppid=25408 vsize=10661128 memory=4872558044660077418 CPUtime=13.28 cores=0,2,4,6
/proc/25411/task/25414/stat : 25414 (java) S 25408 25411 24557 0 -1 1077944384 25749 0 0 0 1256 72 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073917086480 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25415] ppid=25408 vsize=10661128 memory=4008 CPUtime=13.22 cores=0,2,4,6
/proc/25411/task/25415/stat : 25415 (java) S 25408 25411 24557 0 -1 1077944384 24730 0 0 0 1248 74 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073551367056 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25416] ppid=25408 vsize=10661128 memory=18264 CPUtime=13.28 cores=0,2,4,6
/proc/25411/task/25416/stat : 25416 (java) S 25408 25411 24557 0 -1 1077944384 24397 0 0 0 1257 71 0 0 20 0 15 0 95912535 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073550314512 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25417] ppid=25408 vsize=10661128 memory=16960 CPUtime=13.26 cores=0,2,4,6
/proc/25411/task/25417/stat : 25417 (java) S 25408 25411 24557 0 -1 1077944384 27929 0 0 0 1256 70 0 0 20 0 15 0 95912536 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073549261968 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25418] ppid=25408 vsize=10661128 memory=1788 CPUtime=9.3 cores=0,2,4,6
/proc/25411/task/25418/stat : 25418 (java) S 25408 25411 24557 0 -1 1077944384 33033 0 0 0 861 69 0 0 20 0 15 0 95912537 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073250183152 140073945254530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25419] ppid=25408 vsize=10661128 memory=644 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25419/stat : 25419 (java) S 25408 25411 24557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95912537 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073249129440 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25420] ppid=25408 vsize=10661128 memory=952 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25420/stat : 25420 (java) S 25408 25411 24557 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95912538 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073248076784 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25421] ppid=25408 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25421/stat : 25421 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073247025360 140073945261979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25422] ppid=25408 vsize=10661128 memory=2424 CPUtime=0.84 cores=0,2,4,6
/proc/25411/task/25422/stat : 25422 (java) S 25408 25411 24557 0 -1 1077944384 4742 0 0 0 83 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073245972976 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25423] ppid=25408 vsize=10661128 memory=1576 CPUtime=0.85 cores=0,2,4,6
/proc/25411/task/25423/stat : 25423 (java) S 25408 25411 24557 0 -1 1077944384 3591 0 0 0 84 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073043487344 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25424] ppid=25408 vsize=10661128 memory=928 CPUtime=0.45 cores=0,2,4,6
/proc/25411/task/25424/stat : 25424 (java) S 25408 25411 24557 0 -1 1077944384 2886 0 0 0 44 1 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073042434800 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25425] ppid=25408 vsize=10661128 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/25411/task/25425/stat : 25425 (java) S 25408 25411 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073041382496 140073945253589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
[pid=25411/tid=25426] ppid=25408 vsize=10661128 memory=303430223234596890 CPUtime=1.38 cores=0,2,4,6
/proc/25411/task/25426/stat : 25426 (java) S 25408 25411 24557 0 -1 1077944384 2258 0 0 0 70 68 0 0 20 0 15 0 95912540 10916995072 628373 33554432000 4194304 4196468 140724625636592 140073040329008 140073945254530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20549632 140724625642669 140724625642761 140724625642761 140724625645519 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2513492 KiB

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

[startup+2481.04 s]
# the end of solver process 25411 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.99 s, system=4.15122 s

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

Child status: 143
Real time (s): 2481.04
CPU time (s): 2520.14
CPU user time (s): 2515.99
CPU system time (s): 4.15122
CPU usage (%): 101.576
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 2669628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.99
system time used= 4.15121
maximum resident set size= 2690672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 322981
involuntary context switches= 8616


# summary of solver processes directly reported to runsolver:
#   pid: 25411
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.99
#   total CPU system time (s): 4.15122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6102 second user time and 23.1416 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml
MD5SUM	69d2b1c9cf4919b13dd8bc483772d8bf
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	13783
Best CPU time to get the best result obtained on this benchmark	2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	2450
Number of constraints	1177
Number of domains	2
Minimum domain size	8
Maximum domain size	49
Distribution of domain sizes	[{"size":8,"count":1176},{"size":49,"count":49}]
Minimum variable degree	0
Maximum variable degree	49
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}]
Minimum constraint arity	3
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":3,"count":1176},{"arity":49,"count":1}]
Number of extensional constraints	1176
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1176},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4298917

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