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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - ALNS 2017-07-26	SAT (TO)	1572	2520.49	2468.1101

0.30/0.36	c version: 2017-07-26
0.30/0.36	c seed: 21390481
0.30/0.36	c timeout: 2520
0.30/0.36	c memlimit: 11000
0.30/0.36	c nbcore: 4
0.30/0.38	c Parsing instance...
2.28/1.19	c Parsing done, starting search...
2.57/1.25	o 2039
34.54/30.37	o 2031
119.61/114.68	o 1931
210.63/204.29	o 1830
867.28/846.50	o 1782
893.06/871.79	o 1769
925.36/903.35	o 1754
936.53/914.25	o 1739
936.83/914.50	o 1738
937.13/914.88	o 1726
1112.01/1085.80	o 1718
1166.24/1138.95	o 1686
1241.01/1212.09	o 1676
1242.02/1213.01	o 1674
1243.23/1214.27	o 1670
1243.53/1214.50	o 1655
1263.88/1234.40	o 1628
1295.80/1265.55	o 1626
1297.12/1266.83	o 1592
1312.56/1282.12	o 1572
2520.06/2467.70	s SATISFIABLE
2520.06/2467.71	v <instantiation>
2520.06/2467.71	v 	<list>
2520.06/2467.71	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[0][34] x[0][35] 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[1][34] x[1][35] 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[2][34] x[2][35] 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[3][34] x[3][35] 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[4][34] x[4][35] 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[5][34] x[5][35] 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[6][34] x[6][35] 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[7][34] x[7][35] 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[8][34] x[8][35] 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[9][34] x[9][35] 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[10][34] x[10][35] 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[11][34] x[11][35] 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[12][34] x[12][35] 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[13][34] x[13][35] 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[14][34] x[14][35] 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[15][34] x[15][35] 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[16][34] x[16][35] 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[17][34] x[17][35] 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[18][34] x[18][35] 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[19][34] x[19][35] 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[20][34] x[20][35] 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[21][34] x[21][35] 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[22][34] x[22][35] 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[23][34] x[23][35] 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[24][34] x[24][35] 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[25][34] x[25][35] 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[26][34] x[26][35] 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[27][34] x[27][35] 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[28][34] x[28][35] 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[29][34] x[29][35] 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[30][34] x[30][35] 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[31][34] x[31][35] 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[32][34] x[32][35] 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] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] 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] u[34] u[35]
2520.06/2467.71	v 	</list>
2520.06/2467.71	v 	<values>
2520.06/2467.71	v 		0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 25 82 77 18 100 75 67 68 77 100 100 50 71 91 100 100 69 24 73 45 77 65 39 62 56 23 54 90 36 35 88 47 49 100 61 
2520.06/2467.71	v 	</values>
2520.06/2467.71	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273291-1502834801/watcher-4273291-1502834801 -o /tmp/evaluation-result-4273291-1502834801/solver-4273291-1502834801 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30868 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 21390481 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273291-1502834801.xml 

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

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


[startup+0.100091 s]*
/proc/loadavg: 1.24 1.45 1.56 6/202 1994
/proc/meminfo: memFree=31128264/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=13573664 memory=16960 CPUtime=0.02 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 4155 0 0 0 2 0 0 0 20 0 9 0 85673287 13899431936 4240 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3393416 4240 2101 1 0 3382913 0
[pid=1986/tid=1988] ppid=1983 vsize=13573664 memory=-6739615476349292588 CPUtime=0.02 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 2801 0 0 0 2 0 0 0 20 0 9 0 85673294 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140250065060072 140250046892430 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=13573664 memory=5118961333147690361 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 85673295 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=13573664 memory=139646899930752 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 85673295 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 85673295 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 85673295 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13573664 memory=139646899930752 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 85673296 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 85673297 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140249537692448 140250060834517 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 85673297 13899431936 4817 18446744073709551615 4194304 4196468 140732300832256 140249536640176 140250060834517 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16960 KiB

[startup+0.209955 s]*
/proc/loadavg: 1.24 1.45 1.56 5/209 2001
/proc/meminfo: memFree=31085136/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=13975920 memory=33832 CPUtime=0.14 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 9448 0 0 0 12 2 0 0 20 0 15 0 85673287 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3493980 8458 3387 1 0 3482759 0
[pid=1986/tid=1988] ppid=1983 vsize=13975920 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 7399 0 0 0 9 1 0 0 20 0 15 0 85673294 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140250065030496 140250060846237 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=13975920 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=13975920 memory=139646899950848 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673296 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673297 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249537692448 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13975920 memory=139646899930752 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673297 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249536640112 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) S 1983 1986 17093 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 85673299 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249534536304 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249533483504 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) R 1983 1986 17093 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 85673299 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250042070280 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2000] ppid=1983 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2000/stat : 2000 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249531378656 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2001] ppid=1983 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2001/stat : 2001 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673303 14311342080 8458 18446744073709551615 4194304 4196468 140732300832256 140249530325424 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 33832 KiB

[startup+0.310597 s]*
/proc/loadavg: 1.24 1.45 1.56 6/209 2001
/proc/meminfo: memFree=31038160/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=13975920 memory=43004 CPUtime=0.3 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 10966 0 0 0 27 3 0 0 20 0 15 0 85673287 14311342080 10751 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3493980 10751 3580 1 0 3482759 0
[pid=1986/tid=1988] ppid=1983 vsize=13975920 memory=7311146985107750967 CPUtime=0.2 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 8538 0 0 0 18 2 0 0 20 0 15 0 85673294 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140250065038384 140250044904798 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=13975920 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=13975920 memory=139646899950848 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13975920 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13975920 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673295 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13975920 memory=8330969454845486047 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85673296 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13975920 memory=3976734684426156083 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673297 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249537692448 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13975920 memory=139646899930752 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673297 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249536640112 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) S 1983 1986 17093 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 85673299 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249534536304 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) R 1983 1986 17093 0 -1 4202560 70 0 0 0 1 0 0 0 20 0 15 0 85673299 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249533464520 140250038716272 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) S 1983 1986 17093 0 -1 1077944384 435 0 0 0 5 0 0 0 20 0 15 0 85673299 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2000] ppid=1983 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2000/stat : 2000 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249531378656 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2001] ppid=1983 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2001/stat : 2001 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673303 14311342080 10816 18446744073709551615 4194304 4196468 140732300832256 140249530325424 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43004 KiB

[startup+0.703814 s]
/proc/loadavg: 1.24 1.45 1.56 2/193 2005
/proc/meminfo: memFree=31150760/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=13977988 memory=73684 CPUtime=1.19 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 14161 0 0 0 114 5 0 0 20 0 15 0 85673287 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3494497 18421 3744 1 0 3483271 0
[pid=1986/tid=1988] ppid=1983 vsize=13977988 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 10373 0 0 0 55 3 0 0 20 0 15 0 85673294 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140250065056432 140249693682621 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13977988 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673295 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13977988 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85673296 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13977988 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673297 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249537692448 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13977988 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673297 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249536640112 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=13977988 memory=6656426216303648864 CPUtime=0.19 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) R 1983 1986 17093 0 -1 4202560 1009 0 0 0 19 0 0 0 20 0 15 0 85673299 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249534523152 140250042347998 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=13977988 memory=6944656592455359580 CPUtime=0.14 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) R 1983 1986 17093 0 -1 4202560 487 0 0 0 14 0 0 0 20 0 15 0 85673299 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249533470048 140250041325850 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=13977988 memory=6944656592455097440 CPUtime=0.25 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) S 1983 1986 17093 0 -1 1077944384 911 0 0 0 25 0 0 0 20 0 15 0 85673299 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2000] ppid=1983 vsize=13977988 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2000/stat : 2000 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249531378656 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2001] ppid=1983 vsize=13977988 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2001/stat : 2001 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673303 14313459712 18421 18446744073709551615 4194304 4196468 140732300832256 140249530325424 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 73684 KiB

[startup+1.50073 s]
/proc/loadavg: 1.24 1.45 1.56 2/190 2019
/proc/meminfo: memFree=31148872/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=13982084 memory=185664 CPUtime=3.52 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 30908 0 0 0 342 10 0 0 20 0 15 0 85673287 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3495521 46416 3776 1 0 3484295 0
[pid=1986/tid=1988] ppid=1983 vsize=13982084 memory=149340 CPUtime=1.37 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 15948 0 0 0 130 7 0 0 20 0 15 0 85673294 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140250065052464 140249698880157 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=13982084 memory=4 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673295 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673295 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13982084 memory=113752 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 85673296 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140249537692448 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140249536640112 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=13982084 memory=7680170660397595203 CPUtime=0.76 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) S 1983 1986 17093 0 -1 1077944384 3540 0 0 0 75 1 0 0 20 0 15 0 85673299 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140249534536304 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=13982084 memory=7012786765486512224 CPUtime=0.69 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) S 1983 1986 17093 0 -1 1077944384 4052 0 0 0 69 0 0 0 20 0 15 0 85673299 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140249533483504 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=13982084 memory=-8253362762722141311 CPUtime=0.67 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) S 1983 1986 17093 0 -1 1077944384 5578 0 0 0 66 1 0 0 20 0 15 0 85673299 14317654016 46416 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0

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

/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 20282 0 0 0 1486 33 0 0 20 0 15 0 85673295 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13982084 memory=793012 CPUtime=15.18 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 22108 0 0 0 1482 36 0 0 20 0 15 0 85673295 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13982084 memory=7812452604376016999 CPUtime=15.19 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 21440 0 0 0 1483 36 0 0 20 0 15 0 85673295 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13982084 memory=1204 CPUtime=2.84 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 79568 0 0 0 234 50 0 0 20 0 15 0 85673296 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13982084 memory=799168 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249537692512 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13982084 memory=799168 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249536640128 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=13982084 memory=802248 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=13982084 memory=4028 CPUtime=2.37 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) S 1983 1986 17093 0 -1 1077944384 30063 0 0 0 234 3 0 0 20 0 15 0 85673299 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249534536304 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=13982084 memory=4068 CPUtime=2.41 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) S 1983 1986 17093 0 -1 1077944384 32251 0 0 0 238 3 0 0 20 0 15 0 85673299 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249533483504 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=13982084 memory=1152 CPUtime=1.06 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) S 1983 1986 17093 0 -1 1077944384 37629 0 0 0 102 4 0 0 20 0 15 0 85673299 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2000] ppid=1983 vsize=13982084 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2000/stat : 2000 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249531378656 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2001] ppid=1983 vsize=13982084 memory=2160 CPUtime=1.25 cores=1,3,5,7
/proc/1986/task/2001/stat : 2001 (java) S 1983 1986 17093 0 -1 1077944384 2664 0 0 0 59 66 0 0 20 0 15 0 85673303 14317654016 198253 18446744073709551615 4194304 4196468 140732300832256 140249530325424 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 2432.95 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 793012 KiB

[startup+2442.3 s]
/proc/loadavg: 1.14 1.32 1.33 3/209 2232
/proc/meminfo: memFree=29873476/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=13982084 memory=726820 CPUtime=2494.1 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 397560 0 0 0 249087 323 0 0 20 0 15 0 85673287 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3495521 181705 3833 1 0 3484295 0
[pid=1986/tid=1988] ppid=1983 vsize=13982084 memory=725296 CPUtime=2421.65 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 127799 0 0 0 242090 75 0 0 20 0 15 0 85673294 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140250065062032 140249699282471 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=13982084 memory=731452 CPUtime=15.58 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 19298 0 0 0 1523 35 0 0 20 0 15 0 85673295 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=13982084 memory=725296 CPUtime=15.54 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 20396 0 0 0 1521 33 0 0 20 0 15 0 85673295 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13982084 memory=725296 CPUtime=15.55 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 22271 0 0 0 1518 37 0 0 20 0 15 0 85673295 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13982084 memory=722220 CPUtime=15.56 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 21718 0 0 0 1519 37 0 0 20 0 15 0 85673295 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13982084 memory=726820 CPUtime=2.92 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 81575 0 0 0 240 52 0 0 20 0 15 0 85673296 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13982084 memory=726820 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249537692512 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13982084 memory=726820 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249536640128 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=13982084 memory=722220 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=13982084 memory=4028 CPUtime=2.39 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) S 1983 1986 17093 0 -1 1077944384 30141 0 0 0 236 3 0 0 20 0 15 0 85673299 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249534536304 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=13982084 memory=728376 CPUtime=2.46 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) S 1983 1986 17093 0 -1 1077944384 32374 0 0 0 243 3 0 0 20 0 15 0 85673299 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249533483504 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=13982084 memory=731452 CPUtime=1.06 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) S 1983 1986 17093 0 -1 1077944384 37818 0 0 0 102 4 0 0 20 0 15 0 85673299 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2000] ppid=1983 vsize=13982084 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2000/stat : 2000 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249531378656 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2001] ppid=1983 vsize=13982084 memory=722220 CPUtime=1.28 cores=1,3,5,7
/proc/1986/task/2001/stat : 2001 (java) S 1983 1986 17093 0 -1 1077944384 2678 0 0 0 61 67 0 0 20 0 15 0 85673303 14317654016 181705 18446744073709551615 4194304 4196468 140732300832256 140249530325424 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 2494.1 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 726820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.7 s]
/proc/loadavg: 1.01 1.28 1.31 3/209 2311
/proc/meminfo: memFree=30289332/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=13982084 memory=683732 CPUtime=2520.06 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 398071 0 0 0 251681 325 0 0 20 0 15 0 85673287 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3495521 170933 3833 1 0 3484295 0
[pid=1986/tid=1988] ppid=1983 vsize=13982084 memory=683732 CPUtime=2446.78 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 127947 0 0 0 244603 75 0 0 20 0 15 0 85673294 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140250065062256 140249700721130 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=13982084 memory=0 CPUtime=15.77 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 19390 0 0 0 1542 35 0 0 20 0 15 0 85673295 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=13982084 memory=683732 CPUtime=15.75 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 20492 0 0 0 1541 34 0 0 20 0 15 0 85673295 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=13982084 memory=683732 CPUtime=15.74 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 22343 0 0 0 1537 37 0 0 20 0 15 0 85673295 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=13982084 memory=686808 CPUtime=15.75 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 21812 0 0 0 1538 37 0 0 20 0 15 0 85673295 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=13982084 memory=689888 CPUtime=2.95 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 81580 0 0 0 243 52 0 0 20 0 15 0 85673296 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=13982084 memory=692964 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249537692512 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=13982084 memory=692964 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 85673297 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249536640128 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=13982084 memory=689888 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=13982084 memory=4354580177697351578 CPUtime=2.39 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) S 1983 1986 17093 0 -1 1077944384 30141 0 0 0 236 3 0 0 20 0 15 0 85673299 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249534536304 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=13982084 memory=7233150709795614120 CPUtime=2.46 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) S 1983 1986 17093 0 -1 1077944384 32374 0 0 0 243 3 0 0 20 0 15 0 85673299 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249533483504 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=13982084 memory=689888 CPUtime=1.06 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) S 1983 1986 17093 0 -1 1077944384 37818 0 0 0 102 4 0 0 20 0 15 0 85673299 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2000] ppid=1983 vsize=13982084 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2000/stat : 2000 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673299 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249531378656 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2001] ppid=1983 vsize=13982084 memory=12200 CPUtime=1.3 cores=1,3,5,7
/proc/1986/task/2001/stat : 2001 (java) S 1983 1986 17093 0 -1 1077944384 2682 0 0 0 62 68 0 0 20 0 15 0 85673303 14317654016 170933 18446744073709551615 4194304 4196468 140732300832256 140249530325424 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 683732 KiB

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

[startup+2468.11 s]
# the end of solver process 1986 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.23 s, system=3.26017 s

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

[startup+2468 s]*
/proc/loadavg: 1.01 1.28 1.31 2/211 2313
/proc/meminfo: memFree=30281624/32770624 swapFree=67108860/67108860
[pid=1986] ppid=1983 vsize=14115212 memory=683736 CPUtime=2520.38 cores=1,3,5,7
/proc/1986/stat : 1986 (java) S 1983 1986 17093 0 -1 1077944320 398184 0 0 0 251713 325 0 0 20 0 17 0 85673287 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140732300814800 140250060824311 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
/proc/1986/statm: 3528803 170934 3833 1 0 3517577 0
[pid=1986/tid=1988] ppid=1983 vsize=14115212 memory=6933928925625698159 CPUtime=2447.09 cores=1,3,5,7
/proc/1986/task/1988/stat : 1988 (java) R 1983 1986 17093 0 -1 4202560 127947 0 0 0 244634 75 0 0 20 0 17 0 85673294 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140250065062256 140249700721130 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1989] ppid=1983 vsize=14115212 memory=4126316290023845779 CPUtime=15.77 cores=1,3,5,7
/proc/1986/task/1989/stat : 1989 (java) S 1983 1986 17093 0 -1 1077944384 19390 0 0 0 1542 35 0 0 20 0 17 0 85673295 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140250017790864 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1990] ppid=1983 vsize=14115212 memory=3496 CPUtime=15.75 cores=1,3,5,7
/proc/1986/task/1990/stat : 1990 (java) S 1983 1986 17093 0 -1 1077944384 20492 0 0 0 1541 34 0 0 20 0 17 0 85673295 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140250016738064 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1991] ppid=1983 vsize=14115212 memory=6933928925625698159 CPUtime=15.74 cores=1,3,5,7
/proc/1986/task/1991/stat : 1991 (java) S 1983 1986 17093 0 -1 1077944384 22343 0 0 0 1537 37 0 0 20 0 17 0 85673295 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140250015685776 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1992] ppid=1983 vsize=14115212 memory=4126316290023845779 CPUtime=15.75 cores=1,3,5,7
/proc/1986/task/1992/stat : 1992 (java) S 1983 1986 17093 0 -1 1077944384 21812 0 0 0 1538 37 0 0 20 0 17 0 85673295 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140250014632976 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1993] ppid=1983 vsize=14115212 memory=1228 CPUtime=2.95 cores=1,3,5,7
/proc/1986/task/1993/stat : 1993 (java) S 1983 1986 17093 0 -1 1077944384 81580 0 0 0 243 52 0 0 20 0 17 0 85673296 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249538746480 140250060835458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1994] ppid=1983 vsize=14115212 memory=689888 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1994/stat : 1994 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 17 0 85673297 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249537692512 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1995] ppid=1983 vsize=14115212 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1995/stat : 1995 (java) S 1983 1986 17093 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 17 0 85673297 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249536640128 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1996] ppid=1983 vsize=14115212 memory=3116 CPUtime=0 cores=1,3,5,7
/proc/1986/task/1996/stat : 1996 (java) S 1983 1986 17093 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 85673299 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249535588432 140250060842907 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1997] ppid=1983 vsize=14115212 memory=686808 CPUtime=2.39 cores=1,3,5,7
/proc/1986/task/1997/stat : 1997 (java) D 1983 1986 17093 0 -1 4202560 30141 0 0 0 236 3 0 0 20 0 17 0 85673299 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249534536600 140250040748447 0 4 1 16800974 18446744072099675269 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1998] ppid=1983 vsize=14115212 memory=2248 CPUtime=2.46 cores=1,3,5,7
/proc/1986/task/1998/stat : 1998 (java) D 1983 1986 17093 0 -1 4202560 32384 0 0 0 243 3 0 0 20 0 17 0 85673299 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249533483424 140250045712182 0 4 1 16800974 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=1999] ppid=1983 vsize=14115212 memory=4300 CPUtime=1.06 cores=1,3,5,7
/proc/1986/task/1999/stat : 1999 (java) S 1983 1986 17093 0 -1 1077944384 37821 0 0 0 102 4 0 0 20 0 17 0 85673299 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249532431216 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2000] ppid=1983 vsize=14115212 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2000/stat : 2000 (java) S 1983 1986 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 85673299 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249531378656 140250060834517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2001] ppid=1983 vsize=14115212 memory=2400 CPUtime=1.3 cores=1,3,5,7
/proc/1986/task/2001/stat : 2001 (java) S 1983 1986 17093 0 -1 1077944384 2682 0 0 0 62 68 0 0 20 0 17 0 85673303 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249530325424 140250060835458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2312] ppid=1983 vsize=14115212 memory=238536 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2312/stat : 2312 (java) D 1983 1986 17093 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 85920057 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249520037760 140250056491238 0 4 1 16800974 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
[pid=1986/tid=2313] ppid=1983 vsize=14115212 memory=932 CPUtime=0 cores=1,3,5,7
/proc/1986/task/2313/stat : 2313 (java) D 1983 1986 17093 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 85920057 14453977088 170934 18446744073709551615 4194304 4196468 140732300832256 140249518987656 140250053541274 0 4 1 16800974 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 29351936 140732300833142 140732300833321 140732300833321 140732300836815 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 14115212 KiB
Current children cumulated memory: 683736 KiB

Child status: 143
Real time (s): 2468.11
CPU time (s): 2520.49
CPU user time (s): 2517.23
CPU system time (s): 3.26017
CPU usage (%): 102.122
Max. virtual memory (cumulated for all children) (KiB): 14115212
Max. memory (cumulated for all children) (KiB): 3476436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.23
system time used= 3.26017
maximum resident set size= 3476444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118859
involuntary context switches= 3975


# summary of solver processes directly reported to runsolver:
#   pid: 1986
#   total CPU time (s): 2520.49
#   total CPU user time (s): 2517.23
#   total CPU system time (s): 3.26017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8769 second user time and 19.778 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml
MD5SUM	bb36812fd58cb568268e8c9b807d30b9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	853
Best CPU time to get the best result obtained on this benchmark	2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	1295
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree	0
Maximum variable degree	69
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	35
Distribution of constraint arities	[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints	0
Number of intensional constraints	35
Distribution of constraint types	[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4273291

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