2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Conflict Ordering 2017-06-30	SAT (TO)	1562	2400.04	2367.53

0.27/0.29	c version: 2017-06-30
0.27/0.29	c seed: 2014502421
0.27/0.30	c timeout: 2400
0.27/0.30	c memlimit: 15500
0.27/0.30	c nbcore: 8
0.43/0.32	c Parsing instance...
2.91/1.11	c Parsing done, starting search...
2.91/1.19	o 2105
2.91/1.20	o 2029
2.91/1.21	o 1949
3.30/1.22	o 1946
3.30/1.23	o 1912
3.66/1.37	o 1906
3.66/1.39	o 1878
4.07/1.41	o 1844
4.47/1.53	o 1843
4.47/1.54	o 1795
4.96/1.72	o 1793
5.15/1.87	o 1789
5.15/1.88	o 1780
5.15/1.88	o 1742
5.15/1.88	o 1731
5.15/1.90	o 1721
5.87/2.41	o 1719
5.87/2.44	o 1715
6.37/2.97	o 1707
7.25/3.72	o 1691
7.25/3.73	o 1688
7.25/3.73	o 1686
7.25/3.73	o 1683
7.85/4.31	o 1681
8.20/4.65	o 1680
8.20/4.65	o 1675
8.20/4.66	o 1671
10.14/6.58	o 1642
11.27/7.62	o 1604
33.73/29.84	o 1592
33.93/30.03	o 1581
37.17/33.29	o 1566
40.49/36.59	o 1562
2400.00/2367.50	s SATISFIABLE
2400.00/2367.51	v <instantiation>
2400.00/2367.51	v 	<list>
2400.00/2367.51	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33]
2400.00/2367.51	v 	</list>
2400.00/2367.51	v 	<values>
2400.00/2367.51	v 		0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 23 74 56 99 28 93 54 79 69 88 100 84 83 77 93 34 56 13 41 100 32 87 44 69 100 20 37 64 49 47 10 71 100 
2400.00/2367.51	v 	</values>
2400.00/2367.51	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246383-1500710999/watcher-4246383-1500710999 -o /tmp/evaluation-result-4246383-1500710999/solver-4246383-1500710999 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500710999-18715 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2014502421 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246383-1500710999.xml 

pid=18744
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.10 1.38 1.40 3/244 18747
/proc/meminfo: memFree=31633624/32770624 swapFree=5948/265588
[pid=18747] ppid=18744 vsize=10637620 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 2235 0 0 0 0 0 0 0 20 0 4 0 6366711 10892922880 1988 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 2659405 1988 1199 1 0 2648316 0
[pid=18747/tid=18757] ppid=18744 vsize=10639676 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 928 0 0 0 0 0 0 0 20 0 7 0 6366712 10895028224 1988 33554432000 4194304 4196468 140732828078816 140237034415824 140237030195802 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=10640704 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 6366713 10896080896 1988 33554432000 4194304 4196468 140732828078816 140236629195872 140237030184661 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=10640704 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 6366713 10896080896 1988 33554432000 4194304 4196468 140732828078816 140236628143328 140237030184661 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=10641732 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 6366713 10897133568 1988 33554432000 4194304 4196468 140732828078816 140236627090784 140237030184661 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=10642760 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 6366713 10898186240 1988 33554432000 4194304 4196468 140732828078816 140236626038240 140237030184661 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=10740508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) R 18744 18747 18684 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 6366713 10998280192 1988 33554432000 4194304 4196468 140732828078816 140236624984672 140237030184661 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=10904904 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) D 18744 18747 18684 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 6366713 11166621696 1988 33554432000 4194304 4196468 140732828078816 140236623931272 140237022891418 0 4 0 16784584 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=11035976 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) D 18744 18747 18684 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 6366713 11300839424 1988 33554432000 4194304 4196468 140732828078816 140236622878728 140237022891418 0 4 0 16784584 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=11167048 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) D 18744 18747 18684 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 6366713 11435057152 1988 33554432000 4194304 4196468 140732828078816 140236621826232 140237010198320 0 4 0 16784584 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0

[startup+0.100139 s]
/proc/loadavg: 1.10 1.38 1.40 3/244 18747
/proc/meminfo: memFree=31633624/32770624 swapFree=5948/265588
[pid=18747] ppid=18744 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 6551 0 0 0 9 1 0 0 20 0 20 0 6366711 13582245888 6823 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3315978 6823 3358 1 0 3303698 0
[pid=18747/tid=18757] ppid=18744 vsize=13263912 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 4610 0 0 0 7 0 0 0 20 0 20 0 6366712 13582245888 6823 33554432000 4194304 4196468 140732828078816 140237034411784 140237014254972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 6823 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.200828 s]
/proc/loadavg: 1.10 1.38 1.40 3/244 18747
/proc/meminfo: memFree=31633624/32770624 swapFree=5948/265588
[pid=18747] ppid=18744 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 8913 0 0 0 25 2 0 0 20 0 20 0 6366711 13582245888 8922 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3315978 8922 3570 1 0 3303698 0
[pid=18747/tid=18757] ppid=18744 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 6563 0 0 0 17 1 0 0 20 0 20 0 6366712 13582245888 8922 33554432000 4194304 4196468 140732828078816 140237034394832 140237030196381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 8922 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912

[startup+0.300633 s]
/proc/loadavg: 1.10 1.38 1.40 3/244 18747
/proc/meminfo: memFree=31633624/32770624 swapFree=5948/265588
[pid=18747] ppid=18744 vsize=13263912 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 9904 0 0 0 40 3 0 0 20 0 20 0 6366711 13582245888 11138 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3315978 11138 3629 1 0 3303698 0
[pid=18747/tid=18757] ppid=18744 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 7290 0 0 0 25 2 0 0 20 0 20 0 6366712 13582245888 11138 33554432000 4194304 4196468 140732828078816 140237034388848 140237014254942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13582245888 11138 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912

[startup+0.700585 s]
/proc/loadavg: 1.10 1.38 1.40 3/244 18747
/proc/meminfo: memFree=31633624/32770624 swapFree=5948/265588
[pid=18747] ppid=18744 vsize=13265980 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 14178 0 0 0 149 5 0 0 20 0 20 0 6366711 13584363520 20525 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3316495 20525 3774 1 0 3304210 0
[pid=18747/tid=18757] ppid=18744 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 8654 0 0 0 64 3 0 0 20 0 20 0 6366712 13584363520 20525 33554432000 4194304 4196468 140732828078816 140237034410320 140236667371920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13584363520 20525 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13265980

[startup+1.50106 s]
/proc/loadavg: 1.17 1.39 1.41 11/284 18794
/proc/meminfo: memFree=31415000/32770624 swapFree=5948/265696
[pid=18747] ppid=18744 vsize=13270076 CPUtime=4.47 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 28000 0 0 0 437 10 0 0 20 0 20 0 6366711 13588557824 45155 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3317519 45155 3794 1 0 3305234 0
[pid=18747/tid=18757] ppid=18744 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 11342 0 0 0 142 5 0 0 20 0 20 0 6366712 13588557824 45155 33554432000 4194304 4196468 140732828078816 140237034410664 140236675385812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6366713 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18768] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18768/stat : 18768 (java) S 18744 18747 18684 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236359092720 140237030185602 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18770] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18770/stat : 18770 (java) S 18744 18747 18684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236358038944 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18772] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18772/stat : 18772 (java) S 18744 18747 18684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236356986352 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18773] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18773/stat : 18773 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236355934928 140237030193051 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18774] ppid=18744 vsize=13270076 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18774/stat : 18774 (java) R 18744 18747 18684 0 -1 4202560 4103 0 0 0 82 1 0 0 20 0 20 0 6366718 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236354867328 140237009867555 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18775] ppid=18744 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18775/stat : 18775 (java) R 18744 18747 18684 0 -1 4202560 2381 0 0 0 76 0 0 0 20 0 20 0 6366718 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236353815440 140237013673042 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18776] ppid=18744 vsize=13270076 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18776/stat : 18776 (java) S 18744 18747 18684 0 -1 1077944384 2712 0 0 0 68 0 0 0 20 0 20 0 6366718 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236352776432 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18777] ppid=18744 vsize=13270076 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18777/stat : 18777 (java) S 18744 18747 18684 0 -1 1077944384 6049 0 0 0 67 2 0 0 20 0 20 0 6366718 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236351723888 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18778] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18778/stat : 18778 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236350671584 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18779] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18779/stat : 18779 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366719 13588557824 45155 33554432000 4194304 4196468 140732828078816 140236349619120 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 4.47

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

[pid=18747/tid=18775] ppid=18744 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18775/stat : 18775 (java) S 18744 18747 18684 0 -1 1077944384 3681 0 0 0 97 1 0 0 20 0 20 0 6366718 13588557824 61288 33554432000 4194304 4196468 140732828078816 140236353828976 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18776] ppid=18744 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18776/stat : 18776 (java) S 18744 18747 18684 0 -1 1077944384 2928 0 0 0 86 1 0 0 20 0 20 0 6366718 13588557824 61288 33554432000 4194304 4196468 140732828078816 140236352776432 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18777] ppid=18744 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18777/stat : 18777 (java) S 18744 18747 18684 0 -1 1077944384 7184 0 0 0 71 3 0 0 20 0 20 0 6366718 13588557824 61288 33554432000 4194304 4196468 140732828078816 140236351723888 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18778] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18778/stat : 18778 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 61288 33554432000 4194304 4196468 140732828078816 140236350671584 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18779] ppid=18744 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18779/stat : 18779 (java) S 18744 18747 18684 0 -1 1077944384 559 0 0 0 36 37 0 0 20 0 20 0 6366719 13588557824 61288 33554432000 4194304 4196468 140732828078816 140236349619120 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 2293.39
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.01 1.18 1.33 4/281 18855
/proc/meminfo: memFree=30502056/32770624 swapFree=5948/267724
[pid=18747] ppid=18744 vsize=13270076 CPUtime=2354.19 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 73611 0 0 0 235194 225 0 0 20 0 20 0 6366711 13588557824 61800 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3317519 61800 3828 1 0 3305234 0
[pid=18747/tid=18757] ppid=18744 vsize=13270076 CPUtime=2313.06 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 27131 0 0 0 231292 14 0 0 20 0 20 0 6366712 13588557824 61800 33554432000 4194304 4196468 140732828078816 140237034412880 140236675732148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13270076 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 3526 0 0 0 404 24 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13270076 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3037 0 0 0 401 21 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13270076 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2565 0 0 0 404 20 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13270076 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 1203 0 0 0 404 18 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13270076 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2631 0 0 0 403 23 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13270076 CPUtime=4.35 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 1892 0 0 0 414 21 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13270076 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1740 0 0 0 392 21 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13270076 CPUtime=4.18 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2079 0 0 0 397 21 0 0 20 0 20 0 6366713 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18768] ppid=18744 vsize=13270076 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18768/stat : 18768 (java) S 18744 18747 18684 0 -1 1077944384 5552 0 0 0 251 21 0 0 20 0 20 0 6366715 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236359092720 140237030185602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18770] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18770/stat : 18770 (java) S 18744 18747 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236358039008 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18772] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18772/stat : 18772 (java) S 18744 18747 18684 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236356986368 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18773] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18773/stat : 18773 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236355934928 140237030193051 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18774] ppid=18744 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18774/stat : 18774 (java) S 18744 18747 18684 0 -1 1077944384 6468 0 0 0 105 1 0 0 20 0 20 0 6366718 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236354881520 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18775] ppid=18744 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18775/stat : 18775 (java) S 18744 18747 18684 0 -1 1077944384 3681 0 0 0 97 1 0 0 20 0 20 0 6366718 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236353828976 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18776] ppid=18744 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18776/stat : 18776 (java) S 18744 18747 18684 0 -1 1077944384 2928 0 0 0 86 1 0 0 20 0 20 0 6366718 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236352776432 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18777] ppid=18744 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18777/stat : 18777 (java) S 18744 18747 18684 0 -1 1077944384 7184 0 0 0 71 3 0 0 20 0 20 0 6366718 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236351723888 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18778] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18778/stat : 18778 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236350671584 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18779] ppid=18744 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18779/stat : 18779 (java) S 18744 18747 18684 0 -1 1077944384 563 0 0 0 37 38 0 0 20 0 20 0 6366719 13588557824 61800 33554432000 4194304 4196468 140732828078816 140236349619120 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 2354.19
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2367.5 s]
/proc/loadavg: 1.27 1.22 1.33 5/280 19201
/proc/meminfo: memFree=31184860/32770624 swapFree=5948/267920
[pid=18747] ppid=18744 vsize=13270076 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 73711 0 0 0 239768 232 0 0 20 0 20 0 6366711 13588557824 62312 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3317519 62312 3828 1 0 3305234 0
[pid=18747/tid=18757] ppid=18744 vsize=13270076 CPUtime=2358.06 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 27210 0 0 0 235790 16 0 0 20 0 20 0 6366712 13588557824 62312 33554432000 4194304 4196468 140732828078816 140237034412880 140236675238738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13270076 CPUtime=4.37 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 3527 0 0 0 413 24 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13270076 CPUtime=4.3 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3040 0 0 0 409 21 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13270076 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2566 0 0 0 414 20 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13270076 CPUtime=4.31 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 1204 0 0 0 413 18 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13270076 CPUtime=4.35 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2632 0 0 0 412 23 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13270076 CPUtime=4.44 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 1895 0 0 0 422 22 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13270076 CPUtime=4.2 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1742 0 0 0 399 21 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13270076 CPUtime=4.29 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2080 0 0 0 407 22 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18768] ppid=18744 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18768/stat : 18768 (java) S 18744 18747 18684 0 -1 1077944384 5557 0 0 0 256 21 0 0 20 0 20 0 6366715 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236359092720 140237030185602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18770] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18770/stat : 18770 (java) S 18744 18747 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236358039008 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18772] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18772/stat : 18772 (java) S 18744 18747 18684 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236356986368 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18773] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18773/stat : 18773 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236355934928 140237030193051 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18774] ppid=18744 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18774/stat : 18774 (java) S 18744 18747 18684 0 -1 1077944384 6468 0 0 0 105 1 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236354881520 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18775] ppid=18744 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18775/stat : 18775 (java) S 18744 18747 18684 0 -1 1077944384 3681 0 0 0 97 1 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236353828976 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18776] ppid=18744 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18776/stat : 18776 (java) S 18744 18747 18684 0 -1 1077944384 2928 0 0 0 86 1 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236352776432 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18777] ppid=18744 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18777/stat : 18777 (java) S 18744 18747 18684 0 -1 1077944384 7184 0 0 0 71 3 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236351723888 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18778] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18778/stat : 18778 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236350671584 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18779] ppid=18744 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18779/stat : 18779 (java) S 18744 18747 18684 0 -1 1077944384 566 0 0 0 38 38 0 0 20 0 20 0 6366719 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236349619120 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18747 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2367.5 s]
/proc/loadavg: 1.27 1.22 1.33 5/280 19201
/proc/meminfo: memFree=31184860/32770624 swapFree=5948/267920
[pid=18747] ppid=18744 vsize=13270076 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/18747/stat : 18747 (java) S 18744 18747 18684 0 -1 1077944320 73711 0 0 0 239768 232 0 0 20 0 20 0 6366711 13588557824 62312 33554432000 4194304 4196468 140732828078816 140732828061360 140237030174455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
/proc/18747/statm: 3317519 62312 3828 1 0 3305234 0
[pid=18747/tid=18757] ppid=18744 vsize=13270076 CPUtime=2358.06 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18757/stat : 18757 (java) R 18744 18747 18684 0 -1 4202560 27210 0 0 0 235790 16 0 0 20 0 20 0 6366712 13588557824 62312 33554432000 4194304 4196468 140732828078816 140237034412880 140236675238738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18758] ppid=18744 vsize=13270076 CPUtime=4.37 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18758/stat : 18758 (java) S 18744 18747 18684 0 -1 1077944384 3527 0 0 0 413 24 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236629195536 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18759] ppid=18744 vsize=13270076 CPUtime=4.3 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18759/stat : 18759 (java) S 18744 18747 18684 0 -1 1077944384 3040 0 0 0 409 21 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236628142992 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18760] ppid=18744 vsize=13270076 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18760/stat : 18760 (java) S 18744 18747 18684 0 -1 1077944384 2566 0 0 0 414 20 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236627090448 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18761] ppid=18744 vsize=13270076 CPUtime=4.31 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18761/stat : 18761 (java) S 18744 18747 18684 0 -1 1077944384 1204 0 0 0 413 18 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236626037904 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18762] ppid=18744 vsize=13270076 CPUtime=4.35 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18762/stat : 18762 (java) S 18744 18747 18684 0 -1 1077944384 2632 0 0 0 412 23 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236624984336 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18763] ppid=18744 vsize=13270076 CPUtime=4.44 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18763/stat : 18763 (java) S 18744 18747 18684 0 -1 1077944384 1895 0 0 0 422 22 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236623931792 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18764] ppid=18744 vsize=13270076 CPUtime=4.2 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18764/stat : 18764 (java) S 18744 18747 18684 0 -1 1077944384 1742 0 0 0 399 21 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236622879248 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18765] ppid=18744 vsize=13270076 CPUtime=4.29 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18765/stat : 18765 (java) S 18744 18747 18684 0 -1 1077944384 2080 0 0 0 407 22 0 0 20 0 20 0 6366713 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236621826704 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18768] ppid=18744 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18768/stat : 18768 (java) S 18744 18747 18684 0 -1 1077944384 5557 0 0 0 256 21 0 0 20 0 20 0 6366715 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236359092720 140237030185602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18770] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18770/stat : 18770 (java) S 18744 18747 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236358039008 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18772] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18772/stat : 18772 (java) S 18744 18747 18684 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6366715 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236356986368 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18773] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18773/stat : 18773 (java) S 18744 18747 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236355934928 140237030193051 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18774] ppid=18744 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18774/stat : 18774 (java) S 18744 18747 18684 0 -1 1077944384 6468 0 0 0 105 1 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236354881520 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18775] ppid=18744 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18775/stat : 18775 (java) S 18744 18747 18684 0 -1 1077944384 3681 0 0 0 97 1 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236353828976 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18776] ppid=18744 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18776/stat : 18776 (java) S 18744 18747 18684 0 -1 1077944384 2928 0 0 0 86 1 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236352776432 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18777] ppid=18744 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18777/stat : 18777 (java) S 18744 18747 18684 0 -1 1077944384 7184 0 0 0 71 3 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236351723888 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18778] ppid=18744 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18778/stat : 18778 (java) S 18744 18747 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6366718 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236350671584 140237030184661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
[pid=18747/tid=18779] ppid=18744 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18747/task/18779/stat : 18779 (java) S 18744 18747 18684 0 -1 1077944384 566 0 0 0 38 38 0 0 20 0 20 0 6366719 13588557824 62312 33554432000 4194304 4196468 140732828078816 140236349619120 140237030185602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140732828083337 140732828083524 140732828083524 140732828086223 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2367.53
CPU time (s): 2400.04
CPU user time (s): 2397.71
CPU system time (s): 2.32883
CPU usage (%): 101.373
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.71
system time used= 2.32883
maximum resident set size= 249868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180963
involuntary context switches= 146871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1931 second user time and 20.0384 second system time

The end

Launcher Data

Begin job on node139 at 2017-07-22 10:09:59
IDJOB=4246383
IDBENCH=124459
IDSOLVER=2628
FILE ID=node139/4246383-1500710999
RUNJOBID= node139-1500710999-18715
PBS_JOBID= 20623349
Free space on /tmp= 61992 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246383-1500710999/watcher-4246383-1500710999 -o /tmp/evaluation-result-4246383-1500710999/solver-4246383-1500710999 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500710999-18715 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2014502421 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246383-1500710999.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab
RANDOM SEED=2014502421

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31638332 kB
MemAvailable:   31994912 kB
Buffers:          123664 kB
Cached:           513488 kB
SwapCached:            0 kB
Active:           417324 kB
Inactive:         274164 kB
Active(anon):      57532 kB
Inactive(anon):     8576 kB
Active(file):     359792 kB
Inactive(file):   265588 kB
Unevictable:        5948 kB
Mlocked:            5948 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             84008 kB
Writeback:             0 kB
AnonPages:         60064 kB
Mapped:            30172 kB
Shmem:              8852 kB
Slab:             127488 kB
SReclaimable:      94068 kB
SUnreclaim:        33420 kB
KernelStack:        3984 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61904 MiB
End job on node139 at 2017-07-22 10:49:27

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml
MD5SUM	72c979ceab0684897cea6dc90bd0dbab
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	783
Best CPU time to get the best result obtained on this benchmark	19994.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1190
Number of constraints	1155
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree	0
Maximum variable degree	65
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity	1
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints	0
Number of intensional constraints	33
Distribution of constraint types	[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246383

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