2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	345	252.126	244.231

0.68/0.56	c version: 2018-08-17
0.68/0.56	c seed: 2033360390
0.68/0.56	c timeout: 252
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 1
0.68/0.58	c Parsing instance...
3.90/1.85	c Parsing done, starting search...
4.17/1.96	o 1041
4.17/1.98	o 817
4.17/1.99	o 793
4.49/2.01	o 785
4.49/2.02	o 737
4.49/2.03	o 641
4.49/2.07	o 609
5.09/2.30	o 601
5.39/2.30	o 593
5.39/2.31	o 529
5.39/2.31	o 497
5.39/2.34	o 457
7.85/3.98	o 417
19.88/15.60	o 401
75.46/70.45	o 385
97.27/92.10	o 345
252.09/244.20	s SATISFIABLE
252.09/244.21	v <instantiation>
252.09/244.21	v 	<list>
252.09/244.21	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[45][0] y[45][1] y[45][2] y[45][3] y[46][0] y[46][1] y[46][2] y[47][0] y[47][1] y[48][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48]
252.09/244.21	v 	</list>
252.09/244.21	v 	<values>
252.09/244.21	v 		1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -2 -5 2 -1 0 3 0 3 2 1 0 -3 0 -1 -2 3 -2 3 -2 7 -2 7 4 5 -2 -1 0 3 0 -1 4 3 0 -1 -2 1 2 1 0 -1 -2 3 2 -5 0 3 0 -1 1 4 25 4 1 0 9 0 9 4 1 0 9 0 1 4 9 4 9 4 49 4 49 16 25 4 1 0 9 0 1 16 9 0 1 4 1 4 1 0 1 4 9 4 25 0 9 0 1 
252.09/244.21	v 	</values>
252.09/244.21	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 (13912 MiB free)
  memory of node 1: 16384 MiB (9971 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312355-1534569877/watcher-4312355-1534569877 -o /tmp/evaluation-result-4312355-1534569877/solver-4312355-1534569877 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534568406-29560 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2033360390 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312355-1534569877.xml 

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

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

solver pid=30751, runsolver pid=30748

[startup+0.100072 s]*
/proc/loadavg: 2.38 1.88 1.59 3/219 30766
/proc/meminfo: memFree=24439488/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14082736 memory=31392 CPUtime=0.12 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 6742 0 0 0 11 1 0 0 20 0 15 0 274550960 14420721664 7848 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3520684 7848 3158 1 0 3482761 0
[pid=30751/tid=30753] ppid=30748 vsize=14082736 memory=-8701690554792316032 CPUtime=0.09 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 4789 0 0 0 8 1 0 0 20 0 15 0 274550960 14420721664 7848 33554432000 4194304 4196468 140736992748864 140603381093120 140603376919709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602850801056 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602849748464 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 25964 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602847643632 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0.01 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) R 30748 30751 25964 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 274550966 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602845538544 140603376919130 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 7848 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31392 KiB

[startup+0.213328 s]*
/proc/loadavg: 2.38 1.88 1.59 6/219 30766
/proc/meminfo: memFree=24424204/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14082736 memory=47204 CPUtime=0.31 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 10418 0 0 0 29 2 0 0 20 0 15 0 274550960 14420721664 11801 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3520684 11801 3359 1 0 3482761 0
[pid=30751/tid=30753] ppid=30748 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 8134 0 0 0 18 2 0 0 20 0 15 0 274550960 14420721664 11801 33554432000 4194304 4196468 140736992748864 140603381124688 140603360978270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14082736 memory=3618278855357511328 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602850801056 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602849748464 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) R 30748 30751 25964 0 -1 4202560 416 0 0 0 2 0 0 0 20 0 15 0 274550966 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602847643632 140603360454439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) R 30748 30751 25964 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 15 0 274550966 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0.06 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) R 30748 30751 25964 0 -1 4202560 294 0 0 0 6 0 0 0 20 0 15 0 274550966 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602845538544 140603355858664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 11801 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47204 KiB

[startup+0.310685 s]*
/proc/loadavg: 2.38 1.88 1.59 3/219 30766
/proc/meminfo: memFree=24420668/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14082736 memory=50708 CPUtime=0.44 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 10812 0 0 0 42 2 0 0 20 0 15 0 274550960 14420721664 12677 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3520684 12677 3408 1 0 3482761 0
[pid=30751/tid=30753] ppid=30748 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 8485 0 0 0 28 2 0 0 20 0 15 0 274550960 14420721664 12677 33554432000 4194304 4196468 140736992748864 140603381109296 140603376911647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14082736 memory=4294980954 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14082736 memory=3547068980489631392 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274550961 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602850801056 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274550963 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602849748464 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 25964 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 15 0 274550966 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602847643632 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 25964 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 274550966 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0.08 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 25964 0 -1 1077944384 316 0 0 0 8 0 0 0 20 0 15 0 274550966 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602845538544 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14082736 memory=139898323482240 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550966 14420721664 12677 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50708 KiB

[startup+0.700793 s]
/proc/loadavg: 2.38 1.88 1.59 3/219 30766
/proc/meminfo: memFree=24397104/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14084804 memory=88776 CPUtime=0.99 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 17581 0 0 0 94 5 0 0 20 0 15 0 274550960 14422839296 22194 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3521201 22194 3499 1 0 3483273 0
[pid=30751/tid=30753] ppid=30748 vsize=14084804 memory=1172 CPUtime=0.67 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 14918 0 0 0 63 4 0 0 20 0 15 0 274550960 14422839296 22194 33554432000 4194304 4196468 140736992748864 140603381120384 140603376919709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14084804 memory=3876 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14084804 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274550961 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274550963 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14084804 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274550963 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602850801056 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14084804 memory=924 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274550963 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602849748464 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14084804 memory=7237400421024098393 CPUtime=0.08 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 25964 0 -1 1077944384 562 0 0 0 8 0 0 0 20 0 15 0 274550966 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602847643632 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 25964 0 -1 1077944384 344 0 0 0 6 0 0 0 20 0 15 0 274550966 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 25964 0 -1 1077944384 377 0 0 0 15 0 0 0 20 0 15 0 274550966 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602845538544 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14084804 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550966 14422839296 22194 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88776 KiB

[startup+1.50075 s]
/proc/loadavg: 2.38 1.88 1.59 4/219 30766
/proc/meminfo: memFree=24360128/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14088900 memory=179924 CPUtime=3.29 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 25243 0 0 0 321 8 0 0 20 0 15 0 274550960 14427033600 44981 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3522225 44981 3546 1 0 3484297 0
[pid=30751/tid=30753] ppid=30748 vsize=14088900 memory=148536 CPUtime=1.47 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 17822 0 0 0 141 6 0 0 20 0 15 0 274550960 14427033600 44981 33554432000 4194304 4196468 140736992748864 140603381133680 140603020662178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14427033600 44981 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14427033600 45493 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274550961 14427033600 45493 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274550961 14427033600 45493 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 274550963 14427033600 45493 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0

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

/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 24519 0 0 0 10161 10 0 0 20 0 15 0 274550960 14429130752 44088 33554432000 4194304 4196468 140736992748864 140603381136032 140603024676629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=6876 CPUtime=0.25 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 1873 0 0 0 23 2 0 0 20 0 15 0 274550961 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=182508 CPUtime=0.24 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 1671 0 0 0 22 2 0 0 20 0 15 0 274550961 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=177892 CPUtime=0.24 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 1481 0 0 0 22 2 0 0 20 0 15 0 274550961 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=178916 CPUtime=0.24 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 1435 0 0 0 23 1 0 0 20 0 15 0 274550961 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=2928 CPUtime=0.2 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 1474 0 0 0 18 2 0 0 20 0 15 0 274550963 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=181148 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602850801120 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602849748480 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=139898225258193 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=-5587106306044206369 CPUtime=1.82 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 25964 0 -1 1077944384 12867 0 0 0 181 1 0 0 20 0 15 0 274550966 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602847643632 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=33 CPUtime=1.95 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 25964 0 -1 1077944384 8878 0 0 0 194 1 0 0 20 0 15 0 274550966 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=-2247047206238510163 CPUtime=0.89 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 25964 0 -1 1077944384 11170 0 0 0 88 1 0 0 20 0 15 0 274550966 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602845538544 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=197928 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=752 CPUtime=0.04 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 286 0 0 0 2 2 0 0 20 0 15 0 274550966 14429130752 44088 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 107.68 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 176352 KiB

[startup+162.301 s]
/proc/loadavg: 1.59 1.73 1.58 4/218 30769
/proc/meminfo: memFree=24260132/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14090948 memory=215396 CPUtime=168.7 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 76320 0 0 0 16832 38 0 0 20 0 15 0 274550960 14429130752 53849 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3522737 53849 3586 1 0 3484809 0
[pid=30751/tid=30753] ppid=30748 vsize=14090948 memory=201240 CPUtime=161.09 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 27209 0 0 0 16097 12 0 0 20 0 15 0 274550960 14429130752 53849 33554432000 4194304 4196468 140736992748864 140603381136032 140603024715455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=216752 CPUtime=0.57 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 2848 0 0 0 53 4 0 0 20 0 15 0 274550961 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=215352 CPUtime=0.56 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 2092 0 0 0 52 4 0 0 20 0 15 0 274550961 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=214376 CPUtime=0.56 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 1882 0 0 0 52 4 0 0 20 0 15 0 274550961 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=1564 CPUtime=0.57 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 1835 0 0 0 53 4 0 0 20 0 15 0 274550961 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=179944 CPUtime=0.4 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 1771 0 0 0 37 3 0 0 20 0 15 0 274550963 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=7367998273275061333 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602850801120 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=215860 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602849748480 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=215908 CPUtime=1.86 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 25964 0 -1 1077944384 13866 0 0 0 185 1 0 0 20 0 15 0 274550966 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602847643632 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=214376 CPUtime=2.01 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 25964 0 -1 1077944384 10275 0 0 0 200 1 0 0 20 0 15 0 274550966 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=1756 CPUtime=0.9 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 25964 0 -1 1077944384 12822 0 0 0 89 1 0 0 20 0 15 0 274550966 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602845538544 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=215348 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=1756 CPUtime=0.08 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 299 0 0 0 5 3 0 0 20 0 15 0 274550966 14429130752 53849 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 168.7 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 215396 KiB

[startup+222.301 s]
/proc/loadavg: 1.43 1.65 1.57 3/219 30848
/proc/meminfo: memFree=24167128/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14090948 memory=256056 CPUtime=229.79 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 84771 0 0 0 22925 54 0 0 20 0 15 0 274550960 14429130752 64014 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3522737 64014 3586 1 0 3484809 0
[pid=30751/tid=30753] ppid=30748 vsize=14090948 memory=254520 CPUtime=220.44 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 32368 0 0 0 22030 14 0 0 20 0 15 0 274550960 14429130752 64014 33554432000 4194304 4196468 140736992748864 140603381136032 140603024483211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=253312 CPUtime=0.93 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 4211 0 0 0 86 7 0 0 20 0 15 0 274550961 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=78 CPUtime=0.93 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 2632 0 0 0 86 7 0 0 20 0 15 0 274550961 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=230772 CPUtime=0.93 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 2348 0 0 0 86 7 0 0 20 0 15 0 274550961 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=254008 CPUtime=0.94 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 2390 0 0 0 88 6 0 0 20 0 15 0 274550961 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=3824 CPUtime=0.62 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 2080 0 0 0 56 6 0 0 20 0 15 0 274550963 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602850801120 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602849748480 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=253824 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=253824 CPUtime=1.86 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 25964 0 -1 1077944384 13870 0 0 0 185 1 0 0 20 0 15 0 274550966 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602847643632 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=251776 CPUtime=2.01 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 25964 0 -1 1077944384 10277 0 0 0 200 1 0 0 20 0 15 0 274550966 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=251776 CPUtime=0.9 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 25964 0 -1 1077944384 12854 0 0 0 89 1 0 0 20 0 15 0 274550966 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602845538544 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=15784 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=1172 CPUtime=0.12 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 320 0 0 0 7 5 0 0 20 0 15 0 274550966 14429130752 64014 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 229.79 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 256056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.201 s]
/proc/loadavg: 1.26 1.60 1.55 3/219 30848
/proc/meminfo: memFree=24182704/32770624 swapFree=67108688/67108860
[pid=30751] ppid=30748 vsize=14090948 memory=256652 CPUtime=252.09 cores=0,2,4,6
/proc/30751/stat : 30751 (java) S 30748 30751 25964 0 -1 1077944320 85655 0 0 0 25150 59 0 0 20 0 15 0 274550960 14429130752 64163 33554432000 4194304 4196468 140736992748864 140736992731408 140603376897783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
/proc/30751/statm: 3522737 64163 3586 1 0 3484809 0
[pid=30751/tid=30753] ppid=30748 vsize=14090948 memory=231800 CPUtime=242.11 cores=0,2,4,6
/proc/30751/task/30753/stat : 30753 (java) R 30748 30751 25964 0 -1 4202560 32500 0 0 0 24197 14 0 0 20 0 15 0 274550960 14429130752 64163 33554432000 4194304 4196468 140736992748864 140603381136032 140603017057063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30754] ppid=30748 vsize=14090948 memory=6791534058613427641 CPUtime=1.06 cores=0,2,4,6
/proc/30751/task/30754/stat : 30754 (java) S 30748 30751 25964 0 -1 1077944384 4415 0 0 0 98 8 0 0 20 0 15 0 274550961 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602973071632 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30755] ppid=30748 vsize=14090948 memory=6876 CPUtime=1.07 cores=0,2,4,6
/proc/30751/task/30755/stat : 30755 (java) S 30748 30751 25964 0 -1 1077944384 2777 0 0 0 99 8 0 0 20 0 15 0 274550961 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602972019088 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30756] ppid=30748 vsize=14090948 memory=2316 CPUtime=1.06 cores=0,2,4,6
/proc/30751/task/30756/stat : 30756 (java) S 30748 30751 25964 0 -1 1077944384 2580 0 0 0 98 8 0 0 20 0 15 0 274550961 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602970966544 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30757] ppid=30748 vsize=14090948 memory=1220 CPUtime=1.08 cores=0,2,4,6
/proc/30751/task/30757/stat : 30757 (java) S 30748 30751 25964 0 -1 1077944384 2555 0 0 0 101 7 0 0 20 0 15 0 274550961 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602969914000 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30758] ppid=30748 vsize=14090948 memory=1756 CPUtime=0.7 cores=0,2,4,6
/proc/30751/task/30758/stat : 30758 (java) S 30748 30751 25964 0 -1 1077944384 2086 0 0 0 63 7 0 0 20 0 15 0 274550963 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602851854832 140603376908930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30759] ppid=30748 vsize=14090948 memory=872 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30759/stat : 30759 (java) S 30748 30751 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602850801120 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30760] ppid=30748 vsize=14090948 memory=4216 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30760/stat : 30760 (java) S 30748 30751 25964 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274550963 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602849748480 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30761] ppid=30748 vsize=14090948 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30761/stat : 30761 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602848697040 140603376916379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30762] ppid=30748 vsize=14090948 memory=3732 CPUtime=1.86 cores=0,2,4,6
/proc/30751/task/30762/stat : 30762 (java) S 30748 30751 25964 0 -1 1077944384 13870 0 0 0 185 1 0 0 20 0 15 0 274550966 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602847643632 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30763] ppid=30748 vsize=14090948 memory=257680 CPUtime=2.01 cores=0,2,4,6
/proc/30751/task/30763/stat : 30763 (java) S 30748 30751 25964 0 -1 1077944384 10277 0 0 0 200 1 0 0 20 0 15 0 274550966 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602846591088 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30764] ppid=30748 vsize=14090948 memory=2700 CPUtime=0.9 cores=0,2,4,6
/proc/30751/task/30764/stat : 30764 (java) S 30748 30751 25964 0 -1 1077944384 12854 0 0 0 89 1 0 0 20 0 15 0 274550966 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602845538544 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30765] ppid=30748 vsize=14090948 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/30751/task/30765/stat : 30765 (java) S 30748 30751 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274550966 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602844486240 140603376907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
[pid=30751/tid=30766] ppid=30748 vsize=14090948 memory=4100 CPUtime=0.12 cores=0,2,4,6
/proc/30751/task/30766/stat : 30766 (java) S 30748 30751 25964 0 -1 1077944384 320 0 0 0 7 5 0 0 20 0 15 0 274550966 14429130752 64163 33554432000 4194304 4196468 140736992748864 140602843433776 140603376908930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 28168192 140736992756814 140736992757006 140736992757006 140736992759759 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 256652 KiB

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

[startup+244.231 s]
# the end of solver process 30751 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.522 s, system=0.603925 s

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

Child status: 143
Real time (s): 244.231
CPU time (s): 252.126
CPU user time (s): 251.522
CPU system time (s): 0.603925
CPU usage (%): 103.232
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 260516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.522
system time used= 0.603925
maximum resident set size= 260516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25860
involuntary context switches= 757


# summary of solver processes directly reported to runsolver:
#   pid: 30751
#   total CPU time (s): 252.126
#   total CPU user time (s): 251.522
#   total CPU system time (s): 0.603925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.569 second user time and 2.14748 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-050_c18.xml
MD5SUM	22f254a3908600e49eb95db263b253c5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	329
Best CPU time to get the best result obtained on this benchmark	252.076
Satisfiable
(Un)Satisfiability was proved
Number of variables	2549
Number of constraints	1323
Number of domains	99
Minimum domain size	2
Maximum domain size	99
Distribution of domain sizes	[{"size":2,"count":1276},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}]
Minimum variable degree	0
Maximum variable degree	49
Distribution of variable degrees	[{"degree":0,"count":1176},{"degree":2,"count":1323},{"degree":49,"count":50}]
Minimum constraint arity	2
Maximum constraint arity	50
Distribution of constraint arities	[{"arity":2,"count":50},{"arity":3,"count":1226},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":1},{"arity":49,"count":1},{"arity":50,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1274
Distribution of constraint types	[{"type":"intension","count":1274},{"type":"sum","count":49}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4312355

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