2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	305	2520.08	2473.73

0.67/0.55	c version: 2018-08-17
0.67/0.56	c seed: 1268529375
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
3.72/1.82	c Parsing done, starting search...
4.00/1.94	o 1041
4.00/1.96	o 817
4.00/1.96	o 793
4.00/1.98	o 785
4.00/1.99	o 737
4.00/2.00	o 641
4.36/2.04	o 609
4.93/2.27	o 601
4.93/2.28	o 593
4.93/2.29	o 529
4.93/2.29	o 497
5.24/2.32	o 457
18.30/14.54	o 441
18.58/14.70	o 417
21.90/18.03	o 393
40.09/36.18	o 377
276.55/269.16	o 361
545.75/533.70	o 353
878.12/859.95	o 305
2520.05/2473.70	s SATISFIABLE
2520.05/2473.71	v <instantiation>
2520.05/2473.71	v 	<list>
2520.05/2473.71	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.05/2473.71	v 	</list>
2520.05/2473.71	v 	<values>
2520.05/2473.71	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 4 -3 -2 -3 0 -1 0 1 2 -1 -4 -5 0 -3 0 1 0 1 0 3 -2 1 2 3 -4 1 0 3 2 -7 -2 1 -2 1 2 -5 2 3 -4 1 -2 3 -2 1 0 1 -2 1 9 16 9 4 9 0 1 0 1 4 1 16 25 0 9 0 1 0 1 0 9 4 1 4 9 16 1 0 9 4 49 4 1 4 1 4 25 4 9 16 1 4 9 4 1 0 1 4 1 
2520.05/2473.71	v 	</values>
2520.05/2473.71	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 (12070 MiB free)
  memory of node 1: 16384 MiB (8920 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311773-1534556083/watcher-4311773-1534556083 -o /tmp/evaluation-result-4311773-1534556083/solver-4311773-1534556083 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534541038-2257 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1268529375 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311773-1534556083.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=4246, runsolver pid=4243

[startup+0.100121 s]*
/proc/loadavg: 1.33 1.34 1.39 3/216 4261
/proc/meminfo: memFree=21477732/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14082736 memory=31312 CPUtime=0.12 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 6719 0 0 0 11 1 0 0 20 0 15 0 273171422 14420721664 7828 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3520684 7828 3162 1 0 3482761 0
[pid=4246/tid=4248] ppid=4243 vsize=14082736 memory=-8826034342005142720 CPUtime=0.09 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 4772 0 0 0 9 0 0 0 20 0 15 0 273171422 14420721664 7828 33554432000 4194304 4196468 140727434649952 140472460699936 140472456506774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 7828 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 7828 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 7828 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 7828 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471930152224 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471929099888 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) S 4243 4246 2226 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471925942256 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0.01 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 273171428 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 7828 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31312 KiB

[startup+0.210458 s]*
/proc/loadavg: 1.33 1.34 1.39 5/216 4261
/proc/meminfo: memFree=21462104/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14082736 memory=46864 CPUtime=0.3 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 10349 0 0 0 28 2 0 0 20 0 15 0 273171422 14420721664 11716 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3520684 11716 3357 1 0 3482761 0
[pid=4246/tid=4248] ppid=4243 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 8110 0 0 0 19 1 0 0 20 0 15 0 273171422 14420721664 11716 33554432000 4194304 4196468 140727434649952 140472460721952 140472089727554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 11716 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14082736 memory=139974359815120 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 11716 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 11716 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 11716 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471930152224 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471929099888 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) R 4243 4246 2226 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) R 4243 4246 2226 0 -1 4202560 264 0 0 0 2 0 0 0 20 0 15 0 273171428 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471925942256 140472448784288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0.06 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 290 0 0 0 6 0 0 0 20 0 15 0 273171428 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 11716 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46864 KiB

[startup+0.310644 s]*
/proc/loadavg: 1.33 1.34 1.39 5/216 4261
/proc/meminfo: memFree=21459064/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14082736 memory=50796 CPUtime=0.44 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 10776 0 0 0 42 2 0 0 20 0 15 0 273171422 14420721664 12699 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3520684 12699 3416 1 0 3482761 0
[pid=4246/tid=4248] ppid=4243 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 8463 0 0 0 28 1 0 0 20 0 15 0 273171422 14420721664 12699 33554432000 4194304 4196468 140727434649952 140472460702672 140472438058399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14082736 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 12699 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14082736 memory=139974359814614 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 12699 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 12699 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14420721664 12699 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471930152224 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273171425 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471929099888 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) S 4243 4246 2226 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 273171428 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14082736 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) S 4243 4246 2226 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 273171428 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471925942256 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0.08 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 312 0 0 0 8 0 0 0 20 0 15 0 273171428 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14082736 memory=139974359795328 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171428 14420721664 12699 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50796 KiB

[startup+0.70074 s]
/proc/loadavg: 1.33 1.34 1.39 3/216 4261
/proc/meminfo: memFree=21433784/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14084804 memory=88920 CPUtime=0.99 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 17640 0 0 0 95 4 0 0 20 0 15 0 273171422 14422839296 22230 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3521201 22230 3499 1 0 3483273 0
[pid=4246/tid=4248] ppid=4243 vsize=14084804 memory=1764 CPUtime=0.68 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 14914 0 0 0 65 3 0 0 20 0 15 0 273171422 14422839296 22230 33554432000 4194304 4196468 140727434649952 140472460709888 140472440575326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14084804 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14422839296 22230 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14084804 memory=756 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14422839296 22230 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14084804 memory=9168 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14422839296 22230 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14084804 memory=872 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14422839296 22230 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14084804 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273171425 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14084804 memory=6300 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273171425 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471930152224 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14084804 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273171425 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471929099888 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14084804 memory=3920 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14084804 memory=7302135314614015848 CPUtime=0.06 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) S 4243 4246 2226 0 -1 1077944384 503 0 0 0 6 0 0 0 20 0 15 0 273171428 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14084804 memory=7885332796437780070 CPUtime=0.08 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) S 4243 4246 2226 0 -1 1077944384 441 0 0 0 8 0 0 0 20 0 15 0 273171428 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471925942256 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14084804 memory=4641048821391970390 CPUtime=0.14 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 401 0 0 0 14 0 0 0 20 0 15 0 273171428 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171428 14422839296 22230 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88920 KiB

[startup+1.50077 s]
/proc/loadavg: 1.33 1.34 1.39 3/216 4261
/proc/meminfo: memFree=21396000/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14088900 memory=181096 CPUtime=3.1 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 24289 0 0 0 303 7 0 0 20 0 15 0 273171422 14427033600 45274 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3522225 45274 3550 1 0 3484297 0
[pid=4246/tid=4248] ppid=4243 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 17759 0 0 0 142 5 0 0 20 0 15 0 273171422 14427033600 45274 33554432000 4194304 4196468 140727434649952 140472460729544 140472095459258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14088900 memory=-6661058721126268558 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14427033600 45274 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14088900 memory=-8608163762443492725 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14427033600 45274 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14088900 memory=3047711462688066934 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273171423 14427033600 45274 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14088900 memory=7974038411334692957 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273171423 14427033600 45274 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 15 0 273171425 14427033600 45274 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0

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

/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 142281 0 0 0 235557 49 0 0 20 0 15 0 273171422 14429130752 84750 33554432000 4194304 4196468 140727434649952 140472460732752 140472099543057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14090948 memory=345348 CPUtime=14.34 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 17644 0 0 0 1373 61 0 0 20 0 15 0 273171423 14429130752 84750 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14090948 memory=358616 CPUtime=14.31 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 15145 0 0 0 1372 59 0 0 20 0 15 0 273171423 14429130752 84750 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14090948 memory=219130 CPUtime=14.3 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 16768 0 0 0 1371 59 0 0 20 0 15 0 273171423 14429130752 84750 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14090948 memory=340028 CPUtime=14.33 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 15710 0 0 0 1373 60 0 0 20 0 15 0 273171423 14429130752 84750 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14090948 memory=339000 CPUtime=7.93 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 18529 0 0 0 722 71 0 0 20 0 15 0 273171425 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14090948 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471930152288 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14090948 memory=279948518885088 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471929099904 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14090948 memory=2308 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14090948 memory=342080 CPUtime=1.71 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) S 4243 4246 2226 0 -1 1077944384 13113 0 0 0 170 1 0 0 20 0 15 0 273171428 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14090948 memory=8112282956445269571 CPUtime=1.82 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) S 4243 4246 2226 0 -1 1077944384 13645 0 0 0 180 2 0 0 20 0 15 0 273171428 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471925942256 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14090948 memory=6300 CPUtime=0.92 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 15924 0 0 0 89 3 0 0 20 0 15 0 273171428 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14090948 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14090948 memory=6692 CPUtime=1.25 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 935 0 0 0 63 62 0 0 20 0 15 0 273171428 14429130752 84750 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 2427.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 339000 KiB

[startup+2442.3 s]
/proc/loadavg: 1.59 1.45 1.42 3/215 4433
/proc/meminfo: memFree=21160440/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14090948 memory=341340 CPUtime=2488.07 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 276998 0 0 0 248422 385 0 0 20 0 15 0 273171422 14429130752 85335 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3522737 85335 3602 1 0 3484809 0
[pid=4246/tid=4248] ppid=4243 vsize=14090948 memory=335040 CPUtime=2415.41 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 146955 0 0 0 241489 52 0 0 20 0 15 0 273171422 14429130752 85335 33554432000 4194304 4196468 140727434649952 140472460733120 140472092039205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14090948 memory=219130 CPUtime=14.71 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 17832 0 0 0 1408 63 0 0 20 0 15 0 273171423 14429130752 85335 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14090948 memory=343260 CPUtime=14.67 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 15437 0 0 0 1406 61 0 0 20 0 15 0 273171423 14429130752 85335 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14090948 memory=342736 CPUtime=14.64 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 17100 0 0 0 1404 60 0 0 20 0 15 0 273171423 14429130752 85335 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14090948 memory=336580 CPUtime=14.68 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 15889 0 0 0 1407 61 0 0 20 0 15 0 273171423 14429130752 85335 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14090948 memory=341856 CPUtime=8.14 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 18724 0 0 0 741 73 0 0 20 0 15 0 273171425 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14090948 memory=341340 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471930152288 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14090948 memory=345812 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471929099904 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14090948 memory=345640 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14090948 memory=342244 CPUtime=1.71 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) S 4243 4246 2226 0 -1 1077944384 13115 0 0 0 170 1 0 0 20 0 15 0 273171428 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14090948 memory=342368 CPUtime=1.82 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) S 4243 4246 2226 0 -1 1077944384 13647 0 0 0 180 2 0 0 20 0 15 0 273171428 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471925942256 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14090948 memory=3920 CPUtime=0.92 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 15926 0 0 0 89 3 0 0 20 0 15 0 273171428 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14090948 memory=1288 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14090948 memory=343392 CPUtime=1.27 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 950 0 0 0 64 63 0 0 20 0 15 0 273171428 14429130752 85335 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 2488.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 341340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2473.7 s]
/proc/loadavg: 1.71 1.49 1.43 3/215 4434
/proc/meminfo: memFree=21167916/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14090948 memory=335704 CPUtime=2520.05 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 281026 0 0 0 251617 388 0 0 20 0 15 0 273171422 14429130752 83926 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3522737 83926 3602 1 0 3484809 0
[pid=4246/tid=4248] ppid=4243 vsize=14090948 memory=328288 CPUtime=2446.44 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 148989 0 0 0 244592 52 0 0 20 0 15 0 273171422 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472460733024 140472098868359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14090948 memory=324788 CPUtime=14.91 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 18236 0 0 0 1428 63 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14090948 memory=326312 CPUtime=14.88 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 15887 0 0 0 1427 61 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14090948 memory=327492 CPUtime=14.85 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 17492 0 0 0 1424 61 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14090948 memory=0 CPUtime=14.89 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 16470 0 0 0 1427 62 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14090948 memory=331080 CPUtime=8.24 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 18881 0 0 0 751 73 0 0 20 0 15 0 273171425 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14090948 memory=326976 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471930152288 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14090948 memory=326828 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471929099904 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14090948 memory=326840 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14090948 memory=336216 CPUtime=1.71 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) S 4243 4246 2226 0 -1 1077944384 13117 0 0 0 170 1 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14090948 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) S 4243 4246 2226 0 -1 1077944384 13649 0 0 0 180 2 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471925942256 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14090948 memory=3364 CPUtime=0.92 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 15928 0 0 0 89 3 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14090948 memory=326312 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14090948 memory=325988 CPUtime=1.29 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 954 0 0 0 65 64 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 335704 KiB

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

[startup+2473.72 s]
# the end of solver process 4246 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.19 s, system=3.88985 s

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

[startup+2473.7 s]
/proc/loadavg: 1.71 1.49 1.43 3/215 4434
/proc/meminfo: memFree=21167916/32770624 swapFree=67108368/67108860
[pid=4246] ppid=4243 vsize=14090948 memory=335704 CPUtime=2520.05 cores=0,2,4,6
/proc/4246/stat : 4246 (java) S 4243 4246 2226 0 -1 1077944320 281026 0 0 0 251617 388 0 0 20 0 15 0 273171422 14429130752 83926 33554432000 4194304 4196468 140727434649952 140727434632496 140472456494839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
/proc/4246/statm: 3522737 83926 3602 1 0 3484809 0
[pid=4246/tid=4248] ppid=4243 vsize=14090948 memory=328288 CPUtime=2446.44 cores=0,2,4,6
/proc/4246/task/4248/stat : 4248 (java) R 4243 4246 2226 0 -1 4202560 148989 0 0 0 244592 52 0 0 20 0 15 0 273171422 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472460733024 140472098868359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4249] ppid=4243 vsize=14090948 memory=324788 CPUtime=14.91 cores=0,2,4,6
/proc/4246/task/4249/stat : 4249 (java) S 4243 4246 2226 0 -1 1077944384 18236 0 0 0 1428 63 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472052017552 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4250] ppid=4243 vsize=14090948 memory=326312 CPUtime=14.88 cores=0,2,4,6
/proc/4246/task/4250/stat : 4250 (java) S 4243 4246 2226 0 -1 1077944384 15887 0 0 0 1427 61 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472050964752 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4251] ppid=4243 vsize=14090948 memory=327492 CPUtime=14.85 cores=0,2,4,6
/proc/4246/task/4251/stat : 4251 (java) S 4243 4246 2226 0 -1 1077944384 17492 0 0 0 1424 61 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472049912464 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4252] ppid=4243 vsize=14090948 memory=0 CPUtime=14.89 cores=0,2,4,6
/proc/4246/task/4252/stat : 4252 (java) S 4243 4246 2226 0 -1 1077944384 16470 0 0 0 1427 62 0 0 20 0 15 0 273171423 14429130752 83926 33554432000 4194304 4196468 140727434649952 140472048859664 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4253] ppid=4243 vsize=14090948 memory=331080 CPUtime=8.24 cores=0,2,4,6
/proc/4246/task/4253/stat : 4253 (java) S 4243 4246 2226 0 -1 1077944384 18881 0 0 0 751 73 0 0 20 0 15 0 273171425 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471931206256 140472456505986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4254] ppid=4243 vsize=14090948 memory=326976 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (java) S 4243 4246 2226 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471930152288 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4255] ppid=4243 vsize=14090948 memory=326828 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4255/stat : 4255 (java) S 4243 4246 2226 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273171425 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471929099904 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4256] ppid=4243 vsize=14090948 memory=326840 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4256/stat : 4256 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471928048208 140472456513435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4257] ppid=4243 vsize=14090948 memory=336216 CPUtime=1.71 cores=0,2,4,6
/proc/4246/task/4257/stat : 4257 (java) S 4243 4246 2226 0 -1 1077944384 13117 0 0 0 170 1 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471926995056 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4258] ppid=4243 vsize=14090948 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/4246/task/4258/stat : 4258 (java) S 4243 4246 2226 0 -1 1077944384 13649 0 0 0 180 2 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471925942256 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4259] ppid=4243 vsize=14090948 memory=3364 CPUtime=0.92 cores=0,2,4,6
/proc/4246/task/4259/stat : 4259 (java) S 4243 4246 2226 0 -1 1077944384 15928 0 0 0 89 3 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471924889968 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4260] ppid=4243 vsize=14090948 memory=326312 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4260/stat : 4260 (java) S 4243 4246 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471923837408 140472456505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
[pid=4246/tid=4261] ppid=4243 vsize=14090948 memory=325988 CPUtime=1.29 cores=0,2,4,6
/proc/4246/task/4261/stat : 4261 (java) S 4243 4246 2226 0 -1 1077944384 954 0 0 0 65 64 0 0 20 0 15 0 273171428 14429130752 83926 33554432000 4194304 4196468 140727434649952 140471922785200 140472456505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 34938880 140727434654792 140727434654985 140727434654985 140727434657743 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 335704 KiB

Child status: 143
Real time (s): 2473.73
CPU time (s): 2520.08
CPU user time (s): 2516.19
CPU system time (s): 3.88985
CPU usage (%): 101.874
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 562596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.19
system time used= 3.88985
maximum resident set size= 573232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245950
involuntary context switches= 10991


# summary of solver processes directly reported to runsolver:
#   pid: 4246
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.19
#   total CPU system time (s): 3.88985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6241 second user time and 24.9833 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 4311773

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