2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	345	252.047	244.542

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1695125808
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.89/1.78	c Parsing done, starting search...
4.16/1.89	o 1041
4.43/1.91	o 817
4.43/1.91	o 793
4.43/1.94	o 785
4.43/1.94	o 737
4.43/1.95	o 641
4.43/2.00	o 609
5.36/2.21	o 601
5.36/2.22	o 593
5.36/2.22	o 529
5.36/2.23	o 497
5.36/2.25	o 457
17.21/13.05	o 441
31.36/27.03	o 433
32.17/27.88	o 425
32.67/28.38	o 393
59.14/54.65	o 377
136.65/131.36	o 369
214.86/208.03	o 361
241.00/233.75	o 345
252.00/244.51	s SATISFIABLE
252.00/244.52	v <instantiation>
252.00/244.52	v 	<list>
252.00/244.52	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[45][0] y[45][1] y[45][2] y[45][3] y[46][0] y[46][1] y[46][2] y[47][0] y[47][1] y[48][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48]
252.00/244.52	v 	</list>
252.00/244.52	v 	<values>
252.00/244.52	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 -5 2 1 0 -1 0 -1 0 -1 2 -3 -4 1 -2 -1 2 3 0 3 0 -3 -4 -7 0 1 -6 5 2 -3 -2 3 2 -1 -4 -1 0 5 -2 -3 0 -1 -2 3 -2 3 -2 1 0 -1 25 4 1 0 1 0 1 0 1 4 9 16 1 4 1 4 9 0 9 0 9 16 49 0 1 36 25 4 9 4 9 4 1 16 1 0 25 4 9 0 1 4 9 4 9 4 1 0 1 
252.00/244.52	v 	</values>
252.00/244.52	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 (13163 MiB free)
  memory of node 1: 16384 MiB (10931 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310145-1534332443/watcher-4310145-1534332443 -o /tmp/evaluation-result-4310145-1534332443/solver-4310145-1534332443 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21541 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1695125808 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310145-1534332443.xml 

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

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

solver pid=24133, runsolver pid=24130

[startup+0.10006 s]*
/proc/loadavg: 1.34 1.45 1.50 3/215 24148
/proc/meminfo: memFree=24656208/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14082736 memory=31188 CPUtime=0.12 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 6684 0 0 0 11 1 0 0 20 0 15 0 250807498 14420721664 7797 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3520684 7797 3164 1 0 3482761 0
[pid=24133/tid=24135] ppid=24130 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 4742 0 0 0 9 0 0 0 20 0 15 0 250807498 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028772102064 140028751996254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14082736 memory=5793855078107396537 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250807500 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250807501 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028241618592 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250807501 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028240565488 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) R 24130 24133 21510 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 250807503 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) R 24130 24133 21510 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028237408720 140028767937114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0.01 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) R 24130 24133 21510 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 250807503 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028236355568 140028767927702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807504 14420721664 7797 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31188 KiB

[startup+0.211656 s]*
/proc/loadavg: 1.34 1.45 1.50 6/215 24148
/proc/meminfo: memFree=24640704/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14082736 memory=46984 CPUtime=0.3 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 10379 0 0 0 28 2 0 0 20 0 15 0 250807498 14420721664 11746 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3520684 11746 3375 1 0 3482761 0
[pid=24133/tid=24135] ppid=24130 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 8099 0 0 0 18 1 0 0 20 0 15 0 250807498 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028772142768 140028365870816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14082736 memory=4211973553302293898 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250807500 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250807501 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028241618592 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250807501 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028240565488 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) R 24130 24133 21510 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 15 0 250807503 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) S 24130 24133 21510 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 15 0 250807503 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028237408624 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0.06 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) R 24130 24133 21510 0 -1 4202560 295 0 0 0 6 0 0 0 20 0 15 0 250807503 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028236351296 140028751996254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807504 14420721664 11746 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46984 KiB

[startup+0.31038 s]*
/proc/loadavg: 1.34 1.45 1.50 5/215 24148
/proc/meminfo: memFree=24636548/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14082736 memory=50528 CPUtime=0.44 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 10786 0 0 0 42 2 0 0 20 0 15 0 250807498 14420721664 12632 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3520684 12632 3378 1 0 3482761 0
[pid=24133/tid=24135] ppid=24130 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 8464 0 0 0 28 2 0 0 20 0 15 0 250807498 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028772127280 140028751102576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14082736 memory=4211973553302293898 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14082736 memory=139827097505725 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14082736 memory=139826955419103 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14082736 memory=139826955406799 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250807499 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14082736 memory=139827097524896 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250807500 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14082736 memory=139826955415983 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250807501 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028241618592 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14082736 memory=279653910822800 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250807501 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028240565488 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14082736 memory=279653910820496 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) S 24130 24133 21510 0 -1 1077944384 508 0 0 0 3 0 0 0 20 0 15 0 250807503 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) S 24130 24133 21510 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 250807503 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028237408624 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0.08 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) S 24130 24133 21510 0 -1 1077944384 315 0 0 0 8 0 0 0 20 0 15 0 250807503 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028236355568 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14082736 memory=139827097503360 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807504 14420721664 12632 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50528 KiB

[startup+0.700813 s]
/proc/loadavg: 1.34 1.45 1.50 3/215 24148
/proc/meminfo: memFree=24612860/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14084804 memory=88920 CPUtime=0.99 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 17627 0 0 0 95 4 0 0 20 0 15 0 250807498 14422839296 22230 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3521201 22230 3504 1 0 3483273 0
[pid=24133/tid=24135] ppid=24130 vsize=14084804 memory=1120 CPUtime=0.67 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 14913 0 0 0 64 3 0 0 20 0 15 0 250807498 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028772141184 140028767937693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14084804 memory=6076 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250807499 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250807500 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250807501 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028241618592 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250807501 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028240565488 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14084804 memory=226 CPUtime=0.09 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) S 24130 24133 21510 0 -1 1077944384 668 0 0 0 9 0 0 0 20 0 15 0 250807503 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14084804 memory=7 CPUtime=0.05 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) S 24130 24133 21510 0 -1 1077944384 257 0 0 0 5 0 0 0 20 0 15 0 250807503 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028237408624 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14084804 memory=711 CPUtime=0.15 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) S 24130 24133 21510 0 -1 1077944384 408 0 0 0 15 0 0 0 20 0 15 0 250807503 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028236355568 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14084804 memory=279653911006704 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807504 14422839296 22230 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88920 KiB

[startup+1.50068 s]
/proc/loadavg: 1.34 1.45 1.50 4/215 24148
/proc/meminfo: memFree=24574080/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14088900 memory=189944 CPUtime=3.3 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 27796 0 0 0 322 8 0 0 20 0 15 0 250807498 14427033600 47486 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3522225 47486 3554 1 0 3484297 0
[pid=24133/tid=24135] ppid=24130 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 18284 0 0 0 142 5 0 0 20 0 15 0 250807498 14427033600 47486 33554432000 4194304 4196468 140729761229456 140028772150400 140028371826091 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14427033600 47486 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14088900 memory=-6439125508584467040 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14427033600 47486 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14088900 memory=-7450198806097777198 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250807499 14427033600 47486 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14088900 memory=4947093795438959488 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250807499 14427033600 47486 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14088900 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 250807500 14427033600 47486 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0

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

/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 30395 0 0 0 16118 9 0 0 20 0 15 0 250807498 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028772154048 140028368230185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14090948 memory=185120 CPUtime=0.48 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 2548 0 0 0 44 4 0 0 20 0 15 0 250807499 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14090948 memory=206528 CPUtime=0.48 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 3154 0 0 0 45 3 0 0 20 0 15 0 250807499 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14090948 memory=204476 CPUtime=0.48 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1061 0 0 0 45 3 0 0 20 0 15 0 250807499 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14090948 memory=204992 CPUtime=0.48 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 1286 0 0 0 44 4 0 0 20 0 15 0 250807499 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14090948 memory=203964 CPUtime=0.34 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 1696 0 0 0 30 4 0 0 20 0 15 0 250807500 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14090948 memory=203452 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028241618656 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14090948 memory=204988 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028240565504 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14090948 memory=173592 CPUtime=1.91 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) S 24130 24133 21510 0 -1 1077944384 13374 0 0 0 190 1 0 0 20 0 15 0 250807503 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14090948 memory=4951091520932644980 CPUtime=1.84 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) S 24130 24133 21510 0 -1 1077944384 12358 0 0 0 183 1 0 0 20 0 15 0 250807503 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028237408624 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14090948 memory=203452 CPUtime=0.87 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) S 24130 24133 21510 0 -1 1077944384 10406 0 0 0 86 1 0 0 20 0 15 0 250807503 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028236355568 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14090948 memory=203452 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14090948 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 224 0 0 0 2 4 0 0 20 0 15 0 250807504 14429130752 51118 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 168.31 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 204472 KiB

[startup+222.301 s]
/proc/loadavg: 1.39 1.36 1.45 3/216 24236
/proc/meminfo: memFree=24340812/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14090948 memory=254344 CPUtime=229.41 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 88188 0 0 0 22893 48 0 0 20 0 15 0 250807498 14429130752 63586 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3522737 63586 3583 1 0 3484809 0
[pid=24133/tid=24135] ppid=24130 vsize=14090948 memory=254860 CPUtime=220.63 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 35767 0 0 0 22052 11 0 0 20 0 15 0 250807498 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028772153952 140028368231260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14090948 memory=248692 CPUtime=0.85 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 3046 0 0 0 79 6 0 0 20 0 15 0 250807499 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14090948 memory=250916 CPUtime=0.86 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 4318 0 0 0 80 6 0 0 20 0 15 0 250807499 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14090948 memory=252816 CPUtime=0.84 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1552 0 0 0 79 5 0 0 20 0 15 0 250807499 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14090948 memory=247584 CPUtime=0.86 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2058 0 0 0 79 7 0 0 20 0 15 0 250807499 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14090948 memory=254344 CPUtime=0.55 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 2011 0 0 0 50 5 0 0 20 0 15 0 250807500 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14090948 memory=254344 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028241618656 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14090948 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028240565504 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14090948 memory=209784 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14090948 memory=254344 CPUtime=1.91 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) S 24130 24133 21510 0 -1 1077944384 13376 0 0 0 190 1 0 0 20 0 15 0 250807503 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14090948 memory=254344 CPUtime=1.84 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) S 24130 24133 21510 0 -1 1077944384 12361 0 0 0 183 1 0 0 20 0 15 0 250807503 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028237408624 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14090948 memory=251640 CPUtime=0.88 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) S 24130 24133 21510 0 -1 1077944384 12029 0 0 0 87 1 0 0 20 0 15 0 250807503 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028236355568 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14090948 memory=252044 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14090948 memory=3712 CPUtime=0.1 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 251 0 0 0 4 6 0 0 20 0 15 0 250807504 14429130752 63586 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 229.41 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 254344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.51 s]
/proc/loadavg: 1.44 1.38 1.45 3/216 24236
/proc/meminfo: memFree=24319192/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14090948 memory=268688 CPUtime=252 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 89557 0 0 0 25147 53 0 0 20 0 15 0 250807498 14429130752 67172 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3522737 67172 3583 1 0 3484809 0
[pid=24133/tid=24135] ppid=24130 vsize=14090948 memory=254344 CPUtime=242.6 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 36135 0 0 0 24249 11 0 0 20 0 15 0 250807498 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028772153952 140028376288837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14090948 memory=265620 CPUtime=0.99 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 3346 0 0 0 91 8 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14090948 memory=268688 CPUtime=0.99 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 4516 0 0 0 92 7 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14090948 memory=265624 CPUtime=0.97 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1843 0 0 0 91 6 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14090948 memory=267664 CPUtime=0.99 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2257 0 0 0 91 8 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14090948 memory=504 CPUtime=0.62 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 2022 0 0 0 56 6 0 0 20 0 15 0 250807500 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14090948 memory=268688 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028241618656 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14090948 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028240565504 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14090948 memory=266132 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14090948 memory=288284480760972432 CPUtime=1.91 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) S 24130 24133 21510 0 -1 1077944384 13376 0 0 0 190 1 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14090948 memory=267156 CPUtime=1.84 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) S 24130 24133 21510 0 -1 1077944384 12361 0 0 0 183 1 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028237408624 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14090948 memory=267156 CPUtime=0.88 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) S 24130 24133 21510 0 -1 1077944384 12029 0 0 0 87 1 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028236355568 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14090948 memory=266644 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14090948 memory=3712 CPUtime=0.12 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 253 0 0 0 5 7 0 0 20 0 15 0 250807504 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 268688 KiB

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

[startup+244.542 s]
# the end of solver process 24133 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.494 s, system=0.552836 s

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

[startup+244.51 s]
/proc/loadavg: 1.44 1.38 1.45 3/216 24236
/proc/meminfo: memFree=24319192/32770624 swapFree=67108524/67108860
[pid=24133] ppid=24130 vsize=14090948 memory=268688 CPUtime=252 cores=0,2,4,6
/proc/24133/stat : 24133 (java) S 24130 24133 21510 0 -1 1077944320 89557 0 0 0 25147 53 0 0 20 0 15 0 250807498 14429130752 67172 33554432000 4194304 4196468 140729761229456 140729761212000 140028767915767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
/proc/24133/statm: 3522737 67172 3583 1 0 3484809 0
[pid=24133/tid=24135] ppid=24130 vsize=14090948 memory=254344 CPUtime=242.6 cores=0,2,4,6
/proc/24133/task/24135/stat : 24135 (java) R 24130 24133 21510 0 -1 4202560 36135 0 0 0 24249 11 0 0 20 0 15 0 250807498 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028772153952 140028376288837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24136] ppid=24130 vsize=14090948 memory=265620 CPUtime=0.99 cores=0,2,4,6
/proc/24133/task/24136/stat : 24136 (java) S 24130 24133 21510 0 -1 1077944384 3346 0 0 0 91 8 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028698003984 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24137] ppid=24130 vsize=14090948 memory=268688 CPUtime=0.99 cores=0,2,4,6
/proc/24133/task/24137/stat : 24137 (java) S 24130 24133 21510 0 -1 1077944384 4516 0 0 0 92 7 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028696951440 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24138] ppid=24130 vsize=14090948 memory=265624 CPUtime=0.97 cores=0,2,4,6
/proc/24133/task/24138/stat : 24138 (java) S 24130 24133 21510 0 -1 1077944384 1843 0 0 0 91 6 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028695898384 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24139] ppid=24130 vsize=14090948 memory=267664 CPUtime=0.99 cores=0,2,4,6
/proc/24133/task/24139/stat : 24139 (java) S 24130 24133 21510 0 -1 1077944384 2257 0 0 0 91 8 0 0 20 0 15 0 250807499 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028694845840 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24140] ppid=24130 vsize=14090948 memory=504 CPUtime=0.62 cores=0,2,4,6
/proc/24133/task/24140/stat : 24140 (java) S 24130 24133 21510 0 -1 1077944384 2022 0 0 0 56 6 0 0 20 0 15 0 250807500 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028242672368 140028767926914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24141] ppid=24130 vsize=14090948 memory=268688 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24141/stat : 24141 (java) S 24130 24133 21510 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028241618656 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24142] ppid=24130 vsize=14090948 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24142/stat : 24142 (java) S 24130 24133 21510 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250807501 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028240565504 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24143] ppid=24130 vsize=14090948 memory=266132 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24143/stat : 24143 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028239514064 140028767934363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24144] ppid=24130 vsize=14090948 memory=288284480760972432 CPUtime=1.91 cores=0,2,4,6
/proc/24133/task/24144/stat : 24144 (java) S 24130 24133 21510 0 -1 1077944384 13376 0 0 0 190 1 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028238461168 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24145] ppid=24130 vsize=14090948 memory=267156 CPUtime=1.84 cores=0,2,4,6
/proc/24133/task/24145/stat : 24145 (java) S 24130 24133 21510 0 -1 1077944384 12361 0 0 0 183 1 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028237408624 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24146] ppid=24130 vsize=14090948 memory=267156 CPUtime=0.88 cores=0,2,4,6
/proc/24133/task/24146/stat : 24146 (java) S 24130 24133 21510 0 -1 1077944384 12029 0 0 0 87 1 0 0 20 0 15 0 250807503 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028236355568 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24147] ppid=24130 vsize=14090948 memory=266644 CPUtime=0 cores=0,2,4,6
/proc/24133/task/24147/stat : 24147 (java) S 24130 24133 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250807504 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028235303264 140028767925973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
[pid=24133/tid=24148] ppid=24130 vsize=14090948 memory=3712 CPUtime=0.12 cores=0,2,4,6
/proc/24133/task/24148/stat : 24148 (java) S 24130 24133 21510 0 -1 1077944384 253 0 0 0 5 7 0 0 20 0 15 0 250807504 14429130752 67172 33554432000 4194304 4196468 140729761229456 140028234251312 140028767926914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140729761231950 140729761232142 140729761232142 140729761234895 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 268688 KiB

Child status: 143
Real time (s): 244.542
CPU time (s): 252.047
CPU user time (s): 251.494
CPU system time (s): 0.552836
CPU usage (%): 103.069
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 269712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.494
system time used= 0.552836
maximum resident set size= 269712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23918
involuntary context switches= 738


# summary of solver processes directly reported to runsolver:
#   pid: 24133
#   total CPU time (s): 252.047
#   total CPU user time (s): 251.494
#   total CPU system time (s): 0.552836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36121 second user time and 2.38487 second system time

The end

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

Trace number 4310145

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