2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	7834	2520.1	2497.02

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1825016940
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
5.37/2.27	c Parsing done, starting search...
203.30/196.13	o 9046
203.30/196.13	o 8945
203.30/196.13	o 8844
203.30/196.13	o 8743
203.30/196.14	o 8642
203.30/196.14	o 8541
203.30/196.14	o 8440
203.30/196.15	o 8339
203.30/196.18	o 8238
203.84/196.46	o 8237
204.15/196.73	o 8137
205.57/198.15	o 8036
205.88/198.49	o 8035
205.88/198.49	o 7935
217.12/209.55	o 7934
217.63/210.05	o 7835
217.63/210.05	o 7834
2520.08/2497.01	s SATISFIABLE
2520.08/2497.01	v <instantiation>
2520.08/2497.01	v 	<list>
2520.08/2497.01	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3]
2520.08/2497.01	v 	</list>
2520.08/2497.01	v 	<values>
2520.08/2497.01	v 		3 0 3 3 2 0 0 1 0 0 0 1 1 3 0 1 3 3 3 1 3 0 3 3 2 0 0 1 0 0 0 1 2 0 0 3 0 0 1 3 3 0 1 0 2 0 0 1 1 1 0 3 2 2 0 3 0 3 2 3 1 1 1 0 2 0 3 1 3 1 0 3 3 2 0 3 0 3 3 3 1 3 2 0 3 0 3 1 3 1 1 3 3 2 1 3 1 3 3 3 1 3 3 3 3 3 3 3 3 3 3 0 3 2 3 3 1 3 1 3 1 3 3 3 3 3 0 3 3 3 3 0 3 3 3 2 3 1 1 3 1 3 1 3 1 0 0 0 1 3 3 1 0 3 3 3 3 3 3 3 3 3 1 0 2 0 0 1 1 0 3 2 1 3 3 3 3 3 3 3 3 0 3 0 3 3 0 2 1 1 3 2 1 3 0 3 3 3 3 1 1 1 3 0 3 3 3 2 3 1 3 3 2 3 1 3 0 0 3 1 1 3 0 0 1 0 3 3 3 2 1 3 2 0 1 3 1 3 3 3 1 3 2 3 1 2 3 3 3 3 1 3 3 1 1 3 1 3 3 3 1 3 2 3 3 2 0 3 0 3 1 3 3 1 1 3 3 3 3 3 1 0 2 0 3 2 0 3 1 3 2 0 3 1 3 1 3 2 3 3 3 0 3 0 0 2 0 0 1 3 2 2 0 1 3 1 3 3 3 3 3 1 3 3 0 3 0 1 1 3 3 2 1 2 3 1 0 3 1 0 0 1 1 3 0 3 3 2 1 0 3 2 2 3 3 1 3 3 1 0 0 1 2 0 0 3 3 2 3 0 3 3 3 3 3 3 3 3 1 0 3 3 2 0 1 0 3 2 3 3 0 3 3 3 0 3 3 3 1 0 3 3 2 0 3 0 3 3 3 3 0 3 3 3 0 3 3 0 3 1 0 0 3 3 3 3 0 3 3 3 0 0 0 0 0 1 3 0 3 3 0 0 3 3 0 3 0 3 3 3 1 1 1 0 0 1 3 0 3 3 0 3 1 3 2 3 0 3 0 0 2 2 1 1 0 1 3 3 3 1 0 3 1 0 2 0 0 1 0 0 2 2 1 1 1 3 3 3 2 3 0 1 1 0 3 2 0 1 0 0 3 2 1 1 3 3 3 3 3 3 3 1 3 0 3 3 3 3 0 0 3 3 3 3 3 3 3 0 3 3 3 1 3 0 3 3 3 3 0 2 3 3 3 3 3 3 3 1 3 3 7 10 0 11 8 8 0 12 1 8 7 12 16 0 0 12 5 4 7 12 11 0 5 12 16 0 0 12 2 9 5 12 8 8 0 12 9 5 2 12 7 5 4 12 4 4 8 12 3 8 5 12 4 7 5 12 10 6 0 12 0 8 1 19 5 4 0 19 6 2 1 19 0 7 2 19 4 5 0 19 7 5 1 7 10 3 2 5 7 4 4 5 5 5 2 8 2 6 2 10 1 3 1 15 2 3 1 14 4 5 0 11 4 4 2 10 4 4 2 10 3 5 2 10 4 5 2 9 0 6 2 12 2 4 2 12 4 4 4 8 6 3 3 8 4 6 2 8 4 5 3 8 5 2 2 11 5 2 2 11 5 1 1 13 9 1 0 10 7 4 0 9 5 5 3 7 6 5 4 5 5 5 2 8 4 1 0 15 2 2 1 15 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 2 0 0 0 3 3 3 1 1 0 0 0 1 1 0 0 0 0 0 0 0 3 0 3 0 0 0 1 3 3 2 0 1 1 1 2 2 2 2 0 0 0 0 3 3 3 0 0 3 3 2 2 0 0 0 3 0 3 3 3 0 0 0 0 1 0 2 2 0 2 0 3 3 3 3 3 3 0 2 2 0 0 2 2 2 0 0 1 2 2 2 2 3 0 1 0 1 2 0 0 0 3 0 0 0 0 0 0 1 0 0 0 2 2 2 2 2 0 0 2 0 3 3 3 0 2 2 2 0 0 2 2 0 0 0 1 1 0 0 0 0 1 1 0 0 3 3 3 0 0 0 1 1 0 3 3 0 3 0 0 0 3 0 1 0 0 1 0 3 100 200 0 6 300 1 0 3 200 2 0 1 0 1 0 100 100 0 0 300 100 200 0 200 400 100 0 0 0 200 0 0 200 0 0 1 0 0 0 1 0 0 0 200 0 1 0 400 3 0 0 400 100 0 0 100 100 3 0 2 300 1 0 1 3 0 0 0 0 1 0 1 300 100 0 100 400 0 0 100 200 100 0 3 200 100 0 3 100 400 0 1 0 0 0 1 0 1 0 1 0 0 0 2 100 200 0 300 500 100 0 
2520.08/2497.01	v 	</values>
2520.08/2497.01	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 (11840 MiB free)
  memory of node 1: 16384 MiB (11308 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311680-1534541043/watcher-4311680-1534541043 -o /tmp/evaluation-result-4311680-1534541043/solver-4311680-1534541043 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15719 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1825016940 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311680-1534541043.xml 

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
solver pid=15762, runsolver pid=15759
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 0.00 0.01 0.05 3/215 15777
/proc/meminfo: memFree=23677792/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14082736 memory=31488 CPUtime=0.12 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 6776 0 0 0 11 1 0 0 20 0 15 0 271667515 14420721664 7872 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3520684 7872 3155 1 0 3482761 0
[pid=15762/tid=15764] ppid=15759 vsize=14082736 memory=-8701690554791923071 CPUtime=0.09 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 4829 0 0 0 9 0 0 0 20 0 15 0 271667515 14420721664 7872 33554432000 4194304 4196468 140737475535440 139680475596128 139680454554224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 7872 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 7872 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 7872 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 7872 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679944373024 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679943320688 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679940164080 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0.01 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) S 15759 15762 15687 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 271667521 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 7872 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31488 KiB

[startup+0.21047 s]*
/proc/loadavg: 0.00 0.01 0.05 6/215 15777
/proc/meminfo: memFree=23642320/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14082736 memory=47300 CPUtime=0.3 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 10399 0 0 0 28 2 0 0 20 0 15 0 271667515 14420721664 11825 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3520684 11825 3369 1 0 3482761 0
[pid=15762/tid=15764] ppid=15759 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 8146 0 0 0 18 1 0 0 20 0 15 0 271667515 14420721664 11825 33554432000 4194304 4196468 140737475535440 139680475593440 139680455411045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 11825 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14082736 memory=3473879075202557600 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 11825 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 11825 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 11825 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679944373024 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679943320688 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 15 0 271667521 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) R 15759 15762 15687 0 -1 4202560 148 0 0 0 2 0 0 0 20 0 15 0 271667521 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679940154192 139680450614387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0.05 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) R 15759 15762 15687 0 -1 1077944384 302 0 0 0 5 0 0 0 20 0 15 0 271667521 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 11825 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47300 KiB

[startup+0.310488 s]*
/proc/loadavg: 0.00 0.01 0.05 3/215 15777
/proc/meminfo: memFree=23631960/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14082736 memory=50692 CPUtime=0.44 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 10794 0 0 0 42 2 0 0 20 0 15 0 271667515 14420721664 12673 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3520684 12673 3408 1 0 3482761 0
[pid=15762/tid=15764] ppid=15759 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 8479 0 0 0 28 1 0 0 20 0 15 0 271667515 14420721664 12673 33554432000 4194304 4196468 140737475535440 139680475575248 139680452930948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14082736 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 12673 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14082736 memory=3618281231518295712 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 12673 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 12673 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667516 14420721664 12673 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679944373024 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667518 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679943320688 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 271667521 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) S 15759 15762 15687 0 -1 1077944384 158 0 0 0 3 0 0 0 20 0 15 0 271667521 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679940164080 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0.08 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) S 15759 15762 15687 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 15 0 271667521 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14082736 memory=140088362690176 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667521 14420721664 12673 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50692 KiB

[startup+0.700698 s]
/proc/loadavg: 0.00 0.01 0.05 5/215 15777
/proc/meminfo: memFree=23594560/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14084804 memory=88988 CPUtime=0.99 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 17622 0 0 0 95 4 0 0 20 0 15 0 271667515 14422839296 22247 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3521201 22247 3499 1 0 3483273 0
[pid=15762/tid=15764] ppid=15759 vsize=14084804 memory=1744 CPUtime=0.67 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 14924 0 0 0 64 3 0 0 20 0 15 0 271667515 14422839296 22247 33554432000 4194304 4196468 140737475535440 139680475591520 139680453818308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14422839296 22247 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14422839296 22247 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14084804 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14422839296 22247 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14084804 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667516 14422839296 22247 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14084804 memory=7952 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667518 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14084804 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667518 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679944373024 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14084804 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667518 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679943320688 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14084804 memory=4639098309541127012 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14084804 memory=6369613153740022872 CPUtime=0.08 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 625 0 0 0 8 0 0 0 20 0 15 0 271667521 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) S 15759 15762 15687 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 15 0 271667521 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679940164080 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) S 15759 15762 15687 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 271667521 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667521 14422839296 22247 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88988 KiB

[startup+1.50075 s]
/proc/loadavg: 0.00 0.01 0.05 10/215 15777
/proc/meminfo: memFree=23495984/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14088900 memory=156764 CPUtime=3.43 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 28586 0 0 0 336 7 0 0 20 0 15 0 271667515 14427033600 39191 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3522225 39191 3550 1 0 3484297 0
[pid=15762/tid=15764] ppid=15759 vsize=14088900 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 18479 0 0 0 142 4 0 0 20 0 15 0 271667515 14427033600 39191 33554432000 4194304 4196468 140737475535440 139680475600848 139680452773704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14088900 memory=-8253362762724047225 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14427033600 39191 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14088900 memory=-8609294068986781045 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14427033600 39191 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14088900 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667516 14427033600 39191 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667516 14427033600 39191 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 271667518 14427033600 39191 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0

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

/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 51736 0 0 0 231159 22 0 0 20 0 15 0 271667515 14431227904 184199 33554432000 4194304 4196468 140737475535440 139680475605120 139680083440041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14092996 memory=734748 CPUtime=5.35 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 8503 0 0 0 507 28 0 0 20 0 15 0 271667516 14431227904 184199 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14092996 memory=734748 CPUtime=5.38 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 13148 0 0 0 509 29 0 0 20 0 15 0 271667516 14431227904 184199 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14092996 memory=734748 CPUtime=5.37 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 9311 0 0 0 509 28 0 0 20 0 15 0 271667516 14431227904 184199 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14092996 memory=230764 CPUtime=5.37 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 12557 0 0 0 509 28 0 0 20 0 15 0 271667516 14431227904 184199 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14092996 memory=734748 CPUtime=3.21 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 9741 0 0 0 297 24 0 0 20 0 15 0 271667518 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14092996 memory=736796 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679944373088 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14092996 memory=736796 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679943320704 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14092996 memory=736796 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14092996 memory=1744 CPUtime=2.84 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 9888 0 0 0 282 2 0 0 20 0 15 0 271667521 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14092996 memory=734748 CPUtime=2.62 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) S 15759 15762 15687 0 -1 1077944384 8822 0 0 0 261 1 0 0 20 0 15 0 271667521 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679940164080 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14092996 memory=6791534058613427641 CPUtime=1.2 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) S 15759 15762 15687 0 -1 1077944384 12140 0 0 0 118 2 0 0 20 0 15 0 271667521 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14092996 memory=5844 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14092996 memory=736796 CPUtime=0.8 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 863 0 0 0 38 42 0 0 20 0 15 0 271667521 14431227904 184199 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 2344.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 736796 KiB

[startup+2382.3 s]
/proc/loadavg: 1.53 1.50 1.30 3/217 15893
/proc/meminfo: memFree=20981300/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14092996 memory=738844 CPUtime=2404.48 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 139294 0 0 0 240263 185 0 0 20 0 15 0 271667515 14431227904 184711 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3523249 184711 3605 1 0 3485321 0
[pid=15762/tid=15764] ppid=15759 vsize=14092996 memory=734748 CPUtime=2371.52 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 52247 0 0 0 237130 22 0 0 20 0 15 0 271667515 14431227904 184711 33554432000 4194304 4196468 140737475535440 139680475605408 139680083690274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14092996 memory=736796 CPUtime=5.51 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 8527 0 0 0 522 29 0 0 20 0 15 0 271667516 14431227904 184711 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14092996 memory=736796 CPUtime=5.53 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 13313 0 0 0 523 30 0 0 20 0 15 0 271667516 14431227904 184711 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14092996 memory=736796 CPUtime=5.52 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 9344 0 0 0 524 28 0 0 20 0 15 0 271667516 14431227904 184711 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14092996 memory=738844 CPUtime=5.52 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 12769 0 0 0 524 28 0 0 20 0 15 0 271667516 14431227904 184711 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14092996 memory=738844 CPUtime=3.29 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 9920 0 0 0 305 24 0 0 20 0 15 0 271667518 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14092996 memory=738844 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679944373088 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14092996 memory=738844 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679943320704 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14092996 memory=736796 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14092996 memory=736796 CPUtime=2.84 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 9890 0 0 0 282 2 0 0 20 0 15 0 271667521 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14092996 memory=6376 CPUtime=2.62 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) S 15759 15762 15687 0 -1 1077944384 8824 0 0 0 261 1 0 0 20 0 15 0 271667521 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679940164080 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14092996 memory=2080 CPUtime=1.2 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) S 15759 15762 15687 0 -1 1077944384 12142 0 0 0 118 2 0 0 20 0 15 0 271667521 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14092996 memory=736796 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14092996 memory=1600 CPUtime=0.82 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 878 0 0 0 39 43 0 0 20 0 15 0 271667521 14431227904 184711 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 2404.48 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 738844 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.55 1.33 3/217 15894
/proc/meminfo: memFree=20977748/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14092996 memory=740892 CPUtime=2464.94 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 140184 0 0 0 246306 188 0 0 20 0 15 0 271667515 14431227904 185223 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3523249 185223 3605 1 0 3485321 0
[pid=15762/tid=15764] ppid=15759 vsize=14092996 memory=740892 CPUtime=2431.25 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 52712 0 0 0 243103 22 0 0 20 0 15 0 271667515 14431227904 185223 33554432000 4194304 4196468 140737475535440 139680475605392 139680083741386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14092996 memory=738844 CPUtime=5.66 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 8659 0 0 0 536 30 0 0 20 0 15 0 271667516 14431227904 185223 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14092996 memory=738844 CPUtime=5.68 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 13399 0 0 0 538 30 0 0 20 0 15 0 271667516 14431227904 185223 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14092996 memory=738844 CPUtime=5.68 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 9493 0 0 0 539 29 0 0 20 0 15 0 271667516 14431227904 185223 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14092996 memory=740892 CPUtime=5.68 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 12791 0 0 0 539 29 0 0 20 0 15 0 271667516 14431227904 185223 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14092996 memory=740892 CPUtime=3.38 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 9944 0 0 0 314 24 0 0 20 0 15 0 271667518 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14092996 memory=740892 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679944373088 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14092996 memory=740892 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679943320704 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14092996 memory=740892 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14092996 memory=738844 CPUtime=2.84 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 9892 0 0 0 282 2 0 0 20 0 15 0 271667521 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14092996 memory=920 CPUtime=2.63 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) S 15759 15762 15687 0 -1 1077944384 8826 0 0 0 262 1 0 0 20 0 15 0 271667521 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679940164080 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14092996 memory=740892 CPUtime=1.2 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) S 15759 15762 15687 0 -1 1077944384 12144 0 0 0 118 2 0 0 20 0 15 0 271667521 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14092996 memory=740892 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14092996 memory=740892 CPUtime=0.84 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 884 0 0 0 40 44 0 0 20 0 15 0 271667521 14431227904 185223 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 2464.94 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 740892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2497 s]*
/proc/loadavg: 1.82 1.61 1.36 4/216 15972
/proc/meminfo: memFree=22977076/32770624 swapFree=67108804/67108860
[pid=15762] ppid=15759 vsize=14092996 memory=742940 CPUtime=2520.08 cores=1,3,5,7
/proc/15762/stat : 15762 (java) S 15759 15762 15687 0 -1 1077944320 140927 0 0 0 251816 192 0 0 20 0 15 0 271667515 14431227904 185735 33554432000 4194304 4196468 140737475535440 140737475517984 139680471367415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
/proc/15762/statm: 3523249 185735 3605 1 0 3485321 0
[pid=15762/tid=15764] ppid=15759 vsize=14092996 memory=6791534058613427641 CPUtime=2485.73 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (java) R 15759 15762 15687 0 -1 4202560 53138 0 0 0 248550 23 0 0 20 0 15 0 271667515 14431227904 185735 33554432000 4194304 4196468 140737475535440 139680475605440 139680071891687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15765] ppid=15759 vsize=14092996 memory=742940 CPUtime=5.8 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (java) S 15759 15762 15687 0 -1 1077944384 8670 0 0 0 550 30 0 0 20 0 15 0 271667516 14431227904 185735 33554432000 4194304 4196468 140737475535440 139680401456016 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15766] ppid=15759 vsize=14092996 memory=836 CPUtime=5.82 cores=1,3,5,7
/proc/15762/task/15766/stat : 15766 (java) S 15759 15762 15687 0 -1 1077944384 13455 0 0 0 551 31 0 0 20 0 15 0 271667516 14431227904 185735 33554432000 4194304 4196468 140737475535440 139680400403216 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15767] ppid=15759 vsize=14092996 memory=1084 CPUtime=5.82 cores=1,3,5,7
/proc/15762/task/15767/stat : 15767 (java) S 15759 15762 15687 0 -1 1077944384 9565 0 0 0 552 30 0 0 20 0 15 0 271667516 14431227904 185735 33554432000 4194304 4196468 140737475535440 139680399350928 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15768] ppid=15759 vsize=14092996 memory=4872558044660077418 CPUtime=5.81 cores=1,3,5,7
/proc/15762/task/15768/stat : 15768 (java) S 15759 15762 15687 0 -1 1077944384 12796 0 0 0 552 29 0 0 20 0 15 0 271667516 14431227904 185735 33554432000 4194304 4196468 140737475535440 139680398298128 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15769] ppid=15759 vsize=14092996 memory=1060 CPUtime=3.46 cores=1,3,5,7
/proc/15762/task/15769/stat : 15769 (java) S 15759 15762 15687 0 -1 1077944384 10111 0 0 0 321 25 0 0 20 0 15 0 271667518 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679945427056 139680471378562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15770] ppid=15759 vsize=14092996 memory=5844 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15770/stat : 15770 (java) S 15759 15762 15687 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679944373088 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15771] ppid=15759 vsize=14092996 memory=3304 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15771/stat : 15771 (java) S 15759 15762 15687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271667518 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679943320704 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15772] ppid=15759 vsize=14092996 memory=1260 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15772/stat : 15772 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679942269008 139680471386011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15773] ppid=15759 vsize=14092996 memory=14872 CPUtime=2.84 cores=1,3,5,7
/proc/15762/task/15773/stat : 15773 (java) S 15759 15762 15687 0 -1 1077944384 9892 0 0 0 282 2 0 0 20 0 15 0 271667521 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679941216880 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15774] ppid=15759 vsize=14092996 memory=3296 CPUtime=2.63 cores=1,3,5,7
/proc/15762/task/15774/stat : 15774 (java) S 15759 15762 15687 0 -1 1077944384 8826 0 0 0 262 1 0 0 20 0 15 0 271667521 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679940164080 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15775] ppid=15759 vsize=14092996 memory=15292 CPUtime=1.2 cores=1,3,5,7
/proc/15762/task/15775/stat : 15775 (java) S 15759 15762 15687 0 -1 1077944384 12144 0 0 0 118 2 0 0 20 0 15 0 271667521 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679939111792 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15776] ppid=15759 vsize=14092996 memory=3404 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15776/stat : 15776 (java) S 15759 15762 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667521 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679938059232 139680471377621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
[pid=15762/tid=15777] ppid=15759 vsize=14092996 memory=496 CPUtime=0.86 cores=1,3,5,7
/proc/15762/task/15777/stat : 15777 (java) S 15759 15762 15687 0 -1 1077944384 890 0 0 0 41 45 0 0 20 0 15 0 271667521 14431227904 185735 33554432000 4194304 4196468 140737475535440 139679937006000 139680471378562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140737475540040 140737475540233 140737475540233 140737475542991 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 742940 KiB

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

[startup+2497.02 s]
# the end of solver process 15762 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.18 s, system=1.92669 s

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

Child status: 143
Real time (s): 2497.02
CPU time (s): 2520.1
CPU user time (s): 2518.18
CPU system time (s): 1.92669
CPU usage (%): 100.924
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 742940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.18
system time used= 1.9267
maximum resident set size= 743364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145486
involuntary context switches= 5060


# summary of solver processes directly reported to runsolver:
#   pid: 15762
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.18
#   total CPU system time (s): 1.92669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.293 second user time and 22.9477 second system time

The end

Name	NurseRostering/ NurseRostering-07_c18.xml
MD5SUM	39ce033b713bdbb29423ae6f53deb82d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	5606
Best CPU time to get the best result obtained on this benchmark	2520.14
Satisfiable
(Un)Satisfiability was proved
Number of variables	1112
Number of constraints	2738
Number of domains	16
Minimum domain size	1
Maximum domain size	29
Distribution of domain sizes	[{"size":1,"count":40},{"size":2,"count":248},{"size":4,"count":560},{"size":5,"count":3},{"size":10,"count":9},{"size":21,"count":196},{"size":29,"count":56}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":472},{"degree":3,"count":80},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":19},{"degree":15,"count":3},{"degree":16,"count":15},{"degree":17,"count":25},{"degree":18,"count":28},{"degree":19,"count":37},{"degree":20,"count":69},{"degree":21,"count":127},{"degree":22,"count":116},{"degree":23,"count":48},{"degree":24,"count":48},{"degree":25,"count":5}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":1145},{"arity":3,"count":780},{"arity":4,"count":165},{"arity":6,"count":345},{"arity":7,"count":110},{"arity":21,"count":112},{"arity":29,"count":80},{"arity":40,"count":1}]
Number of extensional constraints	652
Number of intensional constraints	358
Distribution of constraint types	[{"type":"extension","count":652},{"type":"intension","count":358},{"type":"regular","count":1040},{"type":"sum","count":40},{"type":"count","count":647},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4311680

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