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-07-26	SAT (TO)	1342	1920.65	245.30099

0.22/0.39	c version: 2017-07-26
0.22/0.39	c seed: 1506995282
0.22/0.39	c timeout: 1920
0.22/0.39	c memlimit: 22000
0.22/0.39	c nbcore: 8
0.39/0.42	c Parsing instance...
1.94/0.93	c Parsing done, starting search...
9.63/4.82	o 2164
9.63/4.88	o 2161
10.40/4.95	o 2116
10.40/4.99	o 2087
11.24/5.01	o 2085
11.24/5.02	o 2057
11.24/5.05	o 1960
11.98/5.17	o 1948
11.98/5.18	o 1937
11.98/5.18	o 1848
11.98/5.19	o 1845
11.98/5.19	o 1801
12.81/5.23	o 1755
12.81/5.24	o 1737
12.81/5.25	o 1706
12.81/5.25	o 1646
12.81/5.27	o 1635
12.81/5.27	o 1617
16.68/5.72	o 1596
19.03/6.08	o 1593
53.03/10.30	o 1585
53.03/10.35	o 1549
55.42/10.66	o 1539
56.22/10.78	o 1524
63.39/11.68	o 1518
64.18/11.78	o 1503
88.91/14.83	o 1499
155.07/23.17	o 1495
306.33/42.13	o 1494
320.68/43.91	o 1493
322.32/44.13	o 1490
497.86/66.25	o 1486
498.66/66.35	o 1479
512.21/68.04	o 1478
1081.67/139.71	o 1467
1082.47/139.81	o 1463
1082.47/139.83	o 1460
1082.47/139.83	o 1435
1082.47/139.83	o 1432
1082.47/139.86	o 1427
1082.47/139.87	o 1424
1116.68/144.14	o 1413
1165.02/150.25	o 1407
1165.02/150.26	o 1400
1382.75/177.61	o 1387
1386.73/178.17	o 1373
1389.95/178.52	o 1361
1391.50/178.72	o 1356
1857.94/237.48	o 1342
1920.02/245.26	s SATISFIABLE
1920.02/245.26	v <instantiation>
1920.02/245.26	v 	<list>
1920.02/245.26	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]
1920.02/245.26	v 	</list>
1920.02/245.26	v 	<values>
1920.02/245.26	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 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 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 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 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 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 50 35 100 52 80 100 70 100 42 56 20 94 35 11 87 57 59 100 80 53 100 100 45 24 53 68 38 83 77 65 72 82 79 
1920.02/245.26	v 	</values>
1920.02/245.26	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257356-1501683744/watcher-4257356-1501683744 -o /tmp/evaluation-result-4257356-1501683744/solver-4257356-1501683744 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1506995282 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257356-1501683744.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 9.02 7.82 6.89 2/172 18884
/proc/meminfo: memFree=31013624/32770624 swapFree=0/888328
[pid=18884] ppid=18881 vsize=23672 CPUtime=0 cores=0-7
/proc/18884/stat : 18884 (runsolver) D 18881 18884 31529 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16999086 24240128 106 18446744073709551615 4194304 4338465 140731760862800 140731760860440 139978470077143 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 25255936 140731760869475 140731760869955 140731760869955 140731760873418 0
/proc/18884/statm: 5918 106 53 36 0 2156 0

[startup+0.100125 s]
/proc/loadavg: 9.02 7.82 6.89 2/172 18884
/proc/meminfo: memFree=31013624/32770624 swapFree=0/888328
[pid=18884] ppid=18881 vsize=25298128 CPUtime=0 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 2512 0 0 0 0 0 0 0 20 0 10 0 16999086 25905283072 2142 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6324532 2142 1179 1 0 6314510 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25298128

[startup+0.206716 s]
/proc/loadavg: 9.02 7.82 6.89 2/172 18884
/proc/meminfo: memFree=31013624/32770624 swapFree=0/888328
[pid=18884] ppid=18881 vsize=25993732 CPUtime=0.07 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 6028 0 0 0 6 1 0 0 20 0 20 0 16999086 26617581568 5730 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6498433 5730 2589 1 0 6487938 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25993732

[startup+0.300302 s]
/proc/loadavg: 9.02 7.82 6.89 2/172 18884
/proc/meminfo: memFree=31013624/32770624 swapFree=0/888328
[pid=18884] ppid=18881 vsize=25996604 CPUtime=0.22 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 10363 0 0 0 19 3 0 0 20 0 20 0 16999086 26620522496 9110 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6499151 9110 3533 1 0 6487938 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 25996604

[startup+0.702773 s]
/proc/loadavg: 9.02 7.82 6.89 2/172 18884
/proc/meminfo: memFree=31013624/32770624 swapFree=0/888328
[pid=18884] ppid=18881 vsize=25998672 CPUtime=1.07 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 14491 0 0 0 102 5 0 0 20 0 20 0 16999086 26622640128 16752 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6499668 16752 3718 1 0 6488450 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 25998672

[startup+1.50082 s]
/proc/loadavg: 9.02 7.82 6.89 4/192 18904
/proc/meminfo: memFree=30914944/32770624 swapFree=0/888332
[pid=18884] ppid=18881 vsize=26002768 CPUtime=3.74 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 29899 0 0 0 364 10 0 0 20 0 20 0 16999086 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6500692 47038 3763 1 0 6489474 0
[pid=18884/tid=18886] ppid=18881 vsize=26002768 CPUtime=1.34 cores=0-7
/proc/18884/task/18886/stat : 18886 (java) R 18881 18884 31529 0 -1 4202560 14644 0 0 0 128 6 0 0 20 0 20 0 16999095 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140220255416256 140219900486931 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18887] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18887/stat : 18887 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140220214295184 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18888] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18888/stat : 18888 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140219813218832 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18889] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18889/stat : 18889 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140219812166032 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18890] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18890/stat : 18890 (java) S 18881 18884 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140219811113232 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18891] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18891/stat : 18891 (java) S 18881 18884 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140219810061456 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18892] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18892/stat : 18892 (java) S 18881 18884 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140219809008656 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18893] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18893/stat : 18893 (java) S 18881 18884 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140219807955856 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18894] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18894/stat : 18894 (java) S 18881 18884 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140219806903056 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18895] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18895/stat : 18895 (java) S 18881 18884 31529 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 16999097 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218595244400 140220251200130 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18896] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18896/stat : 18896 (java) S 18881 18884 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16999098 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218594190368 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18897] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18897/stat : 18897 (java) S 18881 18884 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16999098 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218593137520 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18898] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18898/stat : 18898 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16999101 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218592085840 140220251207579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18899] ppid=18881 vsize=26002768 CPUtime=0.51 cores=0-7
/proc/18884/task/18899/stat : 18899 (java) R 18881 18884 31529 0 -1 4202560 2768 0 0 0 50 1 0 0 20 0 20 0 16999101 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218591034224 140220234674933 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18900] ppid=18881 vsize=26002768 CPUtime=0.62 cores=0-7
/proc/18884/task/18900/stat : 18900 (java) R 18881 18884 31529 0 -1 4202560 3135 0 0 0 61 1 0 0 20 0 20 0 16999101 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218589972880 140220232368624 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18901] ppid=18881 vsize=26002768 CPUtime=0.57 cores=0-7
/proc/18884/task/18901/stat : 18901 (java) S 18881 18884 31529 0 -1 1077944384 2465 0 0 0 57 0 0 0 20 0 20 0 16999101 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218588928624 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18902] ppid=18881 vsize=26002768 CPUtime=0.66 cores=0-7
/proc/18884/task/18902/stat : 18902 (java) S 18881 18884 31529 0 -1 1077944384 5482 0 0 0 66 0 0 0 20 0 20 0 16999101 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218587875824 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18903] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18903/stat : 18903 (java) S 18881 18884 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16999101 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218586823264 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18904] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18904/stat : 18904 (java) S 18881 18884 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16999106 26626834432 47038 18446744073709551615 4194304 4196468 140734856941424 140218585770544 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 26002768

[startup+3.10084 s]
/proc/loadavg: 9.02 7.82 6.89 2/192 18904
/proc/meminfo: memFree=30799220/32770624 swapFree=0/888332
[pid=18884] ppid=18881 vsize=26002768 CPUtime=5.75 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 31551 0 0 0 561 14 0 0 20 0 20 0 16999086 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6500692 60408 3777 1 0 6489474 0
[pid=18884/tid=18886] ppid=18881 vsize=26002768 CPUtime=2.91 cores=0-7
/proc/18884/task/18886/stat : 18886 (java) R 18881 18884 31529 0 -1 4202560 14781 0 0 0 285 6 0 0 20 0 20 0 16999095 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140220255422360 140219900486816 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18887] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18887/stat : 18887 (java) S 18881 18884 31529 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140220214295184 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18888] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18888/stat : 18888 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140219813218832 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18889] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18889/stat : 18889 (java) S 18881 18884 31529 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140219812166032 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18890] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18890/stat : 18890 (java) S 18881 18884 31529 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140219811113232 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18891] ppid=18881 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/18884/task/18891/stat : 18891 (java) S 18881 18884 31529 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140219810061456 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18892] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18892/stat : 18892 (java) S 18881 18884 31529 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140219809008656 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18893] ppid=18881 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/18884/task/18893/stat : 18893 (java) S 18881 18884 31529 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140219807955856 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18894] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18894/stat : 18894 (java) S 18881 18884 31529 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 16999096 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140219806903056 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18895] ppid=18881 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/18884/task/18895/stat : 18895 (java) S 18881 18884 31529 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 16999097 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218595244400 140220251200130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18896] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18896/stat : 18896 (java) S 18881 18884 31529 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 16999098 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218594190432 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18897] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18897/stat : 18897 (java) S 18881 18884 31529 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 16999098 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218593137536 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18898] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18898/stat : 18898 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16999101 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218592085840 140220251207579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18899] ppid=18881 vsize=26002768 CPUtime=0.58 cores=0-7
/proc/18884/task/18899/stat : 18899 (java) S 18881 18884 31529 0 -1 1077944384 2898 0 0 0 57 1 0 0 20 0 20 0 16999101 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218591034224 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18900] ppid=18881 vsize=26002768 CPUtime=0.67 cores=0-7
/proc/18884/task/18900/stat : 18900 (java) S 18881 18884 31529 0 -1 1077944384 3175 0 0 0 66 1 0 0 20 0 20 0 16999101 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218589981424 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18901] ppid=18881 vsize=26002768 CPUtime=0.73 cores=0-7
/proc/18884/task/18901/stat : 18901 (java) S 18881 18884 31529 0 -1 1077944384 2908 0 0 0 73 0 0 0 20 0 20 0 16999101 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218588928624 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18902] ppid=18881 vsize=26002768 CPUtime=0.7 cores=0-7
/proc/18884/task/18902/stat : 18902 (java) S 18881 18884 31529 0 -1 1077944384 5772 0 0 0 70 0 0 0 20 0 20 0 16999101 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218587875824 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18903] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18903/stat : 18903 (java) S 18881 18884 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16999101 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218586823264 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18904] ppid=18881 vsize=26002768 CPUtime=0 cores=0-7
/proc/18884/task/18904/stat : 18904 (java) S 18881 18884 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16999106 26626834432 60408 18446744073709551615 4194304 4196468 140734856941424 140218585770544 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 26002768

[startup+6.30284 s]
/proc/loadavg: 8.46 7.72 6.86 12/217 18929
/proc/meminfo: memFree=30716640/32770624 swapFree=0/888344
[pid=18884] ppid=18881 vsize=27673048 CPUtime=21.38 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 44651 0 0 0 2098 40 0 0 20 0 45 0 16999086 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6918262 120222 3803 1 0 6906523 0
[pid=18884/tid=18886] ppid=18881 vsize=27673048 CPUtime=4.38 cores=0-7
/proc/18884/task/18886/stat : 18886 (java) S 18881 18884 31529 0 -1 1077944384 17930 0 0 0 431 7 0 0 20 0 45 0 16999095 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140220255426688 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18887] ppid=18881 vsize=27673048 CPUtime=0.1 cores=0-7
/proc/18884/task/18887/stat : 18887 (java) R 18881 18884 31529 0 -1 4202560 156 0 0 0 8 2 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140220214295304 140220243817191 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18888] ppid=18881 vsize=27673048 CPUtime=0.1 cores=0-7
/proc/18884/task/18888/stat : 18888 (java) R 18881 18884 31529 0 -1 4202560 89 0 0 0 8 2 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140219813219032 140220232814902 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18889] ppid=18881 vsize=27673048 CPUtime=0.12 cores=0-7
/proc/18884/task/18889/stat : 18889 (java) R 18881 18884 31529 0 -1 4202560 114 0 0 0 9 3 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140219812166032 140220243817191 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18890] ppid=18881 vsize=27673048 CPUtime=0.09 cores=0-7
/proc/18884/task/18890/stat : 18890 (java) R 18881 18884 31529 0 -1 4202560 78 0 0 0 7 2 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140219811113432 140220230384013 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18891] ppid=18881 vsize=27673048 CPUtime=0.1 cores=0-7
/proc/18884/task/18891/stat : 18891 (java) R 18881 18884 31529 0 -1 4202560 92 0 0 0 8 2 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140219810061656 140220243817191 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18892] ppid=18881 vsize=27673048 CPUtime=0.1 cores=0-7
/proc/18884/task/18892/stat : 18892 (java) R 18881 18884 31529 0 -1 4202560 130 0 0 0 8 2 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140219809008656 140220235636944 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18893] ppid=18881 vsize=27673048 CPUtime=0.13 cores=0-7
/proc/18884/task/18893/stat : 18893 (java) R 18881 18884 31529 0 -1 4202560 436 0 0 0 10 3 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140219807956056 140220243817191 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18894] ppid=18881 vsize=27673048 CPUtime=0.08 cores=0-7
/proc/18884/task/18894/stat : 18894 (java) R 18881 18884 31529 0 -1 4202560 383 0 0 0 6 2 0 0 20 0 45 0 16999096 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140219806902944 140220232814902 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18895] ppid=18881 vsize=27673048 CPUtime=0.03 cores=0-7
/proc/18884/task/18895/stat : 18895 (java) S 18881 18884 31529 0 -1 1077944384 1086 0 0 0 3 0 0 0 20 0 45 0 16999097 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218595242912 140220251199189 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18896] ppid=18881 vsize=27673048 CPUtime=0 cores=0-7
/proc/18884/task/18896/stat : 18896 (java) S 18881 18884 31529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 45 0 16999098 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218594190432 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18897] ppid=18881 vsize=27673048 CPUtime=0 cores=0-7
/proc/18884/task/18897/stat : 18897 (java) S 18881 18884 31529 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 45 0 16999098 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218593137536 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18898] ppid=18881 vsize=27673048 CPUtime=0 cores=0-7
/proc/18884/task/18898/stat : 18898 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 16999101 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218592085840 140220251207579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18899] ppid=18881 vsize=27673048 CPUtime=1.75 cores=0-7
/proc/18884/task/18899/stat : 18899 (java) S 18881 18884 31529 0 -1 1077944384 4482 0 0 0 174 1 0 0 20 0 45 0 16999101 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218591034224 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18900] ppid=18881 vsize=27673048 CPUtime=2 cores=0-7
/proc/18884/task/18900/stat : 18900 (java) S 18881 18884 31529 0 -1 1077944384 5478 0 0 0 198 2 0 0 20 0 45 0 16999101 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218589981424 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18901] ppid=18881 vsize=27673048 CPUtime=1.69 cores=0-7
/proc/18884/task/18901/stat : 18901 (java) S 18881 18884 31529 0 -1 1077944384 4393 0 0 0 168 1 0 0 20 0 45 0 16999101 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218588928624 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18902] ppid=18881 vsize=27673048 CPUtime=0.99 cores=0-7
/proc/18884/task/18902/stat : 18902 (java) S 18881 18884 31529 0 -1 1077944384 7173 0 0 0 99 0 0 0 20 0 45 0 16999101 28337201152 120222 18446744073709551615 4194304 4196468 140734856941424 140218587875824 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18903] ppid=18881 vsize=27673048 CPUtime=0 cores=0-7

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

[pid=18884/tid=18905] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18905/stat : 18905 (java) S 18881 18884 31529 0 -1 1077944384 618 0 0 0 0 0 0 0 20 0 46 0 16999520 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218575483552 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18906] ppid=18881 vsize=27739612 CPUtime=0.65 cores=0-7
/proc/18884/task/18906/stat : 18906 (java) S 18881 18884 31529 0 -1 1077944384 5911 0 0 0 31 34 0 0 20 0 46 0 16999532 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218572333744 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18907] ppid=18881 vsize=27739612 CPUtime=214.84 cores=0-7
/proc/18884/task/18907/stat : 18907 (java) R 18881 18884 31529 0 -1 4202560 10845 0 0 0 21470 14 0 0 20 0 46 0 16999541 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218569178256 140219900748029 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18908] ppid=18881 vsize=27739612 CPUtime=213.78 cores=0-7
/proc/18884/task/18908/stat : 18908 (java) R 18881 18884 31529 0 -1 4202560 13355 0 0 0 21366 12 0 0 20 0 46 0 16999542 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218568125296 140220232837931 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18909] ppid=18881 vsize=27739612 CPUtime=213.84 cores=0-7
/proc/18884/task/18909/stat : 18909 (java) R 18881 18884 31529 0 -1 4202560 10303 0 0 0 21370 14 0 0 20 0 46 0 16999543 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218567073416 140219894880547 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18910] ppid=18881 vsize=27739612 CPUtime=213.96 cores=0-7
/proc/18884/task/18910/stat : 18910 (java) R 18881 18884 31529 0 -1 4202560 9922 0 0 0 21383 13 0 0 20 0 46 0 16999546 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218566020368 140219900575585 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18911] ppid=18881 vsize=27739612 CPUtime=0.08 cores=0-7
/proc/18884/task/18911/stat : 18911 (java) S 18881 18884 31529 0 -1 1077944384 106 0 0 0 8 0 0 0 20 0 46 0 16999546 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218564973840 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18912] ppid=18881 vsize=27739612 CPUtime=214.48 cores=0-7
/proc/18884/task/18912/stat : 18912 (java) R 18881 18884 31529 0 -1 4202560 10212 0 0 0 21435 13 0 0 20 0 46 0 16999546 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218563914768 140219900977967 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18913] ppid=18881 vsize=27739612 CPUtime=214.76 cores=0-7
/proc/18884/task/18913/stat : 18913 (java) R 18881 18884 31529 0 -1 4202560 8581 0 0 0 21465 11 0 0 20 0 46 0 16999546 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218562861456 140219904177613 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18914] ppid=18881 vsize=27739612 CPUtime=0.07 cores=0-7
/proc/18884/task/18914/stat : 18914 (java) S 18881 18884 31529 0 -1 1077944384 408 0 0 0 7 0 0 0 20 0 46 0 16999546 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218561815440 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18915] ppid=18881 vsize=27739612 CPUtime=213.85 cores=0-7
/proc/18884/task/18915/stat : 18915 (java) R 18881 18884 31529 0 -1 4202560 9472 0 0 0 21372 13 0 0 20 0 46 0 16999546 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218560760560 140219894878969 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18916] ppid=18881 vsize=27739612 CPUtime=214.25 cores=0-7
/proc/18884/task/18916/stat : 18916 (java) R 18881 18884 31529 0 -1 4202560 10066 0 0 0 21412 13 0 0 20 0 46 0 16999547 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218559704728 140219904181290 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18917] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18917/stat : 18917 (java) S 18881 18884 31529 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 46 0 16999561 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218558658064 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18918] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18918/stat : 18918 (java) S 18881 18884 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 16999561 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218557605264 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18919] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18919/stat : 18919 (java) S 18881 18884 31529 0 -1 1077944384 856 0 0 0 0 0 0 0 20 0 46 0 16999570 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218554418448 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18920] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18920/stat : 18920 (java) S 18881 18884 31529 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 16999573 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218553365648 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18921] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18921/stat : 18921 (java) S 18881 18884 31529 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 46 0 16999574 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218552312848 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18922] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18922/stat : 18922 (java) S 18881 18884 31529 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 46 0 16999574 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218551260048 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18923] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18923/stat : 18923 (java) S 18881 18884 31529 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 46 0 16999574 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218550208272 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18924] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18924/stat : 18924 (java) S 18881 18884 31529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 16999575 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218549155472 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18925] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18925/stat : 18925 (java) S 18881 18884 31529 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 46 0 16999577 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218548102672 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18926] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18926/stat : 18926 (java) S 18881 18884 31529 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 16999580 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218547049872 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18927] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18927/stat : 18927 (java) S 18881 18884 31529 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 16999605 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218545997072 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18928] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18928/stat : 18928 (java) S 18881 18884 31529 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 16999606 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218544944272 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18929] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18929/stat : 18929 (java) S 18881 18884 31529 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 46 0 16999612 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218543891472 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18943] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18943/stat : 18943 (java) S 18881 18884 31529 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 17013069 28405362688 587129 18446744073709551615 4194304 4196468 140734856941424 140218542838672 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
Current children cumulated CPU time (s) 1738.13
Current children cumulated vsize (KiB) 27739612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+245.206 s]
/proc/loadavg: 8.45 8.14 7.23 9/220 18945
/proc/meminfo: memFree=28669812/32770624 swapFree=0/888396
[pid=18884] ppid=18881 vsize=27739612 CPUtime=1920.02 cores=0-7
/proc/18884/stat : 18884 (java) S 18881 18884 31529 0 -1 1077944320 264583 0 0 0 191793 209 0 0 20 0 46 0 16999086 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140734856923968 140220251188983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
/proc/18884/statm: 6934903 587632 3812 1 0 6923164 0
[pid=18884/tid=18886] ppid=18881 vsize=27739612 CPUtime=4.38 cores=0-7
/proc/18884/task/18886/stat : 18886 (java) S 18881 18884 31529 0 -1 1077944384 17930 0 0 0 431 7 0 0 20 0 46 0 16999095 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140220255426688 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18887] ppid=18881 vsize=27739612 CPUtime=1.62 cores=0-7
/proc/18884/task/18887/stat : 18887 (java) S 18881 18884 31529 0 -1 1077944384 9660 0 0 0 155 7 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140220214295184 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18888] ppid=18881 vsize=27739612 CPUtime=1.61 cores=0-7
/proc/18884/task/18888/stat : 18888 (java) S 18881 18884 31529 0 -1 1077944384 10834 0 0 0 153 8 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140219813218832 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18889] ppid=18881 vsize=27739612 CPUtime=1.62 cores=0-7
/proc/18884/task/18889/stat : 18889 (java) S 18881 18884 31529 0 -1 1077944384 13170 0 0 0 152 10 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140219812166032 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18890] ppid=18881 vsize=27739612 CPUtime=1.6 cores=0-7
/proc/18884/task/18890/stat : 18890 (java) S 18881 18884 31529 0 -1 1077944384 9483 0 0 0 151 9 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140219811113232 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18891] ppid=18881 vsize=27739612 CPUtime=1.62 cores=0-7
/proc/18884/task/18891/stat : 18891 (java) S 18881 18884 31529 0 -1 1077944384 9498 0 0 0 154 8 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140219810061456 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18892] ppid=18881 vsize=27739612 CPUtime=1.61 cores=0-7
/proc/18884/task/18892/stat : 18892 (java) S 18881 18884 31529 0 -1 1077944384 10438 0 0 0 154 7 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140219809008656 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18893] ppid=18881 vsize=27739612 CPUtime=1.63 cores=0-7
/proc/18884/task/18893/stat : 18893 (java) S 18881 18884 31529 0 -1 1077944384 8734 0 0 0 154 9 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140219807955856 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18894] ppid=18881 vsize=27739612 CPUtime=1.59 cores=0-7
/proc/18884/task/18894/stat : 18894 (java) S 18881 18884 31529 0 -1 1077944384 7713 0 0 0 151 8 0 0 20 0 46 0 16999096 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140219806903056 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18895] ppid=18881 vsize=27739612 CPUtime=0.43 cores=0-7
/proc/18884/task/18895/stat : 18895 (java) S 18881 18884 31529 0 -1 1077944384 23053 0 0 0 36 7 0 0 20 0 46 0 16999097 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218595244400 140220251200130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18896] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18896/stat : 18896 (java) S 18881 18884 31529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 16999098 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218594190432 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18897] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18897/stat : 18897 (java) S 18881 18884 31529 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 46 0 16999098 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218593137536 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18898] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18898/stat : 18898 (java) S 18881 18884 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16999101 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218592085840 140220251207579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18899] ppid=18881 vsize=27739612 CPUtime=1.89 cores=0-7
/proc/18884/task/18899/stat : 18899 (java) S 18881 18884 31529 0 -1 1077944384 8169 0 0 0 187 2 0 0 20 0 46 0 16999101 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218591034224 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18900] ppid=18881 vsize=27739612 CPUtime=2.03 cores=0-7
/proc/18884/task/18900/stat : 18900 (java) S 18881 18884 31529 0 -1 1077944384 8542 0 0 0 201 2 0 0 20 0 46 0 16999101 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218589981424 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18901] ppid=18881 vsize=27739612 CPUtime=1.71 cores=0-7
/proc/18884/task/18901/stat : 18901 (java) S 18881 18884 31529 0 -1 1077944384 6800 0 0 0 170 1 0 0 20 0 46 0 16999101 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218588928624 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18902] ppid=18881 vsize=27739612 CPUtime=1.06 cores=0-7
/proc/18884/task/18902/stat : 18902 (java) S 18881 18884 31529 0 -1 1077944384 17153 0 0 0 104 2 0 0 20 0 46 0 16999101 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218587875824 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18903] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18903/stat : 18903 (java) S 18881 18884 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16999101 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218586823264 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18904] ppid=18881 vsize=27739612 CPUtime=0.08 cores=0-7
/proc/18884/task/18904/stat : 18904 (java) S 18881 18884 31529 0 -1 1077944384 2234 0 0 0 4 4 0 0 20 0 46 0 16999106 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218585770544 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18905] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18905/stat : 18905 (java) S 18881 18884 31529 0 -1 1077944384 704 0 0 0 0 0 0 0 20 0 46 0 16999520 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218575483552 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18906] ppid=18881 vsize=27739612 CPUtime=0.73 cores=0-7
/proc/18884/task/18906/stat : 18906 (java) S 18881 18884 31529 0 -1 1077944384 6319 0 0 0 35 38 0 0 20 0 46 0 16999532 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218572333744 140220251200130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18907] ppid=18881 vsize=27739612 CPUtime=237.43 cores=0-7
/proc/18884/task/18907/stat : 18907 (java) R 18881 18884 31529 0 -1 4202560 11840 0 0 0 23729 14 0 0 20 0 46 0 16999541 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218569178904 140219904179181 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18908] ppid=18881 vsize=27739612 CPUtime=236.35 cores=0-7
/proc/18884/task/18908/stat : 18908 (java) R 18881 18884 31529 0 -1 4202560 14762 0 0 0 23622 13 0 0 20 0 46 0 16999542 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218568128320 140219899856756 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18909] ppid=18881 vsize=27739612 CPUtime=236.38 cores=0-7
/proc/18884/task/18909/stat : 18909 (java) R 18881 18884 31529 0 -1 4202560 10972 0 0 0 23623 15 0 0 20 0 46 0 16999543 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218567072792 140219904177613 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18910] ppid=18881 vsize=27739612 CPUtime=236.58 cores=0-7
/proc/18884/task/18910/stat : 18910 (java) R 18881 18884 31529 0 -1 4202560 10827 0 0 0 23644 14 0 0 20 0 46 0 16999546 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218566020368 140219894880577 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18911] ppid=18881 vsize=27739612 CPUtime=0.08 cores=0-7
/proc/18884/task/18911/stat : 18911 (java) S 18881 18884 31529 0 -1 1077944384 108 0 0 0 8 0 0 0 20 0 46 0 16999546 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218564973840 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18912] ppid=18881 vsize=27739612 CPUtime=237.05 cores=0-7
/proc/18884/task/18912/stat : 18912 (java) R 18881 18884 31529 0 -1 4202560 10727 0 0 0 23691 14 0 0 20 0 46 0 16999546 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218563914560 140219904183415 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18913] ppid=18881 vsize=27739612 CPUtime=237.41 cores=0-7
/proc/18884/task/18913/stat : 18913 (java) R 18881 18884 31529 0 -1 4202560 9517 0 0 0 23729 12 0 0 20 0 46 0 16999546 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218562862272 140219900748029 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18914] ppid=18881 vsize=27739612 CPUtime=0.07 cores=0-7
/proc/18884/task/18914/stat : 18914 (java) S 18881 18884 31529 0 -1 1077944384 410 0 0 0 7 0 0 0 20 0 46 0 16999546 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218561815440 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18915] ppid=18881 vsize=27739612 CPUtime=236.32 cores=0-7
/proc/18884/task/18915/stat : 18915 (java) R 18881 18884 31529 0 -1 4202560 10257 0 0 0 23618 14 0 0 20 0 46 0 16999546 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218560757640 140219904179499 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18916] ppid=18881 vsize=27739612 CPUtime=236.8 cores=0-7
/proc/18884/task/18916/stat : 18916 (java) R 18881 18884 31529 0 -1 4202560 10959 0 0 0 23666 14 0 0 20 0 46 0 16999547 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218559705144 140219904177375 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18917] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18917/stat : 18917 (java) S 18881 18884 31529 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 46 0 16999561 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218558658064 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18918] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18918/stat : 18918 (java) S 18881 18884 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 16999561 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218557605264 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18919] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18919/stat : 18919 (java) S 18881 18884 31529 0 -1 1077944384 858 0 0 0 0 0 0 0 20 0 46 0 16999570 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218554418448 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18920] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18920/stat : 18920 (java) S 18881 18884 31529 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 46 0 16999573 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218553365648 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18921] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18921/stat : 18921 (java) S 18881 18884 31529 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 46 0 16999574 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218552312848 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18922] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18922/stat : 18922 (java) S 18881 18884 31529 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 16999574 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218551260048 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18923] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18923/stat : 18923 (java) S 18881 18884 31529 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 46 0 16999574 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218550208272 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18924] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18924/stat : 18924 (java) S 18881 18884 31529 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 46 0 16999575 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218549155472 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18925] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18925/stat : 18925 (java) S 18881 18884 31529 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 46 0 16999577 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218548102672 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18926] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18926/stat : 18926 (java) S 18881 18884 31529 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 16999580 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218547049872 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18927] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18927/stat : 18927 (java) S 18881 18884 31529 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 46 0 16999605 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218545997072 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18928] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18928/stat : 18928 (java) S 18881 18884 31529 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 16999606 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218544944272 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18929] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18929/stat : 18929 (java) S 18881 18884 31529 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 46 0 16999612 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218543891472 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
[pid=18884/tid=18943] ppid=18881 vsize=27739612 CPUtime=0 cores=0-7
/proc/18884/task/18943/stat : 18943 (java) S 18881 18884 31529 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 17013069 28405362688 587632 18446744073709551615 4194304 4196468 140734856941424 140218542838672 140220251199189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140734856946063 140734856946248 140734856946248 140734856949711 0
Current children cumulated CPU time (s) 1920.02
Current children cumulated vsize (KiB) 27739612

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

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

Child status: 143
Real time (s): 245.301
CPU time (s): 1920.65
CPU user time (s): 1918.54
CPU system time (s): 2.11186
CPU usage (%): 782.978
Max. virtual memory (cumulated for all children) (KiB): 27739612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1918.54
system time used= 2.11186
maximum resident set size= 2353100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56350
involuntary context switches= 40040

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15512 second user time and 2.67787 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 4257356

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