2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	16011	2520.04	2465.53

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 124049636
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
7.24/2.83	c Parsing done, starting search...
7.59/3.01	o 17057
8.27/3.13	o 16990
8.27/3.13	o 16828
8.27/3.13	o 16793
8.27/3.13	o 16616
8.27/3.14	o 16612
12.77/5.36	o 16604
12.77/5.37	o 16586
12.77/5.37	o 16555
12.77/5.37	o 16536
12.77/5.38	o 16527
12.77/5.38	o 16496
12.77/5.38	o 16466
12.77/5.39	o 16446
12.77/5.39	o 16417
12.96/5.44	o 16408
12.96/5.44	o 16389
13.12/5.58	o 16386
13.12/5.58	o 16377
13.12/5.58	o 16349
13.12/5.59	o 16339
13.12/5.59	o 16320
13.74/6.16	o 16314
14.31/6.63	o 16305
14.31/6.64	o 16272
14.31/6.68	o 16250
14.42/6.78	o 16235
14.42/6.79	o 16216
14.52/6.88	o 16190
55.09/46.73	o 16185
58.31/49.96	o 16175
58.31/49.96	o 16173
364.83/351.60	o 16123
364.83/351.61	o 16122
364.83/351.64	o 16104
364.83/351.65	o 16100
438.79/424.02	o 16079
439.81/425.06	o 16069
439.81/425.06	o 16053
439.81/425.07	o 16037
1262.47/1231.56	o 16027
1262.47/1231.56	o 16011
2520.00/2465.50	s SATISFIABLE
2520.00/2465.51	v <instantiation>
2520.00/2465.51	v 	<list>
2520.00/2465.51	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]
2520.00/2465.51	v 	</list>
2520.00/2465.51	v 	<values>
2520.00/2465.51	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 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 36 36 0 0 44 44 44 31 48 59 59 0 34 32 10 39 39 55 101 48 15 0 51 51 55 55 0 40 27 39 31 21 46 44 44 0 0 55 55 0 0 10 10 32 32 0 43 43 64 64 64 58 55 65 0 0 50 51 55 56 18 45 49 49 0 15 10 44 56 0 0 58 69 53 48 48 47 47 0 61 61 66 44 41 80 80 0 50 50 0 14 14 0 0 51 45 55 69 0 32 39 47 0 0 34 51 68 68 0 36 36 0 0 70 70 45 53 21 35 51 103 55 0 73 90 64 31 0 51 51 18 18 64 64 0 0 0 0 75 61 50 51 51 44 64 40 41 41 0 35 35 27 31 68 81 0 0 94 90 48 39 39 0 0 0 44 36 18 0 69 69 31 53 56 75 10 69 92 0 0 59 59 39 32 47 88 94 27 0 41 41 67 67 0 79 79 44 39 59 69 69 0 0 81 53 56 14 14 90 94 39 44 0 0 64 64 31 70 66 68 0 42 94 81 0 0 48 59 41 81 0 68 49 53 0 21 21 73 65 46 0 0 0 103 103 43 44 79 0 105 105 0 30 80 47 69 81 81 0 51 59 93 0 68 21 55 49 49 0 0 0 103 69 75 0 65 65 69 34 15 55 0 0 66 90 101 69 69 10 44 51 0 0 74 21 73 0 0 0 0 69 68 66 0 44 44 70 91 41 67 0 105 43 55 105 0 0 55 15 55 10 0 70 70 48 56 64 73 101 55 57 90 50 80 0 55 64 69 81 0 0 88 88 0 0 94 94 0 0 30 30 0 61 15 59 93 67 50 0 64 64 0 0 75 75 0 92 92 0 91 70 10 66 41 81 81 90 0 
2520.00/2465.51	v 	</values>
2520.00/2465.51	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 (12123 MiB free)
  memory of node 1: 16384 MiB (10855 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311588-1534561013/watcher-4311588-1534561013 -o /tmp/evaluation-result-4311588-1534561013/solver-4311588-1534561013 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534541038-12299 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 124049636 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311588-1534561013.xml 

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

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

solver pid=14523, runsolver pid=14520

[startup+0.106953 s]*
/proc/loadavg: 1.73 1.42 1.34 4/215 14538
/proc/meminfo: memFree=23511416/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14082736 memory=33656 CPUtime=0.13 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 7278 0 0 0 11 2 0 0 20 0 15 0 273664473 14420721664 8348 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3520684 8348 3160 1 0 3482761 0
[pid=14523/tid=14525] ppid=14520 vsize=14082736 memory=-8557575366716199037 CPUtime=0.1 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 5423 0 0 0 9 1 0 0 20 0 15 0 273664474 14420721664 8480 33554432000 4194304 4196468 140727862400560 139796562814552 139796538865447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 8480 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 8480 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 8480 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 8480 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 8480 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796099679136 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796098626544 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) S 14520 14523 12267 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796096522736 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0.01 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) S 14520 14523 12267 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 273664479 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796094417648 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 8546 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33656 KiB

[startup+0.213947 s]*
/proc/loadavg: 1.73 1.42 1.34 5/215 14538
/proc/meminfo: memFree=23496284/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14082736 memory=47628 CPUtime=0.31 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 10527 0 0 0 28 3 0 0 20 0 15 0 273664473 14420721664 11907 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3520684 11907 3371 1 0 3482761 0
[pid=14523/tid=14525] ppid=14520 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 8237 0 0 0 18 2 0 0 20 0 15 0 273664474 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796562818600 139796558611034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14082736 memory=140681695472190 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796099679136 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796098626544 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) R 14520 14523 12267 0 -1 4202560 557 0 0 0 2 0 0 0 20 0 15 0 273664479 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796096522736 139796558603536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) R 14520 14523 12267 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 273664479 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0.06 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) R 14520 14523 12267 0 -1 4202560 304 0 0 0 6 0 0 0 20 0 15 0 273664479 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796094417648 139796537547372 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 11907 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47628 KiB

[startup+0.310431 s]*
/proc/loadavg: 1.73 1.42 1.34 4/215 14538
/proc/meminfo: memFree=23493244/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14082736 memory=50756 CPUtime=0.44 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 10887 0 0 0 41 3 0 0 20 0 15 0 273664473 14420721664 12689 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3520684 12689 3374 1 0 3482761 0
[pid=14523/tid=14525] ppid=14520 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 8569 0 0 0 28 2 0 0 20 0 15 0 273664474 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796562797520 139796542670174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14082736 memory=140681695309483 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796099679136 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273664476 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796098626544 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) S 14520 14523 12267 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 273664479 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796096522736 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) S 14520 14523 12267 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 273664479 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0.08 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) S 14520 14523 12267 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 15 0 273664479 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796094417648 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14082736 memory=140681693988480 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664479 14420721664 12740 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50756 KiB

[startup+0.700704 s]
/proc/loadavg: 1.73 1.42 1.34 3/215 14538
/proc/meminfo: memFree=23469184/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14084804 memory=90648 CPUtime=0.98 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 17588 0 0 0 93 5 0 0 20 0 15 0 273664473 14422839296 22662 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3521201 22662 3491 1 0 3483273 0
[pid=14523/tid=14525] ppid=14520 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 14896 0 0 0 64 3 0 0 20 0 15 0 273664474 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796562813792 139796558611613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14084804 memory=856 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14084804 memory=12468 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273664474 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14084804 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 273664476 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14084804 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273664476 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796099679136 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14084804 memory=6420 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273664476 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796098626544 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14084804 memory=7525326301224851042 CPUtime=0.09 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) S 14520 14523 12267 0 -1 1077944384 715 0 0 0 9 0 0 0 20 0 15 0 273664479 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796096522736 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14084804 memory=5787213857196369745 CPUtime=0.05 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) S 14520 14523 12267 0 -1 1077944384 209 0 0 0 5 0 0 0 20 0 15 0 273664479 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) S 14520 14523 12267 0 -1 1077944384 385 0 0 0 14 0 0 0 20 0 15 0 273664479 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796094417648 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664479 14422839296 22662 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90648 KiB

[startup+1.5007 s]
/proc/loadavg: 1.73 1.42 1.34 5/215 14538
/proc/meminfo: memFree=23403660/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14088900 memory=211704 CPUtime=3.5 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 25082 0 0 0 342 8 0 0 20 0 15 0 273664473 14427033600 52926 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3522225 52926 3554 1 0 3484297 0
[pid=14523/tid=14525] ppid=14520 vsize=14088900 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) S 14520 14523 12267 0 -1 1077944384 17926 0 0 0 141 5 0 0 20 0 15 0 273664474 14427033600 52926 33554432000 4194304 4196468 140727862400560 139796562825632 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) R 14520 14523 12267 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 273664474 14427033600 52926 33554432000 4194304 4196468 140727862400560 139796154071824 139796543613742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14088900 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14427033600 52926 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) R 14520 14523 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273664474 14427033600 52926 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) R 14520 14523 12267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 273664474 14427033600 52926 33554432000 4194304 4196468 140727862400560 139796150914192 139796550831077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 273664476 14427033600 52926 33554432000 4194304 4196468 140727862400560 139796100731424 139796558599893 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0

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

/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 91696 0 0 0 235795 65 0 0 20 0 15 0 273664474 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796562827648 139796182324832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14092996 memory=2198280 CPUtime=15.13 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 32371 0 0 0 1430 83 0 0 20 0 15 0 273664474 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14092996 memory=2202896 CPUtime=15.12 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 24707 0 0 0 1427 85 0 0 20 0 15 0 273664474 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14092996 memory=2198792 CPUtime=15.12 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 27957 0 0 0 1426 86 0 0 20 0 15 0 273664474 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14092996 memory=2198280 CPUtime=15.12 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 24069 0 0 0 1431 81 0 0 20 0 15 0 273664474 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14092996 memory=2197256 CPUtime=6.58 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 37462 0 0 0 594 64 0 0 20 0 15 0 273664476 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14092996 memory=2196740 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796099679200 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14092996 memory=2198792 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796098626560 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14092996 memory=2195716 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14092996 memory=20787 CPUtime=3.39 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) S 14520 14523 12267 0 -1 1077944384 11750 0 0 0 338 1 0 0 20 0 15 0 273664479 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796096522736 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14092996 memory=2196740 CPUtime=3.31 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) S 14520 14523 12267 0 -1 1077944384 11321 0 0 0 329 2 0 0 20 0 15 0 273664479 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14092996 memory=6712 CPUtime=1.25 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) S 14520 14523 12267 0 -1 1077944384 11327 0 0 0 122 3 0 0 20 0 15 0 273664479 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796094417648 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14092996 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14092996 memory=1752 CPUtime=1.42 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1888 0 0 0 55 87 0 0 20 0 15 0 273664479 14431227904 548929 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 2435.13 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2195716 KiB

[startup+2442.3 s]
/proc/loadavg: 1.53 1.55 1.45 3/215 14713
/proc/meminfo: memFree=21436096/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14092996 memory=2170580 CPUtime=2496.33 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 278468 0 0 0 249129 504 0 0 20 0 15 0 273664473 14431227904 542645 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3523249 542645 3613 1 0 3485321 0
[pid=14523/tid=14525] ppid=14520 vsize=14092996 memory=2170580 CPUtime=2417.94 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 92767 0 0 0 241728 66 0 0 20 0 15 0 273664474 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796562827760 139796182099113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14092996 memory=2170580 CPUtime=15.54 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 32762 0 0 0 1470 84 0 0 20 0 15 0 273664474 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14092996 memory=2170580 CPUtime=15.54 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 24955 0 0 0 1467 87 0 0 20 0 15 0 273664474 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14092996 memory=2170580 CPUtime=15.52 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 28169 0 0 0 1465 87 0 0 20 0 15 0 273664474 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14092996 memory=3644 CPUtime=15.53 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 24257 0 0 0 1471 82 0 0 20 0 15 0 273664474 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14092996 memory=1268 CPUtime=6.77 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 37800 0 0 0 612 65 0 0 20 0 15 0 273664476 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14092996 memory=2174684 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796099679200 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796098626560 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14092996 memory=2170580 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14092996 memory=3812 CPUtime=3.39 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) S 14520 14523 12267 0 -1 1077944384 11757 0 0 0 338 1 0 0 20 0 15 0 273664479 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796096522736 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14092996 memory=2170580 CPUtime=3.31 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) S 14520 14523 12267 0 -1 1077944384 11327 0 0 0 329 2 0 0 20 0 15 0 273664479 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14092996 memory=1064 CPUtime=1.25 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) S 14520 14523 12267 0 -1 1077944384 11333 0 0 0 122 3 0 0 20 0 15 0 273664479 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796094417648 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14092996 memory=244644 CPUtime=1.45 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1916 0 0 0 57 88 0 0 20 0 15 0 273664479 14431227904 542645 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 2496.33 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2170580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.5 s]
/proc/loadavg: 1.63 1.57 1.46 3/215 14713
/proc/meminfo: memFree=21439088/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14092996 memory=2165448 CPUtime=2520 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 280090 0 0 0 251493 507 0 0 20 0 15 0 273664473 14431227904 541362 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3523249 541362 3613 1 0 3485321 0
[pid=14523/tid=14525] ppid=14520 vsize=14092996 memory=2170580 CPUtime=2440.88 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 93366 0 0 0 244022 66 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796562828032 139796182626182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14092996 memory=2169040 CPUtime=15.69 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 32838 0 0 0 1485 84 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14092996 memory=2169552 CPUtime=15.7 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 25208 0 0 0 1483 87 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14092996 memory=2166476 CPUtime=15.68 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 28527 0 0 0 1481 87 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14092996 memory=251858 CPUtime=15.69 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 24409 0 0 0 1486 83 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14092996 memory=2169040 CPUtime=6.84 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 37969 0 0 0 618 66 0 0 20 0 15 0 273664476 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14092996 memory=2166476 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796099679200 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14092996 memory=2165960 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796098626560 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14092996 memory=6944665225511868275 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14092996 memory=2166988 CPUtime=3.39 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) S 14520 14523 12267 0 -1 1077944384 11757 0 0 0 338 1 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796096522736 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14092996 memory=1537 CPUtime=3.31 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) S 14520 14523 12267 0 -1 1077944384 11327 0 0 0 329 2 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14092996 memory=2169552 CPUtime=1.25 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) S 14520 14523 12267 0 -1 1077944384 11333 0 0 0 122 3 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796094417648 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14092996 memory=2166988 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14092996 memory=3260 CPUtime=1.47 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1931 0 0 0 58 89 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2165448 KiB

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

[startup+2465.53 s]
# the end of solver process 14523 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.96 s, system=5.08569 s

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

[startup+2465.5 s]
/proc/loadavg: 1.63 1.57 1.46 3/215 14713
/proc/meminfo: memFree=21439088/32770624 swapFree=67105356/67108860
[pid=14523] ppid=14520 vsize=14092996 memory=2165448 CPUtime=2520 cores=1,3,5,7
/proc/14523/stat : 14523 (java) S 14520 14523 12267 0 -1 1077944320 280090 0 0 0 251493 507 0 0 20 0 15 0 273664473 14431227904 541362 33554432000 4194304 4196468 140727862400560 140727862383104 139796558589687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
/proc/14523/statm: 3523249 541362 3613 1 0 3485321 0
[pid=14523/tid=14525] ppid=14520 vsize=14092996 memory=2170580 CPUtime=2440.88 cores=1,3,5,7
/proc/14523/task/14525/stat : 14525 (java) R 14520 14523 12267 0 -1 4202560 93366 0 0 0 244022 66 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796562828032 139796182626182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14526] ppid=14520 vsize=14092996 memory=2169040 CPUtime=15.69 cores=1,3,5,7
/proc/14523/task/14526/stat : 14526 (java) S 14520 14523 12267 0 -1 1077944384 32838 0 0 0 1485 84 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796154071824 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14527] ppid=14520 vsize=14092996 memory=2169552 CPUtime=15.7 cores=1,3,5,7
/proc/14523/task/14527/stat : 14527 (java) S 14520 14523 12267 0 -1 1077944384 25208 0 0 0 1483 87 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796153019280 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14528] ppid=14520 vsize=14092996 memory=2166476 CPUtime=15.68 cores=1,3,5,7
/proc/14523/task/14528/stat : 14528 (java) S 14520 14523 12267 0 -1 1077944384 28527 0 0 0 1481 87 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796151966736 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14529] ppid=14520 vsize=14092996 memory=251858 CPUtime=15.69 cores=1,3,5,7
/proc/14523/task/14529/stat : 14529 (java) S 14520 14523 12267 0 -1 1077944384 24409 0 0 0 1486 83 0 0 20 0 15 0 273664474 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796150914192 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14530] ppid=14520 vsize=14092996 memory=2169040 CPUtime=6.84 cores=1,3,5,7
/proc/14523/task/14530/stat : 14530 (java) S 14520 14523 12267 0 -1 1077944384 37969 0 0 0 618 66 0 0 20 0 15 0 273664476 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796100732912 139796558600834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14531] ppid=14520 vsize=14092996 memory=2166476 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14531/stat : 14531 (java) S 14520 14523 12267 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796099679200 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14532] ppid=14520 vsize=14092996 memory=2165960 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14532/stat : 14532 (java) S 14520 14523 12267 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 273664476 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796098626560 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14533] ppid=14520 vsize=14092996 memory=6944665225511868275 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14533/stat : 14533 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796097575120 139796558608283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14534] ppid=14520 vsize=14092996 memory=2166988 CPUtime=3.39 cores=1,3,5,7
/proc/14523/task/14534/stat : 14534 (java) S 14520 14523 12267 0 -1 1077944384 11757 0 0 0 338 1 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796096522736 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14535] ppid=14520 vsize=14092996 memory=1537 CPUtime=3.31 cores=1,3,5,7
/proc/14523/task/14535/stat : 14535 (java) S 14520 14523 12267 0 -1 1077944384 11327 0 0 0 329 2 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796095470192 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14536] ppid=14520 vsize=14092996 memory=2169552 CPUtime=1.25 cores=1,3,5,7
/proc/14523/task/14536/stat : 14536 (java) S 14520 14523 12267 0 -1 1077944384 11333 0 0 0 122 3 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796094417648 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14537] ppid=14520 vsize=14092996 memory=2166988 CPUtime=0 cores=1,3,5,7
/proc/14523/task/14537/stat : 14537 (java) S 14520 14523 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796093365344 139796558599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
[pid=14523/tid=14538] ppid=14520 vsize=14092996 memory=3260 CPUtime=1.47 cores=1,3,5,7
/proc/14523/task/14538/stat : 14538 (java) S 14520 14523 12267 0 -1 1077944384 1931 0 0 0 58 89 0 0 20 0 15 0 273664479 14431227904 541362 33554432000 4194304 4196468 140727862400560 139796092311856 139796558600834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140727862404169 140727862404361 140727862404361 140727862407119 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2165448 KiB

Child status: 143
Real time (s): 2465.53
CPU time (s): 2520.04
CPU user time (s): 2514.96
CPU system time (s): 5.08569
CPU usage (%): 102.211
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2541184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.96
system time used= 5.08569
maximum resident set size= 2559332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229243
involuntary context switches= 4925


# summary of solver processes directly reported to runsolver:
#   pid: 14523
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2514.96
#   total CPU system time (s): 5.08569

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8061 second user time and 22.9683 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 4311588

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