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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-07-26	SAT (TO)	1332	19900.699	2520.1201

0.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 1788168926
0.30/0.25	c timeout: 20160
0.30/0.26	c memlimit: 11000
0.30/0.26	c nbcore: 8
0.30/0.28	c Parsing instance...
1.58/0.79	c Parsing done, starting search...
9.41/4.78	o 2164
9.41/4.79	o 2085
9.41/4.79	o 1848
10.19/4.80	o 1845
10.19/4.87	o 1801
10.19/4.88	o 1755
10.92/4.91	o 1737
10.92/4.93	o 1706
10.92/4.94	o 1646
10.92/4.96	o 1635
10.92/4.97	o 1617
17.22/5.72	o 1596
19.65/6.09	o 1593
51.48/10.07	o 1585
52.28/10.12	o 1549
54.60/10.42	o 1539
55.39/10.52	o 1524
61.76/11.40	o 1518
62.56/11.49	o 1503
85.66/14.37	o 1499
147.92/22.17	o 1495
287.29/39.60	o 1494
300.04/41.25	o 1493
301.63/41.45	o 1490
467.14/62.20	o 1486
467.14/62.29	o 1479
479.82/63.86	o 1478
1017.14/131.75	o 1467
1017.93/131.84	o 1463
1017.93/131.86	o 1460
1017.93/131.86	o 1435
1017.93/131.87	o 1432
1017.93/131.89	o 1427
1017.93/131.90	o 1424
1050.33/135.93	o 1413
1095.48/141.63	o 1407
1095.48/141.68	o 1400
1284.02/165.44	o 1391
1285.63/165.61	o 1374
1310.95/168.88	o 1373
1312.60/169.06	o 1356
2000.63/255.93	o 1346
2083.38/266.49	o 1342
5999.60/761.63	o 1332
19899.95/2520.08	s SATISFIABLE
19899.95/2520.09	v <instantiation>
19899.95/2520.09	v 	<list>
19899.95/2520.09	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]
19899.95/2520.09	v 	</list>
19899.95/2520.09	v 	<values>
19899.95/2520.09	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 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 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 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 7 93 55 40 100 57 80 100 81 100 48 56 9 100 35 16 87 57 59 100 86 59 63 100 45 29 53 68 38 20 77 71 83 82 79 
19899.95/2520.09	v 	</values>
19899.95/2520.09	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 (13447 MiB free)
  memory of node 1: 16384 MiB (14562 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275241-1502712532/watcher-4275241-1502712532 -o /tmp/evaluation-result-4275241-1502712532/solver-4275241-1502712532 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502706629-25210 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1788168926 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275241-1502712532.xml 

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

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

solver pid=25554, runsolver pid=25551

[startup+0.100128 s]*
/proc/loadavg: 8.60 8.72 8.31 2/199 25574
/proc/meminfo: memFree=28663648/32770624 swapFree=67108860/67108860
[pid=25554] ppid=25551 vsize=14325320 memory=35496 CPUtime=0.12 cores=0-7
/proc/25554/stat : 25554 (java) S 25551 25554 25183 0 -1 1077944320 8259 0 0 0 10 2 0 0 20 0 20 0 104334073 14669127680 8874 33554432000 4194304 4196468 140733916526960 140733916509504 139755704647415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
/proc/25554/statm: 3581330 8874 3407 1 0 3569050 0
[pid=25554/tid=25556] ppid=25551 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) R 25551 25554 25183 0 -1 4202560 6198 0 0 0 8 1 0 0 20 0 20 0 104334073 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755708844368 139755688727902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25557] ppid=25551 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755619715984 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25558] ppid=25551 vsize=14325320 memory=140575800338048 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755299793680 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25559] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755298741392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25560] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755297688592 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25561] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755296635280 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25562] ppid=25551 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755295582480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25563] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755294530192 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25564] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 8874 33554432000 4194304 4196468 140733916526960 139755293477392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25565] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334076 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754894260848 139755704658562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25566] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25551 25554 25183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104334076 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754893206816 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25567] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25551 25554 25183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104334076 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754892154480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25568] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754891102800 139755704666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25569] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25551 25554 25183 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754890049648 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25570] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754888996848 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25571] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754887944560 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25572] ppid=25551 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) R 25551 25554 25183 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 20 0 104334079 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754886891760 139755704668762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25573] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754885839712 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25574] ppid=25551 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25574/stat : 25574 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 8874 33554432000 4194304 4196468 140733916526960 139754884786992 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 35496 KiB

[startup+0.210221 s]*
/proc/loadavg: 8.60 8.72 8.31 3/199 25574
/proc/meminfo: memFree=28653412/32770624 swapFree=67108860/67108860
[pid=25554] ppid=25551 vsize=14325320 memory=44388 CPUtime=0.3 cores=0-7
/proc/25554/stat : 25554 (java) S 25551 25554 25183 0 -1 1077944320 9269 0 0 0 27 3 0 0 20 0 20 0 104334073 14669127680 11097 33554432000 4194304 4196468 140733916526960 140733916509504 139755704647415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
/proc/25554/statm: 3581330 11097 3589 1 0 3569050 0
[pid=25554/tid=25556] ppid=25551 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) R 25551 25554 25183 0 -1 4202560 6833 0 0 0 17 2 0 0 20 0 20 0 104334073 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755708874672 139755688727902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25557] ppid=25551 vsize=14325320 memory=3221 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755619715984 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25558] ppid=25551 vsize=14325320 memory=3544530877028017824 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755299793680 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25559] ppid=25551 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755298741392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25560] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755297688592 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25561] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755296635280 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25562] ppid=25551 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755295582480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25563] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755294530192 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25564] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669127680 11097 33554432000 4194304 4196468 140733916526960 139755293477392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25565] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25551 25554 25183 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104334076 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754894260848 139755704658562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25566] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25551 25554 25183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104334076 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754893206816 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25567] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25551 25554 25183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104334076 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754892154480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25568] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754891102800 139755704666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25569] ppid=25551 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25551 25554 25183 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 104334079 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754890049648 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25570] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25551 25554 25183 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754888996848 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25571] ppid=25551 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25551 25554 25183 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 104334079 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754887944560 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25572] ppid=25551 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25551 25554 25183 0 -1 1077944384 381 0 0 0 5 0 0 0 20 0 20 0 104334079 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754886891760 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25573] ppid=25551 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754885839712 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25574] ppid=25551 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25574/stat : 25574 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334079 14669127680 11097 33554432000 4194304 4196468 140733916526960 139754884786992 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 44388 KiB

[startup+0.309735 s]*
/proc/loadavg: 8.60 8.72 8.31 3/199 25574
/proc/meminfo: memFree=28646340/32770624 swapFree=67108860/67108860
[pid=25554] ppid=25551 vsize=14325340 memory=52396 CPUtime=0.47 cores=0-7
/proc/25554/stat : 25554 (java) S 25551 25554 25183 0 -1 1077944320 10390 0 0 0 44 3 0 0 20 0 20 0 104334073 14669148160 13099 33554432000 4194304 4196468 140733916526960 140733916509504 139755704647415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
/proc/25554/statm: 3581335 13099 3709 1 0 3569050 0
[pid=25554/tid=25556] ppid=25551 vsize=14325340 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) R 25551 25554 25183 0 -1 4202560 7526 0 0 0 26 2 0 0 20 0 20 0 104334073 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755708873008 139755688691045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25557] ppid=25551 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755619715984 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25558] ppid=25551 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755299793680 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25559] ppid=25551 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755298741392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25560] ppid=25551 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755297688592 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25561] ppid=25551 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755296635280 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25562] ppid=25551 vsize=14325340 memory=140575688979375 CPUtime=0 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755295582480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25563] ppid=25551 vsize=14325340 memory=140575688981680 CPUtime=0 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755294530192 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25564] ppid=25551 vsize=14325340 memory=140575688983984 CPUtime=0 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14669148160 13099 33554432000 4194304 4196468 140733916526960 139755293477392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25565] ppid=25551 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25551 25554 25183 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104334076 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754894260848 139755704658562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25566] ppid=25551 vsize=14325340 memory=281151377974928 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25551 25554 25183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104334076 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754893206816 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25567] ppid=25551 vsize=14325340 memory=281151377981840 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25551 25554 25183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104334076 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754892154480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25568] ppid=25551 vsize=14325340 memory=281151377923120 CPUtime=0 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334079 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754891102800 139755704666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25569] ppid=25551 vsize=14325340 memory=281151377995664 CPUtime=0.02 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25551 25554 25183 0 -1 1077944384 596 0 0 0 2 0 0 0 20 0 20 0 104334079 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754890049648 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25570] ppid=25551 vsize=14325340 memory=281151378002576 CPUtime=0.04 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25551 25554 25183 0 -1 1077944384 229 0 0 0 4 0 0 0 20 0 20 0 104334079 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754888996848 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25571] ppid=25551 vsize=14325340 memory=281151378000272 CPUtime=0.02 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25551 25554 25183 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 20 0 104334079 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754887944560 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25572] ppid=25551 vsize=14325340 memory=281151378016880 CPUtime=0.08 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25551 25554 25183 0 -1 1077944384 461 0 0 0 8 0 0 0 20 0 20 0 104334079 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754886891760 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25573] ppid=25551 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334079 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754885839712 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25574] ppid=25551 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25574/stat : 25574 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334079 14669148160 13099 33554432000 4194304 4196468 140733916526960 139754884786992 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 52396 KiB

[startup+0.70087 s]
/proc/loadavg: 8.60 8.72 8.31 3/199 25574
/proc/meminfo: memFree=28631576/32770624 swapFree=67108860/67108860
[pid=25554] ppid=25551 vsize=14327388 memory=90080 CPUtime=1.58 cores=0-7
/proc/25554/stat : 25554 (java) S 25551 25554 25183 0 -1 1077944320 14547 0 0 0 152 6 0 0 20 0 20 0 104334073 14671245312 22520 33554432000 4194304 4196468 140733916526960 140733916509504 139755704647415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
/proc/25554/statm: 3581847 22520 3776 1 0 3569562 0
[pid=25554/tid=25556] ppid=25551 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) R 25551 25554 25183 0 -1 4202560 8532 0 0 0 63 4 0 0 20 0 20 0 104334073 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755708866640 139755661252656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25557] ppid=25551 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755619715984 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25558] ppid=25551 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755299793680 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25559] ppid=25551 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755298741392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25560] ppid=25551 vsize=14327388 memory=1944 CPUtime=0 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755297688592 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25561] ppid=25551 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755296635280 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25562] ppid=25551 vsize=14327388 memory=1424 CPUtime=0 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755295582480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25563] ppid=25551 vsize=14327388 memory=8556 CPUtime=0 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755294530192 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25564] ppid=25551 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25551 25554 25183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104334074 14671245312 22520 33554432000 4194304 4196468 140733916526960 139755293477392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25565] ppid=25551 vsize=14327388 memory=4052 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25551 25554 25183 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104334076 14671245312 22520 33554432000 4194304 4196468 140733916526960 139754894260848 139755704658562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0

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

/proc/25554/task/25580/stat : 25580 (java) R 25551 25554 25183 0 -1 4202560 81986 0 0 0 244912 81 0 0 20 0 46 0 104334524 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754302830976 139755307606261 0 4 0 16800975 0 0 0 -1 2 0 0 56 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25581] ppid=25551 vsize=16068328 memory=0 CPUtime=0.11 cores=0-7
/proc/25554/task/25581/stat : 25581 (java) S 25551 25554 25183 0 -1 1077944384 283 0 0 0 11 0 0 0 20 0 46 0 104334524 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754301785488 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25582] ppid=25551 vsize=16068328 memory=93 CPUtime=2450.39 cores=0-7
/proc/25554/task/25582/stat : 25582 (java) R 25551 25554 25183 0 -1 4202560 81495 0 0 0 244955 84 0 0 20 0 46 0 104334525 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754300726016 139755306232478 0 4 0 16800975 0 0 0 -1 0 0 0 59 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25583] ppid=25551 vsize=16068328 memory=6944656592387989600 CPUtime=2452.35 cores=0-7
/proc/25554/task/25583/stat : 25583 (java) R 25551 25554 25183 0 -1 4202560 80551 0 0 0 245150 85 0 0 20 0 46 0 104334525 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754299674512 139755306232425 0 4 0 16800975 0 0 0 -1 6 0 0 53 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25584] ppid=25551 vsize=16068328 memory=6944656575208382560 CPUtime=2452.58 cores=0-7
/proc/25554/task/25584/stat : 25584 (java) R 25551 25554 25183 0 -1 4202560 83651 0 0 0 245170 88 0 0 20 0 46 0 104334525 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754298621064 139755306238138 0 4 0 16800975 0 0 0 -1 7 0 0 53 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25585] ppid=25551 vsize=16068328 memory=5571041044932483173 CPUtime=2451.54 cores=0-7
/proc/25554/task/25585/stat : 25585 (java) R 25551 25554 25183 0 -1 4202560 80751 0 0 0 245066 88 0 0 20 0 46 0 104334525 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754297568320 139755306238143 0 4 0 16800975 0 0 0 -1 1 0 0 59 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25586] ppid=25551 vsize=16068328 memory=4612 CPUtime=0 cores=0-7
/proc/25554/task/25586/stat : 25586 (java) S 25551 25554 25183 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 46 0 104334525 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754296521616 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25587] ppid=25551 vsize=16068328 memory=1008 CPUtime=0 cores=0-7
/proc/25554/task/25587/stat : 25587 (java) S 25551 25554 25183 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 46 0 104334526 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754295469328 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25588] ppid=25551 vsize=16068328 memory=0 CPUtime=2452.35 cores=0-7
/proc/25554/task/25588/stat : 25588 (java) R 25551 25554 25183 0 -1 4202560 78262 0 0 0 245154 81 0 0 20 0 46 0 104334541 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754294409616 139755300927338 0 4 0 16800975 0 0 0 -1 5 0 0 62 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25589] ppid=25551 vsize=16068328 memory=1331020 CPUtime=0 cores=0-7
/proc/25554/task/25589/stat : 25589 (java) S 25551 25554 25183 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754293364112 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25590] ppid=25551 vsize=16068328 memory=932 CPUtime=0 cores=0-7
/proc/25554/task/25590/stat : 25590 (java) S 25551 25554 25183 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754292311312 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25591] ppid=25551 vsize=16068328 memory=1580 CPUtime=0 cores=0-7
/proc/25554/task/25591/stat : 25591 (java) S 25551 25554 25183 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754291259024 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25592] ppid=25551 vsize=16068328 memory=2244 CPUtime=0 cores=0-7
/proc/25554/task/25592/stat : 25592 (java) S 25551 25554 25183 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754290206352 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25593] ppid=25551 vsize=16068328 memory=4132 CPUtime=0 cores=0-7
/proc/25554/task/25593/stat : 25593 (java) S 25551 25554 25183 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754289152912 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25594] ppid=25551 vsize=16068328 memory=2204 CPUtime=0 cores=0-7
/proc/25554/task/25594/stat : 25594 (java) S 25551 25554 25183 0 -1 1077944384 686 0 0 0 0 0 0 0 20 0 46 0 104334553 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754285966224 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25595] ppid=25551 vsize=16068328 memory=1292 CPUtime=0 cores=0-7
/proc/25554/task/25595/stat : 25595 (java) S 25551 25554 25183 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 46 0 104334554 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754284913936 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25596] ppid=25551 vsize=16068328 memory=2428 CPUtime=0 cores=0-7
/proc/25554/task/25596/stat : 25596 (java) S 25551 25554 25183 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 104334560 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754283861136 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25598] ppid=25551 vsize=16068328 memory=1728 CPUtime=0 cores=0-7
/proc/25554/task/25598/stat : 25598 (java) S 25551 25554 25183 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 46 0 104347259 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754282808720 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25599] ppid=25551 vsize=16068328 memory=792 CPUtime=0 cores=0-7
/proc/25554/task/25599/stat : 25599 (java) S 25551 25554 25183 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 46 0 104347261 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754281755920 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25600] ppid=25551 vsize=16068328 memory=9992 CPUtime=0 cores=0-7
/proc/25554/task/25600/stat : 25600 (java) S 25551 25554 25183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 46 0 104347268 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754280703632 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25601] ppid=25551 vsize=16068328 memory=1224 CPUtime=0 cores=0-7
/proc/25554/task/25601/stat : 25601 (java) S 25551 25554 25183 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 46 0 104347271 16453967872 332498 33554432000 4194304 4196468 140733916526960 139754279650832 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
Current children cumulated CPU time: 19760.1 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1329992 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.52 8.81 8.80 10/224 25658
/proc/meminfo: memFree=27371936/32770624 swapFree=67108860/67108860
[pid=25554] ppid=25551 vsize=16068328 memory=1312036 CPUtime=19899.9 cores=0-7
/proc/25554/stat : 25554 (java) S 25551 25554 25183 0 -1 1077944320 2058247 0 0 0 1988592 1403 0 0 20 0 46 0 104334073 16453967872 328009 33554432000 4194304 4196468 140733916526960 140733916509504 139755704647415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
/proc/25554/statm: 4017082 328009 3865 1 0 4004276 0
[pid=25554/tid=25556] ppid=25551 vsize=16068328 memory=1398720917958146503 CPUtime=4.44 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) S 25551 25554 25183 0 -1 1077944384 14004 0 0 0 437 7 0 0 20 0 46 0 104334073 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755708885120 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25557] ppid=25551 vsize=16068328 memory=4872558044660077418 CPUtime=15.03 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25551 25554 25183 0 -1 1077944384 134763 0 0 0 1425 78 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755619715984 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25558] ppid=25551 vsize=16068328 memory=1292 CPUtime=15.04 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25551 25554 25183 0 -1 1077944384 130422 0 0 0 1425 79 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755299793680 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25559] ppid=25551 vsize=16068328 memory=2428 CPUtime=15.01 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25551 25554 25183 0 -1 1077944384 136568 0 0 0 1424 77 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755298741392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25560] ppid=25551 vsize=16068328 memory=1728 CPUtime=15.05 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25551 25554 25183 0 -1 1077944384 124438 0 0 0 1428 77 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755297688592 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25561] ppid=25551 vsize=16068328 memory=792 CPUtime=14.93 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25551 25554 25183 0 -1 1077944384 125283 0 0 0 1418 75 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755296635280 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25562] ppid=25551 vsize=16068328 memory=9992 CPUtime=15.03 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25551 25554 25183 0 -1 1077944384 128312 0 0 0 1425 78 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755295582480 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25563] ppid=25551 vsize=16068328 memory=1224 CPUtime=15.05 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25551 25554 25183 0 -1 1077944384 118145 0 0 0 1431 74 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755294530192 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25564] ppid=25551 vsize=16068328 memory=5716 CPUtime=15.03 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25551 25554 25183 0 -1 1077944384 131530 0 0 0 1428 75 0 0 20 0 46 0 104334074 16453967872 328009 33554432000 4194304 4196468 140733916526960 139755293477392 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25565] ppid=25551 vsize=16068328 memory=1720 CPUtime=10.73 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25551 25554 25183 0 -1 1077944384 262192 0 0 0 934 139 0 0 20 0 46 0 104334076 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754894260848 139755704658562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25566] ppid=25551 vsize=16068328 memory=4612 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25551 25554 25183 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 46 0 104334076 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754893206880 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25567] ppid=25551 vsize=16068328 memory=1008 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25551 25554 25183 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 46 0 104334076 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754892154496 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25568] ppid=25551 vsize=16068328 memory=1944 CPUtime=0 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25551 25554 25183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 104334079 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754891102800 139755704666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25569] ppid=25551 vsize=16068328 memory=932 CPUtime=1.92 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25551 25554 25183 0 -1 1077944384 8378 0 0 0 191 1 0 0 20 0 46 0 104334079 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754890049648 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25570] ppid=25551 vsize=16068328 memory=1580 CPUtime=1.9 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25551 25554 25183 0 -1 1077944384 8114 0 0 0 188 2 0 0 20 0 46 0 104334079 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754888996848 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25571] ppid=25551 vsize=16068328 memory=2244 CPUtime=1.87 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25551 25554 25183 0 -1 1077944384 10914 0 0 0 185 2 0 0 20 0 46 0 104334079 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754887944560 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25572] ppid=25551 vsize=16068328 memory=4132 CPUtime=1.07 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25551 25554 25183 0 -1 1077944384 21736 0 0 0 103 4 0 0 20 0 46 0 104334079 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754886891760 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25573] ppid=25551 vsize=16068328 memory=2204 CPUtime=0 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25551 25554 25183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 104334079 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754885839712 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25574] ppid=25551 vsize=16068328 memory=7280 CPUtime=0.96 cores=0-7
/proc/25554/task/25574/stat : 25574 (java) S 25551 25554 25183 0 -1 1077944384 13057 0 0 0 47 49 0 0 20 0 46 0 104334079 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754884786992 139755704658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25575] ppid=25551 vsize=16068328 memory=844 CPUtime=0 cores=0-7
/proc/25554/task/25575/stat : 25575 (java) S 25551 25554 25183 0 -1 1077944384 1066 0 0 0 0 0 0 0 20 0 46 0 104334500 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754312295840 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25576] ppid=25551 vsize=16068328 memory=1692 CPUtime=5.05 cores=0-7
/proc/25554/task/25576/stat : 25576 (java) R 25551 25554 25183 0 -1 1077944384 26229 0 0 0 220 285 0 0 20 0 46 0 104334511 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754309146144 139755704658562 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25577] ppid=25551 vsize=16068328 memory=916 CPUtime=0.12 cores=0-7
/proc/25554/task/25577/stat : 25577 (java) S 25551 25554 25183 0 -1 1077944384 210 0 0 0 12 0 0 0 20 0 46 0 104334521 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754305995584 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25578] ppid=25551 vsize=16068328 memory=5784 CPUtime=2468.92 cores=0-7
/proc/25554/task/25578/stat : 25578 (java) R 25551 25554 25183 0 -1 4202560 87931 0 0 0 246805 87 0 0 20 0 46 0 104334522 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754304936840 139755310174371 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25579] ppid=25551 vsize=16068328 memory=1152 CPUtime=2469.09 cores=0-7
/proc/25554/task/25579/stat : 25579 (java) R 25551 25554 25183 0 -1 4202560 78728 0 0 0 246826 83 0 0 20 0 46 0 104334522 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754303886880 139755306235389 0 4 0 16800975 0 0 0 -1 3 0 0 59 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25580] ppid=25551 vsize=16068328 memory=4640 CPUtime=2467.35 cores=0-7
/proc/25554/task/25580/stat : 25580 (java) R 25551 25554 25183 0 -1 4202560 82667 0 0 0 246653 82 0 0 20 0 46 0 104334524 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754302831752 139755306232216 0 4 0 16800975 0 0 0 -1 6 0 0 57 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25581] ppid=25551 vsize=16068328 memory=1315116 CPUtime=0.11 cores=0-7
/proc/25554/task/25581/stat : 25581 (java) S 25551 25554 25183 0 -1 1077944384 283 0 0 0 11 0 0 0 20 0 46 0 104334524 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754301785488 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25582] ppid=25551 vsize=16068328 memory=4108 CPUtime=2467.77 cores=0-7
/proc/25554/task/25582/stat : 25582 (java) R 25551 25554 25183 0 -1 4202560 82131 0 0 0 246693 84 0 0 20 0 46 0 104334525 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754300726664 139755306234626 0 4 0 16800975 0 0 0 -1 7 0 0 60 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25583] ppid=25551 vsize=16068328 memory=1315116 CPUtime=2469.77 cores=0-7
/proc/25554/task/25583/stat : 25583 (java) R 25551 25554 25183 0 -1 4202560 81255 0 0 0 246892 85 0 0 20 0 46 0 104334525 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754299674240 139755306232578 0 4 0 16800975 0 0 0 -1 2 0 0 55 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25584] ppid=25551 vsize=16068328 memory=1317168 CPUtime=2469.87 cores=0-7
/proc/25554/task/25584/stat : 25584 (java) R 25551 25554 25183 0 -1 4202560 84416 0 0 0 246899 88 0 0 20 0 46 0 104334525 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754298620888 139755302667648 0 4 0 16800975 0 0 0 -1 1 0 0 56 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25585] ppid=25551 vsize=16068328 memory=1398152 CPUtime=2468.86 cores=0-7
/proc/25554/task/25585/stat : 25585 (java) R 25551 25554 25183 0 -1 4202560 81550 0 0 0 246798 88 0 0 20 0 46 0 104334525 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754297567896 139755308246378 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25586] ppid=25551 vsize=16068328 memory=4108 CPUtime=0 cores=0-7
/proc/25554/task/25586/stat : 25586 (java) S 25551 25554 25183 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 46 0 104334525 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754296521616 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25587] ppid=25551 vsize=16068328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25554/task/25587/stat : 25587 (java) S 25551 25554 25183 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 46 0 104334526 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754295469328 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25588] ppid=25551 vsize=16068328 memory=4612 CPUtime=2469.7 cores=0-7
/proc/25554/task/25588/stat : 25588 (java) R 25551 25554 25183 0 -1 4202560 79148 0 0 0 246888 82 0 0 20 0 46 0 104334541 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754294409488 139755306234161 0 4 0 16800975 0 0 0 -1 4 0 0 63 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25589] ppid=25551 vsize=16068328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25554/task/25589/stat : 25589 (java) S 25551 25554 25183 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754293364112 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25590] ppid=25551 vsize=16068328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25554/task/25590/stat : 25590 (java) S 25551 25554 25183 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754292311312 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25591] ppid=25551 vsize=16068328 memory=30064 CPUtime=0 cores=0-7
/proc/25554/task/25591/stat : 25591 (java) S 25551 25554 25183 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754291259024 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25592] ppid=25551 vsize=16068328 memory=1292 CPUtime=0 cores=0-7
/proc/25554/task/25592/stat : 25592 (java) S 25551 25554 25183 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754290206352 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25593] ppid=25551 vsize=16068328 memory=1385908 CPUtime=0 cores=0-7
/proc/25554/task/25593/stat : 25593 (java) S 25551 25554 25183 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 46 0 104334541 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754289152912 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25594] ppid=25551 vsize=16068328 memory=1387448 CPUtime=0 cores=0-7
/proc/25554/task/25594/stat : 25594 (java) S 25551 25554 25183 0 -1 1077944384 686 0 0 0 0 0 0 0 20 0 46 0 104334553 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754285966224 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25595] ppid=25551 vsize=16068328 memory=792 CPUtime=0 cores=0-7
/proc/25554/task/25595/stat : 25595 (java) S 25551 25554 25183 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 46 0 104334554 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754284913936 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25596] ppid=25551 vsize=16068328 memory=9992 CPUtime=0 cores=0-7
/proc/25554/task/25596/stat : 25596 (java) S 25551 25554 25183 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 104334560 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754283861136 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25598] ppid=25551 vsize=16068328 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/25554/task/25598/stat : 25598 (java) S 25551 25554 25183 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 46 0 104347259 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754282808720 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25599] ppid=25551 vsize=16068328 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25554/task/25599/stat : 25599 (java) S 25551 25554 25183 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 46 0 104347261 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754281755920 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25600] ppid=25551 vsize=16068328 memory=14692993764428351 CPUtime=0 cores=0-7
/proc/25554/task/25600/stat : 25600 (java) S 25551 25554 25183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 46 0 104347268 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754280703632 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
[pid=25554/tid=25601] ppid=25551 vsize=16068328 memory=14692993764428351 CPUtime=0 cores=0-7
/proc/25554/task/25601/stat : 25601 (java) S 25551 25554 25183 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 46 0 104347271 16453967872 328009 33554432000 4194304 4196468 140733916526960 139754279650832 139755704657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733916533857 140733916534043 140733916534043 140733916536783 0
Current children cumulated CPU time: 19899.9 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1312036 KiB

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

[startup+2520.12 s]
# the end of solver process 25554 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19886.7 s, system=14.0402 s

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 19900.7
CPU user time (s): 19886.7
CPU system time (s): 14.0402
CPU usage (%): 789.674
Max. virtual memory (cumulated for all children) (KiB): 16068328
Max. memory (cumulated for all children) (KiB): 2569688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19886.7
system time used= 14.0402
maximum resident set size= 2569688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2058917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 817960
involuntary context switches= 428041


# summary of solver processes directly reported to runsolver:
#   pid: 25554
#   total CPU time (s): 19900.7
#   total CPU user time (s): 19886.7
#   total CPU system time (s): 14.0402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.478 second user time and 36.2729 second system time

The end

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

Trace number 4275241

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