2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	16587	252.101	240.937

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 828405955
0.68/0.56	c timeout: 252
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
7.43/2.93	c Parsing done, starting first complete search...
7.78/3.09	o 17578
7.78/3.09	o 17567
7.78/3.10	o 17454
7.78/3.10	o 17410
7.78/3.10	o 17399
7.78/3.10	o 17389
8.12/3.11	o 17356
8.12/3.11	o 17231
8.12/3.12	o 17220
8.12/3.12	o 17192
8.12/3.12	o 17181
8.12/3.15	o 17180
8.12/3.17	o 17152
8.12/3.17	o 17141
8.41/3.25	o 17140
8.41/3.25	o 17129
9.03/3.42	o 17102
9.03/3.44	o 17082
9.03/3.48	o 17063
9.03/3.48	o 17045
9.62/3.68	o 17031
9.62/3.68	o 17004
11.62/4.31	o 17000
11.83/4.47	o 16992
11.83/4.48	o 16981
12.07/4.60	o 16962
12.07/4.62	o 16961
12.07/4.67	o 16954
12.07/4.67	o 16952
12.07/4.68	o 16943
12.07/4.68	o 16939
12.07/4.69	o 16938
12.07/4.69	o 16927
12.26/4.72	o 16903
12.26/4.72	o 16902
12.56/4.90	o 16894
16.64/8.70	o 16878
16.64/8.73	o 16877
16.64/8.74	o 16855
16.64/8.78	o 16842
16.64/8.78	o 16841
16.81/8.83	o 16831
16.81/8.84	o 16830
19.32/11.28	o 16821
19.32/11.28	o 16810
19.63/11.59	o 16809
30.83/22.62	c First complete search done, starting ALNS search...
42.21/32.26	o 16806
42.74/32.72	o 16728
42.74/32.73	o 16710
122.71/112.05	o 16644
122.71/112.06	o 16626
123.03/112.36	o 16605
123.03/112.36	o 16587
252.04/240.90	s SATISFIABLE
252.04/240.91	v <instantiation>
252.04/240.91	v 	<list>
252.04/240.91	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]
252.04/240.91	v 	</list>
252.04/240.91	v 	<values>
252.04/240.91	v 		12 7 7 5 5 11 2 8 12 10 1 10 9 6 6 13 3 9 2 8 4 1 4 11 3 13 13 8 8 9 11 5 9 12 3 13 0 4 10 7 4 5 2 10 3 11 6 0 6 7 2 12 11 13 13 12 7 6 0 9 4 5 10 3 7 12 3 6 1 4 0 5 8 9 8 10 1 11 10 12 12 7 6 4 5 7 1 8 8 2 13 11 2 4 0 5 1 13 9 11 9 6 0 10 9 11 11 13 8 3 7 6 2 12 5 1 8 10 1 3 13 2 12 10 0 7 0 5 6 9 8 10 10 0 0 1 3 13 11 2 4 6 6 9 11 1 9 3 7 2 12 13 12 4 7 8 7 9 9 8 3 2 13 4 8 11 12 5 5 0 0 2 10 13 11 12 1 10 1 3 4 7 6 0 0 3 2 8 4 3 13 9 13 11 2 1 12 8 12 11 5 9 10 4 10 1 5 6 5 1 1 6 4 7 10 0 6 3 3 9 4 13 10 7 11 12 9 0 2 12 2 13 11 5 4 6 6 1 13 12 1 2 10 7 11 8 0 5 13 11 5 0 8 7 3 2 3 12 10 4 3 5 5 11 12 13 8 11 9 0 2 0 1 4 8 12 6 1 13 4 7 6 7 2 9 3 2 4 4 10 1 0 12 10 5 6 9 7 12 3 5 9 8 7 6 1 13 3 13 0 8 2 0 3 3 2 10 9 11 1 0 4 6 13 11 2 7 10 7 8 4 6 5 8 5 9 13 1 1 2 2 4 9 10 6 5 7 1 7 12 3 8 9 0 4 6 10 3 11 5 11 8 12 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 57 57 44 48 39 0 0 48 48 0 0 55 103 51 44 44 0 0 15 15 36 31 10 55 66 50 59 0 0 46 46 64 44 81 43 0 64 59 10 0 0 31 31 22 55 69 32 39 39 0 44 44 55 55 0 0 61 90 48 56 44 15 0 50 51 55 56 56 47 47 0 45 45 0 53 68 49 0 22 64 58 0 80 80 14 14 51 35 41 32 46 68 47 47 66 66 0 34 34 0 50 50 0 67 69 47 69 69 0 0 70 69 104 21 64 64 45 45 35 40 31 0 0 51 51 0 73 101 74 0 36 36 18 69 55 0 0 51 51 39 39 0 0 44 44 0 0 27 69 81 40 40 41 14 56 50 75 90 73 35 42 42 0 0 69 69 47 47 0 18 21 31 88 94 27 44 44 56 56 92 69 70 0 75 65 39 0 59 59 59 44 44 0 56 56 0 14 50 93 79 0 0 44 55 81 81 67 67 0 0 64 74 69 48 48 0 42 40 46 31 31 81 69 73 0 0 68 68 21 91 104 0 69 69 68 51 48 81 48 53 0 0 0 55 18 69 43 43 0 0 49 49 0 105 69 68 0 93 93 81 39 51 79 14 67 0 30 101 103 0 69 41 51 10 105 90 66 0 103 51 55 0 65 31 21 73 75 75 0 0 69 69 0 55 55 0 0 58 45 70 0 0 55 57 101 10 70 70 67 67 0 44 81 105 0 0 64 64 50 66 0 69 69 0 0 0 80 80 0 30 30 55 10 36 73 0 105 58 48 101 69 81 81 88 27 94 0 0 90 90 0 64 22 61 0 93 93 92 27 75 0 41 90 80 50 0 59 36 91 66 66 0 0 69 69 104 0 0 
252.04/240.91	v 	</values>
252.04/240.91	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 (14117 MiB free)
  memory of node 1: 16384 MiB (9677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310310-1534332781/watcher-4310310-1534332781 -o /tmp/evaluation-result-4310310-1534332781/solver-4310310-1534332781 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534329860-9563 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 828405955 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310310-1534332781.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12212, runsolver pid=12209

[startup+0.100124 s]*
/proc/loadavg: 1.11 1.27 1.53 3/220 12227
/proc/meminfo: memFree=24348932/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14082736 memory=32260 CPUtime=0.11 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 6976 0 0 0 10 1 0 0 20 0 15 0 250841370 14420721664 8065 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3520684 8065 3137 1 0 3482761 0
[pid=12212/tid=12214] ppid=12209 vsize=14082736 memory=-8629632960754519937 CPUtime=0.09 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 5248 0 0 0 8 1 0 0 20 0 15 0 250841371 14420721664 8263 33554432000 4194304 4196468 140722904595584 139901450334576 139901427696400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 8263 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 8263 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 8263 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 8263 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841373 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250841373 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900987209248 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250841374 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900986156400 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) S 12209 12212 9532 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900982999280 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0.01 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) S 12209 12212 9532 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 250841376 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900981946480 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 8263 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32260 KiB

[startup+0.210769 s]*
/proc/loadavg: 1.11 1.27 1.53 4/220 12227
/proc/meminfo: memFree=24333552/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14082736 memory=46816 CPUtime=0.31 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 10309 0 0 0 29 2 0 0 20 0 15 0 250841370 14420721664 11704 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3520684 11704 3361 1 0 3482761 0
[pid=12212/tid=12214] ppid=12209 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 8029 0 0 0 19 1 0 0 20 0 15 0 250841371 14420721664 11704 33554432000 4194304 4196468 140722904595584 139901450354832 139901438368574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 11704 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14082736 memory=139752933000277 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 11704 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 11704 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 11704 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250841373 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250841373 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900987209248 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250841374 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900986156400 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) R 12209 12212 9532 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 250841376 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) R 12209 12212 9532 0 -1 4202560 211 0 0 0 1 0 0 0 20 0 15 0 250841376 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900982998464 139901427676060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0.06 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) R 12209 12212 9532 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 15 0 250841376 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900981946480 139901424699921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 11704 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46816 KiB

[startup+0.310918 s]*
/proc/loadavg: 1.11 1.27 1.53 3/220 12227
/proc/meminfo: memFree=24330264/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14082736 memory=50284 CPUtime=0.44 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 10704 0 0 0 42 2 0 0 20 0 15 0 250841370 14420721664 12571 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3520684 12571 3409 1 0 3482761 0
[pid=12212/tid=12214] ppid=12209 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 8379 0 0 0 29 1 0 0 20 0 15 0 250841371 14420721664 12571 33554432000 4194304 4196468 140722904595584 139901450323008 139901426406756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14082736 memory=4294980954 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 12571 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14082736 memory=139752933001099 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 12571 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 12571 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14420721664 12571 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250841373 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250841373 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900987209248 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250841374 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900986156400 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) S 12209 12212 9532 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 250841376 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) S 12209 12212 9532 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 15 0 250841376 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900982999280 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0.08 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) S 12209 12212 9532 0 -1 1077944384 321 0 0 0 8 0 0 0 20 0 15 0 250841376 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900981946480 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14082736 memory=139752931587712 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841376 14420721664 12571 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50284 KiB

[startup+0.700666 s]
/proc/loadavg: 1.11 1.27 1.53 5/220 12227
/proc/meminfo: memFree=24308004/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14084804 memory=88616 CPUtime=1 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 17574 0 0 0 95 5 0 0 20 0 15 0 250841370 14422839296 22154 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3521201 22154 3497 1 0 3483273 0
[pid=12212/tid=12214] ppid=12209 vsize=14084804 memory=1172 CPUtime=0.67 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 14818 0 0 0 64 3 0 0 20 0 15 0 250841371 14422839296 22154 33554432000 4194304 4196468 140722904595584 139901450355440 139901446153373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14084804 memory=37736 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14422839296 22154 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14084804 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14422839296 22154 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14422839296 22154 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14422839296 22154 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250841373 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14084804 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250841373 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900987209248 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14084804 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250841374 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900986156400 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14084804 memory=7237400421024098393 CPUtime=0.07 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) R 12209 12212 9532 0 -1 1077944384 570 0 0 0 7 0 0 0 20 0 15 0 250841376 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) S 12209 12212 9532 0 -1 1077944384 369 0 0 0 7 0 0 0 20 0 15 0 250841376 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900982999280 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) R 12209 12212 9532 0 -1 1077944384 435 0 0 0 15 0 0 0 20 0 15 0 250841376 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900981946480 139901446142594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14084804 memory=8700 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841376 14422839296 22154 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88616 KiB

[startup+1.50111 s]
/proc/loadavg: 1.11 1.27 1.53 5/220 12227
/proc/meminfo: memFree=24246452/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14088900 memory=204968 CPUtime=3.49 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 26400 0 0 0 341 8 0 0 20 0 15 0 250841370 14427033600 51242 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3522225 51242 3552 1 0 3484297 0
[pid=12212/tid=12214] ppid=12209 vsize=14088900 memory=179104 CPUtime=1.47 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 18104 0 0 0 142 5 0 0 20 0 15 0 250841371 14427033600 51242 33554432000 4194304 4196468 140722904595584 139901450365608 139901066404483 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14427033600 51242 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14427033600 51242 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250841371 14427033600 51242 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250841371 14427033600 51242 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250841373 14427033600 51242 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0

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

/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 41576 0 0 0 16109 60 0 0 20 0 15 0 250841371 14433325056 977603 33554432000 4194304 4196468 140722904595584 139901450367176 139901075344492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14095044 memory=3910412 CPUtime=0.47 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 1785 0 0 0 38 9 0 0 20 0 15 0 250841371 14433325056 977603 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14095044 memory=3906312 CPUtime=0.45 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 2503 0 0 0 37 8 0 0 20 0 15 0 250841371 14433325056 977603 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14095044 memory=3910412 CPUtime=0.41 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 556 0 0 0 34 7 0 0 20 0 15 0 250841371 14433325056 977603 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14095044 memory=3910412 CPUtime=0.45 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 796 0 0 0 37 8 0 0 20 0 15 0 250841371 14433325056 977603 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14095044 memory=3906312 CPUtime=0.08 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 6496 0 0 0 8 0 0 0 20 0 15 0 250841373 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14095044 memory=3910412 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250841373 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900987209312 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14095044 memory=3906312 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250841374 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900986156416 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14095044 memory=3906312 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14095044 memory=3910412 CPUtime=4.11 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) S 12209 12212 9532 0 -1 1077944384 9992 0 0 0 410 1 0 0 20 0 15 0 250841376 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14095044 memory=3910412 CPUtime=3.88 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) S 12209 12212 9532 0 -1 1077944384 7421 0 0 0 385 3 0 0 20 0 15 0 250841376 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900982999280 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14095044 memory=3910412 CPUtime=1.51 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) S 12209 12212 9532 0 -1 1077944384 11586 0 0 0 148 3 0 0 20 0 15 0 250841376 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900981946480 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14095044 memory=15784 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14095044 memory=1172 CPUtime=0.08 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 380 0 0 0 5 3 0 0 20 0 15 0 250841376 14433325056 977603 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 173.21 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 3910412 KiB

[startup+222.301 s]
/proc/loadavg: 1.70 1.48 1.56 3/218 12307
/proc/meminfo: memFree=18763428/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14095044 memory=3921032 CPUtime=233.4 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 93450 0 0 0 23229 111 0 0 20 0 15 0 250841370 14433325056 980258 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3523761 980258 3618 1 0 3485833 0
[pid=12212/tid=12214] ppid=12209 vsize=14095044 memory=3921032 CPUtime=221.63 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 47324 0 0 0 22100 63 0 0 20 0 15 0 250841371 14433325056 980258 33554432000 4194304 4196468 140722904595584 139901450369120 139901064202283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14095044 memory=3921032 CPUtime=0.51 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 1858 0 0 0 42 9 0 0 20 0 15 0 250841371 14433325056 980258 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14095044 memory=17764 CPUtime=0.5 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 3455 0 0 0 42 8 0 0 20 0 15 0 250841371 14433325056 980258 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14095044 memory=412 CPUtime=0.45 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 693 0 0 0 38 7 0 0 20 0 15 0 250841371 14433325056 980258 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14095044 memory=3921032 CPUtime=0.49 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 1106 0 0 0 41 8 0 0 20 0 15 0 250841371 14433325056 980258 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14095044 memory=279505600536960 CPUtime=0.08 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 6713 0 0 0 8 0 0 0 20 0 15 0 250841373 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14095044 memory=752 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250841373 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900987209312 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14095044 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250841374 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900986156416 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14095044 memory=3921032 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14095044 memory=3921032 CPUtime=4.12 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) S 12209 12212 9532 0 -1 1077944384 10748 0 0 0 411 1 0 0 20 0 15 0 250841376 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14095044 memory=288230574492221466 CPUtime=3.89 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) S 12209 12212 9532 0 -1 1077944384 7598 0 0 0 386 3 0 0 20 0 15 0 250841376 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900982999280 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14095044 memory=288230596050944315 CPUtime=1.52 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) S 12209 12212 9532 0 -1 1077944384 12118 0 0 0 149 3 0 0 20 0 15 0 250841376 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900981946480 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14095044 memory=3921032 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14095044 memory=3921032 CPUtime=0.11 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 412 0 0 0 6 5 0 0 20 0 15 0 250841376 14433325056 980258 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 233.4 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 3921032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+240.901 s]
/proc/loadavg: 1.79 1.51 1.57 3/219 12308
/proc/meminfo: memFree=18752488/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14095044 memory=3923084 CPUtime=252.04 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 96409 0 0 0 25092 112 0 0 20 0 15 0 250841370 14433325056 980771 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3523761 980771 3618 1 0 3485833 0
[pid=12212/tid=12214] ppid=12209 vsize=14095044 memory=3923084 CPUtime=240.22 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 47904 0 0 0 23959 63 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901450369256 139901073289879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.51 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 1956 0 0 0 42 9 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.5 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 3460 0 0 0 42 8 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.46 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 702 0 0 0 39 7 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.5 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 1113 0 0 0 42 8 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.09 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 6716 0 0 0 8 1 0 0 20 0 15 0 250841373 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14095044 memory=279505600536960 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250841373 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900987209312 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14095044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250841374 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900986156416 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14095044 memory=3921032 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14095044 memory=3921032 CPUtime=4.12 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) S 12209 12212 9532 0 -1 1077944384 10748 0 0 0 411 1 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14095044 memory=3923084 CPUtime=3.89 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) S 12209 12212 9532 0 -1 1077944384 7598 0 0 0 386 3 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900982999280 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14095044 memory=3923084 CPUtime=1.52 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) S 12209 12212 9532 0 -1 1077944384 14374 0 0 0 149 3 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900981946480 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.11 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 413 0 0 0 6 5 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 3923084 KiB

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

[startup+240.937 s]
# the end of solver process 12212 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.944 s, system=1.15687 s

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

[startup+240.901 s]
/proc/loadavg: 1.79 1.51 1.57 3/219 12308
/proc/meminfo: memFree=18752488/32770624 swapFree=67108688/67108860
[pid=12212] ppid=12209 vsize=14095044 memory=3923084 CPUtime=252.04 cores=0,2,4,6
/proc/12212/stat : 12212 (java) S 12209 12212 9532 0 -1 1077944320 96409 0 0 0 25092 112 0 0 20 0 15 0 250841370 14433325056 980771 33554432000 4194304 4196468 140722904595584 140722904578128 139901446131447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
/proc/12212/statm: 3523761 980771 3618 1 0 3485833 0
[pid=12212/tid=12214] ppid=12209 vsize=14095044 memory=3923084 CPUtime=240.22 cores=0,2,4,6
/proc/12212/task/12214/stat : 12214 (java) R 12209 12212 9532 0 -1 4202560 47904 0 0 0 23959 63 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901450369256 139901073289879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12215] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.51 cores=0,2,4,6
/proc/12212/task/12215/stat : 12215 (java) S 12209 12212 9532 0 -1 1077944384 1956 0 0 0 42 9 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901383731856 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12216] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.5 cores=0,2,4,6
/proc/12212/task/12216/stat : 12216 (java) S 12209 12212 9532 0 -1 1077944384 3460 0 0 0 42 8 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901382679056 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12217] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.46 cores=0,2,4,6
/proc/12212/task/12217/stat : 12217 (java) S 12209 12212 9532 0 -1 1077944384 702 0 0 0 39 7 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901381626256 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12218] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.5 cores=0,2,4,6
/proc/12212/task/12218/stat : 12218 (java) S 12209 12212 9532 0 -1 1077944384 1113 0 0 0 42 8 0 0 20 0 15 0 250841371 14433325056 980771 33554432000 4194304 4196468 140722904595584 139901380573456 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12219] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.09 cores=0,2,4,6
/proc/12212/task/12219/stat : 12219 (java) S 12209 12212 9532 0 -1 1077944384 6716 0 0 0 8 1 0 0 20 0 15 0 250841373 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900988263280 139901446142594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12220] ppid=12209 vsize=14095044 memory=279505600536960 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12220/stat : 12220 (java) S 12209 12212 9532 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250841373 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900987209312 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12221] ppid=12209 vsize=14095044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12221/stat : 12221 (java) S 12209 12212 9532 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250841374 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900986156416 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12222] ppid=12209 vsize=14095044 memory=3921032 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12222/stat : 12222 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900985104720 139901446150043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12223] ppid=12209 vsize=14095044 memory=3921032 CPUtime=4.12 cores=0,2,4,6
/proc/12212/task/12223/stat : 12223 (java) S 12209 12212 9532 0 -1 1077944384 10748 0 0 0 411 1 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900984052080 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12224] ppid=12209 vsize=14095044 memory=3923084 CPUtime=3.89 cores=0,2,4,6
/proc/12212/task/12224/stat : 12224 (java) S 12209 12212 9532 0 -1 1077944384 7598 0 0 0 386 3 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900982999280 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12225] ppid=12209 vsize=14095044 memory=3923084 CPUtime=1.52 cores=0,2,4,6
/proc/12212/task/12225/stat : 12225 (java) S 12209 12212 9532 0 -1 1077944384 14374 0 0 0 149 3 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900981946480 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12226] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0 cores=0,2,4,6
/proc/12212/task/12226/stat : 12226 (java) S 12209 12212 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900980893920 139901446141653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
[pid=12212/tid=12227] ppid=12209 vsize=14095044 memory=3923084 CPUtime=0.11 cores=0,2,4,6
/proc/12212/task/12227/stat : 12227 (java) S 12209 12212 9532 0 -1 1077944384 413 0 0 0 6 5 0 0 20 0 15 0 250841376 14433325056 980771 33554432000 4194304 4196468 140722904595584 139900979842224 139901446142594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140722904597595 140722904597774 140722904597774 140722904600527 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 3923084 KiB

Child status: 143
Real time (s): 240.937
CPU time (s): 252.101
CPU user time (s): 250.944
CPU system time (s): 1.15687
CPU usage (%): 104.634
Max. virtual memory (cumulated for all children) (KiB): 14095044
Max. memory (cumulated for all children) (KiB): 3923084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.944
system time used= 1.15687
maximum resident set size= 3923848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10728
involuntary context switches= 355


# summary of solver processes directly reported to runsolver:
#   pid: 12212
#   total CPU time (s): 252.101
#   total CPU user time (s): 250.944
#   total CPU system time (s): 1.15687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56707 second user time and 2.2829 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	14558
Best CPU time to get the best result obtained on this benchmark	252.059
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 4310310

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