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

Solver Name	Answer	objective function	CPU time	Wall clock time
slowpoke 2018-04-29	SAT (TO)	14104	2520.09	2460.62

0.14/0.13	c version: 2018-04-11
0.14/0.13	c seed: 1811631
0.14/0.13	c timeout: 2520
0.14/0.13	c memlimit: -1
0.14/0.13	c nbcore: -1
3.02/1.46	o 14356
3.02/1.47	o 14330
3.02/1.48	o 14329
3.02/1.49	o 14255
3.02/1.49	o 14241
3.20/1.51	o 14220
6.17/3.65	o 14207
7.28/4.75	o 14184
7.28/4.77	o 14183
8.77/6.16	o 14182
11.58/8.99	o 14175
12.70/10.07	o 14173
14.20/11.51	o 14162
213.89/208.97	o 14158
213.89/208.97	o 14141
241.90/236.44	o 14132
476.04/464.96	o 14130
476.21/465.04	o 14117
508.88/497.09	o 14116
701.65/685.41	o 14107
701.65/685.45	o 14104
2520.06/2460.60	s SATISFIABLE
2520.06/2460.61	v <instantiation>
2520.06/2460.61	v 	<list>
2520.06/2460.61	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.06/2460.61	v 	</list>
2520.06/2460.61	v 	<values>
2520.06/2460.61	v 		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 39 40 41 44 42 2 45 48 46 0 47 1 43 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 1 5 2 2 0 0 0 0 1 1 1 1 1 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 2 2 3 2 0 5 0 0 0 1 5 0 1 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 5 5 0 5 10 2 0 1 0 5 5 10 5 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 5 5 10 0 3 0 6 1 0 6 5 0 1 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 2 5 10 0 0 0 0 1 5 0 4 5 10 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 0 5 2 3 0 0 0 1 1 2 1 5 5 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 1 10 0 2 5 0 2 0 0 1 3 3 0 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 10 5 1 2 5 1 0 2 0 0 2 5 1 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 10 0 2 5 5 10 2 0 2 5 2 1 5 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 5 1 5 2 0 0 6 2 0 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 0 10 4 2 5 5 5 0 5 2 1 5 0 5 2 4 2 5 2 1 4 2 5 2 0 0 5 2 0 5 2 5 0 3 0 5 0 0 2 5 2 0 10 0 0 4 6 0 2 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 1 5 5 5 0 0 2 0 0 2 5 2 0 1 0 1 5 0 0 5 0 2 2 1 5 0 10 0 2 2 10 0 3 3 0 3 0 0 5 1 0 1 2 1 2 1 10 0 10 0 5 0 1 0 4 0 2 5 2 1 0 0 10 0 5 0 2 2 0 6 10 5 0 1 5 3 0 0 5 0 5 6 6 2 5 1 5 0 1 0 2 10 0 5 0 1 5 5 5 0 0 0 0 6 0 2 1 1 0 0 5 0 1 5 5 0 2 1 2 2 10 10 5 2 5 0 10 4 2 0 0 0 0 0 2 5 2 10 2 5 0 5 0 0 0 4 4 1 5 0 2 5 4 5 10 0 5 0 0 6 1 2 0 5 0 2 3 6 2 3 0 0 0 0 1 0 0 2 2 0 0 5 0 0 5 5 5 2 0 1 5 5 0 0 10 0 2 5 0 2 1 5 1 2 1 0 4 0 0 2 10 1 3 0 10 1 10 0 1 0 0 2 2 0 0 0 1 4 10 2 0 0 0 10 5 2 0 10 0 1 1 5 10 2 2 5 0 10 2 2 2 2 3 1 2 0 1 0 2 0 2 5 0 1 10 0 10 5 5 1 0 1 3 0 5 0 0 0 5 2 5 5 0 1 5 0 3 0 2 0 1 0 2 5 5 2 0 5 0 5 10 2 0 5 1 2 0 2 1 2 0 10 5 2 5 0 2 2 2 2 2 0 3 5 0 2 2 10 2 5 5 4 5 5 5 2 5 0 5 3 0 0 0 0 5 2 5 1 4 2 0 6 5 0 2 5 0 1 3 10 2 0 2 1 0 0 2 0 0 0 5 5 0 2 5 5 1 10 0 5 1 0 10 3 2 3 3 5 1 5 5 10 10 2 0 3 0 0 0 2 2 1 1 10 1 0 0 0 3 5 3 2 5 2 5 0 0 5 0 5 5 0 0 2 10 0 10 4 0 0 10 5 10 0 5 5 1 6 0 2 5 2 0 0 0 0 2 0 2 0 2 0 1 1 1 10 2 1 1 1 2 5 0 0 1 10 0 5 0 0 5 0 2 1 6 0 4 0 5 2 0 0 5 2 1 2 5 5 0 0 2 2 3 5 10 5 2 0 3 5 4 0 5 10 5 0 0 0 0 5 0 10 1 4 0 2 2 10 3 0 0 0 0 2 0 2 4 10 10 1 0 1 0 0 0 10 0 5 0 0 5 10 5 5 3 0 5 5 3 5 5 0 0 0 2 2 0 2 0 5 0 2 2 5 0 1 0 2 5 4 5 0 0 5 2 2 10 10 0 0 1 2 10 5 2 1 1 2 0 6 2 0 5 5 0 0 0 5 0 0 0 5 3 1 1 0 2 3 5 1 5 5 2 0 0 0 1 2 2 1 3 2 2 0 0 5 1 2 2 10 1 1 1 0 0 1 0 5 5 10 2 5 
2520.06/2460.61	v 	</values>
2520.06/2460.61	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298916-1532790756/watcher-4298916-1532790756 -o /tmp/evaluation-result-4298916-1532790756/solver-4298916-1532790756 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532775768-15808 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298916-1532790756.xml --timelimit 2520 

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

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

solver pid=17379, runsolver pid=17376

[startup+0.105438 s]*
/proc/loadavg: 1.55 1.59 1.61 5/218 17394
/proc/meminfo: memFree=23558748/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661056 memory=27972 CPUtime=0.14 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 5368 0 0 0 13 1 0 0 20 0 15 0 96638814 10916921344 6993 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665264 6993 2892 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661056 memory=-7254947776133162106 CPUtime=0.09 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 3157 0 0 0 9 0 0 0 20 0 15 0 96638815 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988745710960 139988725532005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661056 memory=5793854938678294969 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661056 memory=139687668401792 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96638817 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96638817 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96638818 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661056 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) S 17376 17379 15776 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 96638820 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988297132528 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988296079984 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661056 memory=139687668401792 CPUtime=0.02 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) R 17376 17379 15776 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 96638820 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988295027440 139988725568862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661056 memory=139687668401792 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638820 10916921344 6993 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27972 KiB

[startup+0.210715 s]*
/proc/loadavg: 1.55 1.59 1.61 4/218 17394
/proc/meminfo: memFree=23546576/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661056 memory=40212 CPUtime=0.34 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 8144 0 0 0 32 2 0 0 20 0 15 0 96638814 10916921344 10053 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665264 10053 2994 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) S 17376 17379 15776 0 -1 1077944384 5124 0 0 0 19 1 0 0 20 0 15 0 96638815 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988745726432 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661056 memory=4211973413873192330 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661056 memory=139687668401792 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96638815 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661056 memory=139687668401792 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96638817 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96638817 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96638818 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) R 17376 17379 15776 0 -1 1077944384 771 0 0 0 3 0 0 0 20 0 15 0 96638820 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988297132528 139988741499522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) R 17376 17379 15776 0 -1 4202560 91 0 0 0 1 0 0 0 20 0 15 0 96638820 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988296080080 139988726598456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661056 memory=139687668401792 CPUtime=0.08 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) R 17376 17379 15776 0 -1 4202560 791 0 0 0 8 0 0 0 20 0 15 0 96638820 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988295027440 139988720076032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661056 memory=139687668401792 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638820 10916921344 10053 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40212 KiB

[startup+0.310564 s]*
/proc/loadavg: 1.55 1.59 1.61 4/218 17394
/proc/meminfo: memFree=23532620/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661132 memory=54120 CPUtime=0.66 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 10124 0 0 0 64 2 0 0 20 0 15 0 96638814 10916999168 13530 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665283 13530 3075 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661132 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 5460 0 0 0 29 1 0 0 20 0 15 0 96638815 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988745722128 139988725568862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661132 memory=4211973413873192330 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661132 memory=279375238691200 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661132 memory=279375140606464 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661132 memory=139687570289423 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661132 memory=279375238700416 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661132 memory=139687570294031 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661132 memory=139687570312144 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96638818 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661132 memory=139687570315410 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661132 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) S 17376 17379 15776 0 -1 1077944384 1118 0 0 0 8 0 0 0 20 0 15 0 96638820 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988297132528 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661132 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) S 17376 17379 15776 0 -1 1077944384 907 0 0 0 10 0 0 0 20 0 15 0 96638820 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988296079984 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661132 memory=139687668401792 CPUtime=0.16 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) R 17376 17379 15776 0 -1 4202560 1277 0 0 0 16 0 0 0 20 0 15 0 96638820 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988295025840 139988734585211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661132 memory=139687668429764 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 13530 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 54120 KiB

[startup+0.708908 s]
/proc/loadavg: 1.55 1.59 1.61 5/218 17394
/proc/meminfo: memFree=23511924/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661132 memory=125540 CPUtime=1.88 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 11614 0 0 0 184 4 0 0 20 0 15 0 96638814 10916999168 31385 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665283 31385 3121 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661132 memory=56 CPUtime=0.68 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 5678 0 0 0 66 2 0 0 20 0 15 0 96638815 10916999168 31385 33554432000 4194304 4196468 140728709264032 139988745718784 139988372821662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 31385 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 31385 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 31385 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661132 memory=8320808402719684661 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661132 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661132 memory=8452 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96638818 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661132 memory=5776 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661132 memory=1200 CPUtime=0.41 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) R 17376 17379 15776 0 -1 4202560 1759 0 0 0 41 0 0 0 20 0 15 0 96638820 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988297132528 139988723032530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661132 memory=12136 CPUtime=0.41 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) R 17376 17379 15776 0 -1 4202560 1091 0 0 0 41 0 0 0 20 0 15 0 96638820 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988296079984 139988719724761 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661132 memory=1008 CPUtime=0.36 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) R 17376 17379 15776 0 -1 4202560 1716 0 0 0 35 1 0 0 20 0 15 0 96638820 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988295024376 139988720396721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661132 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 31413 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 125540 KiB

[startup+1.50079 s]
/proc/loadavg: 1.55 1.59 1.61 3/218 17394
/proc/meminfo: memFree=23453840/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661132 memory=145292 CPUtime=3.2 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 15300 0 0 0 315 5 0 0 20 0 15 0 96638814 10916999168 36323 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665283 36323 3138 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661132 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 7007 0 0 0 145 2 0 0 20 0 15 0 96638815 10916999168 36323 33554432000 4194304 4196468 140728709264032 139988745725184 139988373827457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 36323 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 36323 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 36323 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96638815 10916999168 36323 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 36323 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0

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

/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 30897 0 0 0 230155 128 0 0 20 0 15 0 96638815 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988745729280 139988370252943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661132 memory=338788 CPUtime=17.67 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 21912 0 0 0 1735 32 0 0 20 0 15 0 96638815 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661132 memory=332104 CPUtime=17.66 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 20723 0 0 0 1736 30 0 0 20 0 15 0 96638815 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661132 memory=279375140816784 CPUtime=17.69 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 21364 0 0 0 1737 32 0 0 20 0 15 0 96638815 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661132 memory=331076 CPUtime=17.65 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 22776 0 0 0 1732 33 0 0 20 0 15 0 96638815 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661132 memory=328000 CPUtime=0.95 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 8458 0 0 0 78 17 0 0 20 0 15 0 96638817 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661132 memory=330352 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661132 memory=345176 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 96638818 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661132 memory=345176 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661132 memory=345176 CPUtime=1.3 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) S 17376 17379 15776 0 -1 1077944384 10982 0 0 0 129 1 0 0 20 0 15 0 96638820 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988297132528 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661132 memory=345176 CPUtime=1.09 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) S 17376 17379 15776 0 -1 1077944384 8902 0 0 0 108 1 0 0 20 0 15 0 96638820 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988296079984 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661132 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) S 17376 17379 15776 0 -1 1077944384 4227 0 0 0 47 1 0 0 20 0 15 0 96638820 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988295027440 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661132 memory=345176 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661132 memory=345176 CPUtime=0.99 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 971 0 0 0 46 53 0 0 20 0 15 0 96638820 10916999168 86294 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 2378.42 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 345176 KiB

[startup+2382.3 s]
/proc/loadavg: 1.22 1.31 1.41 3/219 17553
/proc/meminfo: memFree=23115116/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661132 memory=340016 CPUtime=2439.84 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 154676 0 0 0 243660 324 0 0 20 0 15 0 96638814 10916999168 85004 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665283 85004 3169 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661132 memory=2588 CPUtime=2362.32 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 31231 0 0 0 236101 131 0 0 20 0 15 0 96638815 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988745729280 139988374209205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661132 memory=340016 CPUtime=18.13 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 22312 0 0 0 1780 33 0 0 20 0 15 0 96638815 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661132 memory=1796 CPUtime=18.13 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 20984 0 0 0 1783 30 0 0 20 0 15 0 96638815 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661132 memory=340016 CPUtime=18.16 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 21604 0 0 0 1784 32 0 0 20 0 15 0 96638815 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661132 memory=4132 CPUtime=18.13 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 23180 0 0 0 1779 34 0 0 20 0 15 0 96638815 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661132 memory=340016 CPUtime=0.98 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 8651 0 0 0 80 18 0 0 20 0 15 0 96638817 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661132 memory=164 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661132 memory=331148 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 96638818 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661132 memory=335264 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661132 memory=333044 CPUtime=1.3 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) S 17376 17379 15776 0 -1 1077944384 10984 0 0 0 129 1 0 0 20 0 15 0 96638820 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988297132528 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661132 memory=331664 CPUtime=1.1 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) S 17376 17379 15776 0 -1 1077944384 9110 0 0 0 109 1 0 0 20 0 15 0 96638820 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988296079984 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661132 memory=28044 CPUtime=0.48 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) S 17376 17379 15776 0 -1 1077944384 4229 0 0 0 47 1 0 0 20 0 15 0 96638820 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988295027440 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661132 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661132 memory=4132 CPUtime=1.01 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 985 0 0 0 47 54 0 0 20 0 15 0 96638820 10916999168 85004 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 2439.84 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 340016 KiB

[startup+2442.3 s]
/proc/loadavg: 1.22 1.31 1.41 3/219 17554
/proc/meminfo: memFree=23130292/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661132 memory=328556 CPUtime=2501.28 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 156126 0 0 0 249796 332 0 0 20 0 15 0 96638814 10916999168 82139 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665283 82139 3169 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661132 memory=337216 CPUtime=2421.79 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 31571 0 0 0 242044 135 0 0 20 0 15 0 96638815 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988745727872 139988374209039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661132 memory=340016 CPUtime=18.62 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 22481 0 0 0 1828 34 0 0 20 0 15 0 96638815 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661132 memory=340016 CPUtime=18.61 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 21121 0 0 0 1830 31 0 0 20 0 15 0 96638815 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661132 memory=333544 CPUtime=18.64 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 21976 0 0 0 1831 33 0 0 20 0 15 0 96638815 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661132 memory=336996 CPUtime=18.61 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 23400 0 0 0 1827 34 0 0 20 0 15 0 96638815 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661132 memory=337216 CPUtime=1 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 8843 0 0 0 82 18 0 0 20 0 15 0 96638817 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661132 memory=335740 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661132 memory=-7674914008656224160 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 96638818 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661132 memory=333172 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661132 memory=329068 CPUtime=1.3 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) S 17376 17379 15776 0 -1 1077944384 10986 0 0 0 129 1 0 0 20 0 15 0 96638820 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988297132528 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661132 memory=329068 CPUtime=1.1 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) S 17376 17379 15776 0 -1 1077944384 9112 0 0 0 109 1 0 0 20 0 15 0 96638820 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988296079984 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661132 memory=328556 CPUtime=0.49 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) S 17376 17379 15776 0 -1 1077944384 4231 0 0 0 47 2 0 0 20 0 15 0 96638820 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988295027440 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661132 memory=328556 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661132 memory=328556 CPUtime=1.03 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 999 0 0 0 48 55 0 0 20 0 15 0 96638820 10916999168 82139 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 2501.28 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 328556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2460.6 s]
/proc/loadavg: 1.31 1.33 1.41 3/219 17554
/proc/meminfo: memFree=23117232/32770624 swapFree=67108860/67108860
[pid=17379] ppid=17376 vsize=10661132 memory=344172 CPUtime=2520.06 cores=1,3,5,7
/proc/17379/stat : 17379 (java) S 17376 17379 15776 0 -1 1077944320 156423 0 0 0 251672 334 0 0 20 0 15 0 96638814 10916999168 86043 33554432000 4194304 4196468 140728709264032 140728709246576 139988741488375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
/proc/17379/statm: 2665283 86043 3169 1 0 2627263 0
[pid=17379/tid=17381] ppid=17376 vsize=10661132 memory=4420 CPUtime=2439.91 cores=1,3,5,7
/proc/17379/task/17381/stat : 17381 (java) R 17376 17379 15776 0 -1 4202560 31629 0 0 0 243855 136 0 0 20 0 15 0 96638815 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988745729280 139988373367409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17382] ppid=17376 vsize=10661132 memory=6628 CPUtime=18.78 cores=1,3,5,7
/proc/17379/task/17382/stat : 17382 (java) S 17376 17379 15776 0 -1 1077944384 22570 0 0 0 1844 34 0 0 20 0 15 0 96638815 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988694108944 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17383] ppid=17376 vsize=10661132 memory=8836 CPUtime=18.76 cores=1,3,5,7
/proc/17379/task/17383/stat : 17383 (java) S 17376 17379 15776 0 -1 1077944384 21165 0 0 0 1845 31 0 0 20 0 15 0 96638815 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988693056400 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17384] ppid=17376 vsize=10661132 memory=11044 CPUtime=18.8 cores=1,3,5,7
/proc/17379/task/17384/stat : 17384 (java) S 17376 17379 15776 0 -1 1077944384 22020 0 0 0 1847 33 0 0 20 0 15 0 96638815 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988692003856 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17385] ppid=17376 vsize=10661132 memory=1408 CPUtime=18.77 cores=1,3,5,7
/proc/17379/task/17385/stat : 17385 (java) S 17376 17379 15776 0 -1 1077944384 23445 0 0 0 1843 34 0 0 20 0 15 0 96638815 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988690951312 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17386] ppid=17376 vsize=10661132 memory=3196 CPUtime=1.01 cores=1,3,5,7
/proc/17379/task/17386/stat : 17386 (java) S 17376 17379 15776 0 -1 1077944384 8858 0 0 0 83 18 0 0 20 0 15 0 96638817 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988301342704 139988741499522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17387] ppid=17376 vsize=10661132 memory=345196 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17387/stat : 17387 (java) S 17376 17379 15776 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96638817 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988300288928 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17388] ppid=17376 vsize=10661132 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17388/stat : 17388 (java) S 17376 17379 15776 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 96638818 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988299236336 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17389] ppid=17376 vsize=10661132 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17389/stat : 17389 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988298184912 139988741506971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17390] ppid=17376 vsize=10661132 memory=246640 CPUtime=1.3 cores=1,3,5,7
/proc/17379/task/17390/stat : 17390 (java) S 17376 17379 15776 0 -1 1077944384 10986 0 0 0 129 1 0 0 20 0 15 0 96638820 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988297132528 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17391] ppid=17376 vsize=10661132 memory=4108 CPUtime=1.1 cores=1,3,5,7
/proc/17379/task/17391/stat : 17391 (java) S 17376 17379 15776 0 -1 1077944384 9112 0 0 0 109 1 0 0 20 0 15 0 96638820 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988296079984 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17392] ppid=17376 vsize=10661132 memory=2588 CPUtime=0.49 cores=1,3,5,7
/proc/17379/task/17392/stat : 17392 (java) S 17376 17379 15776 0 -1 1077944384 4231 0 0 0 47 2 0 0 20 0 15 0 96638820 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988295027440 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17393] ppid=17376 vsize=10661132 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/17379/task/17393/stat : 17393 (java) S 17376 17379 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96638820 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988293975136 139988741498581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
[pid=17379/tid=17394] ppid=17376 vsize=10661132 memory=-7003737579269690708 CPUtime=1.05 cores=1,3,5,7
/proc/17379/task/17394/stat : 17394 (java) S 17376 17379 15776 0 -1 1077944384 1001 0 0 0 49 56 0 0 20 0 15 0 96638820 10916999168 86043 33554432000 4194304 4196468 140728709264032 139988292921648 139988741499522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140728709268636 140728709268745 140728709268745 140728709271503 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 344172 KiB

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

[startup+2460.62 s]
# the end of solver process 17379 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.74 s, system=3.35199 s

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

Child status: 143
Real time (s): 2460.62
CPU time (s): 2520.09
CPU user time (s): 2516.74
CPU system time (s): 3.35199
CPU usage (%): 102.417
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 508232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.74
system time used= 3.35199
maximum resident set size= 519068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77618
involuntary context switches= 5650


# summary of solver processes directly reported to runsolver:
#   pid: 17379
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.74
#   total CPU system time (s): 3.35199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2304 second user time and 24.7823 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 4298916

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