2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-08-22	SAT (TO)	1356	1968.04	252.157

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 305440577
0.29/0.26	c timeout: 2016
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
1.63/0.79	c Parsing done, starting search...
9.80/5.20	o 2180
10.52/5.28	o 2151
11.28/5.31	o 2116
11.28/5.31	o 2057
11.28/5.32	o 2047
11.28/5.32	o 2042
11.28/5.33	o 2041
11.28/5.33	o 2026
11.28/5.34	o 1848
11.28/5.34	o 1845
11.28/5.35	o 1801
11.28/5.35	o 1755
11.28/5.36	o 1737
11.28/5.38	o 1706
11.28/5.38	o 1646
11.28/5.38	o 1635
11.28/5.40	o 1617
13.65/5.70	o 1596
17.69/6.12	o 1593
50.14/10.29	o 1585
50.97/10.34	o 1549
53.33/10.63	o 1539
54.12/10.75	o 1524
60.56/11.60	o 1518
61.28/11.69	o 1503
85.17/14.64	o 1499
148.12/22.59	o 1495
289.97/40.35	o 1494
303.58/42.01	o 1493
305.11/42.21	o 1490
471.51/63.18	o 1486
472.24/63.28	o 1479
484.98/64.86	o 1478
1022.48/132.63	o 1467
1023.27/132.73	o 1463
1023.27/132.74	o 1460
1023.27/132.74	o 1435
1023.27/132.75	o 1432
1023.27/132.77	o 1427
1023.27/132.78	o 1424
1055.71/136.82	o 1413
1101.36/142.65	o 1407
1101.36/142.67	o 1400
1292.21/166.72	o 1391
1293.01/166.90	o 1374
1319.07/170.20	o 1373
1320.57/170.39	o 1356
1967.03/252.11	s SATISFIABLE
1967.03/252.11	v <instantiation>
1967.03/252.11	v 	<list>
1967.03/252.11	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]
1967.03/252.11	v 	</list>
1967.03/252.11	v 	<values>
1967.03/252.11	v 		0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 18 93 52 37 100 100 80 100 70 100 40 56 20 92 35 13 87 57 59 100 78 51 98 100 45 26 53 68 38 83 77 63 72 82 79 
1967.03/252.11	v 	</values>
1967.03/252.11	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 (10984 MiB free)
  memory of node 1: 16384 MiB (12794 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4286041-1503440891/watcher-4286041-1503440891 -o /tmp/evaluation-result-4286041-1503440891/solver-4286041-1503440891 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503425615-10047 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 305440577 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286041-1503440891.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12566, runsolver pid=12563
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 8.87 8.32 7.87 1/199 12586
/proc/meminfo: memFree=24333788/32770624 swapFree=67108860/67108860
[pid=12566] ppid=12563 vsize=26000852 memory=32584 CPUtime=0.12 cores=0-7
/proc/12566/stat : 12566 (java) S 12563 12566 10020 0 -1 1077944320 8538 0 0 0 10 2 0 0 20 0 20 0 177176659 26624872448 8146 33554432000 4194304 4196468 140733633349632 140733633332176 139901352959735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
/proc/12566/statm: 6500213 8146 3413 1 0 6487932 0
[pid=12566/tid=12568] ppid=12563 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12566/task/12568/stat : 12568 (java) R 12563 12566 10020 0 -1 4202560 6478 0 0 0 8 1 0 0 20 0 20 0 177176659 26624872448 8146 33554432000 4194304 4196468 140733633349632 139901357174768 139901352971670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12569] ppid=12563 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12566/task/12569/stat : 12569 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139901313919376 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12570] ppid=12563 vsize=26000852 memory=140189454706304 CPUtime=0 cores=0-7
/proc/12566/task/12570/stat : 12570 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900909697296 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12571] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12571/stat : 12571 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900908645008 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12572] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12572/stat : 12572 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900907592208 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12573] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12573/stat : 12573 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900906539920 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12574] ppid=12563 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/12566/task/12574/stat : 12574 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900905487120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12575] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12575/stat : 12575 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900904434832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12576] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12576/stat : 12576 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900903382032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12577] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12577/stat : 12577 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176661 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900614498416 139901352970882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12578] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12578/stat : 12578 (java) S 12563 12566 10020 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177176662 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900613444384 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12579] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12579/stat : 12579 (java) S 12563 12566 10020 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177176662 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900612392048 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12580] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12580/stat : 12580 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900611340368 139901352978331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12581] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12581/stat : 12581 (java) S 12563 12566 10020 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900610288240 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12582] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12582/stat : 12582 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900609235440 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12583] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12583/stat : 12583 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900608183152 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12584] ppid=12563 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/12566/task/12584/stat : 12584 (java) R 12563 12566 10020 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 20 0 177176665 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900607130352 139901331558571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12585] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12585/stat : 12585 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900606077280 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12586] ppid=12563 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/12566/task/12586/stat : 12586 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 8146 33554432000 4194304 4196468 140733633349632 139900605024560 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32584 KiB

[startup+0.210537 s]*
/proc/loadavg: 8.87 8.32 7.87 2/199 12586
/proc/meminfo: memFree=24323532/32770624 swapFree=67108860/67108860
[pid=12566] ppid=12563 vsize=26000852 memory=41464 CPUtime=0.29 cores=0-7
/proc/12566/stat : 12566 (java) S 12563 12566 10020 0 -1 1077944320 9540 0 0 0 27 2 0 0 20 0 20 0 177176659 26624872448 10366 33554432000 4194304 4196468 140733633349632 140733633332176 139901352959735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
/proc/12566/statm: 6500213 10366 3588 1 0 6487932 0
[pid=12566/tid=12568] ppid=12563 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/12566/task/12568/stat : 12568 (java) R 12563 12566 10020 0 -1 4202560 7118 0 0 0 18 1 0 0 20 0 20 0 177176659 26624872448 10366 33554432000 4194304 4196468 140733633349632 139901357183040 139901337040252 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12569] ppid=12563 vsize=26000852 memory=13913 CPUtime=0 cores=0-7
/proc/12566/task/12569/stat : 12569 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139901313919376 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12570] ppid=12563 vsize=26000852 memory=140189455553683 CPUtime=0 cores=0-7
/proc/12566/task/12570/stat : 12570 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900909697296 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12571] ppid=12563 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/12566/task/12571/stat : 12571 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900908645008 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12572] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12572/stat : 12572 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900907592208 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12573] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12573/stat : 12573 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900906539920 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12574] ppid=12563 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/12566/task/12574/stat : 12574 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900905487120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12575] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12575/stat : 12575 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900904434832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12576] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12576/stat : 12576 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900903382032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12577] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12577/stat : 12577 (java) S 12563 12566 10020 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177176661 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900614498416 139901352970882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12578] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12578/stat : 12578 (java) S 12563 12566 10020 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177176662 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900613444384 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12579] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12579/stat : 12579 (java) S 12563 12566 10020 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177176662 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900612392048 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12580] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12580/stat : 12580 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900611340368 139901352978331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12581] ppid=12563 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/12566/task/12581/stat : 12581 (java) S 12563 12566 10020 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 177176665 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900610288240 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12582] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12582/stat : 12582 (java) S 12563 12566 10020 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900609235440 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12583] ppid=12563 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/12566/task/12583/stat : 12583 (java) S 12563 12566 10020 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 177176665 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900608183152 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12584] ppid=12563 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/12566/task/12584/stat : 12584 (java) S 12563 12566 10020 0 -1 1077944384 387 0 0 0 5 0 0 0 20 0 20 0 177176665 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900607130352 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12585] ppid=12563 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12585/stat : 12585 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900606077280 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12586] ppid=12563 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/12566/task/12586/stat : 12586 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176665 26624872448 10366 33554432000 4194304 4196468 140733633349632 139900605024560 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41464 KiB

[startup+0.310109 s]*
/proc/loadavg: 8.87 8.32 7.87 2/199 12586
/proc/meminfo: memFree=24316460/32770624 swapFree=67108860/67108860
[pid=12566] ppid=12563 vsize=26000872 memory=49644 CPUtime=0.47 cores=0-7
/proc/12566/stat : 12566 (java) S 12563 12566 10020 0 -1 1077944320 10645 0 0 0 44 3 0 0 20 0 20 0 177176659 26624892928 12411 33554432000 4194304 4196468 140733633349632 140733633332176 139901352959735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
/proc/12566/statm: 6500218 12411 3710 1 0 6487932 0
[pid=12566/tid=12568] ppid=12563 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12566/task/12568/stat : 12568 (java) R 12563 12566 10020 0 -1 4202560 7753 0 0 0 27 2 0 0 20 0 20 0 177176659 26624892928 12411 33554432000 4194304 4196468 140733633349632 139901357190576 139901337040222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12569] ppid=12563 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12569/stat : 12569 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139901313919376 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12570] ppid=12563 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12570/stat : 12570 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900909697296 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12571] ppid=12563 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12571/stat : 12571 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900908645008 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12572] ppid=12563 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12572/stat : 12572 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900907592208 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12573] ppid=12563 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/12566/task/12573/stat : 12573 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900906539920 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12574] ppid=12563 vsize=26000872 memory=140189343249327 CPUtime=0 cores=0-7
/proc/12566/task/12574/stat : 12574 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900905487120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12575] ppid=12563 vsize=26000872 memory=140189343251632 CPUtime=0 cores=0-7
/proc/12566/task/12575/stat : 12575 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900904434832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12576] ppid=12563 vsize=26000872 memory=140189343253936 CPUtime=0 cores=0-7
/proc/12566/task/12576/stat : 12576 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900903382032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12577] ppid=12563 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12577/stat : 12577 (java) S 12563 12566 10020 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177176661 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900614498416 139901352970882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12578] ppid=12563 vsize=26000872 memory=280378686514832 CPUtime=0 cores=0-7
/proc/12566/task/12578/stat : 12578 (java) S 12563 12566 10020 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177176662 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900613444384 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12579] ppid=12563 vsize=26000872 memory=280378686521744 CPUtime=0 cores=0-7
/proc/12566/task/12579/stat : 12579 (java) S 12563 12566 10020 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177176662 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900612392048 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12580] ppid=12563 vsize=26000872 memory=280378686463024 CPUtime=0 cores=0-7
/proc/12566/task/12580/stat : 12580 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176665 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900611340368 139901352978331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12581] ppid=12563 vsize=26000872 memory=280378686535568 CPUtime=0.02 cores=0-7
/proc/12566/task/12581/stat : 12581 (java) S 12563 12566 10020 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 20 0 177176665 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900610288240 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12582] ppid=12563 vsize=26000872 memory=280378686542480 CPUtime=0.03 cores=0-7
/proc/12566/task/12582/stat : 12582 (java) S 12563 12566 10020 0 -1 1077944384 385 0 0 0 3 0 0 0 20 0 20 0 177176665 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900609235440 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12583] ppid=12563 vsize=26000872 memory=280378686540176 CPUtime=0.03 cores=0-7
/proc/12566/task/12583/stat : 12583 (java) S 12563 12566 10020 0 -1 1077944384 341 0 0 0 3 0 0 0 20 0 20 0 177176665 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900608183152 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12584] ppid=12563 vsize=26000872 memory=280378686556784 CPUtime=0.08 cores=0-7
/proc/12566/task/12584/stat : 12584 (java) S 12563 12566 10020 0 -1 1077944384 419 0 0 0 8 0 0 0 20 0 20 0 177176665 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900607130352 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12585] ppid=12563 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12585/stat : 12585 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176665 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900606077280 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12586] ppid=12563 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/12566/task/12586/stat : 12586 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176665 26624892928 12411 33554432000 4194304 4196468 140733633349632 139900605024560 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49644 KiB

[startup+0.70097 s]
/proc/loadavg: 8.87 8.32 7.87 3/199 12586
/proc/meminfo: memFree=24301852/32770624 swapFree=67108860/67108860
[pid=12566] ppid=12563 vsize=26002920 memory=88864 CPUtime=1.63 cores=0-7
/proc/12566/stat : 12566 (java) S 12563 12566 10020 0 -1 1077944320 15260 0 0 0 158 5 0 0 20 0 20 0 177176659 26626990080 22216 33554432000 4194304 4196468 140733633349632 140733633332176 139901352959735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
/proc/12566/statm: 6500730 22216 3780 1 0 6488444 0
[pid=12566/tid=12568] ppid=12563 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/12566/task/12568/stat : 12568 (java) R 12563 12566 10020 0 -1 4202560 8743 0 0 0 65 2 0 0 20 0 20 0 177176659 26626990080 22216 33554432000 4194304 4196468 140733633349632 139901357187600 139901336146210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12569] ppid=12563 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12569/stat : 12569 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139901313919376 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12570] ppid=12563 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12570/stat : 12570 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900909697296 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12571] ppid=12563 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12571/stat : 12571 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900908645008 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12572] ppid=12563 vsize=26002920 memory=1008 CPUtime=0 cores=0-7
/proc/12566/task/12572/stat : 12572 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900907592208 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12573] ppid=12563 vsize=26002920 memory=4620 CPUtime=0 cores=0-7
/proc/12566/task/12573/stat : 12573 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900906539920 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12574] ppid=12563 vsize=26002920 memory=1428 CPUtime=0 cores=0-7
/proc/12566/task/12574/stat : 12574 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900905487120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12575] ppid=12563 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/12566/task/12575/stat : 12575 (java) S 12563 12566 10020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900904434832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12576] ppid=12563 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/12566/task/12576/stat : 12576 (java) S 12563 12566 10020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177176660 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900903382032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12577] ppid=12563 vsize=26002920 memory=28856 CPUtime=0 cores=0-7
/proc/12566/task/12577/stat : 12577 (java) S 12563 12566 10020 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177176661 26626990080 22216 33554432000 4194304 4196468 140733633349632 139900614498416 139901352970882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0

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

/proc/12566/task/12589/stat : 12589 (java) R 12563 12566 10020 0 -1 4202560 11237 0 0 0 24277 11 0 0 20 0 46 0 177177143 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900588428032 139900991574908 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12590] ppid=12563 vsize=27743860 memory=7378699742272251497 CPUtime=242.61 cores=0-7
/proc/12566/task/12590/stat : 12590 (java) R 12563 12566 10020 0 -1 4202560 12434 0 0 0 24249 12 0 0 20 0 46 0 177177144 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900587378128 139900995184156 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12591] ppid=12563 vsize=27743860 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/12566/task/12591/stat : 12591 (java) S 12563 12566 10020 0 -1 1077944384 75 0 0 0 11 0 0 0 20 0 46 0 177177145 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900586329648 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12592] ppid=12563 vsize=27743860 memory=4316 CPUtime=243.64 cores=0-7
/proc/12566/task/12592/stat : 12592 (java) R 12563 12566 10020 0 -1 4202560 13163 0 0 0 24353 11 0 0 20 0 46 0 177177147 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900585270848 139900991571520 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12593] ppid=12563 vsize=27743860 memory=928 CPUtime=243.48 cores=0-7
/proc/12566/task/12593/stat : 12593 (java) R 12563 12566 10020 0 -1 4202560 12959 0 0 0 24336 12 0 0 20 0 46 0 177177147 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900584217480 139900991571849 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12594] ppid=12563 vsize=27743860 memory=1576 CPUtime=0.12 cores=0-7
/proc/12566/task/12594/stat : 12594 (java) S 12563 12566 10020 0 -1 1077944384 795 0 0 0 12 0 0 0 20 0 46 0 177177147 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900583170960 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12595] ppid=12563 vsize=27743860 memory=2196 CPUtime=242.85 cores=0-7
/proc/12566/task/12595/stat : 12595 (java) R 12563 12566 10020 0 -1 4202560 12653 0 0 0 24273 12 0 0 20 0 46 0 177177147 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900582111880 139900997173875 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12596] ppid=12563 vsize=27743860 memory=8040 CPUtime=242.52 cores=0-7
/proc/12566/task/12596/stat : 12596 (java) R 12563 12566 10020 0 -1 4202560 13949 0 0 0 24238 14 0 0 20 0 46 0 177177147 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900581059192 139900991573964 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12597] ppid=12563 vsize=27743860 memory=840 CPUtime=0 cores=0-7
/proc/12566/task/12597/stat : 12597 (java) S 12563 12566 10020 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 46 0 177177147 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900580013584 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12598] ppid=12563 vsize=27743860 memory=1692 CPUtime=243.31 cores=0-7
/proc/12566/task/12598/stat : 12598 (java) R 12563 12566 10020 0 -1 4202560 18026 0 0 0 24317 14 0 0 20 0 46 0 177177148 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900578954696 139900991571555 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12599] ppid=12563 vsize=27743860 memory=916 CPUtime=0 cores=0-7
/proc/12566/task/12599/stat : 12599 (java) S 12563 12566 10020 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 46 0 177177165 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900577908496 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12600] ppid=12563 vsize=27743860 memory=5324 CPUtime=243.17 cores=0-7
/proc/12566/task/12600/stat : 12600 (java) R 12563 12566 10020 0 -1 4202560 11968 0 0 0 24306 11 0 0 20 0 46 0 177177165 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900576849648 139900991571546 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12601] ppid=12563 vsize=27743860 memory=4108 CPUtime=0 cores=0-7
/proc/12566/task/12601/stat : 12601 (java) S 12563 12566 10020 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 46 0 177177165 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900575802384 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12602] ppid=12563 vsize=27743860 memory=280378688464704 CPUtime=0 cores=0-7
/proc/12566/task/12602/stat : 12602 (java) S 12563 12566 10020 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 177177165 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900372378288 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12603] ppid=12563 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12603/stat : 12603 (java) S 12563 12566 10020 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 46 0 177177165 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900371326224 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12604] ppid=12563 vsize=27743860 memory=140189343621592 CPUtime=0 cores=0-7
/proc/12566/task/12604/stat : 12604 (java) S 12563 12566 10020 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 177177165 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900370273200 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12605] ppid=12563 vsize=27743860 memory=1891468 CPUtime=0 cores=0-7
/proc/12566/task/12605/stat : 12605 (java) S 12563 12566 10020 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 46 0 177177179 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900367087120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12606] ppid=12563 vsize=27743860 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12606/stat : 12606 (java) S 12563 12566 10020 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 46 0 177177186 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900366034320 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12607] ppid=12563 vsize=27743860 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12607/stat : 12607 (java) S 12563 12566 10020 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 177177188 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900364981808 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12608] ppid=12563 vsize=27743860 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12608/stat : 12608 (java) S 12563 12566 10020 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 177177191 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900363929008 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12609] ppid=12563 vsize=27743860 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12609/stat : 12609 (java) S 12563 12566 10020 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 177177191 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900362875696 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12610] ppid=12563 vsize=27743860 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12610/stat : 12610 (java) S 12563 12566 10020 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 46 0 177177192 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900361823120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12611] ppid=12563 vsize=27743860 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12611/stat : 12611 (java) S 12563 12566 10020 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 46 0 177177192 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900360770832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12612] ppid=12563 vsize=27743860 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12612/stat : 12612 (java) S 12563 12566 10020 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 46 0 177177193 28409712640 472995 33554432000 4194304 4196468 140733633349632 139900359718032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
Current children cumulated CPU time: 1967.03 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 1891980 KiB

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

[startup+252.157 s]
# the end of solver process 12566 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1966.04 s, system=1.99957 s

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

[startup+252.134 s]
/proc/loadavg: 8.77 8.46 8.01 9/224 12612
/proc/meminfo: memFree=22463284/32770624 swapFree=67108860/67108860
[pid=12566] ppid=12563 vsize=27876988 memory=1891680 CPUtime=1968 cores=0-7
/proc/12566/stat : 12566 (java) S 12563 12566 10020 0 -1 1077944320 322358 0 0 0 196603 197 0 0 20 0 46 0 177176659 28546035712 472920 33554432000 4194304 4196468 140733633349632 140733633332176 139901352959735 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
/proc/12566/statm: 6969247 472920 3852 1 0 6956440 0
[pid=12566/tid=12568] ppid=12563 vsize=27876988 memory=1899344 CPUtime=4.35 cores=0-7
/proc/12566/task/12568/stat : 12568 (java) S 12563 12566 10020 0 -1 1077944384 14297 0 0 0 429 6 0 0 20 0 46 0 177176659 28546035712 472920 33554432000 4194304 4196468 140733633349632 139901357197440 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12569] ppid=12563 vsize=27876988 memory=1901308 CPUtime=1.23 cores=0-7
/proc/12566/task/12569/stat : 12569 (java) S 12563 12566 10020 0 -1 1077944384 9404 0 0 0 116 7 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139901313919376 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12570] ppid=12563 vsize=27876988 memory=1896924 CPUtime=1.24 cores=0-7
/proc/12566/task/12570/stat : 12570 (java) S 12563 12566 10020 0 -1 1077944384 14974 0 0 0 115 9 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900909697296 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12571] ppid=12563 vsize=27876988 memory=1893516 CPUtime=1.25 cores=0-7
/proc/12566/task/12571/stat : 12571 (java) S 12563 12566 10020 0 -1 1077944384 12443 0 0 0 117 8 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900908645008 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12572] ppid=12563 vsize=27876988 memory=1891980 CPUtime=1.26 cores=0-7
/proc/12566/task/12572/stat : 12572 (java) S 12563 12566 10020 0 -1 1077944384 14106 0 0 0 117 9 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900907592208 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12573] ppid=12563 vsize=27876988 memory=209 CPUtime=1.26 cores=0-7
/proc/12566/task/12573/stat : 12573 (java) S 12563 12566 10020 0 -1 1077944384 13391 0 0 0 117 9 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900906539920 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12574] ppid=12563 vsize=27876988 memory=1901320 CPUtime=1.23 cores=0-7
/proc/12566/task/12574/stat : 12574 (java) S 12563 12566 10020 0 -1 1077944384 18369 0 0 0 113 10 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900905487120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12575] ppid=12563 vsize=27876988 memory=1844 CPUtime=1.22 cores=0-7
/proc/12566/task/12575/stat : 12575 (java) S 12563 12566 10020 0 -1 1077944384 15134 0 0 0 114 8 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900904434832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12576] ppid=12563 vsize=27876988 memory=0 CPUtime=1.24 cores=0-7
/proc/12566/task/12576/stat : 12576 (java) S 12563 12566 10020 0 -1 1077944384 13051 0 0 0 116 8 0 0 20 0 46 0 177176660 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900903382032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12577] ppid=12563 vsize=27876988 memory=110 CPUtime=0.67 cores=0-7
/proc/12566/task/12577/stat : 12577 (java) R 12563 12566 10020 0 -1 4202560 32690 0 0 0 57 10 0 0 20 0 46 0 177176661 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900614498416 139901345676887 0 0 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12578] ppid=12563 vsize=27876988 memory=3618836598793663689 CPUtime=0 cores=0-7
/proc/12566/task/12578/stat : 12578 (java) S 12563 12566 10020 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 177176662 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900613444448 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12579] ppid=12563 vsize=27876988 memory=3762389915020588260 CPUtime=0 cores=0-7
/proc/12566/task/12579/stat : 12579 (java) S 12563 12566 10020 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 46 0 177176662 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900612392064 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12580] ppid=12563 vsize=27876988 memory=280378686308592 CPUtime=0 cores=0-7
/proc/12566/task/12580/stat : 12580 (java) S 12563 12566 10020 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 46 0 177176665 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900611340016 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12581] ppid=12563 vsize=27876988 memory=280378686308592 CPUtime=1.76 cores=0-7
/proc/12566/task/12581/stat : 12581 (java) S 12563 12566 10020 0 -1 1077944384 9864 0 0 0 175 1 0 0 20 0 46 0 177176665 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900610288240 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12582] ppid=12563 vsize=27876988 memory=1428 CPUtime=1.68 cores=0-7
/proc/12566/task/12582/stat : 12582 (java) S 12563 12566 10020 0 -1 1077944384 6064 0 0 0 167 1 0 0 20 0 46 0 177176665 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900609235440 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12583] ppid=12563 vsize=27876988 memory=1204 CPUtime=1.83 cores=0-7
/proc/12566/task/12583/stat : 12583 (java) S 12563 12566 10020 0 -1 1077944384 6483 0 0 0 182 1 0 0 20 0 46 0 177176665 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900608183152 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12584] ppid=12563 vsize=27876988 memory=15880 CPUtime=1.06 cores=0-7
/proc/12566/task/12584/stat : 12584 (java) S 12563 12566 10020 0 -1 1077944384 19427 0 0 0 101 5 0 0 20 0 46 0 177176665 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900607130352 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12585] ppid=12563 vsize=27876988 memory=140189344567712 CPUtime=0 cores=0-7
/proc/12566/task/12585/stat : 12585 (java) S 12563 12566 10020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 177176665 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900606077280 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12587] ppid=12563 vsize=27876988 memory=280378687045792 CPUtime=0 cores=0-7
/proc/12566/task/12587/stat : 12587 (java) S 12563 12566 10020 0 -1 1077944384 856 0 0 0 0 0 0 0 20 0 46 0 177177121 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900594733984 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12588] ppid=12563 vsize=27876988 memory=6944656592455360604 CPUtime=0.68 cores=0-7
/proc/12566/task/12588/stat : 12588 (java) S 12563 12566 10020 0 -1 1077944384 7551 0 0 0 39 29 0 0 20 0 46 0 177177133 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900591584176 139901352970882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12589] ppid=12563 vsize=27876988 memory=6944656592455360604 CPUtime=243 cores=0-7
/proc/12566/task/12589/stat : 12589 (java) S 12563 12566 10020 0 -1 1077944384 11237 0 0 0 24289 11 0 0 20 0 46 0 177177143 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900588428032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12590] ppid=12563 vsize=27876988 memory=140189454705121 CPUtime=242.72 cores=0-7
/proc/12566/task/12590/stat : 12590 (java) S 12563 12566 10020 0 -1 1077944384 12435 0 0 0 24260 12 0 0 20 0 46 0 177177144 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900587375744 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12591] ppid=12563 vsize=27876988 memory=23362 CPUtime=0.11 cores=0-7
/proc/12566/task/12591/stat : 12591 (java) S 12563 12566 10020 0 -1 1077944384 75 0 0 0 11 0 0 0 20 0 46 0 177177145 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900586329648 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12592] ppid=12563 vsize=27876988 memory=11 CPUtime=243.76 cores=0-7
/proc/12566/task/12592/stat : 12592 (java) S 12563 12566 10020 0 -1 1077944384 13163 0 0 0 24365 11 0 0 20 0 46 0 177177147 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900585270656 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12593] ppid=12563 vsize=27876988 memory=23480 CPUtime=243.58 cores=0-7
/proc/12566/task/12593/stat : 12593 (java) S 12563 12566 10020 0 -1 1077944384 12959 0 0 0 24346 12 0 0 20 0 46 0 177177147 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900584216832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12594] ppid=12563 vsize=27876988 memory=164 CPUtime=0.12 cores=0-7
/proc/12566/task/12594/stat : 12594 (java) S 12563 12566 10020 0 -1 1077944384 795 0 0 0 12 0 0 0 20 0 46 0 177177147 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900583170960 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12595] ppid=12563 vsize=27876988 memory=-7655404311101385754 CPUtime=242.97 cores=0-7
/proc/12566/task/12595/stat : 12595 (java) R 12563 12566 10020 0 -1 4202560 12653 0 0 0 24285 12 0 0 20 0 46 0 177177147 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900582112392 139900992675111 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12596] ppid=12563 vsize=27876988 memory=0 CPUtime=242.64 cores=0-7
/proc/12566/task/12596/stat : 12596 (java) S 12563 12566 10020 0 -1 1077944384 13949 0 0 0 24250 14 0 0 20 0 46 0 177177147 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900581058944 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12597] ppid=12563 vsize=27876988 memory=280378688449168 CPUtime=0 cores=0-7
/proc/12566/task/12597/stat : 12597 (java) S 12563 12566 10020 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 46 0 177177147 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900580013584 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12598] ppid=12563 vsize=27876988 memory=4206468019014099040 CPUtime=243.43 cores=0-7
/proc/12566/task/12598/stat : 12598 (java) S 12563 12566 10020 0 -1 1077944384 18026 0 0 0 24329 14 0 0 20 0 46 0 177177148 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900578953856 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12599] ppid=12563 vsize=27876988 memory=280378687246784 CPUtime=0 cores=0-7
/proc/12566/task/12599/stat : 12599 (java) S 12563 12566 10020 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 46 0 177177165 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900577908496 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12600] ppid=12563 vsize=27876988 memory=1896472 CPUtime=243.29 cores=0-7
/proc/12566/task/12600/stat : 12600 (java) S 12563 12566 10020 0 -1 1077944384 11968 0 0 0 24318 11 0 0 20 0 46 0 177177165 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900576849648 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12601] ppid=12563 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12566/task/12601/stat : 12601 (java) S 12563 12566 10020 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 46 0 177177165 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900575802384 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12602] ppid=12563 vsize=27876988 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12566/task/12602/stat : 12602 (java) S 12563 12566 10020 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 177177165 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900372378288 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12603] ppid=12563 vsize=27876988 memory=1893004 CPUtime=0 cores=0-7
/proc/12566/task/12603/stat : 12603 (java) S 12563 12566 10020 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 46 0 177177165 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900371326224 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12604] ppid=12563 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/12566/task/12604/stat : 12604 (java) S 12563 12566 10020 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 177177165 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900370273200 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12605] ppid=12563 vsize=27876988 memory=280378690500352 CPUtime=0 cores=0-7
/proc/12566/task/12605/stat : 12605 (java) S 12563 12566 10020 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 46 0 177177179 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900367087120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12606] ppid=12563 vsize=27876988 memory=140189344920032 CPUtime=0 cores=0-7
/proc/12566/task/12606/stat : 12606 (java) S 12563 12566 10020 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 46 0 177177186 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900366034320 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12607] ppid=12563 vsize=27876988 memory=1893008 CPUtime=0 cores=0-7
/proc/12566/task/12607/stat : 12607 (java) S 12563 12566 10020 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 177177188 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900364981808 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12608] ppid=12563 vsize=27876988 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/12566/task/12608/stat : 12608 (java) S 12563 12566 10020 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 177177191 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900363929008 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12609] ppid=12563 vsize=27876988 memory=1897940 CPUtime=0 cores=0-7
/proc/12566/task/12609/stat : 12609 (java) S 12563 12566 10020 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 177177191 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900362875696 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12610] ppid=12563 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12566/task/12610/stat : 12610 (java) S 12563 12566 10020 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 46 0 177177192 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900361823120 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12611] ppid=12563 vsize=27876988 memory=1900828 CPUtime=0 cores=0-7
/proc/12566/task/12611/stat : 12611 (java) S 12563 12566 10020 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 46 0 177177192 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900360770832 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
[pid=12566/tid=12612] ppid=12563 vsize=27876988 memory=1900828 CPUtime=0 cores=0-7
/proc/12566/task/12612/stat : 12612 (java) S 12563 12566 10020 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 46 0 177177193 28546035712 472920 33554432000 4194304 4196468 140733633349632 139900359718032 139901352969941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140733633356904 140733633357088 140733633357088 140733633359823 0
Current children cumulated CPU time: 1968 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 1891680 KiB

Child status: 143
Real time (s): 252.157
CPU time (s): 1968.04
CPU user time (s): 1966.04
CPU system time (s): 1.99957
CPU usage (%): 780.481
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 2286292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1966.04
system time used= 1.99957
maximum resident set size= 2288380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71155
involuntary context switches= 42447


# summary of solver processes directly reported to runsolver:
#   pid: 12566
#   total CPU time (s): 1968.04
#   total CPU user time (s): 1966.04
#   total CPU system time (s): 1.99957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.63649 second user time and 3.6568 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	251.895
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 4286041

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