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-17	SAT (TO)	10102	2520.1	2467.63

0.67/0.56	c version: 2018-08-17
0.67/0.57	c seed: 557765802
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 1
0.67/0.59	c Parsing instance...
6.34/2.44	c Parsing done, starting search...
6.66/2.56	o 10870
7.00/2.62	o 10846
7.00/2.62	o 10640
7.00/2.63	o 10626
7.00/2.63	o 10614
7.00/2.63	o 10555
7.00/2.63	o 10527
7.00/2.64	o 10520
7.33/2.70	o 10514
7.33/2.75	o 10502
7.33/2.75	o 10478
7.33/2.76	o 10455
7.33/2.77	o 10436
7.33/2.78	o 10427
7.66/2.85	o 10413
7.66/2.85	o 10404
7.96/2.95	o 10398
9.15/3.31	o 10392
9.15/3.32	o 10380
9.15/3.32	o 10374
9.15/3.35	o 10351
10.53/3.80	o 10347
11.68/4.82	o 10313
11.68/4.86	o 10304
57.56/50.05	o 10303
57.56/50.07	o 10298
67.61/60.06	o 10288
67.61/60.06	o 10283
69.62/62.08	o 10264
187.15/178.15	o 10262
202.65/193.38	o 10257
202.65/193.39	o 10255
202.75/193.40	o 10250
206.54/197.11	o 10239
206.54/197.12	o 10237
206.54/197.12	o 10174
208.48/199.01	o 10139
208.48/199.01	o 10137
208.48/199.01	o 10132
208.48/199.01	o 10130
208.48/199.01	o 10121
208.48/199.01	o 10119
208.48/199.06	o 10114
208.48/199.06	o 10107
208.79/199.33	o 10104
208.79/199.35	o 10102
2520.06/2467.60	s SATISFIABLE
2520.06/2467.60	v <instantiation>
2520.06/2467.60	v 	<list>
2520.06/2467.60	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.06/2467.60	v 	</list>
2520.06/2467.60	v 	<values>
2520.06/2467.60	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 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 44 14 34 48 48 0 44 69 51 0 0 55 65 10 0 39 35 36 15 58 55 0 0 0 0 65 65 0 0 22 22 0 64 55 51 43 44 59 31 46 0 0 31 51 41 40 47 47 56 75 51 50 0 22 10 15 0 45 55 49 0 56 67 58 0 53 53 0 0 0 0 66 70 51 68 73 69 32 32 0 0 41 27 47 0 67 51 34 14 14 47 47 21 21 0 0 36 15 49 55 64 14 41 35 0 74 74 70 70 31 39 18 0 0 0 51 51 39 10 40 0 0 35 35 48 48 27 27 44 66 41 42 42 0 81 49 50 0 0 0 0 70 64 10 44 0 75 55 47 47 18 18 0 69 79 48 27 0 31 31 0 0 59 18 64 0 44 44 14 14 0 56 53 69 67 79 79 0 0 48 48 44 55 69 0 46 43 68 0 0 42 27 70 69 0 0 73 55 45 21 0 81 14 68 0 48 48 43 31 55 79 14 69 103 0 81 42 68 0 0 51 51 0 0 49 49 0 105 70 69 0 51 51 0 69 69 0 10 10 55 48 73 0 0 55 47 32 65 103 69 18 74 0 70 56 58 0 69 42 48 67 0 0 105 67 66 0 55 55 0 10 65 64 0 70 70 
2520.06/2467.60	v 	</values>
2520.06/2467.60	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 (10679 MiB free)
  memory of node 1: 16384 MiB (12055 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311587-1534561048/watcher-4311587-1534561048 -o /tmp/evaluation-result-4311587-1534561048/solver-4311587-1534561048 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534541043-30919 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 557765802 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311587-1534561048.xml 

running on 4 cores: 0,2,4,6

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=873, runsolver pid=870

[startup+0.100132 s]*
/proc/loadavg: 1.42 1.43 1.49 4/215 888
/proc/meminfo: memFree=23263896/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14082736 memory=30688 CPUtime=0.11 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 6540 0 0 0 10 1 0 0 20 0 15 0 273668037 14420721664 7672 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3520684 7672 3154 1 0 3482761 0
[pid=873/tid=875] ppid=870 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 4610 0 0 0 8 1 0 0 20 0 15 0 273668038 14420721664 7672 33554432000 4194304 4196468 140727345455136 140362692092032 140362671932796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14082736 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273668038 14420721664 7672 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14082736 memory=288370827477026432 CPUtime=0 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 7672 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 7672 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 7672 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14082736 memory=140451325314688 CPUtime=0 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273668040 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273668040 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361598968992 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273668041 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361597915888 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) S 870 873 30888 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361594760048 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14082736 memory=140451325314688 CPUtime=0.01 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 273668043 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14082736 memory=140451325314688 CPUtime=0 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 7672 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30688 KiB

[startup+0.210253 s]*
/proc/loadavg: 1.42 1.43 1.49 4/215 888
/proc/meminfo: memFree=23248516/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14082736 memory=46504 CPUtime=0.28 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 10265 0 0 0 26 2 0 0 20 0 15 0 273668037 14420721664 11626 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3520684 11626 3333 1 0 3482761 0
[pid=873/tid=875] ppid=870 vsize=14082736 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 8063 0 0 0 18 2 0 0 20 0 15 0 273668038 14420721664 11626 33554432000 4194304 4196468 140727345455136 140362692078816 140362672986128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14082736 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273668038 14420721664 11626 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14082736 memory=288370827477026432 CPUtime=0 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 11626 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 11626 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 11626 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14082736 memory=140451325314688 CPUtime=0 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273668040 14420721664 11626 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273668040 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361598968992 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273668041 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361597915888 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) R 870 873 30888 0 -1 1077944384 418 0 0 0 1 0 0 0 20 0 15 0 273668043 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) R 870 873 30888 0 -1 4202560 106 0 0 0 1 0 0 0 20 0 15 0 273668043 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361594760048 140362667041738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14082736 memory=140451325314688 CPUtime=0.05 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 320 0 0 0 5 0 0 0 20 0 15 0 273668043 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14082736 memory=140451325314688 CPUtime=0 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 11689 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46504 KiB

[startup+0.310437 s]*
/proc/loadavg: 1.42 1.43 1.49 3/215 888
/proc/meminfo: memFree=23244796/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14082736 memory=50484 CPUtime=0.43 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 10777 0 0 0 41 2 0 0 20 0 15 0 273668037 14420721664 12621 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3520684 12621 3381 1 0 3482761 0
[pid=873/tid=875] ppid=870 vsize=14082736 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 8430 0 0 0 28 2 0 0 20 0 15 0 273668038 14420721664 12621 33554432000 4194304 4196468 140727345455136 140362692061632 140362669415835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14082736 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273668038 14420721664 12621 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14082736 memory=768 CPUtime=0 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 12621 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14082736 memory=736 CPUtime=0 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 12621 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14082736 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14420721664 12621 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14082736 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273668040 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14082736 memory=5204 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273668040 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361598968992 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14082736 memory=13608 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273668041 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361597915888 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14082736 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) S 870 873 30888 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 273668043 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) S 870 873 30888 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 273668043 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361594760048 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14082736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 348 0 0 0 8 0 0 0 20 0 15 0 273668043 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668043 14420721664 12621 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50484 KiB

[startup+0.700691 s]
/proc/loadavg: 1.42 1.43 1.49 3/215 888
/proc/meminfo: memFree=23222396/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14084804 memory=88816 CPUtime=0.99 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 17583 0 0 0 94 5 0 0 20 0 15 0 273668037 14422839296 22204 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3521201 22204 3488 1 0 3483273 0
[pid=873/tid=875] ppid=870 vsize=14084804 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 14848 0 0 0 63 4 0 0 20 0 15 0 273668038 14422839296 22204 33554432000 4194304 4196468 140727345455136 140362692064864 140362655440640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14084804 memory=6155688838563721561 CPUtime=0 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273668038 14422839296 22204 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14084804 memory=7223885211192414288 CPUtime=0 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14422839296 22204 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14084804 memory=7301853869851699536 CPUtime=0 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14422839296 22204 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14422839296 22204 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14084804 memory=144230773302191 CPUtime=0 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273668040 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273668040 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361598968992 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273668041 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361597915888 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14084804 memory=280902403883248 CPUtime=0.06 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) S 870 873 30888 0 -1 1077944384 597 0 0 0 6 0 0 0 20 0 15 0 273668043 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14084804 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) S 870 873 30888 0 -1 1077944384 321 0 0 0 9 0 0 0 20 0 15 0 273668043 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361594760048 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14084804 memory=-6222389776517587554 CPUtime=0.15 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 439 0 0 0 15 0 0 0 20 0 15 0 273668043 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14084804 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668043 14422839296 22204 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88816 KiB

[startup+1.50072 s]
/proc/loadavg: 1.42 1.43 1.49 6/215 888
/proc/meminfo: memFree=23165064/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14088900 memory=206140 CPUtime=3.43 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 24517 0 0 0 335 8 0 0 20 0 15 0 273668037 14427033600 51535 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3522225 51535 3554 1 0 3484297 0
[pid=873/tid=875] ppid=870 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 17585 0 0 0 141 6 0 0 20 0 15 0 273668038 14427033600 51535 33554432000 4194304 4196468 140727345455136 140362692085184 140362305057152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273668038 14427033600 51535 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14427033600 51535 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14427033600 51535 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273668039 14427033600 51535 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14088900 memory=734122160732392502 CPUtime=0 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 273668040 14427033600 51535 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0

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

/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 68571 0 0 0 229697 52 0 0 20 0 15 0 273668038 14431227904 94059 33554432000 4194304 4196468 140727345455136 140362692090304 140362311620580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14092996 memory=381880 CPUtime=14.66 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 14975 0 0 0 1417 49 0 0 20 0 15 0 273668038 14431227904 94059 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14092996 memory=376236 CPUtime=14.64 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 12530 0 0 0 1410 54 0 0 20 0 15 0 273668039 14431227904 94059 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14092996 memory=388036 CPUtime=14.62 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 13647 0 0 0 1414 48 0 0 20 0 15 0 273668039 14431227904 94059 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14092996 memory=452668 CPUtime=14.58 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 14989 0 0 0 1407 51 0 0 20 0 15 0 273668039 14431227904 94059 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14092996 memory=1520 CPUtime=7.36 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 20505 0 0 0 675 61 0 0 20 0 15 0 273668040 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14092996 memory=379828 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 273668040 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361598969056 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14092996 memory=380340 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 273668041 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361597915904 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14092996 memory=381368 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14092996 memory=379828 CPUtime=2.96 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) S 870 873 30888 0 -1 1077944384 6891 0 0 0 295 1 0 0 20 0 15 0 273668043 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14092996 memory=380340 CPUtime=3.1 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) S 870 873 30888 0 -1 1077944384 10621 0 0 0 309 1 0 0 20 0 15 0 273668043 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361594760048 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14092996 memory=376748 CPUtime=1.22 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 13748 0 0 0 120 2 0 0 20 0 15 0 273668043 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14092996 memory=376748 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14092996 memory=290763849282617370 CPUtime=1.39 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 920 0 0 0 69 70 0 0 20 0 15 0 273668043 14431227904 94059 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 2372.13 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 376236 KiB

[startup+2382.3 s]
/proc/loadavg: 1.24 1.34 1.39 3/215 1072
/proc/meminfo: memFree=22878520/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14092996 memory=377264 CPUtime=2433.2 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 182427 0 0 0 242966 354 0 0 20 0 15 0 273668037 14431227904 94316 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3523249 94316 3612 1 0 3485321 0
[pid=873/tid=875] ppid=870 vsize=14092996 memory=377048 CPUtime=2356.76 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 70887 0 0 0 235623 53 0 0 20 0 15 0 273668038 14431227904 94316 33554432000 4194304 4196468 140727345455136 140362692090320 140362311822959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14092996 memory=1860 CPUtime=15.04 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 15264 0 0 0 1454 50 0 0 20 0 15 0 273668038 14431227904 94316 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14092996 memory=378072 CPUtime=15.03 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 12863 0 0 0 1447 56 0 0 20 0 15 0 273668039 14431227904 94316 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14092996 memory=369172 CPUtime=15 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 13860 0 0 0 1451 49 0 0 20 0 15 0 273668039 14431227904 94316 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14092996 memory=369172 CPUtime=14.97 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 15193 0 0 0 1444 53 0 0 20 0 15 0 273668039 14431227904 94316 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14092996 memory=369568 CPUtime=7.59 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 20727 0 0 0 696 63 0 0 20 0 15 0 273668040 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14092996 memory=369172 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 273668040 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361598969056 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14092996 memory=924 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 273668041 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361597915904 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14092996 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14092996 memory=378584 CPUtime=2.96 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) S 870 873 30888 0 -1 1077944384 6895 0 0 0 295 1 0 0 20 0 15 0 273668043 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14092996 memory=3544 CPUtime=3.1 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) S 870 873 30888 0 -1 1077944384 10625 0 0 0 309 1 0 0 20 0 15 0 273668043 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361594760048 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14092996 memory=377048 CPUtime=1.22 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 13752 0 0 0 120 2 0 0 20 0 15 0 273668043 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14092996 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14092996 memory=377264 CPUtime=1.43 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 945 0 0 0 71 72 0 0 20 0 15 0 273668043 14431227904 94316 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 2433.2 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 377264 KiB

[startup+2442.3 s]
/proc/loadavg: 1.45 1.39 1.40 6/215 1073
/proc/meminfo: memFree=22888964/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14092996 memory=363876 CPUtime=2494.31 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 185770 0 0 0 249064 367 0 0 20 0 15 0 273668037 14431227904 90969 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3523249 90969 3612 1 0 3485321 0
[pid=873/tid=875] ppid=870 vsize=14092996 memory=382476 CPUtime=2416.05 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 72569 0 0 0 241550 55 0 0 20 0 15 0 273668038 14431227904 90969 33554432000 4194304 4196468 140727345455136 140362692090256 140362311719025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14092996 memory=364696 CPUtime=15.43 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 15779 0 0 0 1491 52 0 0 20 0 15 0 273668038 14431227904 90969 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14092996 memory=370852 CPUtime=15.42 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 13163 0 0 0 1484 58 0 0 20 0 15 0 273668039 14431227904 90969 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14092996 memory=365916 CPUtime=15.39 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 14116 0 0 0 1488 51 0 0 20 0 15 0 273668039 14431227904 90969 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14092996 memory=365404 CPUtime=15.36 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 15552 0 0 0 1481 55 0 0 20 0 15 0 273668039 14431227904 90969 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14092996 memory=364376 CPUtime=7.81 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 20943 0 0 0 716 65 0 0 20 0 15 0 273668040 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14092996 memory=6946073806874701666 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 273668040 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361598969056 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14092996 memory=363864 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 273668041 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361597915904 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14092996 memory=55 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14092996 memory=2076 CPUtime=2.96 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) S 870 873 30888 0 -1 1077944384 6895 0 0 0 295 1 0 0 20 0 15 0 273668043 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14092996 memory=364892 CPUtime=3.1 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) S 870 873 30888 0 -1 1077944384 10625 0 0 0 309 1 0 0 20 0 15 0 273668043 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361594760048 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14092996 memory=367456 CPUtime=1.23 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 13752 0 0 0 120 3 0 0 20 0 15 0 273668043 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14092996 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14092996 memory=6616 CPUtime=1.47 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 960 0 0 0 72 75 0 0 20 0 15 0 273668043 14431227904 90969 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 2494.31 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 363876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.6 s]
/proc/loadavg: 1.35 1.37 1.40 3/215 1073
/proc/meminfo: memFree=22872272/32770624 swapFree=67059156/67108860
[pid=873] ppid=870 vsize=14092996 memory=379364 CPUtime=2520.06 cores=0,2,4,6
/proc/873/stat : 873 (java) S 870 873 30888 0 -1 1077944320 187343 0 0 0 251633 373 0 0 20 0 15 0 273668037 14431227904 94841 33554432000 4194304 4196468 140727345455136 140727345437680 140362687852279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
/proc/873/statm: 3523249 94841 3612 1 0 3485321 0
[pid=873/tid=875] ppid=870 vsize=14092996 memory=736 CPUtime=2441.04 cores=0,2,4,6
/proc/873/task/875/stat : 875 (java) R 870 873 30888 0 -1 4202560 73767 0 0 0 244049 55 0 0 20 0 15 0 273668038 14431227904 94841 33554432000 4194304 4196468 140727345455136 140362692090304 140362311719034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=876] ppid=870 vsize=14092996 memory=780 CPUtime=15.59 cores=0,2,4,6
/proc/873/task/876/stat : 876 (java) S 870 873 30888 0 -1 1077944384 15867 0 0 0 1505 54 0 0 20 0 15 0 273668038 14431227904 94841 33554432000 4194304 4196468 140727345455136 140362625453072 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=877] ppid=870 vsize=14092996 memory=1948 CPUtime=15.57 cores=0,2,4,6
/proc/873/task/877/stat : 877 (java) S 870 873 30888 0 -1 1077944384 13239 0 0 0 1498 59 0 0 20 0 15 0 273668039 14431227904 94841 33554432000 4194304 4196468 140727345455136 140362624400528 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=878] ppid=870 vsize=14092996 memory=1328 CPUtime=15.55 cores=0,2,4,6
/proc/873/task/878/stat : 878 (java) S 870 873 30888 0 -1 1077944384 14216 0 0 0 1503 52 0 0 20 0 15 0 273668039 14431227904 94841 33554432000 4194304 4196468 140727345455136 140362623347472 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=879] ppid=870 vsize=14092996 memory=976 CPUtime=15.52 cores=0,2,4,6
/proc/873/task/879/stat : 879 (java) S 870 873 30888 0 -1 1077944384 15637 0 0 0 1496 56 0 0 20 0 15 0 273668039 14431227904 94841 33554432000 4194304 4196468 140727345455136 140362622294928 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=880] ppid=870 vsize=14092996 memory=1140 CPUtime=7.9 cores=0,2,4,6
/proc/873/task/880/stat : 880 (java) S 870 873 30888 0 -1 1077944384 20961 0 0 0 724 66 0 0 20 0 15 0 273668040 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361600022768 140362687863426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=881] ppid=870 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/881/stat : 881 (java) S 870 873 30888 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 273668040 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361598969056 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=882] ppid=870 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/873/task/882/stat : 882 (java) S 870 873 30888 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 273668041 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361597915904 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=883] ppid=870 vsize=14092996 memory=280902405446064 CPUtime=0 cores=0,2,4,6
/proc/873/task/883/stat : 883 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361596864464 140362687870875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=884] ppid=870 vsize=14092996 memory=280902404207696 CPUtime=2.96 cores=0,2,4,6
/proc/873/task/884/stat : 884 (java) S 870 873 30888 0 -1 1077944384 6897 0 0 0 295 1 0 0 20 0 15 0 273668043 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361595812592 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=885] ppid=870 vsize=14092996 memory=4638778415512636752 CPUtime=3.1 cores=0,2,4,6
/proc/873/task/885/stat : 885 (java) S 870 873 30888 0 -1 1077944384 10627 0 0 0 309 1 0 0 20 0 15 0 273668043 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361594760048 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=886] ppid=870 vsize=14092996 memory=7882828121784479853 CPUtime=1.23 cores=0,2,4,6
/proc/873/task/886/stat : 886 (java) S 870 873 30888 0 -1 1077944384 13754 0 0 0 120 3 0 0 20 0 15 0 273668043 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361593706992 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=887] ppid=870 vsize=14092996 memory=7882828121784479853 CPUtime=0 cores=0,2,4,6
/proc/873/task/887/stat : 887 (java) S 870 873 30888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273668043 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361592654688 140362687862485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
[pid=873/tid=888] ppid=870 vsize=14092996 memory=576587700018377745 CPUtime=1.48 cores=0,2,4,6
/proc/873/task/888/stat : 888 (java) S 870 873 30888 0 -1 1077944384 962 0 0 0 73 75 0 0 20 0 15 0 273668043 14431227904 94841 33554432000 4194304 4196468 140727345455136 140361591601712 140362687863426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 38100992 140727345460297 140727345460489 140727345460489 140727345463247 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 379364 KiB

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

[startup+2467.63 s]
# the end of solver process 873 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.36 s, system=3.73907 s

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

Child status: 143
Real time (s): 2467.63
CPU time (s): 2520.1
CPU user time (s): 2516.36
CPU system time (s): 3.73907
CPU usage (%): 102.126
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1801616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.36
system time used= 3.73907
maximum resident set size= 1802244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253958
involuntary context switches= 8082


# summary of solver processes directly reported to runsolver:
#   pid: 873
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.36
#   total CPU system time (s): 3.73907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3152 second user time and 19.1087 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 4311587

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