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-07-02	SAT (TO)	15789	2400.05	2350.64

0.67/0.56	c version: 2018-07-02
0.67/0.57	c seed: 154802858
0.67/0.57	c timeout: 2400
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
7.43/2.96	c Parsing done, starting search...
8.13/3.12	o 17057
8.41/3.22	o 16990
8.41/3.22	o 16828
8.41/3.22	o 16793
8.41/3.23	o 16616
8.41/3.23	o 16612
13.33/5.87	o 16605
13.33/5.88	o 16565
13.49/5.93	o 16554
13.49/5.93	o 16536
13.63/6.05	o 16520
14.60/6.93	o 16513
14.60/6.94	o 16512
14.60/6.94	o 16508
14.60/6.94	o 16490
14.60/6.94	o 16484
14.60/6.96	o 16458
14.60/6.96	o 16440
70.95/62.63	o 16438
70.95/62.66	o 16417
70.95/62.66	o 16389
70.95/62.67	o 16360
71.07/62.75	o 16326
71.07/62.75	o 16320
71.59/63.28	o 16290
71.59/63.29	o 16279
71.79/63.43	o 16267
71.79/63.43	o 16261
71.79/63.43	o 16250
83.04/74.55	o 16232
87.85/79.32	o 16231
101.05/92.35	o 16219
101.05/92.35	o 16206
101.05/92.35	o 16200
101.05/92.36	o 16166
101.05/92.36	o 16153
101.05/92.36	o 16119
101.17/92.48	o 16118
101.71/92.91	o 16090
101.71/92.91	o 16087
102.03/93.21	o 16085
102.03/93.21	o 16084
102.03/93.23	o 16077
102.03/93.23	o 16072
102.03/93.23	o 16071
102.03/93.24	o 16050
102.13/93.36	o 16047
1519.00/1485.00	o 16022
1519.11/1485.02	o 16011
1519.21/1485.19	o 15965
1519.62/1485.54	o 15915
1521.83/1487.78	o 15909
1521.83/1487.79	o 15872
1555.17/1520.50	o 15870
1555.78/1521.16	o 15847
1555.78/1521.16	o 15844
1555.78/1521.16	o 15827
1571.77/1536.84	o 15800
1573.30/1538.32	o 15792
1573.40/1538.40	o 15789
2400.00/2350.60	s SATISFIABLE
2400.00/2350.61	v <instantiation>
2400.00/2350.61	v 	<list>
2400.00/2350.61	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[0][22] o[0][23] o[0][24] o[0][25] 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[1][22] o[1][23] o[1][24] o[1][25] 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[2][22] o[2][23] o[2][24] o[2][25] 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[3][22] o[3][23] o[3][24] o[3][25] 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[4][22] o[4][23] o[4][24] o[4][25] 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[5][22] o[5][23] o[5][24] o[5][25] 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[6][22] o[6][23] o[6][24] o[6][25] 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[7][22] o[7][23] o[7][24] o[7][25] 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[8][22] o[8][23] o[8][24] o[8][25] 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[9][22] o[9][23] o[9][24] o[9][25] 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[10][22] o[10][23] o[10][24] o[10][25] 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] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] 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[0][22] h[0][23] h[0][24] h[0][25] 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[1][22] h[1][23] h[1][24] h[1][25] 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[2][22] h[2][23] h[2][24] h[2][25] 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[3][22] h[3][23] h[3][24] h[3][25] 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[4][22] h[4][23] h[4][24] h[4][25] 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[5][22] h[5][23] h[5][24] h[5][25] 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[6][22] h[6][23] h[6][24] h[6][25] 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[7][22] h[7][23] h[7][24] h[7][25] 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[8][22] h[8][23] h[8][24] h[8][25] 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[9][22] h[9][23] h[9][24] h[9][25] 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[10][22] h[10][23] h[10][24] h[10][25] 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] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] 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[0][22] a[0][23] a[0][24] a[0][25] 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[1][22] a[1][23] a[1][24] a[1][25] 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[2][22] a[2][23] a[2][24] a[2][25] 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[3][22] a[3][23] a[3][24] a[3][25] 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[4][22] a[4][23] a[4][24] a[4][25] 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[5][22] a[5][23] a[5][24] a[5][25] 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[6][22] a[6][23] a[6][24] a[6][25] 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[7][22] a[7][23] a[7][24] a[7][25] 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[8][22] a[8][23] a[8][24] a[8][25] 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[9][22] a[9][23] a[9][24] a[9][25] 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[10][22] a[10][23] a[10][24] a[10][25] 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] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] 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[0][23] t[0][24] t[0][25] t[0][26] 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[1][23] t[1][24] t[1][25] t[1][26] 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[2][23] t[2][24] t[2][25] t[2][26] 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[3][23] t[3][24] t[3][25] t[3][26] 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[4][23] t[4][24] t[4][25] t[4][26] 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[5][23] t[5][24] t[5][25] t[5][26] 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[6][23] t[6][24] t[6][25] t[6][26] 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[7][23] t[7][24] t[7][25] t[7][26] 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[8][23] t[8][24] t[8][25] t[8][26] 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[9][23] t[9][24] t[9][25] t[9][26] 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[10][23] t[10][24] t[10][25] t[10][26] 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] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26]
2400.00/2350.61	v 	</list>
2400.00/2350.61	v 	<values>
2400.00/2350.61	v 		4 4 13 6 7 12 6 8 10 13 8 2 3 1 1 5 9 10 12 2 11 7 9 3 11 5 5 6 9 4 8 10 7 7 13 5 12 12 2 0 0 11 3 4 3 9 6 13 8 11 2 10 12 13 5 10 5 6 4 4 9 10 6 0 1 7 3 7 8 11 8 0 12 11 3 9 1 13 11 5 8 12 11 13 13 10 12 7 9 5 0 4 2 10 1 7 1 6 4 6 2 0 9 8 0 0 12 1 6 11 2 2 8 11 5 10 9 3 5 12 13 1 13 8 3 9 6 10 7 7 1 3 2 13 2 8 10 11 11 1 4 3 13 9 4 0 6 8 9 10 7 12 12 7 6 0 8 1 10 0 4 2 0 9 7 8 2 9 10 11 13 13 5 12 7 3 1 3 4 12 5 11 13 12 11 9 0 9 1 1 6 3 10 11 8 2 8 2 10 3 6 12 5 0 13 5 4 4 6 11 3 11 1 5 12 0 4 6 0 13 7 12 7 9 2 5 2 4 9 10 1 13 10 3 10 10 1 7 13 7 11 6 2 12 3 6 4 5 11 8 0 13 5 1 8 4 0 2 3 12 9 9 6 2 12 1 5 3 0 2 7 4 6 13 12 3 7 0 11 5 13 8 11 4 8 1 3 8 7 8 3 4 9 5 5 4 13 7 12 6 9 1 12 2 10 13 0 2 10 1 0 6 2 7 4 3 10 0 8 13 3 9 1 1 11 8 10 4 11 6 0 7 2 5 5 6 13 9 7 2 0 5 9 3 3 12 1 0 11 8 5 10 6 6 4 9 4 11 10 1 7 8 12 2 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 36 36 59 59 44 44 44 31 48 0 0 15 47 34 10 10 0 55 101 57 0 0 51 51 55 44 39 40 27 39 31 21 73 65 44 41 64 0 55 55 10 10 0 32 32 0 43 43 0 0 64 58 22 0 48 90 61 0 50 27 18 45 0 55 55 0 22 44 14 47 0 58 69 48 15 0 0 49 49 0 0 66 44 42 68 0 0 50 50 80 90 14 0 0 51 51 69 69 0 32 39 47 0 47 15 51 67 0 0 36 57 73 18 18 0 45 53 69 70 74 103 55 35 35 0 31 64 91 51 51 0 0 64 64 0 0 0 50 61 75 0 51 10 44 40 31 51 41 0 0 39 39 42 68 81 0 94 94 48 59 27 0 31 31 0 44 44 0 0 69 69 0 56 56 75 10 69 92 27 94 90 59 39 32 51 18 0 0 0 0 90 105 105 79 0 44 44 59 59 0 0 81 81 0 56 55 69 14 0 48 39 59 41 0 64 64 0 0 0 69 69 42 94 81 0 31 44 48 0 0 81 79 49 53 0 21 21 73 65 64 104 68 68 103 103 43 43 0 79 79 0 49 49 67 47 69 81 44 105 51 59 93 0 68 21 55 0 0 30 30 0 103 69 56 55 0 0 69 34 55 69 69 0 66 90 101 0 0 10 44 51 0 0 74 21 46 65 0 69 69 0 66 51 55 105 44 44 69 41 67 0 0 64 55 105 0 0 55 15 55 10 0 70 70 0 0 0 80 69 55 57 90 90 30 43 55 105 69 81 73 73 0 0 90 56 48 94 27 88 0 0 41 41 0 0 93 67 50 0 0 59 59 104 42 75 0 92 18 91 0 69 10 65 64 0 90 48 61 
2400.00/2350.61	v 	</values>
2400.00/2350.61	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 (8292 MiB free)
  memory of node 1: 16384 MiB (10388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290308-1532562642/watcher-4290308-1532562642 -o /tmp/evaluation-result-4290308-1532562642/solver-4290308-1532562642 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532562642-29760 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 154802858 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290308-1532562642.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=29790, runsolver pid=29784

[startup+0.100109 s]*
/proc/loadavg: 0.92 0.98 1.03 4/221 29820
/proc/meminfo: memFree=19094868/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14082740 memory=30976 CPUtime=0.11 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 6707 0 0 0 10 1 0 0 20 0 15 0 73827377 14420725760 7744 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3520685 7744 3142 1 0 3482761 0
[pid=29790/tid=29793] ppid=29784 vsize=14082740 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 4753 0 0 0 8 1 0 0 20 0 15 0 73827378 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956584284424 139956564161886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827380 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827381 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956053632288 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827381 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956052579952 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) S 29784 29790 29728 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 73827383 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956050475120 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0.01 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 73827383 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827384 14420725760 7744 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30976 KiB

[startup+0.210647 s]*
/proc/loadavg: 0.92 0.98 1.03 5/221 29820
/proc/meminfo: memFree=19062108/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14082740 memory=47200 CPUtime=0.29 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 10332 0 0 0 27 2 0 0 20 0 15 0 73827377 14420725760 11800 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3520685 11800 3365 1 0 3482761 0
[pid=29790/tid=29793] ppid=29784 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) S 29784 29790 29728 0 -1 1077944384 8119 0 0 0 18 1 0 0 20 0 15 0 73827378 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956584306752 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14082740 memory=140557643606431 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73827380 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827381 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956053632288 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827381 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956052579952 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) R 29784 29790 29728 0 -1 4202560 466 0 0 0 1 0 0 0 20 0 15 0 73827383 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956050475120 139956557434960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) R 29784 29790 29728 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 73827383 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0.05 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 298 0 0 0 5 0 0 0 20 0 15 0 73827383 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) R 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827384 14420725760 11800 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47200 KiB

[startup+0.310838 s]*
/proc/loadavg: 0.92 0.98 1.03 4/221 29820
/proc/meminfo: memFree=19054540/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14082740 memory=50672 CPUtime=0.44 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 10816 0 0 0 42 2 0 0 20 0 15 0 73827377 14420725760 12668 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3520685 12668 3413 1 0 3482761 0
[pid=29790/tid=29793] ppid=29784 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 8473 0 0 0 28 1 0 0 20 0 15 0 73827378 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956584292912 139956564161886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14082740 memory=288230604707987479 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14082740 memory=140557643606041 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73827380 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827381 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956053632288 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827381 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956052579952 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) S 29784 29790 29728 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 15 0 73827383 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956050475120 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) S 29784 29790 29728 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 15 0 73827383 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0.08 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 321 0 0 0 8 0 0 0 20 0 15 0 73827383 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14082740 memory=140557643576960 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827384 14420725760 12668 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50672 KiB

[startup+0.700707 s]
/proc/loadavg: 0.92 0.98 1.03 4/221 29820
/proc/meminfo: memFree=19010884/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14084808 memory=88736 CPUtime=0.99 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 17578 0 0 0 94 5 0 0 20 0 15 0 73827377 14422843392 22184 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3521202 22184 3500 1 0 3483273 0
[pid=29790/tid=29793] ppid=29784 vsize=14084808 memory=1844 CPUtime=0.67 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 14890 0 0 0 63 4 0 0 20 0 15 0 73827378 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956584294608 139956572331989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14084808 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14084808 memory=13056 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14084808 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14084808 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73827380 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14084808 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827381 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956053632288 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14084808 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827381 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956052579952 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14084808 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14084808 memory=6296683612537770333 CPUtime=0.08 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) S 29784 29790 29728 0 -1 1077944384 665 0 0 0 8 0 0 0 20 0 15 0 73827383 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956050475120 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14084808 memory=7595725831727968097 CPUtime=0.07 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) S 29784 29790 29728 0 -1 1077944384 255 0 0 0 7 0 0 0 20 0 15 0 73827383 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14084808 memory=7236547281622689387 CPUtime=0.15 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 385 0 0 0 15 0 0 0 20 0 15 0 73827383 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827384 14422843392 22184 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88736 KiB

[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 1.03 8/221 29820
/proc/meminfo: memFree=18891336/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14088904 memory=209508 CPUtime=3.47 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 25215 0 0 0 338 9 0 0 20 0 15 0 73827377 14427037696 52377 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3522226 52377 3555 1 0 3484297 0
[pid=29790/tid=29793] ppid=29784 vsize=14088904 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 18149 0 0 0 140 6 0 0 20 0 15 0 73827378 14427037696 52377 33554432000 4194304 4196468 140728956438624 139956584315536 139956222412824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14088904 memory=-8253362762724047225 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14427037696 52377 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14088904 memory=-8609294068986781045 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14427037696 52377 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14088904 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827379 14427037696 52377 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14088904 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827379 14427037696 52377 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 73827380 14427037696 52377 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0

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

/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 88565 0 0 0 217789 66 0 0 20 0 15 0 73827378 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956584319456 139956232968665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14093000 memory=2282268 CPUtime=13.57 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 32286 0 0 0 1278 79 0 0 20 0 15 0 73827379 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14093000 memory=2281240 CPUtime=13.57 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 32176 0 0 0 1279 78 0 0 20 0 15 0 73827379 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14093000 memory=2256836 CPUtime=13.53 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 30025 0 0 0 1277 76 0 0 20 0 15 0 73827379 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14093000 memory=2254784 CPUtime=13.56 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 30979 0 0 0 1275 81 0 0 20 0 15 0 73827379 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14093000 memory=2254784 CPUtime=6.84 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 46547 0 0 0 623 61 0 0 20 0 15 0 73827380 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14093000 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956053632352 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14093000 memory=2260428 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956052579968 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14093000 memory=2321256 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14093000 memory=2321256 CPUtime=3.25 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) S 29784 29790 29728 0 -1 1077944384 11321 0 0 0 323 2 0 0 20 0 15 0 73827383 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956050475120 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14093000 memory=2254784 CPUtime=3.23 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) S 29784 29790 29728 0 -1 1077944384 11803 0 0 0 322 1 0 0 20 0 15 0 73827383 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14093000 memory=13056 CPUtime=1.45 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 14817 0 0 0 143 2 0 0 20 0 15 0 73827383 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14093000 memory=2259404 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14093000 memory=2259404 CPUtime=1.42 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) S 29784 29790 29728 0 -1 1077944384 1798 0 0 0 63 79 0 0 20 0 15 0 73827384 14431232000 563696 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 2249.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2254784 KiB

[startup+2262.3 s]
/proc/loadavg: 1.63 1.46 1.43 4/219 29918
/proc/meminfo: memFree=16318972/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14093000 memory=2206052 CPUtime=2310.19 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 308187 0 0 0 230544 475 0 0 20 0 15 0 73827377 14431232000 551513 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3523250 551513 3614 1 0 3485321 0
[pid=29790/tid=29793] ppid=29784 vsize=14093000 memory=2206564 CPUtime=2237.91 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 90351 0 0 0 223724 67 0 0 20 0 15 0 73827378 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956584319424 139956233199080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14093000 memory=2210668 CPUtime=13.94 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 33485 0 0 0 1313 81 0 0 20 0 15 0 73827379 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14093000 memory=2213232 CPUtime=13.93 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 33059 0 0 0 1314 79 0 0 20 0 15 0 73827379 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14093000 memory=2211692 CPUtime=13.89 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 31016 0 0 0 1312 77 0 0 20 0 15 0 73827379 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14093000 memory=2210156 CPUtime=13.92 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 31632 0 0 0 1310 82 0 0 20 0 15 0 73827379 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14093000 memory=2207588 CPUtime=7.1 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 47415 0 0 0 647 63 0 0 20 0 15 0 73827380 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14093000 memory=2206564 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956053632352 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14093000 memory=2215284 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956052579968 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14093000 memory=2209128 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14093000 memory=1232 CPUtime=3.25 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) S 29784 29790 29728 0 -1 1077944384 11327 0 0 0 323 2 0 0 20 0 15 0 73827383 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956050475120 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14093000 memory=2210156 CPUtime=3.23 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) S 29784 29790 29728 0 -1 1077944384 11812 0 0 0 322 1 0 0 20 0 15 0 73827383 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14093000 memory=2210668 CPUtime=1.45 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 14826 0 0 0 143 2 0 0 20 0 15 0 73827383 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14093000 memory=2212720 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14093000 memory=2212720 CPUtime=1.45 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) S 29784 29790 29728 0 -1 1077944384 1840 0 0 0 65 80 0 0 20 0 15 0 73827384 14431232000 551513 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 2310.19 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2206052 KiB

[startup+2322.3 s]
/proc/loadavg: 1.46 1.44 1.42 4/219 29919
/proc/meminfo: memFree=16418440/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14093000 memory=2150648 CPUtime=2371.21 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 313056 0 0 0 236636 485 0 0 20 0 15 0 73827377 14431232000 537662 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3523250 537662 3614 1 0 3485321 0
[pid=29790/tid=29793] ppid=29784 vsize=14093000 memory=2158340 CPUtime=2297.29 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 92049 0 0 0 229661 68 0 0 20 0 15 0 73827378 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956584319440 139956233660837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14093000 memory=0 CPUtime=14.28 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 33725 0 0 0 1346 82 0 0 20 0 15 0 73827379 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14093000 memory=2151672 CPUtime=14.28 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 34381 0 0 0 1347 81 0 0 20 0 15 0 73827379 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14093000 memory=2151160 CPUtime=14.24 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 31151 0 0 0 1346 78 0 0 20 0 15 0 73827379 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14093000 memory=2150648 CPUtime=14.27 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 32482 0 0 0 1343 84 0 0 20 0 15 0 73827379 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14093000 memory=2200408 CPUtime=7.33 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 47985 0 0 0 666 67 0 0 20 0 15 0 73827380 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14093000 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956053632352 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14093000 memory=2164496 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956052579968 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14093000 memory=2165012 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14093000 memory=2155264 CPUtime=3.25 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) S 29784 29790 29728 0 -1 1077944384 11332 0 0 0 323 2 0 0 20 0 15 0 73827383 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956050475120 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14093000 memory=2155264 CPUtime=3.23 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) S 29784 29790 29728 0 -1 1077944384 11817 0 0 0 322 1 0 0 20 0 15 0 73827383 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14093000 memory=2162444 CPUtime=1.45 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 14832 0 0 0 143 2 0 0 20 0 15 0 73827383 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14093000 memory=2165012 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14093000 memory=2151672 CPUtime=1.49 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) S 29784 29790 29728 0 -1 1077944384 1878 0 0 0 67 82 0 0 20 0 15 0 73827384 14431232000 537662 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 2371.21 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2150648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2350.6 s]
/proc/loadavg: 1.37 1.41 1.41 3/219 29996
/proc/meminfo: memFree=15818240/32770624 swapFree=67108860/67108860
[pid=29790] ppid=29784 vsize=14093000 memory=2136284 CPUtime=2400 cores=1,3,5,7
/proc/29790/stat : 29790 (java) S 29784 29790 29728 0 -1 1077944320 315185 0 0 0 239510 490 0 0 20 0 15 0 73827377 14431232000 534071 33554432000 4194304 4196468 140728956438624 140728956421168 139956580081399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
/proc/29790/statm: 3523250 534071 3614 1 0 3485321 0
[pid=29790/tid=29793] ppid=29784 vsize=14093000 memory=796 CPUtime=2325.24 cores=1,3,5,7
/proc/29790/task/29793/stat : 29793 (java) R 29784 29790 29728 0 -1 4202560 92675 0 0 0 232455 69 0 0 20 0 15 0 73827378 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956584319408 139956232973862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29795] ppid=29784 vsize=14093000 memory=1700 CPUtime=14.45 cores=1,3,5,7
/proc/29790/task/29795/stat : 29795 (java) S 29784 29790 29728 0 -1 1077944384 33780 0 0 0 1363 82 0 0 20 0 15 0 73827379 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956175694224 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29797] ppid=29784 vsize=14093000 memory=13056 CPUtime=14.44 cores=1,3,5,7
/proc/29790/task/29797/stat : 29797 (java) S 29784 29790 29728 0 -1 1077944384 34722 0 0 0 1363 81 0 0 20 0 15 0 73827379 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956174641424 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29800] ppid=29784 vsize=14093000 memory=5788 CPUtime=14.42 cores=1,3,5,7
/proc/29790/task/29800/stat : 29800 (java) S 29784 29790 29728 0 -1 1077944384 31214 0 0 0 1363 79 0 0 20 0 15 0 73827379 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956173589136 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29802] ppid=29784 vsize=14093000 memory=4620 CPUtime=14.44 cores=1,3,5,7
/proc/29790/task/29802/stat : 29802 (java) S 29784 29790 29728 0 -1 1077944384 33208 0 0 0 1360 84 0 0 20 0 15 0 73827379 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956172536336 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29803] ppid=29784 vsize=14093000 memory=1424 CPUtime=7.45 cores=1,3,5,7
/proc/29790/task/29803/stat : 29803 (java) S 29784 29790 29728 0 -1 1077944384 48276 0 0 0 677 68 0 0 20 0 15 0 73827380 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956054686320 139956580092546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29805] ppid=29784 vsize=14093000 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29805/stat : 29805 (java) S 29784 29790 29728 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956053632352 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29807] ppid=29784 vsize=14093000 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29807/stat : 29807 (java) S 29784 29790 29728 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 73827381 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956052579968 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29811] ppid=29784 vsize=14093000 memory=1956 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29811/stat : 29811 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827383 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956051528272 139956580099995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29814] ppid=29784 vsize=14093000 memory=1204 CPUtime=3.25 cores=1,3,5,7
/proc/29790/task/29814/stat : 29814 (java) S 29784 29790 29728 0 -1 1077944384 11334 0 0 0 323 2 0 0 20 0 15 0 73827383 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956050475120 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29815] ppid=29784 vsize=14093000 memory=6791534058613427641 CPUtime=3.23 cores=1,3,5,7
/proc/29790/task/29815/stat : 29815 (java) S 29784 29790 29728 0 -1 1077944384 11820 0 0 0 322 1 0 0 20 0 15 0 73827383 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956049422320 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29816] ppid=29784 vsize=14093000 memory=2292 CPUtime=1.45 cores=1,3,5,7
/proc/29790/task/29816/stat : 29816 (java) S 29784 29790 29728 0 -1 1077944384 14835 0 0 0 143 2 0 0 20 0 15 0 73827383 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956048370032 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29818] ppid=29784 vsize=14093000 memory=2146028 CPUtime=0 cores=1,3,5,7
/proc/29790/task/29818/stat : 29818 (java) S 29784 29790 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827384 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956047317472 139956580091605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
[pid=29790/tid=29820] ppid=29784 vsize=14093000 memory=1408 CPUtime=1.5 cores=1,3,5,7
/proc/29790/task/29820/stat : 29820 (java) S 29784 29790 29728 0 -1 1077944384 1897 0 0 0 67 83 0 0 20 0 15 0 73827384 14431232000 534071 33554432000 4194304 4196468 140728956438624 139956046265264 139956580092546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140728956441673 140728956441865 140728956441865 140728956444623 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2136284 KiB

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

[startup+2350.64 s]
# the end of solver process 29790 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.13 s, system=4.91836 s

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

Child status: 143
Real time (s): 2350.64
CPU time (s): 2400.05
CPU user time (s): 2395.13
CPU system time (s): 4.91836
CPU usage (%): 102.102
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 2552268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.13
system time used= 4.91836
maximum resident set size= 2555840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220823
involuntary context switches= 7839


# summary of solver processes directly reported to runsolver:
#   pid: 29790
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2395.13
#   total CPU system time (s): 4.91836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0069 second user time and 23.3874 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml
MD5SUM	7a3ba77b7a6be046779b0525cfa105c0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14498
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	1470
Number of constraints	5725
Number of domains	3
Minimum domain size	2
Maximum domain size	57
Distribution of domain sizes	[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree	2
Maximum variable degree	44
Distribution of variable degrees	[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints	378
Number of intensional constraints	4565
Distribution of constraint types	[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4290308

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