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
OscaR - Conflict Ordering 2017-07-26	SAT (TO)	1562	2520.1201	2506.1201

0.21/0.41	c version: 2017-07-26
0.21/0.41	c seed: 917293742
0.21/0.42	c timeout: 2520
0.21/0.42	c memlimit: 11000
0.38/0.42	c nbcore: 4
0.38/0.44	c Parsing instance...
2.39/1.22	c Parsing done, starting search...
2.73/1.30	o 2105
2.73/1.31	o 2029
2.73/1.31	o 1949
2.73/1.33	o 1946
2.73/1.34	o 1912
3.05/1.47	o 1906
3.05/1.50	o 1878
3.40/1.52	o 1844
3.67/1.63	o 1843
3.67/1.65	o 1795
4.25/1.88	o 1793
4.57/2.02	o 1789
4.57/2.02	o 1780
4.57/2.02	o 1742
4.57/2.02	o 1731
4.57/2.04	o 1721
5.20/2.57	o 1719
5.20/2.59	o 1715
5.83/3.14	o 1707
6.53/3.88	o 1691
6.53/3.88	o 1688
6.53/3.89	o 1686
6.53/3.89	o 1683
7.17/4.47	o 1681
7.61/4.81	o 1680
7.61/4.82	o 1675
7.61/4.82	o 1671
9.53/6.77	o 1642
10.65/7.82	o 1604
32.91/29.91	o 1592
33.02/30.09	o 1581
36.21/33.28	o 1566
39.53/36.55	o 1562
2520.08/2506.11	s SATISFIABLE
2520.08/2506.12	v <instantiation>
2520.08/2506.12	v 	<list>
2520.08/2506.12	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]
2520.08/2506.12	v 	</list>
2520.08/2506.12	v 	<values>
2520.08/2506.12	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 
2520.08/2506.12	v 	</values>
2520.08/2506.12	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14528 MiB free)
  memory of node 1: 16384 MiB (15436 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273770-1502763293/watcher-4273770-1502763293 -o /tmp/evaluation-result-4273770-1502763293/solver-4273770-1502763293 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 917293742 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273770-1502763293.xml 

running on 4 cores: 1,3,5,7

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

solver pid=31477, runsolver pid=31474

[startup+0.100153 s]*
/proc/loadavg: 1.50 1.41 1.42 3/200 31479
/proc/meminfo: memFree=30680448/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13358552 memory=15924 CPUtime=0 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 3308 0 0 0 0 0 0 0 20 0 6 0 78524618 13679157248 3981 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3339638 3981 1875 1 0 3329135 0
[pid=31477/tid=31479] ppid=31474 vsize=13358552 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 2002 0 0 0 0 0 0 0 20 0 6 0 78524627 13679157248 3981 18446744073709551615 4194304 4196468 140726510611568 139941595750992 139941591536797 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 78524628 13679157248 3981 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13358552 memory=139974790813312 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 78524628 13679157248 3981 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 78524628 13679157248 3981 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 78524628 13679157248 3981 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 15924 KiB

[startup+0.210091 s]*
/proc/loadavg: 1.50 1.41 1.42 2/212 31491
/proc/meminfo: memFree=30674072/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13906484 memory=20712 CPUtime=0.05 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 4633 0 0 0 5 0 0 0 20 0 14 0 78524618 14240239616 5178 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3476621 5178 2586 1 0 3466118 0
[pid=31477/tid=31479] ppid=31474 vsize=13907512 memory=8316850467074736180 CPUtime=0.04 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) S 31474 31477 12560 0 -1 1077944384 2736 0 0 0 4 0 0 0 20 0 15 0 78524627 14241292288 5178 18446744073709551615 4194304 4196468 140726510611568 139941595757152 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13907512 memory=9220 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14241292288 5178 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13907512 memory=139974791423718 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14241292288 5178 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13907512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14241292288 5178 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13973048 memory=139974790813312 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524629 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78524630 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940934923936 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78524630 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940933870832 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) S 31474 31477 12560 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 78524632 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940931766512 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940930713968 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13973048 memory=139974790813312 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) S 31474 31477 12560 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 15 0 78524633 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940929660912 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13973048 memory=139974790813312 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524640 14308401152 5178 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20712 KiB

[startup+0.310136 s]*
/proc/loadavg: 1.50 1.41 1.42 3/213 31492
/proc/meminfo: memFree=30659952/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13975920 memory=38460 CPUtime=0.21 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 9748 0 0 0 19 2 0 0 20 0 15 0 78524618 14311342080 9615 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3493980 9615 3532 1 0 3482759 0
[pid=31477/tid=31479] ppid=31474 vsize=13975920 memory=8316850467074736180 CPUtime=0.14 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 7457 0 0 0 13 1 0 0 20 0 15 0 78524627 14311342080 9615 18446744073709551615 4194304 4196468 140726510611568 139941595738768 139941575595358 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13975920 memory=9220 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14311342080 9615 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13975920 memory=139974791423718 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14311342080 9615 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13975920 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14311342080 9615 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13975920 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14311342080 9615 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13975920 memory=3472468271018231472 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78524629 14311342080 9615 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13976944 memory=735266748058831161 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78524630 14312390656 9615 18446744073709551615 4194304 4196468 140726510611568 139940934923936 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78524630 14312390656 9615 18446744073709551615 4194304 4196468 140726510611568 139940933870832 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13976944 memory=-2605811476043407915 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14312390656 9679 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13976944 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) S 31474 31477 12560 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 78524632 14312390656 9679 18446744073709551615 4194304 4196468 140726510611568 139940931766512 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13975920 memory=3472328296227418159 CPUtime=0.01 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) S 31474 31477 12560 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 15 0 78524632 14311342080 9652 18446744073709551615 4194304 4196468 140726510611568 139940930713968 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13975920 memory=7959527117215582125 CPUtime=0.03 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) S 31474 31477 12560 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 15 0 78524633 14311342080 9652 18446744073709551615 4194304 4196468 140726510611568 139940929660912 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14311342080 9652 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13975920 memory=139974790813312 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524640 14311342080 9652 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 38460 KiB

[startup+0.701057 s]
/proc/loadavg: 1.50 1.41 1.42 5/213 31492
/proc/meminfo: memFree=30645336/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13977988 memory=66236 CPUtime=0.99 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 13786 0 0 0 95 4 0 0 20 0 15 0 78524618 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3494497 16559 3727 1 0 3483271 0
[pid=31477/tid=31479] ppid=31474 vsize=13977988 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 10293 0 0 0 49 3 0 0 20 0 15 0 78524627 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139941595748992 139941191502565 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78524629 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13977988 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78524630 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940934923936 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13977988 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78524630 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940933870832 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13977988 memory=8624 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13977988 memory=1716 CPUtime=0.12 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) S 31474 31477 12560 0 -1 1077944384 745 0 0 0 12 0 0 0 20 0 15 0 78524632 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940931766512 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13977988 memory=3472328279047811153 CPUtime=0.11 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) R 31474 31477 12560 0 -1 4202560 565 0 0 0 11 0 0 0 20 0 15 0 78524632 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940930700784 139941573058970 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13977988 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) R 31474 31477 12560 0 -1 4202560 801 0 0 0 20 0 0 0 20 0 15 0 78524633 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940929655296 139941570650338 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13977988 memory=737 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13977988 memory=832 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524640 14313459712 16559 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66236 KiB

[startup+1.51106 s]
/proc/loadavg: 1.70 1.45 1.43 3/213 31492
/proc/meminfo: memFree=30604228/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13982084 memory=165280 CPUtime=3.4 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 31060 0 0 0 331 9 0 0 20 0 15 0 78524618 14317654016 41320 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3495521 41320 3776 1 0 3484295 0
[pid=31477/tid=31479] ppid=31474 vsize=13982084 memory=4144 CPUtime=1.32 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 14915 0 0 0 127 5 0 0 20 0 15 0 78524627 14317654016 41320 18446744073709551615 4194304 4196468 140726510611568 139941595750312 139941199276199 0 4 1 16800974 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13982084 memory=43564 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13982084 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78524628 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13982084 memory=279949324342848 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13982084 memory=6944937900100196217 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78524628 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13982084 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 78524629 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13982084 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940934923936 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13982084 memory=5793990212118078307 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940933870832 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13982084 memory=6933690330692294553 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13982084 memory=7811607273157583185 CPUtime=0.69 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) R 31474 31477 12560 0 -1 4202560 3195 0 0 0 68 1 0 0 20 0 15 0 78524632 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940931749504 139941575000760 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13982084 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) R 31474 31477 12560 0 -1 4202560 4570 0 0 0 70 0 0 0 20 0 15 0 78524632 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940930694776 139941571232007 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13982084 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) S 31474 31477 12560 0 -1 1077944384 6588 0 0 0 65 1 0 0 20 0 15 0 78524633 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940929660912 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 78524640 14317654016 41364 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 13982084 KiB

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

/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 30474 0 0 0 243080 20 0 0 20 0 15 0 78524627 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139941595753504 139941199609778 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13982084 memory=250888 CPUtime=4.31 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 5431 0 0 0 403 28 0 0 20 0 15 0 78524628 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13982084 memory=250888 CPUtime=4.31 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 3791 0 0 0 402 29 0 0 20 0 15 0 78524628 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13982084 memory=250888 CPUtime=4.32 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 4256 0 0 0 407 25 0 0 20 0 15 0 78524628 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13982084 memory=250888 CPUtime=4.31 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 4700 0 0 0 403 28 0 0 20 0 15 0 78524628 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13982084 memory=250888 CPUtime=3.62 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 6094 0 0 0 337 25 0 0 20 0 15 0 78524629 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13982084 memory=250888 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940934924000 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13982084 memory=250888 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940933870848 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13982084 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13982084 memory=250888 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) S 31474 31477 12560 0 -1 1077944384 5744 0 0 0 115 1 0 0 20 0 15 0 78524632 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940931766512 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13982084 memory=250888 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) S 31474 31477 12560 0 -1 1077944384 6871 0 0 0 116 0 0 0 20 0 15 0 78524632 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940930713968 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13982084 memory=250888 CPUtime=0.71 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) S 31474 31477 12560 0 -1 1077944384 7854 0 0 0 70 1 0 0 20 0 15 0 78524633 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940929660912 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13982084 memory=250888 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13982084 memory=-8774313645642428999 CPUtime=0.94 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 662 0 0 0 44 50 0 0 20 0 15 0 78524640 14317654016 62722 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 2455.95 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 250888 KiB

[startup+2502.3 s]
/proc/loadavg: 1.56 1.62 1.49 3/209 1020
/proc/meminfo: memFree=30989968/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13982084 memory=252936 CPUtime=2516.26 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 77527 0 0 0 251447 179 0 0 20 0 15 0 78524618 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3495521 63234 3805 1 0 3484295 0
[pid=31477/tid=31479] ppid=31474 vsize=13982084 memory=252936 CPUtime=2490.73 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 30637 0 0 0 249053 20 0 0 20 0 15 0 78524627 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941595753360 139941576726246 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.42 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 5449 0 0 0 413 29 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.42 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 3829 0 0 0 413 29 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.44 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 4257 0 0 0 418 26 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.42 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 4701 0 0 0 414 28 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13982084 memory=252936 CPUtime=3.71 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 6100 0 0 0 346 25 0 0 20 0 15 0 78524629 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940934924000 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940933870848 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13982084 memory=252936 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) S 31474 31477 12560 0 -1 1077944384 5744 0 0 0 115 1 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940931766512 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13982084 memory=252936 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) S 31474 31477 12560 0 -1 1077944384 6871 0 0 0 116 0 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940930713968 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13982084 memory=252936 CPUtime=0.71 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) S 31474 31477 12560 0 -1 1077944384 7854 0 0 0 70 1 0 0 20 0 15 0 78524633 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940929660912 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13982084 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13982084 memory=15584 CPUtime=0.96 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 665 0 0 0 45 51 0 0 20 0 15 0 78524640 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 2516.26 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 252936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.11 s]
/proc/loadavg: 1.56 1.62 1.49 3/209 1020
/proc/meminfo: memFree=30995436/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13982084 memory=252936 CPUtime=2520.08 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 77538 0 0 0 251829 179 0 0 20 0 15 0 78524618 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3495521 63234 3805 1 0 3484295 0
[pid=31477/tid=31479] ppid=31474 vsize=13982084 memory=252936 CPUtime=2494.52 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 30647 0 0 0 249432 20 0 0 20 0 15 0 78524627 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941595753312 139941195378582 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.43 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 5449 0 0 0 414 29 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.43 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 3829 0 0 0 414 29 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.45 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 4257 0 0 0 419 26 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.43 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 4702 0 0 0 415 28 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13982084 memory=252936 CPUtime=3.72 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 6100 0 0 0 346 26 0 0 20 0 15 0 78524629 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940934924000 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940933870848 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13982084 memory=252936 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) S 31474 31477 12560 0 -1 1077944384 5744 0 0 0 115 1 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940931766512 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13982084 memory=252936 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) S 31474 31477 12560 0 -1 1077944384 6871 0 0 0 116 0 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940930713968 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13982084 memory=252936 CPUtime=0.71 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) S 31474 31477 12560 0 -1 1077944384 7854 0 0 0 70 1 0 0 20 0 15 0 78524633 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940929660912 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13982084 memory=252936 CPUtime=0.96 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 665 0 0 0 45 51 0 0 20 0 15 0 78524640 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 252936 KiB

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

[startup+2506.12 s]
# the end of solver process 31477 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.32 s, system=1.7985 s

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

[startup+2506.11 s]
/proc/loadavg: 1.56 1.62 1.49 3/209 1020
/proc/meminfo: memFree=30995436/32770624 swapFree=67105588/67108860
[pid=31477] ppid=31474 vsize=13982084 memory=252936 CPUtime=2520.08 cores=1,3,5,7
/proc/31477/stat : 31477 (java) S 31474 31477 12560 0 -1 1077944320 77538 0 0 0 251829 179 0 0 20 0 15 0 78524618 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 140726510594112 139941591514871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
/proc/31477/statm: 3495521 63234 3805 1 0 3484295 0
[pid=31477/tid=31479] ppid=31474 vsize=13982084 memory=252936 CPUtime=2494.52 cores=1,3,5,7
/proc/31477/task/31479/stat : 31479 (java) R 31474 31477 12560 0 -1 4202560 30647 0 0 0 249432 20 0 0 20 0 15 0 78524627 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941595753312 139941195378582 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31480] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.43 cores=1,3,5,7
/proc/31477/task/31480/stat : 31480 (java) S 31474 31477 12560 0 -1 1077944384 5449 0 0 0 414 29 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941191346704 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31481] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.43 cores=1,3,5,7
/proc/31477/task/31481/stat : 31481 (java) S 31474 31477 12560 0 -1 1077944384 3829 0 0 0 414 29 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941190294160 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31482] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.45 cores=1,3,5,7
/proc/31477/task/31482/stat : 31482 (java) S 31474 31477 12560 0 -1 1077944384 4257 0 0 0 419 26 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941189241104 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31483] ppid=31474 vsize=13982084 memory=252936 CPUtime=4.43 cores=1,3,5,7
/proc/31477/task/31483/stat : 31483 (java) S 31474 31477 12560 0 -1 1077944384 4702 0 0 0 415 28 0 0 20 0 15 0 78524628 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139941188188560 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31484] ppid=31474 vsize=13982084 memory=252936 CPUtime=3.72 cores=1,3,5,7
/proc/31477/task/31484/stat : 31484 (java) S 31474 31477 12560 0 -1 1077944384 6100 0 0 0 346 26 0 0 20 0 15 0 78524629 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940935977712 139941591526018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31485] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31485/stat : 31485 (java) S 31474 31477 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940934924000 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31486] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31486/stat : 31486 (java) S 31474 31477 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 78524630 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940933870848 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31487] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31487/stat : 31487 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940932819408 139941591533467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31488] ppid=31474 vsize=13982084 memory=252936 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31488/stat : 31488 (java) S 31474 31477 12560 0 -1 1077944384 5744 0 0 0 115 1 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940931766512 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31489] ppid=31474 vsize=13982084 memory=252936 CPUtime=1.16 cores=1,3,5,7
/proc/31477/task/31489/stat : 31489 (java) S 31474 31477 12560 0 -1 1077944384 6871 0 0 0 116 0 0 0 20 0 15 0 78524632 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940930713968 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31490] ppid=31474 vsize=13982084 memory=252936 CPUtime=0.71 cores=1,3,5,7
/proc/31477/task/31490/stat : 31490 (java) S 31474 31477 12560 0 -1 1077944384 7854 0 0 0 70 1 0 0 20 0 15 0 78524633 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940929660912 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31491] ppid=31474 vsize=13982084 memory=252936 CPUtime=0 cores=1,3,5,7
/proc/31477/task/31491/stat : 31491 (java) S 31474 31477 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78524633 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940928608608 139941591525077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
[pid=31477/tid=31492] ppid=31474 vsize=13982084 memory=252936 CPUtime=0.96 cores=1,3,5,7
/proc/31477/task/31492/stat : 31492 (java) S 31474 31477 12560 0 -1 1077944384 665 0 0 0 45 51 0 0 20 0 15 0 78524640 14317654016 63234 18446744073709551615 4194304 4196468 140726510611568 139940927556656 139941591526018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 25165824 140726510612847 140726510613033 140726510613033 140726510616527 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 252936 KiB

Child status: 143
Real time (s): 2506.12
CPU time (s): 2520.12
CPU user time (s): 2518.32
CPU system time (s): 1.7985
CPU usage (%): 100.558
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 252936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.32
system time used= 1.7985
maximum resident set size= 253436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156980
involuntary context switches= 8056


# summary of solver processes directly reported to runsolver:
#   pid: 31477
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2518.32
#   total CPU system time (s): 1.7985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9587 second user time and 22.6586 second system time

The end

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 4273770

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