2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Hybrid 2017-06-30	SAT (TO)	37	2400.0601	2325.3301

0.28/0.36	c version: 2017-06-30
0.28/0.36	c seed: 162622213
0.28/0.36	c timeout: 2400
0.28/0.36	c memlimit: 15500
0.28/0.36	c nbcore: 4
0.28/0.38	c Parsing instance...
6.42/2.35	c Parsing done, starting first complete search...
32.14/26.04	o 1175
56.90/49.60	o 1174
81.49/73.36	o 1173
105.90/97.07	o 1172
130.71/121.03	o 1171
155.21/144.83	o 1170
179.65/168.59	o 1169
204.28/192.49	o 1168
228.76/216.25	o 1167
253.41/240.14	o 1166
254.99/241.67	c First complete search done, starting ALNS search...
625.81/598.67	o 1165
663.14/635.07	o 1151
750.37/720.15	o 1141
855.59/821.88	o 1140
958.30/922.04	o 1139
970.36/933.73	o 1138
1007.31/969.94	o 1132
1062.19/1023.48	o 1131
1124.99/1084.46	o 1130
1242.84/1199.84	o 1120
1414.09/1366.53	o 39
1450.58/1402.38	o 38
1509.87/1460.08	o 37
1979.72/1916.76	c ALNS done, starting second complete search
1979.72/1916.76	c Best operator: ValGuided(588,MaxVal)_WeightDeg(Min) with improvement of: 1081
2400.01/2325.30	s SATISFIABLE
2400.01/2325.31	v <instantiation>
2400.01/2325.31	v 	<list>
2400.01/2325.31	v 		x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[44][45] x[44][46] x[44][47] x[44][48] x[45][46] x[45][47] x[45][48] x[46][47] x[46][48] x[47][48]
2400.01/2325.31	v 	</list>
2400.01/2325.31	v 	<values>
2400.01/2325.31	v 		0 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 4 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 34 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 34 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 34 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 34 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 34 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 28 28 28 28 27 28 28 28 28 27 27 27 27 28 28 28 27 27 28 28 34 28 28 28 28 28 27 28 28 28 28 28 28 28 28 28 27 28 27 26 25 28 25 25 25 25 28 28 28 28 25 25 25 28 28 25 25 34 25 25 24 26 27 27 27 27 27 27 27 27 27 27 27 28 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 34 27 27 27 27 26 28 26 26 26 26 26 26 26 26 26 28 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 34 26 26 26 25 10 10 10 10 10 10 10 10 10 10 10 10 10 13 13 13 10 10 13 13 13 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 14 14 10 10 14 14 14 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 15 10 10 15 15 15 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 16 16 16 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 13 10 10 10 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 10 10 10 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 17 17 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 18 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 26 26 26 26 26 26 26 26 26 26 26 26 26 26 27 27 27 27 27 27 27 27 27 27 27 27 27 28 12 12 12 12 12 12 12 12 12 28 12 28 28 28 28 28 28 28 28 28 12 28 11 11 11 11 11 11 11 11 28 11 9 9 9 9 9 9 9 28 9 8 8 8 8 8 8 28 8 7 7 7 7 7 28 7 6 6 6 6 28 6 5 5 5 28 5 4 4 28 4 3 28 3 28 2 12 
2400.01/2325.31	v 	</values>
2400.01/2325.31	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248596-1502143780/watcher-4248596-1502143780 -o /tmp/evaluation-result-4248596-1502143780/solver-4248596-1502143780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502142942-27418 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 162622213 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248596-1502143780.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.11 1.00 1.21 1/177 27433
/proc/meminfo: memFree=31262340/32770624 swapFree=0/496736
[pid=27433] ppid=27430 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27433/stat : 27433 (runsolver) D 27430 27433 25139 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61884136 24240128 108 18446744073709551615 4194304 4338465 140721084014080 140721084011720 140652435976919 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 10711040 140721084022890 140721084023369 140721084023369 140721084026826 0
/proc/27433/statm: 5918 108 54 36 0 2156 0

[startup+0.1002 s]
/proc/loadavg: 1.11 1.00 1.21 1/177 27433
/proc/meminfo: memFree=31262340/32770624 swapFree=0/496736
[pid=27433] ppid=27430 vsize=12512256 CPUtime=0.03 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 3877 0 0 0 3 0 0 0 20 0 9 0 61884136 12812550144 4526 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3128064 4526 2110 1 0 3117561 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12512256

[startup+0.200287 s]
/proc/loadavg: 1.11 1.00 1.21 1/177 27433
/proc/meminfo: memFree=31262340/32770624 swapFree=0/496736
[pid=27433] ppid=27430 vsize=12918124 CPUtime=0.11 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 7879 0 0 0 10 1 0 0 20 0 15 0 61884136 13228158976 8021 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3229531 8021 3384 1 0 3218310 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12918124

[startup+0.301148 s]
/proc/loadavg: 1.11 1.00 1.21 1/177 27433
/proc/meminfo: memFree=31262340/32770624 swapFree=0/496736
[pid=27433] ppid=27430 vsize=12914512 CPUtime=0.28 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 10774 0 0 0 25 3 0 0 20 0 15 0 61884136 13224460288 9611 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3228628 9611 3618 1 0 3217407 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12914512

[startup+0.702115 s]
/proc/loadavg: 1.11 1.00 1.21 1/177 27433
/proc/meminfo: memFree=31262340/32770624 swapFree=0/496736
[pid=27433] ppid=27430 vsize=12916580 CPUtime=1.27 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 16102 0 0 0 122 5 0 0 20 0 15 0 61884136 13226577920 23439 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3229145 23439 3736 1 0 3217919 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 12916580

[startup+1.50062 s]
/proc/loadavg: 1.11 1.00 1.21 4/192 27448
/proc/meminfo: memFree=31062108/32770624 swapFree=0/497040
[pid=27433] ppid=27430 vsize=12916580 CPUtime=3.85 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 19013 0 0 0 374 11 0 0 20 0 15 0 61884136 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3229145 61968 3782 1 0 3217919 0
[pid=27433/tid=27435] ppid=27430 vsize=12916580 CPUtime=1.31 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 10743 0 0 0 126 5 0 0 20 0 15 0 61884142 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087792414928 140087427681157 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12916580 CPUtime=0.03 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 66 0 0 0 2 1 0 0 20 0 15 0 61884143 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12916580 CPUtime=0.02 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 61884143 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12916580 CPUtime=0.03 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 46 0 0 0 3 0 0 0 20 0 15 0 61884143 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12916580 CPUtime=0.02 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 30 0 0 0 2 0 0 0 20 0 15 0 61884143 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 61884144 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 61884145 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61884145 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27444] ppid=27430 vsize=12916580 CPUtime=0.91 cores=0,2,4,6
/proc/27433/task/27444/stat : 27444 (java) R 27430 27433 25139 0 -1 4202560 2785 0 0 0 91 0 0 0 20 0 15 0 61884147 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087268447320 140087769723405 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27445] ppid=27430 vsize=12916580 CPUtime=0.9 cores=0,2,4,6
/proc/27433/task/27445/stat : 27445 (java) R 27430 27433 25139 0 -1 4202560 1747 0 0 0 90 0 0 0 20 0 15 0 61884147 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087267393744 140087772139025 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27446] ppid=27430 vsize=12916580 CPUtime=0.54 cores=0,2,4,6
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 25139 0 -1 1077944384 2105 0 0 0 53 1 0 0 20 0 15 0 61884147 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087266355696 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27447] ppid=27430 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61884152 13226577920 61968 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 12916580

[startup+3.10075 s]
/proc/loadavg: 1.11 1.00 1.21 6/192 27448
/proc/meminfo: memFree=30885092/32770624 swapFree=0/497040
[pid=27433] ppid=27430 vsize=12920676 CPUtime=8.2 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 27392 0 0 0 790 30 0 0 20 0 15 0 61884136 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3230169 185868 3802 1 0 3218943 0
[pid=27433/tid=27435] ppid=27430 vsize=12920676 CPUtime=2.73 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 13810 0 0 0 261 12 0 0 20 0 15 0 61884142 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087792417312 140087431356096 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12920676 CPUtime=0.17 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 144 0 0 0 14 3 0 0 20 0 15 0 61884143 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12920676 CPUtime=0.17 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 191 0 0 0 14 3 0 0 20 0 15 0 61884143 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12920676 CPUtime=0.18 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 175 0 0 0 15 3 0 0 20 0 15 0 61884143 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12920676 CPUtime=0.16 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 209 0 0 0 13 3 0 0 20 0 15 0 61884143 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12920676 CPUtime=0.01 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 521 0 0 0 1 0 0 0 20 0 15 0 61884144 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27444] ppid=27430 vsize=12920676 CPUtime=1.94 cores=0,2,4,6
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 25139 0 -1 1077944384 3816 0 0 0 193 1 0 0 20 0 15 0 61884147 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087268461296 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27445] ppid=27430 vsize=12920676 CPUtime=1.97 cores=0,2,4,6
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 25139 0 -1 1077944384 2938 0 0 0 196 1 0 0 20 0 15 0 61884147 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087267408752 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27446] ppid=27430 vsize=12920676 CPUtime=0.79 cores=0,2,4,6
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 25139 0 -1 1077944384 4217 0 0 0 78 1 0 0 20 0 15 0 61884147 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087266355696 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27447] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61884152 13230772224 185868 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 12920676

[startup+6.30066 s]
/proc/loadavg: 1.18 1.02 1.22 2/192 27448
/proc/meminfo: memFree=29980116/32770624 swapFree=0/497040
[pid=27433] ppid=27430 vsize=12920676 CPUtime=11.74 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 29204 0 0 0 1117 57 0 0 20 0 15 0 61884136 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3230169 554146 3802 1 0 3218943 0
[pid=27433/tid=27435] ppid=27430 vsize=12920676 CPUtime=5.82 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 14715 0 0 0 550 32 0 0 20 0 15 0 61884142 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087792414336 140087431356118 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12920676 CPUtime=0.28 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 304 0 0 0 23 5 0 0 20 0 15 0 61884143 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12920676 CPUtime=0.27 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 219 0 0 0 23 4 0 0 20 0 15 0 61884143 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12920676 CPUtime=0.28 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 237 0 0 0 23 5 0 0 20 0 15 0 61884143 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12920676 CPUtime=0.26 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 360 0 0 0 22 4 0 0 20 0 15 0 61884143 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12920676 CPUtime=0.01 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 1024 0 0 0 1 0 0 0 20 0 15 0 61884144 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27444] ppid=27430 vsize=12920676 CPUtime=1.96 cores=0,2,4,6
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 25139 0 -1 1077944384 3819 0 0 0 195 1 0 0 20 0 15 0 61884147 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087268461296 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27445] ppid=27430 vsize=12920676 CPUtime=1.98 cores=0,2,4,6
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 25139 0 -1 1077944384 2938 0 0 0 197 1 0 0 20 0 15 0 61884147 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087267408752 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27446] ppid=27430 vsize=12920676 CPUtime=0.79 cores=0,2,4,6
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 25139 0 -1 1077944384 4217 0 0 0 78 1 0 0 20 0 15 0 61884147 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087266355696 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27447] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61884152 13230772224 554146 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 12920676

[startup+12.7007 s]
/proc/loadavg: 1.17 1.02 1.22 5/192 27448
/proc/meminfo: memFree=27758608/32770624 swapFree=0/497044
[pid=27433] ppid=27430 vsize=12920676 CPUtime=18.5 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 31585 0 0 0 1772 78 0 0 20 0 15 0 61884136 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3230169 878080 3802 1 0 3218943 0
[pid=27433/tid=27435] ppid=27430 vsize=12920676 CPUtime=12.14 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 15851 0 0 0 1166 48 0 0 20 0 15 0 61884142 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087792417552 140087431356346 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12920676 CPUtime=0.36 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 592 0 0 0 30 6 0 0 20 0 15 0 61884143 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12920676 CPUtime=0.34 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 415 0 0 0 29 5 0 0 20 0 15 0 61884143 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12920676 CPUtime=0.36 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 311 0 0 0 30 6 0 0 20 0 15 0 61884143 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12920676 CPUtime=0.35 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 442 0 0 0 29 6 0 0 20 0 15 0 61884143 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12920676 CPUtime=0.01 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 1608 0 0 0 1 0 0 0 20 0 15 0 61884144 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 878080 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0

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

/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 638257 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12920676 CPUtime=1.32 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 2015 0 0 0 58 74 0 0 20 0 15 0 61884152 13230772224 638257 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 2273.76
Current children cumulated vsize (KiB) 12920676

[startup+2262.3 s]
/proc/loadavg: 0.63 0.69 0.76 2/192 27621
/proc/meminfo: memFree=28766536/32770624 swapFree=0/497488
[pid=27433] ppid=27430 vsize=12920676 CPUtime=2335.32 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 399418 0 0 0 233240 292 0 0 20 0 15 0 61884136 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3230169 624794 3834 1 0 3218943 0
[pid=27433/tid=27435] ppid=27430 vsize=12920676 CPUtime=2239.67 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 145770 0 0 0 223888 79 0 0 20 0 15 0 61884142 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087792417376 140087430985767 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12920676 CPUtime=21.05 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 25925 0 0 0 2073 32 0 0 20 0 15 0 61884143 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12920676 CPUtime=21.05 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 27849 0 0 0 2074 31 0 0 20 0 15 0 61884143 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12920676 CPUtime=21.08 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 27368 0 0 0 2077 31 0 0 20 0 15 0 61884143 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12920676 CPUtime=21.07 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 28162 0 0 0 2076 31 0 0 20 0 15 0 61884143 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12920676 CPUtime=0.97 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 49228 0 0 0 77 20 0 0 20 0 15 0 61884144 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27444] ppid=27430 vsize=12920676 CPUtime=3.78 cores=0,2,4,6
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 25139 0 -1 1077944384 28509 0 0 0 374 4 0 0 20 0 15 0 61884147 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087268461296 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27445] ppid=27430 vsize=12920676 CPUtime=3.97 cores=0,2,4,6
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 25139 0 -1 1077944384 38313 0 0 0 393 4 0 0 20 0 15 0 61884147 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087267408752 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27446] ppid=27430 vsize=12920676 CPUtime=1.18 cores=0,2,4,6
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 25139 0 -1 1077944384 24821 0 0 0 115 3 0 0 20 0 15 0 61884147 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087266355696 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27447] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12920676 CPUtime=1.36 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 2044 0 0 0 60 76 0 0 20 0 15 0 61884152 13230772224 624794 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 2335.32
Current children cumulated vsize (KiB) 12920676

[startup+2322.3 s]
/proc/loadavg: 0.63 0.68 0.75 2/191 27623
/proc/meminfo: memFree=28827164/32770624 swapFree=0/497488
[pid=27433] ppid=27430 vsize=12920676 CPUtime=2396.89 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 401585 0 0 0 239395 294 0 0 20 0 15 0 61884136 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3230169 609917 3834 1 0 3218943 0
[pid=27433/tid=27435] ppid=27430 vsize=12920676 CPUtime=2299.13 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 146897 0 0 0 229834 79 0 0 20 0 15 0 61884142 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087792417376 140087430985201 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12920676 CPUtime=21.57 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 26187 0 0 0 2125 32 0 0 20 0 15 0 61884143 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12920676 CPUtime=21.57 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 28038 0 0 0 2126 31 0 0 20 0 15 0 61884143 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12920676 CPUtime=21.6 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 27513 0 0 0 2128 32 0 0 20 0 15 0 61884143 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12920676 CPUtime=21.59 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 28267 0 0 0 2128 31 0 0 20 0 15 0 61884143 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12920676 CPUtime=1 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 49535 0 0 0 79 21 0 0 20 0 15 0 61884144 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27444] ppid=27430 vsize=12920676 CPUtime=3.78 cores=0,2,4,6
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 25139 0 -1 1077944384 28513 0 0 0 374 4 0 0 20 0 15 0 61884147 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087268461296 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27445] ppid=27430 vsize=12920676 CPUtime=3.98 cores=0,2,4,6
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 25139 0 -1 1077944384 38317 0 0 0 394 4 0 0 20 0 15 0 61884147 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087267408752 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27446] ppid=27430 vsize=12920676 CPUtime=1.18 cores=0,2,4,6
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 25139 0 -1 1077944384 24825 0 0 0 115 3 0 0 20 0 15 0 61884147 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087266355696 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27447] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12920676 CPUtime=1.4 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 2064 0 0 0 62 78 0 0 20 0 15 0 61884152 13230772224 609917 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 2396.89
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2325.3 s]
/proc/loadavg: 0.58 0.67 0.75 2/191 27623
/proc/meminfo: memFree=28828652/32770624 swapFree=0/497488
[pid=27433] ppid=27430 vsize=12920676 CPUtime=2400.01 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 401783 0 0 0 239707 294 0 0 20 0 15 0 61884136 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3230169 609532 3834 1 0 3218943 0
[pid=27433/tid=27435] ppid=27430 vsize=12920676 CPUtime=2302.08 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 147064 0 0 0 230129 79 0 0 20 0 15 0 61884142 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087792417264 140087430984680 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12920676 CPUtime=21.61 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 26192 0 0 0 2129 32 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12920676 CPUtime=21.61 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 28040 0 0 0 2130 31 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12920676 CPUtime=21.64 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 27517 0 0 0 2132 32 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12920676 CPUtime=21.63 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 28272 0 0 0 2132 31 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12920676 CPUtime=1 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 49539 0 0 0 79 21 0 0 20 0 15 0 61884144 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27444] ppid=27430 vsize=12920676 CPUtime=3.78 cores=0,2,4,6
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 25139 0 -1 1077944384 28513 0 0 0 374 4 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087268461296 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27445] ppid=27430 vsize=12920676 CPUtime=3.98 cores=0,2,4,6
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 25139 0 -1 1077944384 38317 0 0 0 394 4 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087267408752 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27446] ppid=27430 vsize=12920676 CPUtime=1.18 cores=0,2,4,6
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 25139 0 -1 1077944384 24825 0 0 0 115 3 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087266355696 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27447] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12920676 CPUtime=1.4 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 2076 0 0 0 62 78 0 0 20 0 15 0 61884152 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 12920676

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

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

[startup+2325.3 s]
/proc/loadavg: 0.58 0.67 0.75 2/191 27623
/proc/meminfo: memFree=28828652/32770624 swapFree=0/497488
[pid=27433] ppid=27430 vsize=12920676 CPUtime=2400.01 cores=0,2,4,6
/proc/27433/stat : 27433 (java) S 27430 27433 25139 0 -1 1077944320 401783 0 0 0 239707 294 0 0 20 0 15 0 61884136 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140727256625232 140087788179191 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
/proc/27433/statm: 3230169 609532 3834 1 0 3218943 0
[pid=27433/tid=27435] ppid=27430 vsize=12920676 CPUtime=2302.08 cores=0,2,4,6
/proc/27433/task/27435/stat : 27435 (java) R 27430 27433 25139 0 -1 4202560 147064 0 0 0 230129 79 0 0 20 0 15 0 61884142 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087792417264 140087430984680 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27436] ppid=27430 vsize=12920676 CPUtime=21.61 cores=0,2,4,6
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 25139 0 -1 1077944384 26192 0 0 0 2129 32 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087745145872 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27437] ppid=27430 vsize=12920676 CPUtime=21.61 cores=0,2,4,6
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 25139 0 -1 1077944384 28040 0 0 0 2130 31 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087744093328 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27438] ppid=27430 vsize=12920676 CPUtime=21.64 cores=0,2,4,6
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 25139 0 -1 1077944384 27517 0 0 0 2132 32 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087743040272 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27439] ppid=27430 vsize=12920676 CPUtime=21.63 cores=0,2,4,6
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 25139 0 -1 1077944384 28272 0 0 0 2132 31 0 0 20 0 15 0 61884143 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087741987728 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27440] ppid=27430 vsize=12920676 CPUtime=1 cores=0,2,4,6
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 25139 0 -1 1077944384 49539 0 0 0 79 21 0 0 20 0 15 0 61884144 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087340017904 140087788190338 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27441] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 25139 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087338964192 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27442] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 25139 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61884145 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087270564608 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27443] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087269513168 140087788197787 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27444] ppid=27430 vsize=12920676 CPUtime=3.78 cores=0,2,4,6
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 25139 0 -1 1077944384 28513 0 0 0 374 4 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087268461296 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27445] ppid=27430 vsize=12920676 CPUtime=3.98 cores=0,2,4,6
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 25139 0 -1 1077944384 38317 0 0 0 394 4 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087267408752 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27446] ppid=27430 vsize=12920676 CPUtime=1.18 cores=0,2,4,6
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 25139 0 -1 1077944384 24825 0 0 0 115 3 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087266355696 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27447] ppid=27430 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61884147 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087265303392 140087788189397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
[pid=27433/tid=27448] ppid=27430 vsize=12920676 CPUtime=1.4 cores=0,2,4,6
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 25139 0 -1 1077944384 2076 0 0 0 62 78 0 0 20 0 15 0 61884152 13230772224 609532 18446744073709551615 4194304 4196468 140727256642688 140087264250416 140087788190338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25845760 140727256650136 140727256650318 140727256650318 140727256653775 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 12920676

Child status: 143
Real time (s): 2325.33
CPU time (s): 2400.06
CPU user time (s): 2397.1
CPU system time (s): 2.95813
CPU usage (%): 103.214
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.1
system time used= 2.95813
maximum resident set size= 3854412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69278
involuntary context switches= 3747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7441 second user time and 14.1971 second system time

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml
MD5SUM	f189c1eeae9c695eff92bc09b1867153
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.1299
Satisfiable
(Un)Satisfiability was proved
Number of variables	2401
Number of constraints	18424
Number of domains	1
Minimum domain size	1176
Maximum domain size	1176
Distribution of domain sizes	[{"size":1176,"count":1176}]
Minimum variable degree	0
Maximum variable degree	48
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":48,"count":1176}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":18424}]
Number of extensional constraints	0
Number of intensional constraints	18424
Distribution of constraint types	[{"type":"intension","count":18424}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4248596

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