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-07-02	SAT (TO)	281	2400.07	2362.13

0.66/0.57	c version: 2018-07-02
0.66/0.57	c seed: 1805099194
0.66/0.57	c timeout: 2400
0.66/0.57	c memlimit: 11000
0.66/0.57	c nbcore: 4
0.66/0.59	c Parsing instance...
5.03/2.23	c Parsing done, starting search...
5.35/2.31	o 1041
6.27/2.65	o 817
6.27/2.65	o 793
6.27/2.65	o 785
6.27/2.65	o 737
6.27/2.65	o 641
6.27/2.65	o 609
6.27/2.65	o 601
6.27/2.65	o 593
6.27/2.65	o 529
6.27/2.65	o 497
6.27/2.65	o 457
23.56/18.92	o 449
23.56/18.94	o 433
23.74/19.01	o 417
23.74/19.02	o 361
56.44/51.50	o 345
118.50/113.08	o 305
124.44/118.91	o 281
2400.03/2362.12	s SATISFIABLE
2400.03/2362.12	v <instantiation>
2400.03/2362.12	v 	<list>
2400.03/2362.12	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]
2400.03/2362.12	v 	</list>
2400.03/2362.12	v 	<values>
2400.03/2362.12	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 -2 -1 -2 3 2 -3 -2 -1 0 -1 -6 1 0 1 2 -1 2 -1 -2 3 -4 1 4 -1 -2 5 2 3 0 3 4 -1 4 -3 2 -3 0 -1 -2 3 0 -3 0 -1 0 3 0 -1 9 4 1 4 9 4 9 4 1 0 1 36 1 0 1 4 1 4 1 4 9 16 1 16 1 4 25 4 9 0 9 16 1 16 9 4 9 0 1 4 9 0 9 0 1 0 9 0 1 
2400.03/2362.12	v 	</values>
2400.03/2362.12	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 (8343 MiB free)
  memory of node 1: 16384 MiB (13914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290493-1532253855/watcher-4290493-1532253855 -o /tmp/evaluation-result-4290493-1532253855/solver-4290493-1532253855 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532225337-28654 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1805099194 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290493-1532253855.xml 

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

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

solver pid=32174, runsolver pid=32171

[startup+0.109863 s]*
/proc/loadavg: 1.50 1.41 1.38 4/216 32189
/proc/meminfo: memFree=22772756/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14082740 memory=31808 CPUtime=0.13 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 6836 0 0 0 12 1 0 0 20 0 15 0 42948798 14420725760 7952 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3520685 7952 3161 1 0 3482761 0
[pid=32174/tid=32176] ppid=32171 vsize=14082740 memory=-8701690554791925115 CPUtime=0.09 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 4904 0 0 0 9 0 0 0 20 0 15 0 42948798 14420725760 7952 33554432000 4194304 4196468 140726134953552 140433200077816 140433176143709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 7952 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 7952 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 7952 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 7952 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948800 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42948801 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432107586848 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42948801 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432106534512 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 42948803 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432103376880 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0.01 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) S 32171 32174 28623 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 42948803 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432102324592 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948804 14420725760 8018 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31808 KiB

[startup+0.21023 s]*
/proc/loadavg: 1.50 1.41 1.38 4/216 32189
/proc/meminfo: memFree=22758120/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14082740 memory=46548 CPUtime=0.28 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 10297 0 0 0 27 1 0 0 20 0 15 0 42948798 14420725760 11637 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3520685 11637 3326 1 0 3482761 0
[pid=32174/tid=32176] ppid=32171 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 1077944384 8049 0 0 0 19 1 0 0 20 0 15 0 42948798 14420725760 11637 33554432000 4194304 4196468 140726134953552 140433200093248 140433195878101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14082740 memory=340 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 11637 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14082740 memory=140189530748644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 11637 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42948800 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42948801 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432107586848 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42948801 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432106534512 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 42948803 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) R 32171 32174 28623 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 15 0 42948803 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432103376976 140433179278786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0.05 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) S 32171 32174 28623 0 -1 1077944384 320 0 0 0 5 0 0 0 20 0 15 0 42948803 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432102324592 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948804 14420725760 11637 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46548 KiB

[startup+0.310896 s]*
/proc/loadavg: 1.50 1.41 1.38 4/216 32189
/proc/meminfo: memFree=22754336/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14082740 memory=50456 CPUtime=0.43 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 10733 0 0 0 41 2 0 0 20 0 15 0 42948798 14420725760 12614 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3520685 12614 3422 1 0 3482761 0
[pid=32174/tid=32176] ppid=32171 vsize=14082740 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 8375 0 0 0 28 1 0 0 20 0 15 0 42948798 14420725760 12614 33554432000 4194304 4196468 140726134953552 140433200076328 140433195889821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14082740 memory=4294977867 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 12614 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14082740 memory=140189530732029 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 12614 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 12614 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14420725760 12614 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42948800 14420725760 12614 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42948801 14420725760 12614 33554432000 4194304 4196468 140726134953552 140432107586848 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42948801 14420725760 12614 33554432000 4194304 4196468 140726134953552 140432106534512 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14420725760 12679 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 15 0 42948803 14420725760 12679 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) S 32171 32174 28623 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 15 0 42948803 14420725760 12679 33554432000 4194304 4196468 140726134953552 140432103376880 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0.08 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) R 32171 32174 28623 0 -1 4202560 346 0 0 0 8 0 0 0 20 0 15 0 42948803 14420725760 12679 33554432000 4194304 4196468 140726134953552 140432102324592 140433177431451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14420725760 12679 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14082740 memory=140189530527360 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948804 14420725760 12679 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50456 KiB

[startup+0.700671 s]
/proc/loadavg: 1.50 1.41 1.38 3/216 32189
/proc/meminfo: memFree=22734948/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14084808 memory=88788 CPUtime=0.98 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 17592 0 0 0 94 4 0 0 20 0 15 0 42948798 14422843392 22197 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3521202 22197 3500 1 0 3483273 0
[pid=32174/tid=32176] ppid=32171 vsize=14084808 memory=278405752852756 CPUtime=0.67 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 14833 0 0 0 64 3 0 0 20 0 15 0 42948798 14422843392 22197 33554432000 4194304 4196468 140726134953552 140433200083392 140433181561376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14084808 memory=4265253205551874080 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14422843392 22197 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14422843392 22197 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14084808 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42948800 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14084808 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42948801 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432107586848 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14084808 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42948801 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432106534512 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14084808 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 632 0 0 0 7 0 0 0 20 0 15 0 42948803 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) S 32171 32174 28623 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 15 0 42948803 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432103376880 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) S 32171 32174 28623 0 -1 1077944384 439 0 0 0 15 0 0 0 20 0 15 0 42948803 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432102324592 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14084808 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948804 14422843392 22197 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88788 KiB

[startup+1.50068 s]
/proc/loadavg: 1.50 1.41 1.38 4/216 32189
/proc/meminfo: memFree=22694004/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14088904 memory=180208 CPUtime=3.3 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 23093 0 0 0 322 8 0 0 20 0 15 0 42948798 14427037696 45052 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3522226 45052 3543 1 0 3484297 0
[pid=32174/tid=32176] ppid=32171 vsize=14088904 memory=10799 CPUtime=1.47 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 16322 0 0 0 141 6 0 0 20 0 15 0 42948798 14427037696 45052 33554432000 4194304 4196468 140726134953552 140433200102416 140432836958451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14088904 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14427037696 45052 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14427037696 45052 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42948799 14427037696 45052 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42948799 14427037696 45052 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 42948800 14427037696 45052 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0

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

/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 71446 0 0 0 223882 34 0 0 20 0 15 0 42948798 14429134848 78165 33554432000 4194304 4196468 140726134953552 140433200106208 140432842046170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14090952 memory=312644 CPUtime=11.63 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 10859 0 0 0 1107 56 0 0 20 0 15 0 42948799 14429134848 78165 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14090952 memory=222945 CPUtime=11.63 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 11470 0 0 0 1109 54 0 0 20 0 15 0 42948799 14429134848 78165 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14090952 memory=280378821399344 CPUtime=11.66 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 9270 0 0 0 1116 50 0 0 20 0 15 0 42948799 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14090952 memory=312644 CPUtime=11.63 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 9758 0 0 0 1110 53 0 0 20 0 15 0 42948799 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14090952 memory=229577 CPUtime=7.27 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 9102 0 0 0 676 51 0 0 20 0 15 0 42948800 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14090952 memory=312644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432107586912 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14090952 memory=312644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432106534528 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14090952 memory=312644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14090952 memory=312644 CPUtime=2.04 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 9992 0 0 0 202 2 0 0 20 0 15 0 42948803 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14090952 memory=56 CPUtime=1.91 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) S 32171 32174 28623 0 -1 1077944384 6818 0 0 0 188 3 0 0 20 0 15 0 42948803 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432103376880 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14090952 memory=312644 CPUtime=1.04 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) S 32171 32174 28623 0 -1 1077944384 17717 0 0 0 102 2 0 0 20 0 15 0 42948803 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432102324592 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14090952 memory=312644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14090952 memory=14780 CPUtime=1.15 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 625 0 0 0 59 56 0 0 20 0 15 0 42948804 14429134848 78165 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 2299.21 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 312660 KiB

[startup+2322.3 s]
/proc/loadavg: 1.51 1.52 1.42 3/216 32261
/proc/meminfo: memFree=22083024/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14090952 memory=312644 CPUtime=2359.78 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 160693 0 0 0 235659 319 0 0 20 0 15 0 42948798 14429134848 78161 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3522738 78161 3599 1 0 3484809 0
[pid=32174/tid=32176] ppid=32171 vsize=14090952 memory=312644 CPUtime=2298.64 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 72328 0 0 0 229829 35 0 0 20 0 15 0 42948798 14429134848 78161 33554432000 4194304 4196468 140726134953552 140433200106080 140432842186773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14090952 memory=312644 CPUtime=11.85 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 11119 0 0 0 1128 57 0 0 20 0 15 0 42948799 14429134848 78161 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14090952 memory=312644 CPUtime=11.85 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 11656 0 0 0 1130 55 0 0 20 0 15 0 42948799 14429134848 78161 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14090952 memory=312644 CPUtime=11.88 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 9681 0 0 0 1137 51 0 0 20 0 15 0 42948799 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14090952 memory=312644 CPUtime=11.85 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 10034 0 0 0 1131 54 0 0 20 0 15 0 42948799 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14090952 memory=229577 CPUtime=7.45 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 9281 0 0 0 693 52 0 0 20 0 15 0 42948800 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14090952 memory=312644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432107586912 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14090952 memory=312644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432106534528 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14090952 memory=312644 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14090952 memory=312644 CPUtime=2.04 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 9994 0 0 0 202 2 0 0 20 0 15 0 42948803 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14090952 memory=312644 CPUtime=1.91 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) S 32171 32174 28623 0 -1 1077944384 6820 0 0 0 188 3 0 0 20 0 15 0 42948803 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432103376880 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14090952 memory=312644 CPUtime=1.04 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) S 32171 32174 28623 0 -1 1077944384 17719 0 0 0 102 2 0 0 20 0 15 0 42948803 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432102324592 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14090952 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14090952 memory=4136 CPUtime=1.19 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 642 0 0 0 61 58 0 0 20 0 15 0 42948804 14429134848 78161 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 2359.78 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 312644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2362.11 s]
/proc/loadavg: 1.70 1.56 1.43 3/216 32338
/proc/meminfo: memFree=21903132/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14090952 memory=312676 CPUtime=2400.03 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 162052 0 0 0 239681 322 0 0 20 0 15 0 42948798 14429134848 78169 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3522738 78169 3599 1 0 3484809 0
[pid=32174/tid=32176] ppid=32171 vsize=14090952 memory=312644 CPUtime=2338.08 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 72863 0 0 0 233773 35 0 0 20 0 15 0 42948798 14429134848 78169 33554432000 4194304 4196468 140726134953552 140433200106000 140432841908762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14090952 memory=312644 CPUtime=12.02 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 11395 0 0 0 1144 58 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14090952 memory=280378821878496 CPUtime=12.01 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 11747 0 0 0 1145 56 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14090952 memory=312676 CPUtime=12.04 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 9783 0 0 0 1153 51 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14090952 memory=312676 CPUtime=12.01 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 10204 0 0 0 1146 55 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14090952 memory=312676 CPUtime=7.58 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 9453 0 0 0 706 52 0 0 20 0 15 0 42948800 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14090952 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432107586912 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14090952 memory=312676 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432106534528 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14090952 memory=318668 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14090952 memory=5520 CPUtime=2.04 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 9994 0 0 0 202 2 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14090952 memory=1228 CPUtime=1.91 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) S 32171 32174 28623 0 -1 1077944384 6820 0 0 0 188 3 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432103376880 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14090952 memory=1200 CPUtime=1.04 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) S 32171 32174 28623 0 -1 1077944384 17719 0 0 0 102 2 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432102324592 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14090952 memory=312676 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14090952 memory=312644 CPUtime=1.21 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 655 0 0 0 62 59 0 0 20 0 15 0 42948804 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 312676 KiB

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

[startup+2362.13 s]
# the end of solver process 32174 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.84 s, system=3.23181 s

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

[startup+2362.11 s]
/proc/loadavg: 1.70 1.56 1.43 3/216 32338
/proc/meminfo: memFree=21903132/32770624 swapFree=67108860/67108860
[pid=32174] ppid=32171 vsize=14090952 memory=312676 CPUtime=2400.03 cores=0,2,4,6
/proc/32174/stat : 32174 (java) S 32171 32174 28623 0 -1 1077944320 162052 0 0 0 239681 322 0 0 20 0 15 0 42948798 14429134848 78169 33554432000 4194304 4196468 140726134953552 140726134936096 140433195867895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
/proc/32174/statm: 3522738 78169 3599 1 0 3484809 0
[pid=32174/tid=32176] ppid=32171 vsize=14090952 memory=312644 CPUtime=2338.08 cores=0,2,4,6
/proc/32174/task/32176/stat : 32176 (java) R 32171 32174 28623 0 -1 4202560 72863 0 0 0 233773 35 0 0 20 0 15 0 42948798 14429134848 78169 33554432000 4194304 4196468 140726134953552 140433200106000 140432841908762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32177] ppid=32171 vsize=14090952 memory=312644 CPUtime=12.02 cores=0,2,4,6
/proc/32174/task/32177/stat : 32177 (java) S 32171 32174 28623 0 -1 1077944384 11395 0 0 0 1144 58 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140433152420240 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32178] ppid=32171 vsize=14090952 memory=280378821878496 CPUtime=12.01 cores=0,2,4,6
/proc/32174/task/32178/stat : 32178 (java) S 32171 32174 28623 0 -1 1077944384 11747 0 0 0 1145 56 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140433151367440 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32179] ppid=32171 vsize=14090952 memory=312676 CPUtime=12.04 cores=0,2,4,6
/proc/32174/task/32179/stat : 32179 (java) S 32171 32174 28623 0 -1 1077944384 9783 0 0 0 1153 51 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432789400208 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32180] ppid=32171 vsize=14090952 memory=312676 CPUtime=12.01 cores=0,2,4,6
/proc/32174/task/32180/stat : 32180 (java) S 32171 32174 28623 0 -1 1077944384 10204 0 0 0 1146 55 0 0 20 0 15 0 42948799 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432788347408 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32181] ppid=32171 vsize=14090952 memory=312676 CPUtime=7.58 cores=0,2,4,6
/proc/32174/task/32181/stat : 32181 (java) S 32171 32174 28623 0 -1 1077944384 9453 0 0 0 706 52 0 0 20 0 15 0 42948800 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432108640880 140433195879042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32182] ppid=32171 vsize=14090952 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32182/stat : 32182 (java) S 32171 32174 28623 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432107586912 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32183] ppid=32171 vsize=14090952 memory=312676 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32183/stat : 32183 (java) S 32171 32174 28623 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 42948801 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432106534528 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32184] ppid=32171 vsize=14090952 memory=318668 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32184/stat : 32184 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432105482832 140433195886491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32185] ppid=32171 vsize=14090952 memory=5520 CPUtime=2.04 cores=0,2,4,6
/proc/32174/task/32185/stat : 32185 (java) S 32171 32174 28623 0 -1 1077944384 9994 0 0 0 202 2 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432104429680 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32186] ppid=32171 vsize=14090952 memory=1228 CPUtime=1.91 cores=0,2,4,6
/proc/32174/task/32186/stat : 32186 (java) S 32171 32174 28623 0 -1 1077944384 6820 0 0 0 188 3 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432103376880 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32187] ppid=32171 vsize=14090952 memory=1200 CPUtime=1.04 cores=0,2,4,6
/proc/32174/task/32187/stat : 32187 (java) S 32171 32174 28623 0 -1 1077944384 17719 0 0 0 102 2 0 0 20 0 15 0 42948803 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432102324592 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32188] ppid=32171 vsize=14090952 memory=312676 CPUtime=0 cores=0,2,4,6
/proc/32174/task/32188/stat : 32188 (java) S 32171 32174 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42948804 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432101272032 140433195878101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
[pid=32174/tid=32189] ppid=32171 vsize=14090952 memory=312644 CPUtime=1.21 cores=0,2,4,6
/proc/32174/task/32189/stat : 32189 (java) S 32171 32174 28623 0 -1 1077944384 655 0 0 0 62 59 0 0 20 0 15 0 42948804 14429134848 78169 33554432000 4194304 4196468 140726134953552 140432100219824 140433195879042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24104960 140726134961224 140726134961417 140726134961417 140726134964175 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 312676 KiB

Child status: 143
Real time (s): 2362.13
CPU time (s): 2400.07
CPU user time (s): 2396.84
CPU system time (s): 3.23181
CPU usage (%): 101.606
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 547312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.84
system time used= 3.23181
maximum resident set size= 547312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232018
involuntary context switches= 9748


# summary of solver processes directly reported to runsolver:
#   pid: 32174
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2396.84
#   total CPU system time (s): 3.23181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4867 second user time and 22.1612 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 4290493

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