2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	83	2520.1	2455.73

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1841253126
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
9.42/3.89	c Parsing done, starting first complete search...
9.95/4.09	o 0
15.38/7.63	c First complete search done, starting ALNS search...
15.54/7.76	o 2
15.54/7.77	o 3
15.54/7.77	o 4
15.91/7.93	o 5
15.91/7.94	o 6
15.91/7.95	o 7
16.39/8.12	o 8
16.39/8.12	o 9
16.39/8.13	o 10
16.39/8.15	o 11
16.66/8.26	o 12
21.92/12.49	o 13
26.82/16.98	o 14
26.82/17.00	o 15
26.94/17.07	o 16
29.96/19.91	o 17
30.33/20.27	o 18
30.75/20.62	o 19
30.93/20.75	o 20
47.05/36.56	o 21
53.26/42.77	o 22
57.20/46.70	o 23
62.74/51.90	o 24
76.06/65.12	o 25
77.68/66.73	o 26
88.26/77.20	o 27
119.35/108.26	o 28
131.63/120.43	o 29
132.43/121.25	o 30
146.30/135.05	o 31
164.27/152.96	o 32
167.17/155.87	o 33
167.27/155.94	o 34
203.47/191.96	o 35
212.91/201.30	o 36
212.91/201.38	o 37
219.66/208.08	o 38
248.98/237.17	o 39
250.78/238.93	o 40
252.50/240.63	o 41
266.18/254.20	o 42
271.03/259.08	o 43
282.19/270.17	o 44
284.10/272.02	o 45
292.68/280.50	o 46
296.13/283.99	o 47
298.77/286.58	o 48
315.02/302.59	o 49
324.25/311.54	o 50
326.17/313.43	o 51
328.14/315.34	o 52
330.00/317.11	o 53
333.79/320.87	o 54
341.79/328.65	o 55
345.40/332.13	o 56
347.25/333.96	o 57
347.38/334.03	o 58
360.08/346.44	o 59
362.63/348.92	o 60
362.63/348.99	o 61
371.75/357.85	o 62
372.80/358.82	o 63
376.48/362.42	o 64
376.48/362.49	o 65
391.14/376.81	o 66
391.28/376.95	o 67
391.28/376.96	o 68
544.13/526.09	o 69
544.13/526.10	o 70
547.39/529.25	o 71
547.49/529.31	o 72
548.02/529.82	o 73
549.58/531.36	o 74
552.22/533.95	o 75
560.32/541.83	o 76
561.33/542.86	o 77
563.38/544.83	o 78
766.70/742.63	o 79
773.55/749.32	o 80
1448.93/1408.65	o 81
1789.93/1742.48	o 82
1804.58/1756.76	o 83
2520.06/2455.70	s SATISFIABLE
2520.06/2455.70	v <instantiation>
2520.06/2455.70	v 	<list>
2520.06/2455.70	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] nb nw
2520.06/2455.70	v 	</list>
2520.06/2455.70	v 	<values>
2520.06/2455.70	v 		2 0 0 0 0 0 0 2 0 2 0 0 2 0 0 0 2 0 2 2 0 0 0 2 2 0 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 0 0 2 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 2 2 0 0 0 2 0 2 0 2 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 2 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 83 83 
2520.06/2455.70	v 	</values>
2520.06/2455.70	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 (5860 MiB free)
  memory of node 1: 16384 MiB (9032 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308424-1534330130/watcher-4308424-1534330130 -o /tmp/evaluation-result-4308424-1534330130/solver-4308424-1534330130 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534330127-10126 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1841253126 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308424-1534330130.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
solver pid=10245, runsolver pid=10242
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 2.20 2.05 1.98 5/215 10260
/proc/meminfo: memFree=15228864/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14082736 memory=35344 CPUtime=0.11 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 7214 0 0 0 9 2 0 0 20 0 15 0 250576135 14420721664 8836 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3520684 8836 3159 1 0 3482761 0
[pid=10245/tid=10247] ppid=10242 vsize=14082736 memory=-8413460178640474496 CPUtime=0.08 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 5273 0 0 0 7 1 0 0 20 0 15 0 250576136 14420721664 8836 33554432000 4194304 4196468 140729521501488 139831382589680 139831359788605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 8836 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 8836 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 8836 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 8836 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830919407264 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830918354160 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0.01 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) R 10242 10245 10094 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 250576141 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830351878128 139831357095072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 8836 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 35344 KiB

[startup+0.218171 s]*
/proc/loadavg: 2.20 2.05 1.98 4/215 10260
/proc/meminfo: memFree=15214732/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14082736 memory=49084 CPUtime=0.32 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 10405 0 0 0 30 2 0 0 20 0 15 0 250576135 14420721664 12271 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3520684 12271 3375 1 0 3482761 0
[pid=10245/tid=10247] ppid=10242 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 8097 0 0 0 19 2 0 0 20 0 15 0 250576136 14420721664 12271 33554432000 4194304 4196468 140729521501488 139831382624848 139831378416797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 12271 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14082736 memory=140396315253811 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 12271 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 12271 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 12271 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830919407264 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830918354160 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 250576141 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 250576141 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0.07 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) R 10242 10245 10094 0 -1 4202560 329 0 0 0 7 0 0 0 20 0 15 0 250576141 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830351878128 139831362475358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 12271 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49084 KiB

[startup+0.310408 s]*
/proc/loadavg: 2.20 2.05 1.98 3/215 10260
/proc/meminfo: memFree=15211196/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14082736 memory=52524 CPUtime=0.44 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 10725 0 0 0 41 3 0 0 20 0 15 0 250576135 14420721664 13131 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3520684 13131 3382 1 0 3482761 0
[pid=10245/tid=10247] ppid=10242 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 8400 0 0 0 28 2 0 0 20 0 15 0 250576136 14420721664 13131 33554432000 4194304 4196468 140729521501488 139831382556608 139831358670592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14082736 memory=290763888105095191 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 13131 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14082736 memory=140396315251856 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 13131 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 13131 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250576137 14420721664 13131 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830919407264 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250576138 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830918354160 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 250576141 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 250576141 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0.08 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) S 10242 10245 10094 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 15 0 250576141 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830351878128 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14082736 memory=140396313917056 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576141 14420721664 13131 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52524 KiB

[startup+0.700719 s]
/proc/loadavg: 2.20 2.05 1.98 4/215 10260
/proc/meminfo: memFree=15182080/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14084804 memory=90824 CPUtime=1 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 17603 0 0 0 96 4 0 0 20 0 15 0 250576135 14422839296 22706 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3521201 22706 3503 1 0 3483273 0
[pid=10245/tid=10247] ppid=10242 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 14844 0 0 0 64 3 0 0 20 0 15 0 250576136 14422839296 22706 33554432000 4194304 4196468 140729521501488 139831382618928 139831362475358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14084804 memory=748 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14422839296 22706 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14084804 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14422839296 22706 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14084804 memory=4552 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576137 14422839296 22706 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14084804 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250576137 14422839296 22706 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250576138 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14084804 memory=10624 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250576138 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830919407264 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250576138 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830918354160 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14084804 memory=6832 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14084804 memory=6297835844906604903 CPUtime=0.07 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 540 0 0 0 7 0 0 0 20 0 15 0 250576141 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14084804 memory=8099279071866868840 CPUtime=0.08 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 389 0 0 0 8 0 0 0 20 0 15 0 250576141 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14084804 memory=4641330296368681041 CPUtime=0.15 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) S 10242 10245 10094 0 -1 1077944384 451 0 0 0 15 0 0 0 20 0 15 0 250576141 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830351878128 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250576141 14422839296 22706 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90824 KiB

[startup+1.50725 s]
/proc/loadavg: 2.20 2.05 1.98 5/215 10260
/proc/meminfo: memFree=15089248/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14086852 memory=281860 CPUtime=3.49 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 22408 0 0 0 334 15 0 0 20 0 15 0 250576135 14424936448 70465 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3521713 70465 3567 1 0 3483785 0
[pid=10245/tid=10247] ppid=10242 vsize=14086852 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 15523 0 0 0 136 5 0 0 20 0 15 0 250576136 14424936448 70465 33554432000 4194304 4196468 140729521501488 139831382627488 139830998743652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14086852 memory=8390361644446492005 CPUtime=0.04 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 159 0 0 0 3 1 0 0 20 0 15 0 250576137 14424936448 70465 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14086852 memory=-8609294073281748341 CPUtime=0.05 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 145 0 0 0 3 2 0 0 20 0 15 0 250576137 14424936448 70465 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14086852 memory=-6517102902069810590 CPUtime=0.05 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 298 0 0 0 3 2 0 0 20 0 15 0 250576137 14424936448 70465 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14086852 memory=4134692831991786133 CPUtime=0.05 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 150 0 0 0 3 2 0 0 20 0 15 0 250576137 14424936448 70465 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 250576138 14424936448 70465 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0

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

/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 147009 0 0 0 236126 86 0 0 20 0 15 0 250576136 14431227904 156682 33554432000 4194304 4196468 140729521501488 139831382632752 139831002783376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14092996 memory=609652 CPUtime=16.89 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 25499 0 0 0 1650 39 0 0 20 0 15 0 250576137 14431227904 156682 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14092996 memory=629804 CPUtime=16.85 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 23391 0 0 0 1650 35 0 0 20 0 15 0 250576137 14431227904 156682 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14092996 memory=626728 CPUtime=16.83 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 25243 0 0 0 1644 39 0 0 20 0 15 0 250576137 14431227904 156682 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14092996 memory=613756 CPUtime=16.86 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 24953 0 0 0 1645 41 0 0 20 0 15 0 250576137 14431227904 156682 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14092996 memory=3816 CPUtime=2.58 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 51283 0 0 0 202 56 0 0 20 0 15 0 250576138 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14092996 memory=600420 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830919407328 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14092996 memory=932 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830918354176 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14092996 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14092996 memory=588620 CPUtime=5.16 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 37464 0 0 0 512 4 0 0 20 0 15 0 250576141 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14092996 memory=588620 CPUtime=4.62 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 38297 0 0 0 458 4 0 0 20 0 15 0 250576141 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14092996 memory=68312 CPUtime=1.47 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) S 10242 10245 10094 0 -1 1077944384 30769 0 0 0 143 4 0 0 20 0 15 0 250576141 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830351878128 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14092996 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14092996 memory=2144 CPUtime=1.29 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1891 0 0 0 53 76 0 0 20 0 15 0 250576141 14431227904 156682 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 2444.75 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 626728 KiB

[startup+2442.3 s]
/proc/loadavg: 1.42 1.48 1.53 3/216 10360
/proc/meminfo: memFree=14776512/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14092996 memory=633272 CPUtime=2506.38 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 416544 0 0 0 250269 369 0 0 20 0 15 0 250576135 14431227904 158318 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3523249 158318 3629 1 0 3485321 0
[pid=10245/tid=10247] ppid=10242 vsize=14092996 memory=635816 CPUtime=2421.49 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 152406 0 0 0 242061 88 0 0 20 0 15 0 250576136 14431227904 158318 33554432000 4194304 4196468 140729521501488 139831382632880 139831009303370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14092996 memory=594776 CPUtime=17.42 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 25725 0 0 0 1701 41 0 0 20 0 15 0 250576137 14431227904 158318 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14092996 memory=634828 CPUtime=17.39 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 23541 0 0 0 1702 37 0 0 20 0 15 0 250576137 14431227904 158318 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14092996 memory=634808 CPUtime=17.36 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 25400 0 0 0 1695 41 0 0 20 0 15 0 250576137 14431227904 158318 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14092996 memory=634800 CPUtime=17.39 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 25088 0 0 0 1697 42 0 0 20 0 15 0 250576137 14431227904 158318 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14092996 memory=634808 CPUtime=2.66 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 54217 0 0 0 208 58 0 0 20 0 15 0 250576138 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14092996 memory=635816 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830919407328 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14092996 memory=634800 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830918354176 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14092996 memory=630708 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14092996 memory=593800 CPUtime=5.16 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 37724 0 0 0 512 4 0 0 20 0 15 0 250576141 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14092996 memory=630688 CPUtime=4.62 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 38297 0 0 0 458 4 0 0 20 0 15 0 250576141 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14092996 memory=634800 CPUtime=1.47 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) S 10242 10245 10094 0 -1 1077944384 30770 0 0 0 143 4 0 0 20 0 15 0 250576141 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830351878128 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14092996 memory=611972 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14092996 memory=630704 CPUtime=1.31 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1903 0 0 0 54 77 0 0 20 0 15 0 250576141 14431227904 158318 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 2506.38 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 633272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.7 s]
/proc/loadavg: 1.43 1.48 1.53 3/215 10360
/proc/meminfo: memFree=14740412/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14092996 memory=615604 CPUtime=2520.06 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 416916 0 0 0 251636 370 0 0 20 0 15 0 250576135 14431227904 153901 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3523249 153901 3629 1 0 3485321 0
[pid=10245/tid=10247] ppid=10242 vsize=14092996 memory=617140 CPUtime=2434.78 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 152425 0 0 0 243390 88 0 0 20 0 15 0 250576136 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831382632880 139831009999394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14092996 memory=620732 CPUtime=17.51 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 25799 0 0 0 1710 41 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14092996 memory=620732 CPUtime=17.49 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 23622 0 0 0 1712 37 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14092996 memory=630560 CPUtime=17.46 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 25522 0 0 0 1705 41 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14092996 memory=280792345725776 CPUtime=17.48 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 25159 0 0 0 1706 42 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14092996 memory=634800 CPUtime=2.67 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 54217 0 0 0 209 58 0 0 20 0 15 0 250576138 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14092996 memory=635816 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830919407328 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14092996 memory=635816 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830918354176 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14092996 memory=634808 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14092996 memory=634808 CPUtime=5.16 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 37724 0 0 0 512 4 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14092996 memory=634828 CPUtime=4.62 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 38298 0 0 0 458 4 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14092996 memory=615604 CPUtime=1.47 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) S 10242 10245 10094 0 -1 1077944384 30772 0 0 0 143 4 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830351878128 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14092996 memory=622784 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14092996 memory=3816 CPUtime=1.32 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1905 0 0 0 55 77 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 615604 KiB

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

[startup+2455.73 s]
# the end of solver process 10245 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.39 s, system=3.71157 s

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

[startup+2455.7 s]
/proc/loadavg: 1.43 1.48 1.53 3/215 10360
/proc/meminfo: memFree=14740412/32770624 swapFree=67108504/67108860
[pid=10245] ppid=10242 vsize=14092996 memory=615604 CPUtime=2520.06 cores=1,3,5,7
/proc/10245/stat : 10245 (java) S 10242 10245 10094 0 -1 1077944320 416916 0 0 0 251636 370 0 0 20 0 15 0 250576135 14431227904 153901 33554432000 4194304 4196468 140729521501488 140729521484032 139831378394871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
/proc/10245/statm: 3523249 153901 3629 1 0 3485321 0
[pid=10245/tid=10247] ppid=10242 vsize=14092996 memory=617140 CPUtime=2434.78 cores=1,3,5,7
/proc/10245/task/10247/stat : 10247 (java) R 10242 10245 10094 0 -1 4202560 152425 0 0 0 243390 88 0 0 20 0 15 0 250576136 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831382632880 139831009999394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10248] ppid=10242 vsize=14092996 memory=620732 CPUtime=17.51 cores=1,3,5,7
/proc/10245/task/10248/stat : 10248 (java) S 10242 10245 10094 0 -1 1077944384 25799 0 0 0 1710 41 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831331015184 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10249] ppid=10242 vsize=14092996 memory=620732 CPUtime=17.49 cores=1,3,5,7
/proc/10245/task/10249/stat : 10249 (java) S 10242 10245 10094 0 -1 1077944384 23622 0 0 0 1712 37 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831329962640 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10250] ppid=10242 vsize=14092996 memory=630560 CPUtime=17.46 cores=1,3,5,7
/proc/10245/task/10250/stat : 10250 (java) S 10242 10245 10094 0 -1 1077944384 25522 0 0 0 1705 41 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831328909584 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10251] ppid=10242 vsize=14092996 memory=280792345725776 CPUtime=17.48 cores=1,3,5,7
/proc/10245/task/10251/stat : 10251 (java) S 10242 10245 10094 0 -1 1077944384 25159 0 0 0 1706 42 0 0 20 0 15 0 250576137 14431227904 153901 33554432000 4194304 4196468 140729521501488 139831327857040 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10252] ppid=10242 vsize=14092996 memory=634800 CPUtime=2.67 cores=1,3,5,7
/proc/10245/task/10252/stat : 10252 (java) S 10242 10245 10094 0 -1 1077944384 54217 0 0 0 209 58 0 0 20 0 15 0 250576138 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830920461040 139831378406018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10253] ppid=10242 vsize=14092996 memory=635816 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10253/stat : 10253 (java) S 10242 10245 10094 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830919407328 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10254] ppid=10242 vsize=14092996 memory=635816 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10254/stat : 10254 (java) S 10242 10245 10094 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 250576138 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830918354176 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10255] ppid=10242 vsize=14092996 memory=634808 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10255/stat : 10255 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830917302736 139831378413467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10256] ppid=10242 vsize=14092996 memory=634808 CPUtime=5.16 cores=1,3,5,7
/proc/10245/task/10256/stat : 10256 (java) S 10242 10245 10094 0 -1 1077944384 37724 0 0 0 512 4 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830916249840 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10257] ppid=10242 vsize=14092996 memory=634828 CPUtime=4.62 cores=1,3,5,7
/proc/10245/task/10257/stat : 10257 (java) S 10242 10245 10094 0 -1 1077944384 38298 0 0 0 458 4 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830352931184 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10258] ppid=10242 vsize=14092996 memory=615604 CPUtime=1.47 cores=1,3,5,7
/proc/10245/task/10258/stat : 10258 (java) S 10242 10245 10094 0 -1 1077944384 30772 0 0 0 143 4 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830351878128 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10259] ppid=10242 vsize=14092996 memory=622784 CPUtime=0 cores=1,3,5,7
/proc/10245/task/10259/stat : 10259 (java) S 10242 10245 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830350825824 139831378405077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
[pid=10245/tid=10260] ppid=10242 vsize=14092996 memory=3816 CPUtime=1.32 cores=1,3,5,7
/proc/10245/task/10260/stat : 10260 (java) S 10242 10245 10094 0 -1 1077944384 1905 0 0 0 55 77 0 0 20 0 15 0 250576141 14431227904 153901 33554432000 4194304 4196468 140729521501488 139830349773872 139831378406018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140729521505364 140729521505545 140729521505545 140729521508303 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 615604 KiB

Child status: 143
Real time (s): 2455.73
CPU time (s): 2520.1
CPU user time (s): 2516.39
CPU system time (s): 3.71157
CPU usage (%): 102.621
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3858416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.71157
maximum resident set size= 3859960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109739
involuntary context switches= 3173


# summary of solver processes directly reported to runsolver:
#   pid: 10245
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.39
#   total CPU system time (s): 3.71157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4624 second user time and 22.3474 second system time

The end

Name	PeacableArmies/ PeacableArmies-m2-30_c18.xml
MD5SUM	f7f9b20d19eb9843ceb4981536ba88b3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	83
Best CPU time to get the best result obtained on this benchmark	2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	902
Number of constraints	43213
Number of domains	2
Minimum domain size	3
Maximum domain size	450
Distribution of domain sizes	[{"size":3,"count":900},{"size":450,"count":2}]
Minimum variable degree	2
Maximum variable degree	117
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":1},{"degree":89,"count":116},{"degree":91,"count":108},{"degree":93,"count":100},{"degree":95,"count":92},{"degree":97,"count":84},{"degree":99,"count":76},{"degree":101,"count":68},{"degree":103,"count":60},{"degree":105,"count":52},{"degree":107,"count":44},{"degree":109,"count":36},{"degree":111,"count":28},{"degree":113,"count":20},{"degree":115,"count":12},{"degree":117,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	901
Distribution of constraint arities	[{"arity":2,"count":43211},{"arity":901,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	43211
Distribution of constraint types	[{"type":"intension","count":43211},{"type":"count","count":2}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4308424

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