2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	9929	2520.05	2466.03

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 507005932
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.58	c Parsing instance...
6.36/2.48	c Parsing done, starting search...
7.01/2.60	o 10870
7.01/2.66	o 10846
7.01/2.66	o 10640
7.01/2.67	o 10626
7.01/2.67	o 10614
7.01/2.67	o 10555
7.01/2.67	o 10527
7.01/2.68	o 10520
7.33/2.74	o 10514
7.33/2.75	o 10502
7.33/2.75	o 10478
7.33/2.75	o 10455
7.33/2.76	o 10436
7.33/2.77	o 10427
7.69/2.87	o 10413
7.69/2.88	o 10404
7.97/2.97	o 10398
9.16/3.33	o 10392
9.16/3.33	o 10380
9.16/3.33	o 10374
9.16/3.35	o 10351
20.30/12.53	o 10343
20.30/12.54	o 10293
20.45/12.64	o 10287
20.45/12.65	o 10265
20.45/12.65	o 10237
22.83/14.91	o 10232
24.63/16.71	o 10231
24.63/16.78	o 10228
24.63/16.78	o 10204
24.63/16.78	o 10195
25.25/17.39	o 10190
25.35/17.40	o 10178
25.75/17.85	o 10161
45.28/37.23	o 10148
45.28/37.27	o 10144
45.28/37.27	o 10137
45.28/37.28	o 10109
45.68/37.70	o 10108
48.89/40.83	o 10099
48.99/40.93	o 10094
48.99/40.93	o 10032
138.33/129.62	o 10025
143.84/135.08	o 10012
143.84/135.09	o 9992
145.35/136.55	o 9988
145.56/136.72	o 9982
145.56/136.72	o 9974
145.56/136.73	o 9964
145.56/136.74	o 9946
145.56/136.74	o 9929
2520.02/2466.01	s SATISFIABLE
2520.02/2466.02	v <instantiation>
2520.02/2466.02	v 	<list>
2520.02/2466.02	v 		o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22]
2520.02/2466.02	v 	</list>
2520.02/2466.02	v 	<values>
2520.02/2466.02	v 		7 3 5 8 4 6 6 9 2 10 1 10 1 9 11 5 4 3 2 11 7 8 9 8 10 5 6 7 2 2 3 11 0 9 0 7 6 8 10 4 11 4 3 5 3 11 6 10 5 4 1 1 0 6 7 4 9 8 10 7 11 9 0 8 5 3 2 0 11 4 9 8 10 7 1 4 6 11 5 6 5 10 9 0 8 7 1 2 8 9 7 3 0 2 9 5 7 3 5 2 6 10 8 11 0 1 6 1 10 11 10 10 0 1 2 11 8 4 9 7 4 6 3 11 3 0 8 6 7 9 2 1 11 7 2 11 1 0 0 8 10 2 3 5 4 3 1 9 7 5 4 10 8 9 0 6 4 9 10 1 11 3 4 5 2 8 11 1 9 2 6 8 5 3 0 10 4 1 9 0 11 3 5 6 11 9 10 7 10 2 4 1 5 7 3 2 6 0 1 4 8 7 3 10 4 0 5 8 11 1 2 0 7 6 3 2 10 5 11 6 5 5 1 2 7 9 3 11 6 0 8 0 8 4 2 3 1 11 9 6 4 7 6 2 3 6 8 5 7 10 8 1 9 3 7 5 0 4 2 10 1 0 9 4 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 44 44 0 0 36 18 44 51 49 55 55 0 10 10 55 44 39 34 34 0 0 48 48 0 0 65 65 0 44 44 22 47 32 10 51 43 0 39 31 46 0 64 70 31 40 40 47 66 70 56 50 35 31 22 0 0 56 56 49 68 73 55 0 0 15 15 0 0 0 0 34 55 66 0 68 73 69 14 51 18 47 0 0 41 41 67 67 0 0 32 22 47 21 21 64 14 51 0 55 55 0 0 35 50 56 18 0 70 55 10 31 0 74 74 0 0 51 55 10 40 0 0 35 35 0 0 27 47 66 44 0 42 42 48 79 49 50 0 70 67 59 0 39 39 44 44 75 55 56 0 0 47 47 0 0 27 35 18 31 68 69 0 0 0 79 79 0 67 67 64 35 48 0 0 44 44 56 56 31 81 14 34 55 69 0 46 43 51 48 0 42 27 70 69 73 69 81 0 21 21 0 0 68 47 53 0 0 43 31 55 0 67 67 0 0 81 42 69 105 0 51 44 59 69 49 55 103 0 0 0 51 51 0 55 56 79 103 10 10 0 0 55 48 21 74 69 32 65 0 75 75 0 0 0 0 0 70 31 42 44 0 0 64 64 66 14 67 0 0 58 55 10 55 51 55 70 
2520.02/2466.02	v 	</values>
2520.02/2466.02	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 (12813 MiB free)
  memory of node 1: 16384 MiB (13298 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307851-1534343401/watcher-4307851-1534343401 -o /tmp/evaluation-result-4307851-1534343401/solver-4307851-1534343401 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534335860-32015 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 507005932 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307851-1534343401.xml 

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

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

solver pid=32720, runsolver pid=32717

[startup+0.100119 s]*
/proc/loadavg: 1.91 1.45 1.40 4/202 32736
/proc/meminfo: memFree=26746164/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14082736 memory=32028 CPUtime=0.12 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 6402 0 0 0 10 2 0 0 20 0 15 0 251903263 14420721664 8007 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3520684 8007 3157 1 0 3482761 0
[pid=32720/tid=32722] ppid=32717 vsize=14082736 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 4453 0 0 0 8 1 0 0 20 0 15 0 251903264 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826713730448 139826693596510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826182976544 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826181923696 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) S 32717 32720 28126 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826179820400 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826178767600 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0.01 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) S 32717 32720 28126 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 251903269 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 8007 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32028 KiB

[startup+0.210462 s]*
/proc/loadavg: 1.91 1.45 1.40 5/200 32758
/proc/meminfo: memFree=26879088/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14082736 memory=47820 CPUtime=0.31 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 10060 0 0 0 28 3 0 0 20 0 15 0 251903263 14420721664 11955 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3520684 11955 3364 1 0 3482761 0
[pid=32720/tid=32722] ppid=32717 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 7775 0 0 0 18 2 0 0 20 0 15 0 251903264 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826713744288 139826709537370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14082736 memory=3474723758054049440 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826182976544 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826181923696 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) R 32717 32720 28126 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 15 0 251903269 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826179801416 139826693016406 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) R 32717 32720 28126 0 -1 4202560 229 0 0 0 1 0 0 0 20 0 15 0 251903269 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826178759104 139826709537370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0.05 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) R 32717 32720 28126 0 -1 4202560 299 0 0 0 5 0 0 0 20 0 15 0 251903269 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 11955 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47820 KiB

[startup+0.310921 s]*
/proc/loadavg: 1.91 1.45 1.40 4/215 306
/proc/meminfo: memFree=26856872/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14082736 memory=51144 CPUtime=0.44 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 10424 0 0 0 41 3 0 0 20 0 15 0 251903263 14420721664 12786 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3520684 12786 3367 1 0 3482761 0
[pid=32720/tid=32722] ppid=32717 vsize=14082736 memory=-6517102902069810590 CPUtime=0.3 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 8106 0 0 0 28 2 0 0 20 0 15 0 251903264 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826713727536 139826689791345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14082736 memory=140328929718703 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14082736 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251903264 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14082736 memory=140329087403648 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826182976544 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14082736 memory=280657859428256 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251903266 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826181923696 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) S 32717 32720 28126 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 251903269 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826179820400 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14082736 memory=140328929730911 CPUtime=0.02 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) S 32717 32720 28126 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 251903269 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826178767600 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14082736 memory=140329339306911 CPUtime=0.08 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) S 32717 32720 28126 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 15 0 251903269 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14082736 memory=140329087403647 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903269 14420721664 12786 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51144 KiB

[startup+0.700754 s]
/proc/loadavg: 1.91 1.45 1.40 2/213 306
/proc/meminfo: memFree=26820792/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14084804 memory=89076 CPUtime=0.99 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 17127 0 0 0 94 5 0 0 20 0 15 0 251903263 14422839296 22269 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3521201 22269 3486 1 0 3483273 0
[pid=32720/tid=32722] ppid=32717 vsize=14084804 memory=140329466462623 CPUtime=0.68 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 14453 0 0 0 64 4 0 0 20 0 15 0 251903264 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826713729328 139826693596510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14084804 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14084804 memory=7451042200334651491 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14084804 memory=28865 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903264 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14084804 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251903264 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14084804 memory=16099269136353865 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251903266 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251903266 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826182976544 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251903266 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826181923696 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14084804 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) S 32717 32720 28126 0 -1 1077944384 531 0 0 0 6 0 0 0 20 0 15 0 251903269 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826179820400 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14084804 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) S 32717 32720 28126 0 -1 1077944384 389 0 0 0 9 0 0 0 20 0 15 0 251903269 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826178767600 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) S 32717 32720 28126 0 -1 1077944384 376 0 0 0 14 0 0 0 20 0 15 0 251903269 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251903269 14422839296 22269 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89076 KiB

[startup+1.50831 s]
/proc/loadavg: 1.91 1.45 1.40 7/216 354
/proc/meminfo: memFree=26776532/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14088900 memory=222672 CPUtime=3.51 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 26560 0 0 0 340 11 0 0 20 0 15 0 251903263 14427033600 55668 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3522225 55668 3559 1 0 3484297 0
[pid=32720/tid=32722] ppid=32717 vsize=14088900 memory=146968 CPUtime=1.47 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) S 32717 32720 28126 0 -1 1077944384 17311 0 0 0 141 6 0 0 20 0 15 0 251903264 14427033600 55668 33554432000 4194304 4196468 140730003170816 139826713750960 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14088900 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) R 32717 32720 28126 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 15 0 251903264 14427033600 55668 33554432000 4194304 4196468 140730003170816 139826624584848 139826702144231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14088900 memory=1916 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) R 32717 32720 28126 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 251903264 14427033600 55668 33554432000 4194304 4196468 140730003170816 139826623531936 139826694544364 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14088900 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) R 32717 32720 28126 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 15 0 251903264 14427033600 55668 33554432000 4194304 4196468 140730003170816 139826622479248 139826702144231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14088900 memory=808 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) R 32717 32720 28126 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 251903264 14427033600 55668 33554432000 4194304 4196468 140730003170816 139826621426448 139826702144231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14088900 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 251903266 14427033600 55668 33554432000 4194304 4196468 140730003170816 139826184029088 139826709526229 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0

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

/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 108618 0 0 0 229734 69 0 0 20 0 15 0 251903264 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826713754080 139826313247811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14092996 memory=367820 CPUtime=14.69 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 13207 0 0 0 1405 64 0 0 20 0 15 0 251903264 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14092996 memory=363288 CPUtime=14.68 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 14179 0 0 0 1408 60 0 0 20 0 15 0 251903264 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14092996 memory=362844 CPUtime=14.66 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 13596 0 0 0 1406 60 0 0 20 0 15 0 251903264 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14092996 memory=362844 CPUtime=14.71 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 13700 0 0 0 1416 55 0 0 20 0 15 0 251903264 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14092996 memory=362844 CPUtime=7.65 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 19177 0 0 0 683 82 0 0 20 0 15 0 251903266 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14092996 memory=362844 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826182976608 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14092996 memory=362932 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826181923712 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14092996 memory=362308 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14092996 memory=362264 CPUtime=3.26 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) S 32717 32720 28126 0 -1 1077944384 6321 0 0 0 325 1 0 0 20 0 15 0 251903269 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826179820400 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14092996 memory=359700 CPUtime=3.25 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) S 32717 32720 28126 0 -1 1077944384 12007 0 0 0 324 1 0 0 20 0 15 0 251903269 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826178767600 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14092996 memory=362732 CPUtime=1.2 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) S 32717 32720 28126 0 -1 1077944384 11758 0 0 0 117 3 0 0 20 0 15 0 251903269 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14092996 memory=362732 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14092996 memory=362932 CPUtime=1.48 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 942 0 0 0 61 87 0 0 20 0 15 0 251903269 14431227904 90449 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 2373.71 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 361796 KiB

[startup+2382.3 s]
/proc/loadavg: 1.18 1.28 1.35 3/215 444
/proc/meminfo: memFree=26289880/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14092996 memory=407300 CPUtime=2434.79 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 223889 0 0 0 243038 441 0 0 20 0 15 0 251903263 14431227904 101825 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3523249 101825 3612 1 0 3485321 0
[pid=32720/tid=32722] ppid=32717 vsize=14092996 memory=404452 CPUtime=2357.35 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 115255 0 0 0 235664 71 0 0 20 0 15 0 251903264 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826713754096 139826313424369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14092996 memory=397240 CPUtime=15.06 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 13807 0 0 0 1440 66 0 0 20 0 15 0 251903264 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14092996 memory=405492 CPUtime=15.04 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 14615 0 0 0 1442 62 0 0 20 0 15 0 251903264 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14092996 memory=402368 CPUtime=15.03 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 14143 0 0 0 1441 62 0 0 20 0 15 0 251903264 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14092996 memory=408680 CPUtime=15.08 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 14224 0 0 0 1450 58 0 0 20 0 15 0 251903264 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14092996 memory=393112 CPUtime=7.88 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 19388 0 0 0 703 85 0 0 20 0 15 0 251903266 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14092996 memory=408324 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826182976608 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14092996 memory=359808 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826181923712 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14092996 memory=392084 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14092996 memory=0 CPUtime=3.26 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) S 32717 32720 28126 0 -1 1077944384 6321 0 0 0 325 1 0 0 20 0 15 0 251903269 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826179820400 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14092996 memory=408324 CPUtime=3.26 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) S 32717 32720 28126 0 -1 1077944384 12007 0 0 0 325 1 0 0 20 0 15 0 251903269 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826178767600 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14092996 memory=408324 CPUtime=1.2 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) S 32717 32720 28126 0 -1 1077944384 11758 0 0 0 117 3 0 0 20 0 15 0 251903269 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14092996 memory=407812 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14092996 memory=932 CPUtime=1.52 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 955 0 0 0 63 89 0 0 20 0 15 0 251903269 14431227904 101825 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 2434.79 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 407300 KiB

[startup+2442.3 s]
/proc/loadavg: 1.35 1.31 1.36 3/217 456
/proc/meminfo: memFree=26305088/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14092996 memory=390032 CPUtime=2495.86 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 228045 0 0 0 249135 451 0 0 20 0 15 0 251903263 14431227904 97508 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3523249 97508 3612 1 0 3485321 0
[pid=32720/tid=32722] ppid=32717 vsize=14092996 memory=395356 CPUtime=2416.7 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 118697 0 0 0 241597 73 0 0 20 0 15 0 251903264 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826713754224 139826314828165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14092996 memory=394328 CPUtime=15.42 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 13882 0 0 0 1475 67 0 0 20 0 15 0 251903264 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14092996 memory=392792 CPUtime=15.42 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 14680 0 0 0 1477 65 0 0 20 0 15 0 251903264 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14092996 memory=390544 CPUtime=15.4 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 14304 0 0 0 1477 63 0 0 20 0 15 0 251903264 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14092996 memory=390032 CPUtime=15.45 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 14424 0 0 0 1486 59 0 0 20 0 15 0 251903264 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14092996 memory=390032 CPUtime=8.09 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 19581 0 0 0 722 87 0 0 20 0 15 0 251903266 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14092996 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826182976608 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14092996 memory=391060 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826181923712 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14092996 memory=392792 CPUtime=3.26 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) S 32717 32720 28126 0 -1 1077944384 6323 0 0 0 325 1 0 0 20 0 15 0 251903269 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826179820400 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14092996 memory=836 CPUtime=3.26 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) S 32717 32720 28126 0 -1 1077944384 12009 0 0 0 325 1 0 0 20 0 15 0 251903269 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826178767600 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14092996 memory=1084 CPUtime=1.2 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) S 32717 32720 28126 0 -1 1077944384 11760 0 0 0 117 3 0 0 20 0 15 0 251903269 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14092996 memory=1736 CPUtime=1.56 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 969 0 0 0 65 91 0 0 20 0 15 0 251903269 14431227904 97508 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 2495.86 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 390032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466 s]*
/proc/loadavg: 1.40 1.32 1.36 3/217 457
/proc/meminfo: memFree=26324924/32770624 swapFree=67108804/67108860
[pid=32720] ppid=32717 vsize=14092996 memory=370024 CPUtime=2520.02 cores=1,3,5,7
/proc/32720/stat : 32720 (java) S 32717 32720 28126 0 -1 1077944320 229048 0 0 0 251547 455 0 0 20 0 15 0 251903263 14431227904 92506 33554432000 4194304 4196468 140730003170816 140730003153360 139826709516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
/proc/32720/statm: 3523249 92506 3612 1 0 3485321 0
[pid=32720/tid=32722] ppid=32717 vsize=14092996 memory=1984 CPUtime=2440.15 cores=1,3,5,7
/proc/32720/task/32722/stat : 32722 (java) R 32717 32720 28126 0 -1 4202560 118839 0 0 0 243941 74 0 0 20 0 15 0 251903264 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826713754176 139826301314112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32723] ppid=32717 vsize=14092996 memory=920 CPUtime=15.57 cores=1,3,5,7
/proc/32720/task/32723/stat : 32723 (java) S 32717 32720 28126 0 -1 1077944384 14101 0 0 0 1489 68 0 0 20 0 15 0 251903264 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826624584848 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32724] ppid=32717 vsize=14092996 memory=1572 CPUtime=15.56 cores=1,3,5,7
/proc/32720/task/32724/stat : 32724 (java) S 32717 32720 28126 0 -1 1077944384 14916 0 0 0 1491 65 0 0 20 0 15 0 251903264 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826623532048 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32725] ppid=32717 vsize=14092996 memory=6791534058613427641 CPUtime=15.55 cores=1,3,5,7
/proc/32720/task/32725/stat : 32725 (java) S 32717 32720 28126 0 -1 1077944384 14512 0 0 0 1491 64 0 0 20 0 15 0 251903264 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826622479248 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32726] ppid=32717 vsize=14092996 memory=280657859644752 CPUtime=15.59 cores=1,3,5,7
/proc/32720/task/32726/stat : 32726 (java) S 32717 32720 28126 0 -1 1077944384 14622 0 0 0 1500 59 0 0 20 0 15 0 251903264 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826621426448 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32727] ppid=32717 vsize=14092996 memory=1800 CPUtime=8.18 cores=1,3,5,7
/proc/32720/task/32727/stat : 32727 (java) S 32717 32720 28126 0 -1 1077944384 19581 0 0 0 730 88 0 0 20 0 15 0 251903266 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826184030576 139826709527170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32728] ppid=32717 vsize=14092996 memory=920 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32728/stat : 32728 (java) S 32717 32720 28126 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826182976608 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32729] ppid=32717 vsize=14092996 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32729/stat : 32729 (java) S 32717 32720 28126 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 251903266 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826181923712 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32730] ppid=32717 vsize=14092996 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32730/stat : 32730 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826180872016 139826709534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32731] ppid=32717 vsize=14092996 memory=2592 CPUtime=3.26 cores=1,3,5,7
/proc/32720/task/32731/stat : 32731 (java) S 32717 32720 28126 0 -1 1077944384 6323 0 0 0 325 1 0 0 20 0 15 0 251903269 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826179820400 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32732] ppid=32717 vsize=14092996 memory=4108 CPUtime=3.26 cores=1,3,5,7
/proc/32720/task/32732/stat : 32732 (java) S 32717 32720 28126 0 -1 1077944384 12009 0 0 0 325 1 0 0 20 0 15 0 251903269 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826178767600 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32733] ppid=32717 vsize=14092996 memory=6791534058613427641 CPUtime=1.2 cores=1,3,5,7
/proc/32720/task/32733/stat : 32733 (java) S 32717 32720 28126 0 -1 1077944384 11760 0 0 0 117 3 0 0 20 0 15 0 251903269 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826177714800 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32734] ppid=32717 vsize=14092996 memory=3236 CPUtime=0 cores=1,3,5,7
/proc/32720/task/32734/stat : 32734 (java) S 32717 32720 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251903269 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826176662240 139826709526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
[pid=32720/tid=32735] ppid=32717 vsize=14092996 memory=374128 CPUtime=1.58 cores=1,3,5,7
/proc/32720/task/32735/stat : 32735 (java) S 32717 32720 28126 0 -1 1077944384 969 0 0 0 66 92 0 0 20 0 15 0 251903269 14431227904 92506 33554432000 4194304 4196468 140730003170816 139826175609520 139826709527170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140730003174473 140730003174665 140730003174665 140730003177423 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 370024 KiB

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

[startup+2466.03 s]
# the end of solver process 32720 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.5 s, system=4.55434 s

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

Child status: 143
Real time (s): 2466.03
CPU time (s): 2520.05
CPU user time (s): 2515.5
CPU system time (s): 4.55434
CPU usage (%): 102.191
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1800236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.5
system time used= 4.55434
maximum resident set size= 1803380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256442
involuntary context switches= 4837


# summary of solver processes directly reported to runsolver:
#   pid: 32720
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2515.5
#   total CPU system time (s): 4.55434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.098 second user time and 20.1291 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml
MD5SUM	294b097d449017f2d3f7014537fb5318
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	9651
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	1068
Number of constraints	3635
Number of domains	3
Minimum domain size	2
Maximum domain size	45
Distribution of domain sizes	[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints	276
Number of intensional constraints	2785
Distribution of constraint types	[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4307851

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