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-14	SAT (TO)	313	2520.05	2485.23

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 631074913
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
3.92/1.83	c Parsing done, starting search...
4.18/1.94	o 1041
4.18/1.96	o 817
4.18/1.96	o 793
4.18/1.99	o 785
4.18/1.99	o 737
4.18/2.00	o 641
4.54/2.05	o 609
5.13/2.26	o 601
5.13/2.27	o 593
5.13/2.27	o 529
5.13/2.28	o 497
5.43/2.30	o 457
9.82/5.90	o 441
25.35/21.12	o 433
25.35/21.16	o 409
25.45/21.27	o 393
33.71/29.38	o 377
128.52/123.52	o 361
936.71/926.01	o 345
957.74/946.81	o 329
1182.34/1168.52	o 321
1830.13/1806.96	o 313
2520.00/2485.21	s SATISFIABLE
2520.00/2485.21	v <instantiation>
2520.00/2485.21	v 	<list>
2520.00/2485.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]
2520.00/2485.21	v 	</list>
2520.00/2485.21	v 	<values>
2520.00/2485.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 -3 0 1 -4 -1 -6 -1 0 -1 0 -1 0 -3 -6 -3 2 -1 6 1 -2 -3 2 1 2 3 4 1 0 1 0 1 0 -1 -4 1 -4 -3 -2 3 -2 3 2 -1 4 -1 -2 1 -2 1 9 0 1 16 1 36 1 0 1 0 1 0 9 36 9 4 1 36 1 4 9 4 1 4 9 16 1 0 1 0 1 0 1 16 1 16 9 4 9 4 9 4 1 16 1 4 1 4 1 
2520.00/2485.21	v 	</values>
2520.00/2485.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 (13532 MiB free)
  memory of node 1: 16384 MiB (10457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308037-1534325905/watcher-4308037-1534325905 -o /tmp/evaluation-result-4308037-1534325905/solver-4308037-1534325905 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534323343-19101 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 631074913 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308037-1534325905.xml 

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

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

solver pid=19716, runsolver pid=19713

[startup+0.100156 s]*
/proc/loadavg: 1.65 1.44 1.36 3/219 19731
/proc/meminfo: memFree=24547256/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14082736 memory=31520 CPUtime=0.12 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 6787 0 0 0 11 1 0 0 20 0 15 0 250153654 14420721664 7880 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3520684 7880 3150 1 0 3482761 0
[pid=19716/tid=19718] ppid=19713 vsize=14082736 memory=-8701690554792448894 CPUtime=0.09 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 4825 0 0 0 8 1 0 0 20 0 15 0 250153654 14420721664 7880 33554432000 4194304 4196468 140730914960880 139942398004320 139942377907550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 7880 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 7880 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 7880 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 7880 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153656 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250153657 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941506954784 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250153657 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941505901936 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 15138 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941503797616 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0.01 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) R 19713 19716 15138 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 250153660 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941501692016 139942372388575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 7880 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31520 KiB

[startup+0.212104 s]*
/proc/loadavg: 1.65 1.44 1.36 6/219 19731
/proc/meminfo: memFree=24531848/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14082736 memory=47312 CPUtime=0.3 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 10454 0 0 0 28 2 0 0 20 0 15 0 250153654 14420721664 11828 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3520684 11828 3355 1 0 3482761 0
[pid=19716/tid=19718] ppid=19713 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 8159 0 0 0 18 2 0 0 20 0 15 0 250153654 14420721664 11828 33554432000 4194304 4196468 140730914960880 139942398050160 139942393848989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 11828 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14082736 memory=288370410034427520 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 11828 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 11828 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 11828 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250153656 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250153657 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941506954784 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250153657 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941505901936 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) R 19713 19716 15138 0 -1 4202560 395 0 0 0 2 0 0 0 20 0 15 0 250153660 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941503784400 139942371074208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 250153660 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0.05 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) R 19713 19716 15138 0 -1 4202560 301 0 0 0 5 0 0 0 20 0 15 0 250153660 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941501689976 139942372845485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 11828 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47312 KiB

[startup+0.310869 s]*
/proc/loadavg: 1.65 1.44 1.36 3/219 19731
/proc/meminfo: memFree=24528560/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14082736 memory=50904 CPUtime=0.44 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 10817 0 0 0 41 3 0 0 20 0 15 0 250153654 14420721664 12726 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3520684 12726 3405 1 0 3482761 0
[pid=19716/tid=19718] ppid=19713 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 8492 0 0 0 28 2 0 0 20 0 15 0 250153654 14420721664 12726 33554432000 4194304 4196468 140730914960880 139942398034896 139942375390640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 12726 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14082736 memory=288370410034427520 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 12726 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 12726 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14420721664 12726 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250153656 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250153657 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941506954784 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250153657 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941505901936 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 15138 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 250153660 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941503797616 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 250153660 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0.07 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 15138 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 250153660 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941501692016 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14082736 memory=140033882715776 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153660 14420721664 12726 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50904 KiB

[startup+0.700803 s]
/proc/loadavg: 1.65 1.44 1.36 3/219 19731
/proc/meminfo: memFree=24504252/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14084804 memory=88944 CPUtime=1 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 17620 0 0 0 95 5 0 0 20 0 15 0 250153654 14422839296 22236 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3521201 22236 3498 1 0 3483273 0
[pid=19716/tid=19718] ppid=19713 vsize=14084804 memory=1784 CPUtime=0.67 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 14913 0 0 0 64 3 0 0 20 0 15 0 250153654 14422839296 22236 33554432000 4194304 4196468 140730914960880 139942398042704 139942377907550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14422839296 22236 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14084804 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14422839296 22236 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14084804 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14422839296 22236 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14084804 memory=5728 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14422839296 22236 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14084804 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250153656 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14084804 memory=1092 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250153657 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941506954784 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250153657 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941505901936 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14084804 memory=10692 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14084804 memory=7450174591119418944 CPUtime=0.06 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 15138 0 -1 1077944384 554 0 0 0 6 0 0 0 20 0 15 0 250153660 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941503797616 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14084804 memory=6444198537895111255 CPUtime=0.08 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 373 0 0 0 8 0 0 0 20 0 15 0 250153660 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 15138 0 -1 1077944384 398 0 0 0 15 0 0 0 20 0 15 0 250153660 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941501692016 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153660 14422839296 22236 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88944 KiB

[startup+1.50066 s]
/proc/loadavg: 1.65 1.44 1.36 4/219 19731
/proc/meminfo: memFree=24468144/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14088900 memory=180684 CPUtime=3.24 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 24860 0 0 0 316 8 0 0 20 0 15 0 250153654 14427033600 45171 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3522225 45171 3553 1 0 3484297 0
[pid=19716/tid=19718] ppid=19713 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 17568 0 0 0 142 5 0 0 20 0 15 0 250153654 14427033600 45171 33554432000 4194304 4196468 140730914960880 139942398062704 139942002668393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14427033600 45171 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14088900 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14427033600 45171 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250153655 14427033600 45171 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14088900 memory=-7096649868621430206 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250153655 14427033600 45171 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 250153656 14427033600 45171 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0

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

/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 94784 0 0 0 230214 32 0 0 20 0 15 0 250153654 14429130752 87325 33554432000 4194304 4196468 140730914960880 139942398065344 139941997831200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14090948 memory=56 CPUtime=10.02 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 11113 0 0 0 956 46 0 0 20 0 15 0 250153655 14429130752 87325 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14090948 memory=6864 CPUtime=10.03 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 12904 0 0 0 957 46 0 0 20 0 15 0 250153655 14429130752 87325 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14090948 memory=342580 CPUtime=10.02 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 11494 0 0 0 960 42 0 0 20 0 15 0 250153655 14429130752 87325 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14090948 memory=341920 CPUtime=10.01 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 10771 0 0 0 957 44 0 0 20 0 15 0 250153655 14429130752 87325 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14090948 memory=349300 CPUtime=5.65 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 9314 0 0 0 517 48 0 0 20 0 15 0 250153656 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14090948 memory=335356 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941506954848 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14090948 memory=349300 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941505901952 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14090948 memory=343088 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14090948 memory=2036 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 15138 0 -1 1077944384 13394 0 0 0 200 3 0 0 20 0 15 0 250153660 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941503797616 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14090948 memory=331492 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 13194 0 0 0 201 2 0 0 20 0 15 0 250153660 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14090948 memory=332520 CPUtime=0.94 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 15138 0 -1 1077944384 12119 0 0 0 92 2 0 0 20 0 15 0 250153660 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941501692016 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14090948 memory=329440 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14090948 memory=338220 CPUtime=1.23 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1090 0 0 0 61 62 0 0 20 0 15 0 250153660 14429130752 87325 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 2354.51 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 349300 KiB

[startup+2382.3 s]
/proc/loadavg: 1.37 1.45 1.42 3/219 19832
/proc/meminfo: memFree=23985092/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14090948 memory=338288 CPUtime=2415.56 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 197996 0 0 0 241267 289 0 0 20 0 15 0 250153654 14429130752 84572 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3522737 84572 3605 1 0 3484809 0
[pid=19716/tid=19718] ppid=19713 vsize=14090948 memory=343604 CPUtime=2361.77 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 98764 0 0 0 236144 33 0 0 20 0 15 0 250153654 14429130752 84572 33554432000 4194304 4196468 140730914960880 139942398065040 139942006603456 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14090948 memory=342064 CPUtime=10.4 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 11634 0 0 0 992 48 0 0 20 0 15 0 250153655 14429130752 84572 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14090948 memory=341552 CPUtime=10.4 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 13269 0 0 0 993 47 0 0 20 0 15 0 250153655 14429130752 84572 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14090948 memory=345492 CPUtime=10.4 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 12246 0 0 0 996 44 0 0 20 0 15 0 250153655 14429130752 84572 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14090948 memory=338804 CPUtime=10.38 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 11331 0 0 0 993 45 0 0 20 0 15 0 250153655 14429130752 84572 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14090948 memory=338288 CPUtime=5.84 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 9509 0 0 0 534 50 0 0 20 0 15 0 250153656 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14090948 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941506954848 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14090948 memory=68168 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941505901952 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14090948 memory=338804 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14090948 memory=339316 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 15138 0 -1 1077944384 13397 0 0 0 200 3 0 0 20 0 15 0 250153660 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941503797616 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14090948 memory=3500 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 13196 0 0 0 201 2 0 0 20 0 15 0 250153660 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14090948 memory=346004 CPUtime=0.94 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 15138 0 -1 1077944384 12121 0 0 0 92 2 0 0 20 0 15 0 250153660 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941501692016 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14090948 memory=346004 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14090948 memory=2216 CPUtime=1.26 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1104 0 0 0 63 63 0 0 20 0 15 0 250153660 14429130752 84572 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 2415.56 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 338288 KiB

[startup+2442.3 s]
/proc/loadavg: 1.70 1.52 1.45 3/218 20068
/proc/meminfo: memFree=24187348/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14090948 memory=340384 CPUtime=2476.48 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 206145 0 0 0 247346 302 0 0 20 0 15 0 250153654 14429130752 85096 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3522737 85096 3605 1 0 3484809 0
[pid=19716/tid=19718] ppid=19713 vsize=14090948 memory=340404 CPUtime=2421.11 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 102384 0 0 0 242074 37 0 0 20 0 15 0 250153654 14429130752 85096 33554432000 4194304 4196468 140730914960880 139942398065136 139942007508804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14090948 memory=330808 CPUtime=10.73 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 12078 0 0 0 1023 50 0 0 20 0 15 0 250153655 14429130752 85096 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14090948 memory=329924 CPUtime=10.74 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 13915 0 0 0 1025 49 0 0 20 0 15 0 250153655 14429130752 85096 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14090948 memory=1408 CPUtime=10.73 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 13121 0 0 0 1028 45 0 0 20 0 15 0 250153655 14429130752 85096 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14090948 memory=340892 CPUtime=10.71 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 11762 0 0 0 1024 47 0 0 20 0 15 0 250153655 14429130752 85096 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14090948 memory=3500 CPUtime=6.06 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 11620 0 0 0 553 53 0 0 20 0 15 0 250153656 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14090948 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941506954848 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14090948 memory=340404 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941505901952 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14090948 memory=321576 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14090948 memory=322092 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 15138 0 -1 1077944384 13399 0 0 0 200 3 0 0 20 0 15 0 250153660 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941503797616 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14090948 memory=319500 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 13198 0 0 0 201 2 0 0 20 0 15 0 250153660 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14090948 memory=320016 CPUtime=0.94 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 15138 0 -1 1077944384 12123 0 0 0 92 2 0 0 20 0 15 0 250153660 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941501692016 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14090948 memory=332172 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14090948 memory=330128 CPUtime=1.3 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1120 0 0 0 65 65 0 0 20 0 15 0 250153660 14429130752 85096 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 2476.48 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 340384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2485.2 s]
/proc/loadavg: 1.73 1.56 1.46 3/219 20069
/proc/meminfo: memFree=24291900/32770624 swapFree=67108840/67108860
[pid=19716] ppid=19713 vsize=14090948 memory=314520 CPUtime=2520 cores=0,2,4,6
/proc/19716/stat : 19716 (java) S 19713 19716 15138 0 -1 1077944320 207085 0 0 0 251693 307 0 0 20 0 15 0 250153654 14429130752 78630 33554432000 4194304 4196468 140730914960880 140730914943424 139942393827063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
/proc/19716/statm: 3522737 78630 3605 1 0 3484809 0
[pid=19716/tid=19718] ppid=19713 vsize=14090948 memory=1408 CPUtime=2463.57 cores=0,2,4,6
/proc/19716/task/19718/stat : 19718 (java) R 19713 19716 15138 0 -1 4202560 102622 0 0 0 246320 37 0 0 20 0 15 0 250153654 14429130752 78630 33554432000 4194304 4196468 140730914960880 139942398065136 139941997832832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19719] ppid=19713 vsize=14090948 memory=3188 CPUtime=10.96 cores=0,2,4,6
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 15138 0 -1 1077944384 12218 0 0 0 1044 52 0 0 20 0 15 0 250153655 14429130752 78630 33554432000 4194304 4196468 140730914960880 139942323915408 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19720] ppid=19713 vsize=14090948 memory=316572 CPUtime=10.96 cores=0,2,4,6
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 15138 0 -1 1077944384 14083 0 0 0 1046 50 0 0 20 0 15 0 250153655 14429130752 78630 33554432000 4194304 4196468 140730914960880 139942322862608 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19721] ppid=19713 vsize=14090948 memory=1408 CPUtime=10.96 cores=0,2,4,6
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 15138 0 -1 1077944384 13407 0 0 0 1049 47 0 0 20 0 15 0 250153655 14429130752 78630 33554432000 4194304 4196468 140730914960880 139942321809808 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19722] ppid=19713 vsize=14090948 memory=314520 CPUtime=10.94 cores=0,2,4,6
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 15138 0 -1 1077944384 11847 0 0 0 1046 48 0 0 20 0 15 0 250153655 14429130752 78630 33554432000 4194304 4196468 140730914960880 139942320757008 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19723] ppid=19713 vsize=14090948 memory=1408 CPUtime=6.21 cores=0,2,4,6
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 15138 0 -1 1077944384 11637 0 0 0 567 54 0 0 20 0 15 0 250153656 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941508008816 139942393838210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19724] ppid=19713 vsize=14090948 memory=3188 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 15138 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941506954848 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19725] ppid=19713 vsize=14090948 memory=318112 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 15138 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250153657 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941505901952 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19726] ppid=19713 vsize=14090948 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941504850256 139942393845659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19727] ppid=19713 vsize=14090948 memory=2872 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 15138 0 -1 1077944384 13401 0 0 0 200 3 0 0 20 0 15 0 250153660 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941503797616 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19728] ppid=19713 vsize=14090948 memory=288230574492221466 CPUtime=2.03 cores=0,2,4,6
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 15138 0 -1 1077944384 13198 0 0 0 201 2 0 0 20 0 15 0 250153660 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941502744816 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19729] ppid=19713 vsize=14090948 memory=288230596050944315 CPUtime=0.94 cores=0,2,4,6
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 15138 0 -1 1077944384 12123 0 0 0 92 2 0 0 20 0 15 0 250153660 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941501692016 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19730] ppid=19713 vsize=14090948 memory=16101468159609437 CPUtime=0 cores=0,2,4,6
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250153660 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941500639456 139942393837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
[pid=19716/tid=19731] ppid=19713 vsize=14090948 memory=2356 CPUtime=1.33 cores=0,2,4,6
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 15138 0 -1 1077944384 1124 0 0 0 66 67 0 0 20 0 15 0 250153660 14429130752 78630 33554432000 4194304 4196468 140730914960880 139941499587760 139942393838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11206656 140730914964553 140730914964745 140730914964745 140730914967503 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 314520 KiB

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

[startup+2485.23 s]
# the end of solver process 19716 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.97 s, system=3.08464 s

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

Child status: 143
Real time (s): 2485.23
CPU time (s): 2520.05
CPU user time (s): 2516.97
CPU system time (s): 3.08464
CPU usage (%): 101.401
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 577056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.97
system time used= 3.08464
maximum resident set size= 577564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217031
involuntary context switches= 10601


# summary of solver processes directly reported to runsolver:
#   pid: 19716
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2516.97
#   total CPU system time (s): 3.08464

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1245 second user time and 23.5731 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	289
Best CPU time to get the best result obtained on this benchmark	2520.12
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 4308037

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