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 - ALNS 2017-06-30	SAT (TO)	1562	2400.14	2300.54

0.41/0.32	c version: 2017-06-30
0.41/0.32	c seed: 390749141
0.41/0.32	c timeout: 2400
0.41/0.32	c memlimit: 15500
0.41/0.32	c nbcore: 8
0.41/0.35	c Parsing instance...
2.65/1.28	c Parsing done, starting search...
2.91/1.34	o 2105
8.69/4.67	o 2030
110.01/103.43	o 2005
110.50/103.91	o 1977
179.64/171.95	o 1958
183.13/175.38	o 1956
191.16/183.06	o 1934
302.29/289.65	o 1910
323.93/310.57	o 1773
715.13/685.73	o 1757
862.85/827.07	o 1754
883.58/846.95	o 1747
949.99/910.55	o 1742
956.84/917.03	o 1694
1075.97/1031.15	o 1690
1078.07/1033.13	o 1689
1105.72/1059.53	o 1682
1218.85/1167.96	o 1663
1388.78/1330.78	o 1658
1436.89/1376.92	o 1654
1680.42/1610.45	o 1638
1682.58/1612.60	o 1617
1917.59/1837.91	o 1605
1923.70/1843.75	o 1598
2161.09/2071.48	o 1579
2166.19/2076.44	o 1574
2368.33/2270.14	o 1570
2368.53/2270.40	o 1562
2400.08/2300.51	s SATISFIABLE
2400.08/2300.51	v <instantiation>
2400.08/2300.51	v 	<list>
2400.08/2300.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.08/2300.51	v 	</list>
2400.08/2300.51	v 	<values>
2400.08/2300.51	v 		0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 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 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 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 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 0 1 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 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 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 1 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 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 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 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 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 0 0 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 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 42 45 69 84 15 55 62 40 53 19 31 24 14 51 56 91 38 100 28 41 57 19 100 100 23 100 8 76 12 75 61 100 1 
2400.08/2300.51	v 	</values>
2400.08/2300.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-4246382-1500709563/watcher-4246382-1500709563 -o /tmp/evaluation-result-4246382-1500709563/solver-4246382-1500709563 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500683902-15710 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 390749141 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246382-1500709563.xml 

pid=18733
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.98 1.80 1.75 4/264 18736
/proc/meminfo: memFree=28277512/32770624 swapFree=5920/273932
[pid=18736] ppid=18733 vsize=10639676 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 2244 0 0 0 0 0 0 0 20 0 6 0 6223290 10895028224 1988 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 2659919 1988 1199 1 0 2648830 0
[pid=18736/tid=18737] ppid=18733 vsize=10642760 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) R 18733 18736 15122 0 -1 4202560 940 0 0 0 0 0 0 0 20 0 9 0 6223290 10898186240 1988 33554432000 4194304 4196468 140723032607664 140673499612880 140673488111361 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=10839368 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) R 18733 18736 15122 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 6223291 11099512832 1988 33554432000 4194304 4196468 140723032607664 140673094364640 140673488088663 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=10904904 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) R 18733 18736 15122 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 6223291 11166621696 1988 33554432000 4194304 4196468 140723032607664 140673093311840 140673495381717 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=11101512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) D 18733 18736 15122 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 6223291 11367948288 1988 33554432000 4194304 4196468 140723032607664 140673092258232 140673487599331 0 4 0 16784584 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=11167048 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) R 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 6223291 11435057152 1988 33554432000 4194304 4196468 140723032607664 140673091205432 140673495381717 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=11167048 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 6223291 11435057152 1988 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=11101512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) R 18733 18736 15122 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 6223291 11367948288 1988 33554432000 4194304 4196468 140723032607664 140673089099832 140673488088663 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=11421512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 6223291 11695628288 1988 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=11487832 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 6223291 11763539968 2017 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0

[startup+0.100131 s]
/proc/loadavg: 1.98 1.80 1.75 4/264 18736
/proc/meminfo: memFree=28277512/32770624 swapFree=5920/273932
[pid=18736] ppid=18733 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 5019 0 0 0 8 1 0 0 20 0 20 0 6223290 13582725120 5622 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3316095 5622 2840 1 0 3303815 0
[pid=18736/tid=18737] ppid=18733 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) R 18733 18736 15122 0 -1 4202560 3107 0 0 0 7 1 0 0 20 0 20 0 6223290 13582725120 5622 33554432000 4194304 4196468 140723032607664 140673499611288 140673384177526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5622 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5622 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5622 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5622 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5622 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5622 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5688 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582725120 5688 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200918 s]
/proc/loadavg: 1.98 1.80 1.75 4/264 18736
/proc/meminfo: memFree=28277512/32770624 swapFree=5920/273932
[pid=18736] ppid=18733 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 8695 0 0 0 23 2 0 0 20 0 20 0 6223290 13582245888 8712 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3315978 8712 3504 1 0 3303698 0
[pid=18736/tid=18737] ppid=18733 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) R 18733 18736 15122 0 -1 4202560 6381 0 0 0 16 1 0 0 20 0 20 0 6223290 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673499587824 140673495393437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 8712 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300662 s]
/proc/loadavg: 1.98 1.80 1.75 4/264 18736
/proc/meminfo: memFree=28277512/32770624 swapFree=5920/273932
[pid=18736] ppid=18733 vsize=13263912 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 9713 0 0 0 38 3 0 0 20 0 20 0 6223290 13582245888 10492 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3315978 10492 3633 1 0 3303698 0
[pid=18736/tid=18737] ppid=18733 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) R 18733 18736 15122 0 -1 4202560 7038 0 0 0 25 2 0 0 20 0 20 0 6223290 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673499599088 140673477594656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13582245888 10492 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700631 s]
/proc/loadavg: 1.98 1.80 1.75 4/264 18736
/proc/meminfo: memFree=28277512/32770624 swapFree=5920/273932
[pid=18736] ppid=18733 vsize=13265980 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 11793 0 0 0 94 4 0 0 20 0 20 0 6223290 13584363520 15573 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3316495 15573 3747 1 0 3304210 0
[pid=18736/tid=18737] ppid=18733 vsize=13265980 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) R 18733 18736 15122 0 -1 4202560 7952 0 0 0 51 3 0 0 20 0 20 0 6223290 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673499607816 140673476210209 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13584363520 15573 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 13265980

[startup+1.50106 s]
/proc/loadavg: 1.98 1.80 1.75 5/284 18756
/proc/meminfo: memFree=28196076/32770624 swapFree=5920/273788
[pid=18736] ppid=18733 vsize=13270076 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 26216 0 0 0 361 9 0 0 20 0 20 0 6223290 13588557824 44793 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3317519 44793 3793 1 0 3305234 0
[pid=18736/tid=18737] ppid=18733 vsize=13270076 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) R 18733 18736 15122 0 -1 4202560 10948 0 0 0 128 5 0 0 20 0 20 0 6223290 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673499607256 140673132582639 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223291 13588557824 44793 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18747] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18747/stat : 18747 (java) S 18733 18736 15122 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 6223293 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672824818544 140673495382658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18748] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18748/stat : 18748 (java) S 18733 18736 15122 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672823764512 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18749] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18749/stat : 18749 (java) S 18733 18736 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672822711664 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18750] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18750/stat : 18750 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672821659984 140673495390107 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18751] ppid=18733 vsize=13270076 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18751/stat : 18751 (java) R 18733 18736 15122 0 -1 4202560 2451 0 0 0 51 0 0 0 20 0 20 0 6223298 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672820593888 140673481385820 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18752] ppid=18733 vsize=13270076 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18752/stat : 18752 (java) S 18733 18736 15122 0 -1 1077944384 1623 0 0 0 54 0 0 0 20 0 20 0 6223298 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672819554544 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18753] ppid=18733 vsize=13270076 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18753/stat : 18753 (java) R 18733 18736 15122 0 -1 4202560 2931 0 0 0 58 0 0 0 20 0 20 0 6223298 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672818487624 140673475064615 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18754] ppid=18733 vsize=13270076 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18754/stat : 18754 (java) S 18733 18736 15122 0 -1 1077944384 6853 0 0 0 68 0 0 0 20 0 20 0 6223298 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672817448944 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18755] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18755/stat : 18755 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672816397408 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18756] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18756/stat : 18756 (java) S 18733 18736 15122 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 6223299 13588557824 44793 33554432000 4194304 4196468 140723032607664 140672815344688 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 3.7

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

[pid=18736/tid=18752] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18752/stat : 18752 (java) S 18733 18736 15122 0 -1 1077944384 20254 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 232784 33554432000 4194304 4196468 140723032607664 140672819554544 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18753] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18753/stat : 18753 (java) S 18733 18736 15122 0 -1 1077944384 22660 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 232784 33554432000 4194304 4196468 140723032607664 140672818501744 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18754] ppid=18733 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18754/stat : 18754 (java) S 18733 18736 15122 0 -1 1077944384 41145 0 0 0 100 4 0 0 20 0 20 0 6223298 13588557824 232784 33554432000 4194304 4196468 140723032607664 140672817448944 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18755] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18755/stat : 18755 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 232784 33554432000 4194304 4196468 140723032607664 140672816397408 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18756] ppid=18733 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18756/stat : 18756 (java) S 18733 18736 15122 0 -1 1077944384 2271 0 0 0 63 59 0 0 20 0 20 0 6223299 13588557824 232784 33554432000 4194304 4196468 140723032607664 140672815344688 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 2297.63
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.16 1.41 1.55 3/284 18938
/proc/meminfo: memFree=29813736/32770624 swapFree=5920/276460
[pid=18736] ppid=18733 vsize=13270076 CPUtime=2360.21 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 420468 0 0 0 235494 527 0 0 20 0 20 0 6223290 13588557824 212520 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3317519 212520 3861 1 0 3305234 0
[pid=18736/tid=18737] ppid=18733 vsize=13270076 CPUtime=2242.25 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) R 18733 18736 15122 0 -1 4202560 124152 0 0 0 224156 69 0 0 20 0 20 0 6223290 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673499609280 140673141003415 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13270076 CPUtime=13.47 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 18188 0 0 0 1303 44 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13270076 CPUtime=13.36 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 18479 0 0 0 1294 42 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13270076 CPUtime=13.53 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 18801 0 0 0 1309 44 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13270076 CPUtime=13.56 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 19266 0 0 0 1314 42 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13270076 CPUtime=13.4 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 18227 0 0 0 1296 44 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13270076 CPUtime=13.47 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 16032 0 0 0 1300 47 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13270076 CPUtime=13.3 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 15847 0 0 0 1287 43 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13270076 CPUtime=13.39 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 16281 0 0 0 1294 45 0 0 20 0 20 0 6223291 13588557824 212520 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18747] ppid=18733 vsize=13270076 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18747/stat : 18747 (java) S 18733 18736 15122 0 -1 1077944384 47126 0 0 0 228 58 0 0 20 0 20 0 6223293 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672824818544 140673495382658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18748] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18748/stat : 18748 (java) S 18733 18736 15122 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672823764576 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18749] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18749/stat : 18749 (java) S 18733 18736 15122 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672822711680 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18750] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18750/stat : 18750 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672821659984 140673495390107 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18751] ppid=18733 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18751/stat : 18751 (java) S 18733 18736 15122 0 -1 1077944384 20268 0 0 0 148 4 0 0 20 0 20 0 6223298 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672820607344 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18752] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18752/stat : 18752 (java) S 18733 18736 15122 0 -1 1077944384 20256 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672819554544 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18753] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18753/stat : 18753 (java) S 18733 18736 15122 0 -1 1077944384 22663 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672818501744 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18754] ppid=18733 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18754/stat : 18754 (java) S 18733 18736 15122 0 -1 1077944384 41147 0 0 0 100 4 0 0 20 0 20 0 6223298 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672817448944 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18755] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18755/stat : 18755 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672816397408 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18756] ppid=18733 vsize=13270076 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18756/stat : 18756 (java) S 18733 18736 15122 0 -1 1077944384 2292 0 0 0 65 61 0 0 20 0 20 0 6223299 13588557824 212520 33554432000 4194304 4196468 140723032607664 140672815344688 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 2360.21
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2300.51 s]
/proc/loadavg: 1.56 1.47 1.57 3/284 18939
/proc/meminfo: memFree=29837468/32770624 swapFree=5920/276492
[pid=18736] ppid=18733 vsize=13270076 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 423351 0 0 0 239478 530 0 0 20 0 20 0 6223290 13588557824 205948 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3317519 205948 3861 1 0 3305234 0
[pid=18736/tid=18737] ppid=18733 vsize=13270076 CPUtime=2280.09 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) S 18733 18736 15122 0 -1 1077944384 125359 0 0 0 227940 69 0 0 20 0 20 0 6223290 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673499609360 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13270076 CPUtime=13.72 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 18274 0 0 0 1328 44 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13270076 CPUtime=13.61 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 18585 0 0 0 1319 42 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13270076 CPUtime=13.78 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 18969 0 0 0 1334 44 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13270076 CPUtime=13.77 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 19463 0 0 0 1335 42 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13270076 CPUtime=13.64 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 18380 0 0 0 1320 44 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13270076 CPUtime=13.73 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 16150 0 0 0 1325 48 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13270076 CPUtime=13.55 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 15897 0 0 0 1312 43 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13270076 CPUtime=13.64 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 16526 0 0 0 1319 45 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18747] ppid=18733 vsize=13270076 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18747/stat : 18747 (java) S 18733 18736 15122 0 -1 1077944384 47273 0 0 0 231 59 0 0 20 0 20 0 6223293 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672824818544 140673495382658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18748] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18748/stat : 18748 (java) S 18733 18736 15122 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672823764576 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18749] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18749/stat : 18749 (java) S 18733 18736 15122 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672822711680 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18750] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18750/stat : 18750 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672821659984 140673495390107 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18751] ppid=18733 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18751/stat : 18751 (java) S 18733 18736 15122 0 -1 1077944384 20270 0 0 0 148 4 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672820607344 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18752] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18752/stat : 18752 (java) S 18733 18736 15122 0 -1 1077944384 20258 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672819554544 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18753] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18753/stat : 18753 (java) S 18733 18736 15122 0 -1 1077944384 22665 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672818501744 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18754] ppid=18733 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18754/stat : 18754 (java) S 18733 18736 15122 0 -1 1077944384 41543 0 0 0 100 4 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672817448944 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18755] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18755/stat : 18755 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672816397408 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18756] ppid=18733 vsize=13270076 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18756/stat : 18756 (java) S 18733 18736 15122 0 -1 1077944384 2296 0 0 0 66 62 0 0 20 0 20 0 6223299 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672815344688 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 2400.08
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 18736 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2300.51 s]
/proc/loadavg: 1.56 1.47 1.57 3/284 18939
/proc/meminfo: memFree=29837468/32770624 swapFree=5920/276492
[pid=18736] ppid=18733 vsize=13270076 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/18736/stat : 18736 (java) S 18733 18736 15122 0 -1 1077944320 423351 0 0 0 239478 530 0 0 20 0 20 0 6223290 13588557824 205948 33554432000 4194304 4196468 140723032607664 140723032590208 140673495371511 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
/proc/18736/statm: 3317519 205948 3861 1 0 3305234 0
[pid=18736/tid=18737] ppid=18733 vsize=13270076 CPUtime=2280.09 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18737/stat : 18737 (java) S 18733 18736 15122 0 -1 1077944384 125359 0 0 0 227940 69 0 0 20 0 20 0 6223290 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673499609360 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18738] ppid=18733 vsize=13270076 CPUtime=13.72 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18738/stat : 18738 (java) S 18733 18736 15122 0 -1 1077944384 18274 0 0 0 1328 44 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673094364304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18739] ppid=18733 vsize=13270076 CPUtime=13.61 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18739/stat : 18739 (java) S 18733 18736 15122 0 -1 1077944384 18585 0 0 0 1319 42 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673093311504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18740] ppid=18733 vsize=13270076 CPUtime=13.78 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18740/stat : 18740 (java) S 18733 18736 15122 0 -1 1077944384 18969 0 0 0 1334 44 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673092258704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18741] ppid=18733 vsize=13270076 CPUtime=13.77 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18741/stat : 18741 (java) S 18733 18736 15122 0 -1 1077944384 19463 0 0 0 1335 42 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673091205904 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18742] ppid=18733 vsize=13270076 CPUtime=13.64 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18742/stat : 18742 (java) S 18733 18736 15122 0 -1 1077944384 18380 0 0 0 1320 44 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673090153104 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18743] ppid=18733 vsize=13270076 CPUtime=13.73 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18743/stat : 18743 (java) S 18733 18736 15122 0 -1 1077944384 16150 0 0 0 1325 48 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673089100304 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18744] ppid=18733 vsize=13270076 CPUtime=13.55 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18744/stat : 18744 (java) S 18733 18736 15122 0 -1 1077944384 15897 0 0 0 1312 43 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673088047504 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18745] ppid=18733 vsize=13270076 CPUtime=13.64 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18745/stat : 18745 (java) S 18733 18736 15122 0 -1 1077944384 16526 0 0 0 1319 45 0 0 20 0 20 0 6223291 13588557824 205948 33554432000 4194304 4196468 140723032607664 140673086994704 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18747] ppid=18733 vsize=13270076 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18747/stat : 18747 (java) S 18733 18736 15122 0 -1 1077944384 47273 0 0 0 231 59 0 0 20 0 20 0 6223293 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672824818544 140673495382658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18748] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18748/stat : 18748 (java) S 18733 18736 15122 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672823764576 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18749] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18749/stat : 18749 (java) S 18733 18736 15122 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 6223294 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672822711680 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18750] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18750/stat : 18750 (java) S 18733 18736 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672821659984 140673495390107 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18751] ppid=18733 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18751/stat : 18751 (java) S 18733 18736 15122 0 -1 1077944384 20270 0 0 0 148 4 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672820607344 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18752] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18752/stat : 18752 (java) S 18733 18736 15122 0 -1 1077944384 20258 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672819554544 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18753] ppid=18733 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18753/stat : 18753 (java) S 18733 18736 15122 0 -1 1077944384 22665 0 0 0 180 3 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672818501744 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18754] ppid=18733 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18754/stat : 18754 (java) S 18733 18736 15122 0 -1 1077944384 41543 0 0 0 100 4 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672817448944 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18755] ppid=18733 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18755/stat : 18755 (java) S 18733 18736 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6223298 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672816397408 140673495381717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
[pid=18736/tid=18756] ppid=18733 vsize=13270076 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/18736/task/18756/stat : 18756 (java) S 18733 18736 15122 0 -1 1077944384 2296 0 0 0 66 62 0 0 20 0 20 0 6223299 13588557824 205948 33554432000 4194304 4196468 140723032607664 140672815344688 140673495382658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15110144 140723032609936 140723032610116 140723032610116 140723032612815 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2300.54
CPU time (s): 2400.14
CPU user time (s): 2394.82
CPU system time (s): 5.31768
CPU usage (%): 104.329
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.82
system time used= 5.31768
maximum resident set size= 3435728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158041
involuntary context switches= 143960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2041 second user time and 21.1082 second system time

The end

Launcher Data

Begin job on node135 at 2017-07-22 09:46:03
IDJOB=4246382
IDBENCH=124459
IDSOLVER=2627
FILE ID=node135/4246382-1500709563
RUNJOBID= node135-1500683902-15710
PBS_JOBID= 20623034
Free space on /tmp= 61804 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246382-1500709563/watcher-4246382-1500709563 -o /tmp/evaluation-result-4246382-1500709563/solver-4246382-1500709563 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500683902-15710 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 390749141 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246382-1500709563.xml

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

MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab
RANDOM SEED=390749141

node135.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		: 1600.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	: 5333.46
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		: 2267.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	: 5333.46
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		: 2668.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	: 5333.46
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	: 5333.46
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		: 2400.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	: 5333.46
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		: 1600.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		: 2000.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	: 5333.46
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		: 2668.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		: 2400.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	: 5333.46
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		: 1867.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	: 5333.46
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		: 1600.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:        28277932 kB
MemAvailable:   28555868 kB
Buffers:          131620 kB
Cached:           426996 kB
SwapCached:            0 kB
Active:          3767948 kB
Inactive:         282572 kB
Active(anon):    3495192 kB
Inactive(anon):     8640 kB
Active(file):     272756 kB
Inactive(file):   273932 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42324 kB
Writeback:             0 kB
AnonPages:       3498252 kB
Mapped:            45728 kB
Shmem:              8872 kB
Slab:             127844 kB
SReclaimable:      94164 kB
SUnreclaim:        33680 kB
KernelStack:        4528 kB
PageTables:        11988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4311700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3356672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61764 MiB
End job on node135 at 2017-07-22 10:24:24

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 4246382

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