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-14	SAT (TO)	22051	2520.06	2465.22

0.67/0.56	c version: 2018-08-14
0.67/0.57	c seed: 481725061
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
8.17/3.65	c Parsing done, starting search...
9.18/3.93	o 24139
9.52/4.08	o 24115
9.86/4.12	o 24092
9.86/4.12	o 24082
9.86/4.12	o 24071
9.86/4.15	o 24062
9.86/4.15	o 24052
9.86/4.15	o 24037
9.86/4.15	o 24027
9.86/4.16	o 24009
9.86/4.18	o 23961
9.86/4.18	o 23939
9.86/4.19	o 23936
10.12/4.24	o 23878
10.42/4.36	o 23861
10.42/4.36	o 23851
10.73/4.45	o 23848
10.73/4.45	o 23823
10.73/4.46	o 23817
10.73/4.46	o 23814
10.73/4.47	o 23795
10.73/4.47	o 23768
10.73/4.47	o 23748
10.73/4.47	o 23713
10.73/4.47	o 23710
10.73/4.48	o 23690
10.73/4.48	o 23665
11.88/4.85	o 23663
11.88/4.85	o 23660
11.88/4.86	o 23638
11.88/4.86	o 23613
11.88/4.86	o 23587
12.31/5.03	o 23581
12.31/5.03	o 23569
12.31/5.04	o 23540
12.31/5.04	o 23534
12.31/5.11	o 23456
12.31/5.11	o 23421
12.67/5.13	o 23397
12.67/5.13	o 23374
12.67/5.19	o 23335
12.91/5.20	o 23319
12.91/5.20	o 23307
12.91/5.21	o 23303
12.91/5.21	o 23263
12.91/5.21	o 23257
12.91/5.22	o 23256
12.91/5.23	o 23250
13.13/5.36	o 23210
13.13/5.38	o 23162
13.13/5.38	o 23110
13.31/5.41	o 23105
13.31/5.46	o 23072
15.20/6.93	o 23065
15.20/6.93	o 23028
15.20/6.93	o 22964
15.20/6.94	o 22952
15.20/6.97	o 22950
15.20/6.97	o 22948
15.20/6.97	o 22941
15.36/7.02	o 22872
15.36/7.03	o 22868
15.36/7.03	o 22861
16.16/7.86	o 22850
16.16/7.86	o 22844
16.75/8.32	o 22830
17.15/8.70	o 22766
17.15/8.70	o 22758
17.15/8.72	o 22753
17.15/8.72	o 22748
17.15/8.75	o 22747
17.15/8.75	o 22742
17.25/8.85	o 22678
51.96/42.91	o 22677
55.36/46.37	o 22672
55.36/46.37	o 22638
55.46/46.40	o 22637
55.79/46.75	o 22636
55.79/46.78	o 22620
55.79/46.78	o 22573
55.89/46.83	o 22572
78.84/69.50	o 22562
80.57/71.26	o 22518
211.22/201.10	o 22514
211.22/201.11	o 22503
211.31/201.13	o 22492
212.33/202.19	o 22480
212.33/202.20	o 22474
212.42/202.20	o 22469
212.42/202.20	o 22450
212.42/202.20	o 22428
212.42/202.20	o 22417
212.42/202.21	o 22411
212.42/202.21	o 22401
212.64/202.46	o 22377
212.64/202.46	o 22358
212.74/202.59	o 22353
212.74/202.60	o 22342
214.58/204.38	o 22338
215.29/205.08	o 22333
215.29/205.08	o 22322
218.82/208.56	o 22259
218.82/208.56	o 22239
218.82/208.56	o 22198
218.82/208.56	o 22178
218.82/208.56	o 22130
219.12/208.87	o 22129
219.22/208.92	o 22118
222.27/211.91	o 22099
222.57/212.29	o 22051
2520.02/2465.20	s SATISFIABLE
2520.02/2465.21	v <instantiation>
2520.02/2465.21	v 	<list>
2520.02/2465.21	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[0][26] o[0][27] o[0][28] o[0][29] 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[1][26] o[1][27] o[1][28] o[1][29] 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[2][26] o[2][27] o[2][28] o[2][29] 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[3][26] o[3][27] o[3][28] o[3][29] 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[4][26] o[4][27] o[4][28] o[4][29] 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[5][26] o[5][27] o[5][28] o[5][29] 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[6][26] o[6][27] o[6][28] o[6][29] 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[7][26] o[7][27] o[7][28] o[7][29] 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[8][26] o[8][27] o[8][28] o[8][29] 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[9][26] o[9][27] o[9][28] o[9][29] 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[10][26] o[10][27] o[10][28] o[10][29] 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[11][26] o[11][27] o[11][28] o[11][29] 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[12][26] o[12][27] o[12][28] o[12][29] 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] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] 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[0][26] h[0][27] h[0][28] h[0][29] 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[1][26] h[1][27] h[1][28] h[1][29] 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[2][26] h[2][27] h[2][28] h[2][29] 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[3][26] h[3][27] h[3][28] h[3][29] 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[4][26] h[4][27] h[4][28] h[4][29] 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[5][26] h[5][27] h[5][28] h[5][29] 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[6][26] h[6][27] h[6][28] h[6][29] 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[7][26] h[7][27] h[7][28] h[7][29] 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[8][26] h[8][27] h[8][28] h[8][29] 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[9][26] h[9][27] h[9][28] h[9][29] 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[10][26] h[10][27] h[10][28] h[10][29] 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[11][26] h[11][27] h[11][28] h[11][29] 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[12][26] h[12][27] h[12][28] h[12][29] 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] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] 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[0][26] a[0][27] a[0][28] a[0][29] 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[1][26] a[1][27] a[1][28] a[1][29] 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[2][26] a[2][27] a[2][28] a[2][29] 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[3][26] a[3][27] a[3][28] a[3][29] 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[4][26] a[4][27] a[4][28] a[4][29] 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[5][26] a[5][27] a[5][28] a[5][29] 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[6][26] a[6][27] a[6][28] a[6][29] 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[7][26] a[7][27] a[7][28] a[7][29] 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[8][26] a[8][27] a[8][28] a[8][29] 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[9][26] a[9][27] a[9][28] a[9][29] 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[10][26] a[10][27] a[10][28] a[10][29] 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[11][26] a[11][27] a[11][28] a[11][29] 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[12][26] a[12][27] a[12][28] a[12][29] 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] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] 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[0][27] t[0][28] t[0][29] t[0][30] 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[1][27] t[1][28] t[1][29] t[1][30] 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[2][27] t[2][28] t[2][29] t[2][30] 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[3][27] t[3][28] t[3][29] t[3][30] 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[4][27] t[4][28] t[4][29] t[4][30] 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[5][27] t[5][28] t[5][29] t[5][30] 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[6][27] t[6][28] t[6][29] t[6][30] 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[7][27] t[7][28] t[7][29] t[7][30] 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[8][27] t[8][28] t[8][29] t[8][30] 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[9][27] t[9][28] t[9][29] t[9][30] 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[10][27] t[10][28] t[10][29] t[10][30] 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[11][27] t[11][28] t[11][29] t[11][30] 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[12][27] t[12][28] t[12][29] t[12][30] 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] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30]
2520.02/2465.21	v 	</list>
2520.02/2465.21	v 	<values>
2520.02/2465.21	v 		5 7 6 13 2 3 9 10 4 12 2 15 7 8 8 10 5 15 1 11 14 4 12 1 14 6 11 13 3 9 9 11 14 7 15 2 2 8 15 14 11 6 9 4 10 12 10 5 0 13 5 7 13 0 3 8 12 6 4 3 14 4 12 9 0 1 1 14 13 13 0 11 4 10 15 8 3 8 9 12 15 11 3 5 5 10 7 7 6 6 13 12 7 8 14 0 13 11 8 10 15 14 10 6 9 15 2 4 5 5 11 6 2 7 1 12 9 4 0 1 15 2 15 12 7 5 5 9 0 8 9 12 2 1 14 7 14 3 10 10 6 0 11 6 8 11 13 3 1 13 0 6 8 6 9 4 4 13 11 11 10 8 15 12 7 14 0 1 3 3 1 12 15 2 2 13 10 14 9 7 8 5 0 5 10 15 14 12 10 7 8 1 11 3 13 11 9 9 12 14 4 3 7 4 13 0 15 1 2 2 12 0 3 1 4 12 8 15 9 6 14 9 0 14 5 4 11 13 11 8 10 1 6 3 10 15 2 2 13 5 6 10 5 3 12 11 7 1 3 4 6 5 13 0 0 2 15 2 15 7 13 9 9 12 4 1 14 10 14 11 1 14 10 2 5 10 0 4 7 15 4 7 1 13 3 13 6 6 2 15 12 8 8 11 12 14 3 11 5 0 11 8 9 15 6 9 11 0 6 3 5 13 3 2 1 0 1 12 4 4 7 14 14 13 7 2 5 8 15 12 10 1 13 14 13 8 10 3 5 5 1 2 6 15 12 6 7 14 7 0 3 2 4 9 15 4 0 9 12 8 7 3 2 4 8 7 15 6 14 0 13 4 14 5 11 1 13 10 6 2 9 5 0 8 9 3 1 15 11 10 3 15 11 0 11 14 3 5 2 2 12 10 8 9 6 9 12 7 14 1 8 15 1 10 6 5 4 0 7 4 2 9 1 11 3 13 6 2 12 1 7 3 12 7 4 5 4 11 13 6 0 10 10 15 0 9 8 5 8 15 4 13 4 10 1 6 12 7 1 9 3 0 5 11 2 3 8 0 8 9 2 13 5 14 11 7 6 12 10 14 1 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 44 59 44 0 0 51 51 36 36 15 59 59 0 48 73 51 39 0 0 59 59 57 55 10 0 55 69 50 34 0 0 64 64 0 68 59 22 0 0 53 53 39 69 43 65 65 0 40 39 10 0 44 41 64 32 68 81 55 31 31 0 56 56 48 30 51 15 22 22 61 61 0 0 45 74 55 53 68 47 0 0 59 45 58 50 50 0 0 56 56 56 56 50 50 14 14 72 59 34 0 68 73 39 63 0 47 47 0 0 51 51 41 44 66 47 47 0 80 30 67 0 32 32 90 59 45 73 73 35 35 0 0 21 68 55 0 31 53 82 64 0 0 74 75 44 36 0 0 70 69 50 51 0 0 39 44 31 42 0 0 35 91 75 44 10 51 69 97 90 48 0 0 41 41 40 40 0 0 50 50 0 93 17 81 0 0 0 0 27 51 39 91 0 0 59 81 31 70 70 92 92 0 69 30 27 83 47 47 18 18 44 44 39 22 56 0 0 0 0 44 31 73 90 57 103 79 0 0 44 59 82 0 67 67 0 81 81 0 59 47 69 69 56 56 41 75 48 31 75 73 68 68 69 67 44 46 0 0 42 75 59 48 0 97 59 53 0 0 68 68 81 73 21 0 0 84 84 0 43 43 0 0 81 51 103 55 55 0 0 79 79 0 67 50 92 69 49 59 97 30 68 69 105 17 17 0 0 51 51 0 0 103 103 39 0 10 55 44 75 0 66 50 69 0 0 65 55 73 74 69 82 111 0 0 55 50 42 73 0 0 10 10 0 0 69 69 0 66 41 44 64 22 58 0 105 88 70 113 82 44 55 0 70 70 45 45 0 105 105 69 69 90 14 80 0 81 81 0 88 83 59 57 73 73 0 0 55 64 90 0 48 48 94 94 0 30 30 0 97 45 10 101 0 32 45 55 59 91 72 50 0 61 48 90 0 93 93 0 0 41 41 64 46 104 0 66 75 27 75 0 0 91 91 0 17 43 64 113 0 83 56 56 0 82 14 80 27 0 93 35 70 91 91 0 0 111 39 59 59 84 84 0 0 0 0 0 90 90 0 0 97 97 68 43 103 0 0 45 58 47 63 59 48 97 0 32 75 69 0 57 59 91 39 111 105 
2520.02/2465.21	v 	</values>
2520.02/2465.21	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 (12872 MiB free)
  memory of node 1: 16384 MiB (10575 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307853-1534342168/watcher-4307853-1534342168 -o /tmp/evaluation-result-4307853-1534342168/solver-4307853-1534342168 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534329678-29708 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 481725061 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307853-1534342168.xml 

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

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


[startup+0.100685 s]*
/proc/loadavg: 1.38 1.35 1.39 3/215 31014
/proc/meminfo: memFree=23990404/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14082736 memory=33228 CPUtime=0.11 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 6673 0 0 0 10 1 0 0 20 0 15 0 251780007 14420721664 8307 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3520684 8307 3156 1 0 3482761 0
[pid=30999/tid=31001] ppid=30996 vsize=14082736 memory=-8557575366716068737 CPUtime=0.08 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 4721 0 0 0 8 0 0 0 20 0 15 0 251780007 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672905733304 140672885601630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672015136160 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672014083568 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) S 30996 30999 29676 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672010926192 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0.01 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) R 30996 30999 29676 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 251780013 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672009873648 140672880125641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 8307 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33228 KiB

[startup+0.210519 s]*
/proc/loadavg: 1.38 1.35 1.39 4/215 31014
/proc/meminfo: memFree=23975272/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14082736 memory=49028 CPUtime=0.29 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 10278 0 0 0 27 2 0 0 20 0 15 0 251780007 14420721664 12257 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3520684 12257 3372 1 0 3482761 0
[pid=30999/tid=31001] ppid=30996 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) S 30996 30999 29676 0 -1 1077944384 8065 0 0 0 18 1 0 0 20 0 15 0 251780007 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672905748944 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14082736 memory=139881736211335 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672015136160 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672014083568 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) R 30996 30999 29676 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 251780013 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) R 30996 30999 29676 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 15 0 251780013 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672010926488 140672882265216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0.05 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) S 30996 30999 29676 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 15 0 251780013 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672009873648 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 12257 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49028 KiB

[startup+0.310531 s]*
/proc/loadavg: 1.38 1.35 1.39 3/215 31014
/proc/meminfo: memFree=23971736/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14082736 memory=52236 CPUtime=0.43 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 10751 0 0 0 41 2 0 0 20 0 15 0 251780007 14420721664 13059 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3520684 13059 3375 1 0 3482761 0
[pid=30999/tid=31001] ppid=30996 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 8419 0 0 0 28 1 0 0 20 0 15 0 251780007 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672905732656 140672885601630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14082736 memory=4294977828 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14082736 memory=139881736211309 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672015136160 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251780010 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672014083568 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) S 30996 30999 29676 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 15 0 251780013 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) S 30996 30999 29676 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 15 0 251780013 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672010926192 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0.08 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) S 30996 30999 29676 0 -1 1077944384 314 0 0 0 8 0 0 0 20 0 15 0 251780013 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672009873648 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14082736 memory=139881736181376 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780013 14420721664 13059 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52236 KiB

[startup+0.700757 s]
/proc/loadavg: 1.38 1.35 1.39 3/215 31014
/proc/meminfo: memFree=23949776/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14084804 memory=90312 CPUtime=0.98 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 17489 0 0 0 92 6 0 0 20 0 15 0 251780007 14422839296 22578 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3521201 22578 3482 1 0 3483273 0
[pid=30999/tid=31001] ppid=30996 vsize=14084804 memory=273051337919613 CPUtime=0.66 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 14839 0 0 0 62 4 0 0 20 0 15 0 251780007 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672905745360 140672887202470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14084804 memory=288230376153012358 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251780008 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780008 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251780010 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251780010 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672015136160 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251780010 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672014083568 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14084804 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) S 30996 30999 29676 0 -1 1077944384 645 0 0 0 8 0 0 0 20 0 15 0 251780013 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14084804 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) S 30996 30999 29676 0 -1 1077944384 254 0 0 0 6 0 0 0 20 0 15 0 251780013 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672010926192 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) S 30996 30999 29676 0 -1 1077944384 369 0 0 0 14 0 0 0 20 0 15 0 251780013 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672009873648 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14084804 memory=12552 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251780013 14422839296 22578 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90312 KiB

[startup+1.50352 s]
/proc/loadavg: 1.38 1.35 1.39 5/215 31014
/proc/meminfo: memFree=23891208/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14088900 memory=232496 CPUtime=3.51 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 22975 0 0 0 340 11 0 0 20 0 15 0 251780007 14427033600 58124 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3522225 58124 3571 1 0 3484297 0
[pid=30999/tid=31001] ppid=30996 vsize=14088900 memory=10759 CPUtime=1.44 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 16239 0 0 0 138 6 0 0 20 0 15 0 251780007 14427033600 58124 33554432000 4194304 4196468 140722978821904 140672905753248 140672542962524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 251780008 14427033600 58124 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 251780008 14427033600 58124 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 251780008 14427033600 58124 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 251780008 14427033600 58124 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 251780010 14427033600 58124 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0

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

/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 96397 0 0 0 229604 79 0 0 20 0 15 0 251780007 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672905759296 140672548666960 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14092996 memory=0 CPUtime=15.25 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 28787 0 0 0 1476 49 0 0 20 0 15 0 251780008 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14092996 memory=1889496 CPUtime=15.18 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 26766 0 0 0 1468 50 0 0 20 0 15 0 251780008 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14092996 memory=1889496 CPUtime=15.24 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 29734 0 0 0 1478 46 0 0 20 0 15 0 251780008 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14092996 memory=1889496 CPUtime=15.25 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 27240 0 0 0 1475 50 0 0 20 0 15 0 251780008 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14092996 memory=1889496 CPUtime=6.23 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 36585 0 0 0 557 66 0 0 20 0 15 0 251780010 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14092996 memory=1888980 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672015136224 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14092996 memory=1889496 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672014083584 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14092996 memory=1889496 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14092996 memory=1888980 CPUtime=3.87 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) S 30996 30999 29676 0 -1 1077944384 10314 0 0 0 385 2 0 0 20 0 15 0 251780013 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14092996 memory=3880 CPUtime=3.71 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) S 30996 30999 29676 0 -1 1077944384 10779 0 0 0 368 3 0 0 20 0 15 0 251780013 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672010926192 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14092996 memory=1888980 CPUtime=1.35 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) S 30996 30999 29676 0 -1 1077944384 11303 0 0 0 132 3 0 0 20 0 15 0 251780013 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672009873648 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14092996 memory=1888980 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14092996 memory=1889496 CPUtime=1.35 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1673 0 0 0 61 74 0 0 20 0 15 0 251780013 14431227904 472245 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 2374.34 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1888980 KiB

[startup+2382.3 s]
/proc/loadavg: 1.50 1.39 1.37 3/215 31163
/proc/meminfo: memFree=22379964/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14092996 memory=1860252 CPUtime=2435.52 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 283318 0 0 0 243166 386 0 0 20 0 15 0 251780007 14431227904 465063 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3523249 465063 3615 1 0 3485321 0
[pid=30999/tid=31001] ppid=30996 vsize=14092996 memory=6791534058613427641 CPUtime=2356.17 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 97560 0 0 0 235537 80 0 0 20 0 15 0 251780007 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672905759248 140672551333726 0 4 0 16800975 0 0 0 -1 1 0 0 45 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14092996 memory=1860768 CPUtime=15.65 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 29258 0 0 0 1514 51 0 0 20 0 15 0 251780008 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14092996 memory=1880260 CPUtime=15.59 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 26946 0 0 0 1507 52 0 0 20 0 15 0 251780008 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14092996 memory=1875644 CPUtime=15.64 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 29799 0 0 0 1517 47 0 0 20 0 15 0 251780008 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14092996 memory=1875132 CPUtime=15.65 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 27449 0 0 0 1514 51 0 0 20 0 15 0 251780008 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14092996 memory=1865896 CPUtime=6.44 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 36768 0 0 0 576 68 0 0 20 0 15 0 251780010 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14092996 memory=1860768 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672015136224 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672014083584 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14092996 memory=7528 CPUtime=3.87 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) S 30996 30999 29676 0 -1 1077944384 10318 0 0 0 385 2 0 0 20 0 15 0 251780013 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14092996 memory=1866924 CPUtime=3.71 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) S 30996 30999 29676 0 -1 1077944384 10783 0 0 0 368 3 0 0 20 0 15 0 251780013 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672010926192 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14092996 memory=3752 CPUtime=1.35 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) S 30996 30999 29676 0 -1 1077944384 11307 0 0 0 132 3 0 0 20 0 15 0 251780013 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672009873648 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14092996 memory=1861280 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14092996 memory=3752 CPUtime=1.39 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1699 0 0 0 63 76 0 0 20 0 15 0 251780013 14431227904 465063 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 2435.52 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1860252 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.42 1.38 3/216 31172
/proc/meminfo: memFree=22434244/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14092996 memory=1810492 CPUtime=2496.65 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 285486 0 0 0 249271 394 0 0 20 0 15 0 251780007 14431227904 452623 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3523249 452623 3615 1 0 3485321 0
[pid=30999/tid=31001] ppid=30996 vsize=14092996 memory=844 CPUtime=2415.55 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 98671 0 0 0 241474 81 0 0 20 0 15 0 251780007 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672905759296 140672540587274 0 4 0 16800975 0 0 0 -1 3 0 0 45 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14092996 memory=1811520 CPUtime=16.03 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 29708 0 0 0 1551 52 0 0 20 0 15 0 251780008 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14092996 memory=1813572 CPUtime=15.97 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 27185 0 0 0 1544 53 0 0 20 0 15 0 251780008 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14092996 memory=1816136 CPUtime=16.02 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 29946 0 0 0 1554 48 0 0 20 0 15 0 251780008 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14092996 memory=1838196 CPUtime=16.03 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 27523 0 0 0 1550 53 0 0 20 0 15 0 251780008 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14092996 memory=1825368 CPUtime=6.62 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 36886 0 0 0 592 70 0 0 20 0 15 0 251780010 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14092996 memory=1815624 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672015136224 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14092996 memory=1814596 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672014083584 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14092996 memory=1812032 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14092996 memory=1810492 CPUtime=3.87 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) S 30996 30999 29676 0 -1 1077944384 10322 0 0 0 385 2 0 0 20 0 15 0 251780013 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14092996 memory=1871028 CPUtime=3.71 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) S 30996 30999 29676 0 -1 1077944384 10787 0 0 0 368 3 0 0 20 0 15 0 251780013 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672010926192 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14092996 memory=3752 CPUtime=1.35 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) S 30996 30999 29676 0 -1 1077944384 11311 0 0 0 132 3 0 0 20 0 15 0 251780013 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672009873648 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14092996 memory=1811004 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14092996 memory=1813572 CPUtime=1.42 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1716 0 0 0 65 77 0 0 20 0 15 0 251780013 14431227904 452623 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 2496.65 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1810492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.2 s]
/proc/loadavg: 1.48 1.41 1.38 3/216 31172
/proc/meminfo: memFree=22455156/32770624 swapFree=67108172/67108860
[pid=30999] ppid=30996 vsize=14092996 memory=1790484 CPUtime=2520.02 cores=1,3,5,7
/proc/30999/stat : 30999 (java) S 30996 30999 29676 0 -1 1077944320 286339 0 0 0 251605 397 0 0 20 0 15 0 251780007 14431227904 447621 33554432000 4194304 4196468 140722978821904 140722978804448 140672901521143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
/proc/30999/statm: 3523249 447621 3615 1 0 3485321 0
[pid=30999/tid=31001] ppid=30996 vsize=14092996 memory=1020 CPUtime=2438.2 cores=1,3,5,7
/proc/30999/task/31001/stat : 31001 (java) R 30996 30999 29676 0 -1 4202560 99181 0 0 0 243739 81 0 0 20 0 15 0 251780007 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672905759488 140672551460319 0 4 0 16800975 0 0 0 -1 3 0 0 45 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31002] ppid=30996 vsize=14092996 memory=1791000 CPUtime=16.18 cores=1,3,5,7
/proc/30999/task/31002/stat : 31002 (java) S 30996 30999 29676 0 -1 1077944384 29721 0 0 0 1566 52 0 0 20 0 15 0 251780008 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672864626960 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31003] ppid=30996 vsize=14092996 memory=2588 CPUtime=16.12 cores=1,3,5,7
/proc/30999/task/31003/stat : 31003 (java) S 30996 30999 29676 0 -1 1077944384 27212 0 0 0 1559 53 0 0 20 0 15 0 251780008 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672863574416 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31004] ppid=30996 vsize=14092996 memory=6791534058613427641 CPUtime=16.17 cores=1,3,5,7
/proc/30999/task/31004/stat : 31004 (java) S 30996 30999 29676 0 -1 1077944384 30000 0 0 0 1568 49 0 0 20 0 15 0 251780008 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672495708688 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31005] ppid=30996 vsize=14092996 memory=7 CPUtime=16.19 cores=1,3,5,7
/proc/30999/task/31005/stat : 31005 (java) S 30996 30999 29676 0 -1 1077944384 27682 0 0 0 1566 53 0 0 20 0 15 0 251780008 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672494656144 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31006] ppid=30996 vsize=14092996 memory=20750 CPUtime=6.7 cores=1,3,5,7
/proc/30999/task/31006/stat : 31006 (java) S 30996 30999 29676 0 -1 1077944384 36965 0 0 0 599 71 0 0 20 0 15 0 251780010 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672016189936 140672901532290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31007] ppid=30996 vsize=14092996 memory=708 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31007/stat : 31007 (java) S 30996 30999 29676 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672015136224 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31008] ppid=30996 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31008/stat : 31008 (java) S 30996 30999 29676 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 251780010 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672014083584 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31009] ppid=30996 vsize=14092996 memory=1 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31009/stat : 31009 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672013032144 140672901539739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31010] ppid=30996 vsize=14092996 memory=0 CPUtime=3.87 cores=1,3,5,7
/proc/30999/task/31010/stat : 31010 (java) S 30996 30999 29676 0 -1 1077944384 10322 0 0 0 385 2 0 0 20 0 15 0 251780013 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672011978736 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31011] ppid=30996 vsize=14092996 memory=1616 CPUtime=3.71 cores=1,3,5,7
/proc/30999/task/31011/stat : 31011 (java) S 30996 30999 29676 0 -1 1077944384 10787 0 0 0 368 3 0 0 20 0 15 0 251780013 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672010926192 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31012] ppid=30996 vsize=14092996 memory=1617 CPUtime=1.35 cores=1,3,5,7
/proc/30999/task/31012/stat : 31012 (java) S 30996 30999 29676 0 -1 1077944384 11311 0 0 0 132 3 0 0 20 0 15 0 251780013 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672009873648 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31013] ppid=30996 vsize=14092996 memory=670 CPUtime=0 cores=1,3,5,7
/proc/30999/task/31013/stat : 31013 (java) S 30996 30999 29676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251780013 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672008821344 140672901531349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
[pid=30999/tid=31014] ppid=30996 vsize=14092996 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/30999/task/31014/stat : 31014 (java) S 30996 30999 29676 0 -1 1077944384 1727 0 0 0 66 78 0 0 20 0 15 0 251780013 14431227904 447621 33554432000 4194304 4196468 140722978821904 140672007768880 140672901532290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 17485824 140722978829385 140722978829577 140722978829577 140722978832335 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1790484 KiB

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

[startup+2465.22 s]
# the end of solver process 30999 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.07 s, system=3.98137 s

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

Child status: 143
Real time (s): 2465.22
CPU time (s): 2520.06
CPU user time (s): 2516.07
CPU system time (s): 3.98137
CPU usage (%): 102.224
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3516464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 3.98137
maximum resident set size= 3516464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217613
involuntary context switches= 7881


# summary of solver processes directly reported to runsolver:
#   pid: 30999
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.07
#   total CPU system time (s): 3.98137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9125 second user time and 23.9646 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml
MD5SUM	e08ad5e9bb2dce0f9ded0033a126b6aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	20855
Best CPU time to get the best result obtained on this benchmark	2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables	1936
Number of constraints	8495
Number of domains	3
Minimum domain size	2
Maximum domain size	66
Distribution of domain sizes	[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree	2
Maximum variable degree	50
Distribution of variable degrees	[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints	496
Number of intensional constraints	6977
Distribution of constraint types	[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4307853

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