2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	SAT (TO)	16327	2400.08	2356.34

0.68/0.55	c version: 2018-07-02
0.68/0.55	c seed: 1275323499
0.68/0.55	c timeout: 2400
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.58	c Parsing instance...
7.80/3.05	c Parsing done, starting first complete search...
8.12/3.42	o 17578
8.12/3.42	o 17567
8.12/3.42	o 17454
8.12/3.42	o 17410
8.12/3.42	o 17399
8.12/3.42	o 17389
8.12/3.42	o 17356
8.12/3.42	o 17231
8.12/3.42	o 17220
8.12/3.42	o 17192
8.12/3.42	o 17181
8.12/3.42	o 17180
8.12/3.42	o 17152
8.12/3.42	o 17141
8.12/3.42	o 17140
8.12/3.42	o 17129
9.39/3.52	o 17102
9.39/3.54	o 17082
9.39/3.58	o 17063
9.39/3.58	o 17045
9.94/3.79	o 17031
10.25/3.80	o 17004
12.10/4.43	o 17000
12.21/4.57	o 16992
12.21/4.58	o 16981
12.35/4.69	o 16962
12.47/4.70	o 16961
12.47/4.74	o 16954
12.47/4.75	o 16952
12.47/4.75	o 16943
12.47/4.76	o 16939
12.47/4.76	o 16938
12.47/4.76	o 16927
12.47/4.79	o 16903
12.47/4.80	o 16902
12.78/4.97	o 16894
16.86/8.72	o 16878
16.86/8.75	o 16877
16.86/8.76	o 16855
17.00/8.80	o 16842
17.00/8.80	o 16841
17.00/8.85	o 16831
17.00/8.85	o 16830
19.53/11.25	o 16821
19.53/11.25	o 16810
19.83/11.55	o 16809
30.94/22.56	c First complete search done, starting ALNS search...
33.32/23.86	o 16787
33.32/23.86	o 16780
33.32/23.86	o 16742
33.32/23.86	o 16735
33.63/23.92	o 16728
33.63/23.92	o 16718
33.63/23.98	o 16685
33.63/23.99	o 16675
34.04/24.14	o 16642
34.04/24.14	o 16632
34.15/24.20	o 16610
34.15/24.20	o 16600
46.70/36.10	o 16580
46.70/36.10	o 16578
46.80/36.23	o 16573
46.80/36.23	o 16571
46.80/36.23	o 16548
46.80/36.23	o 16546
249.93/238.57	o 16540
829.17/812.23	o 16530
829.27/812.38	o 16521
831.73/814.72	o 16501
831.73/814.75	o 16483
831.83/814.83	o 16474
832.36/815.40	o 16473
832.46/815.41	o 16467
832.46/815.42	o 16458
832.46/815.42	o 16449
832.55/815.56	o 16440
832.65/815.62	o 16425
832.75/815.72	o 16416
833.26/816.29	o 16398
833.37/816.37	o 16389
833.47/816.41	o 16382
833.47/816.44	o 16373
833.56/816.52	o 16364
833.56/816.56	o 16355
833.98/816.99	o 16349
834.08/817.00	o 16340
834.08/817.01	o 16331
837.43/820.31	o 16327
2400.04/2356.31	s SATISFIABLE
2400.04/2356.32	v <instantiation>
2400.04/2356.32	v 	<list>
2400.04/2356.32	v 		o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26]
2400.04/2356.32	v 	</list>
2400.04/2356.32	v 	<values>
2400.04/2356.32	v 		12 7 7 5 5 11 2 8 12 10 1 10 9 6 6 13 3 9 2 8 4 1 4 11 3 13 13 8 8 9 11 5 9 12 3 13 0 4 10 7 4 5 2 10 3 11 6 0 6 7 2 12 11 13 13 12 7 6 0 9 4 5 10 3 7 12 3 6 1 4 0 5 8 9 8 10 1 11 10 12 12 7 6 4 5 7 1 8 8 2 13 11 2 4 0 5 1 13 9 11 9 6 0 10 9 11 11 13 8 3 7 6 2 12 5 1 8 10 1 3 13 2 12 10 0 7 0 5 6 9 8 10 10 0 0 1 3 13 11 2 4 6 6 9 11 1 9 3 7 2 12 13 12 4 7 8 7 9 9 8 3 2 13 4 8 11 12 5 5 0 0 2 10 13 11 12 1 10 1 3 4 7 6 0 0 3 2 8 4 3 13 9 13 11 2 1 12 8 12 11 5 9 10 4 10 1 5 6 5 1 1 6 4 7 10 0 6 3 3 9 4 13 10 7 11 12 9 0 2 12 2 13 11 5 4 6 6 1 13 12 1 2 10 7 11 8 0 5 13 11 5 0 8 7 3 2 3 12 10 4 3 5 5 11 12 13 8 11 9 0 2 0 1 4 8 12 6 1 13 4 7 6 7 2 9 3 2 4 4 10 1 0 12 10 5 6 9 7 12 3 5 9 8 7 6 1 13 3 13 0 8 2 0 3 3 2 10 9 11 1 0 4 6 13 11 2 7 10 7 8 4 6 5 8 5 9 13 1 1 2 2 4 9 10 6 5 7 1 7 12 3 8 9 0 4 6 10 3 11 5 11 8 12 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 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 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 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 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 57 57 44 48 39 0 0 48 48 0 0 55 55 44 44 0 34 67 49 15 0 10 31 70 55 59 59 0 46 46 0 64 64 43 30 55 64 59 36 31 0 0 40 40 65 69 32 39 39 0 44 56 22 0 0 0 61 90 48 56 44 15 0 50 51 55 56 56 47 47 22 31 45 0 0 49 68 53 0 58 58 0 0 80 90 59 47 41 41 32 46 68 47 47 0 0 51 51 0 0 50 93 105 66 0 34 55 69 0 0 70 69 91 51 14 64 45 45 35 35 21 21 31 31 0 0 73 101 55 36 0 0 18 69 55 42 42 51 51 39 10 40 75 69 44 0 0 27 69 81 0 0 41 14 56 50 0 94 73 35 0 0 59 59 69 68 31 0 0 18 18 70 105 94 27 0 44 15 56 92 92 0 0 75 65 32 47 0 0 0 44 44 0 56 56 0 14 50 93 79 0 0 44 44 81 81 105 67 0 0 64 74 69 48 27 59 0 0 46 46 21 64 81 0 31 31 68 67 68 104 66 73 69 69 0 48 15 48 81 0 0 42 42 55 18 69 43 43 30 30 49 55 103 0 0 51 51 93 69 44 81 68 81 79 0 67 67 0 0 0 69 41 51 10 10 66 104 73 0 55 55 0 65 31 74 101 88 75 0 0 69 69 0 55 49 103 0 58 45 70 0 0 55 57 101 10 0 105 79 67 66 41 44 0 0 70 39 64 69 0 0 69 69 0 0 80 80 0 101 101 0 0 57 36 73 0 105 58 56 90 0 81 81 88 27 94 0 30 93 64 55 64 22 61 0 93 93 92 92 0 0 41 90 80 50 0 59 36 91 66 66 0 75 44 69 104 0 0 
2400.04/2356.32	v 	</values>
2400.04/2356.32	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 (10696 MiB free)
  memory of node 1: 16384 MiB (9896 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291506-1532283368/watcher-4291506-1532283368 -o /tmp/evaluation-result-4291506-1532283368/solver-4291506-1532283368 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32665 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1275323499 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291506-1532283368.xml 

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

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


[startup+0.110428 s]*
/proc/loadavg: 1.58 1.44 1.42 4/219 3373
/proc/meminfo: memFree=21067120/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14082740 memory=33404 CPUtime=0.13 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 7232 0 0 0 12 1 0 0 20 0 15 0 45899994 14420725760 8351 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3520685 8351 3192 1 0 3482761 0
[pid=3358/tid=3360] ppid=3355 vsize=14082740 memory=-8171376296011865461 CPUtime=0.1 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 5228 0 0 0 9 1 0 0 20 0 15 0 45899995 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108928738128 140108916747070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14082740 memory=5792869726567804975 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14082740 memory=140495318894208 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14082740 memory=140495318894208 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108037829920 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108036777584 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) R 3355 3358 32634 0 -1 4202560 434 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108034672752 140108903673104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) R 3355 3358 32634 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14082740 memory=140495318894208 CPUtime=0.02 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) R 3355 3358 32634 0 -1 4202560 277 0 0 0 2 0 0 0 20 0 15 0 45900000 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108032563520 140108908590430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14082740 memory=140495318894208 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 8417 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33404 KiB

[startup+0.210865 s]*
/proc/loadavg: 1.58 1.44 1.42 4/219 3373
/proc/meminfo: memFree=21054608/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14082740 memory=46740 CPUtime=0.3 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 10329 0 0 0 28 2 0 0 20 0 15 0 45899994 14420725760 11685 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3520685 11685 3361 1 0 3482761 0
[pid=3358/tid=3360] ppid=3355 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 8018 0 0 0 18 2 0 0 20 0 15 0 45899995 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108928734624 140108908553573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14082740 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14082740 memory=140495318916329 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14082740 memory=140495318894208 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108037829920 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108036777584 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) R 3355 3358 32634 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 45900000 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108034664256 140108924520149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) S 3355 3358 32634 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 45900000 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14082740 memory=140495318894208 CPUtime=0.06 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) R 3355 3358 32634 0 -1 4202560 329 0 0 0 6 0 0 0 20 0 15 0 45900000 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108032567664 140108916747070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14082740 memory=140495318894208 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 11685 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46740 KiB

[startup+0.31092 s]*
/proc/loadavg: 1.58 1.44 1.42 3/219 3373
/proc/meminfo: memFree=21051196/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14082740 memory=50440 CPUtime=0.44 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 10734 0 0 0 41 3 0 0 20 0 15 0 45899994 14420725760 12610 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3520685 12610 3367 1 0 3482761 0
[pid=3358/tid=3360] ppid=3355 vsize=14082740 memory=6299806260039079015 CPUtime=0.3 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 8387 0 0 0 28 2 0 0 20 0 15 0 45899995 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108928731040 140108909675582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14082740 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14082740 memory=140495318947616 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14082740 memory=55780 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14082740 memory=140495318954528 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108037829920 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45899997 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108036777584 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) S 3355 3358 32634 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 45900000 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108034672752 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14082740 memory=140495158361103 CPUtime=0.01 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) S 3355 3358 32634 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 45900000 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14082740 memory=140495318897485 CPUtime=0.08 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) S 3355 3358 32634 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 15 0 45900000 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108032567664 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14082740 memory=140495158370223 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14082740 memory=280990477281248 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45900000 14420725760 12610 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50440 KiB

[startup+0.700833 s]
/proc/loadavg: 1.58 1.44 1.42 3/219 3373
/proc/meminfo: memFree=21027012/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14084808 memory=88748 CPUtime=1 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 17580 0 0 0 95 5 0 0 20 0 15 0 45899994 14422843392 22187 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3521202 22187 3482 1 0 3483273 0
[pid=3358/tid=3360] ppid=3355 vsize=14084808 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 14820 0 0 0 63 4 0 0 20 0 15 0 45899995 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108928734000 140108908590430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45899996 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14084808 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14084808 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45899997 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14084808 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45899997 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108037829920 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45899997 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108036777584 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) S 3355 3358 32634 0 -1 1077944384 666 0 0 0 6 0 0 0 20 0 15 0 45900000 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108034672752 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) S 3355 3358 32634 0 -1 1077944384 257 0 0 0 8 0 0 0 20 0 15 0 45900000 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) S 3355 3358 32634 0 -1 1077944384 455 0 0 0 15 0 0 0 20 0 15 0 45900000 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108032567664 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45900000 14422843392 22187 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88748 KiB

[startup+1.50147 s]
/proc/loadavg: 1.58 1.44 1.42 5/219 3373
/proc/meminfo: memFree=20970752/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14088904 memory=206156 CPUtime=3.51 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 22639 0 0 0 343 8 0 0 20 0 15 0 45899994 14427037696 51539 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3522226 51539 3549 1 0 3484297 0
[pid=3358/tid=3360] ppid=3355 vsize=14088904 memory=2241 CPUtime=1.47 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 16289 0 0 0 141 6 0 0 20 0 15 0 45899995 14427037696 51539 33554432000 4194304 4196468 140737197925376 140108928746384 140108567278267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14088904 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45899996 14427037696 51539 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14427037696 51539 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14088904 memory=280990316929856 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14427037696 51539 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14088904 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45899996 14427037696 51539 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14088904 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 45899997 14427037696 51539 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0

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

/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 163614 0 0 0 218796 77 0 0 20 0 15 0 45899995 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108928747728 140108567132096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14095048 memory=-2127765428973373527 CPUtime=10.45 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 28251 0 0 0 1016 29 0 0 20 0 15 0 45899996 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14095048 memory=-1161699032756281440 CPUtime=10.48 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 27997 0 0 0 1019 29 0 0 20 0 15 0 45899996 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14095048 memory=4872558044660077418 CPUtime=10.47 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 26501 0 0 0 1020 27 0 0 20 0 15 0 45899996 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14095048 memory=2340 CPUtime=10.44 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 28044 0 0 0 1017 27 0 0 20 0 15 0 45899996 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14095048 memory=1572 CPUtime=2.14 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 30764 0 0 0 171 43 0 0 20 0 15 0 45899997 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14095048 memory=928 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108037829984 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14095048 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108036777600 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14095048 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14095048 memory=2196 CPUtime=4.24 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) S 3355 3358 32634 0 -1 1077944384 22911 0 0 0 421 3 0 0 20 0 15 0 45900000 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108034672752 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14095048 memory=7528 CPUtime=4.17 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) S 3355 3358 32634 0 -1 1077944384 17708 0 0 0 415 2 0 0 20 0 15 0 45900000 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14095048 memory=735280 CPUtime=1.7 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) S 3355 3358 32634 0 -1 1077944384 34704 0 0 0 166 4 0 0 20 0 15 0 45900000 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108032567664 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14095048 memory=735280 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14095048 memory=1008 CPUtime=1.25 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1771 0 0 0 62 63 0 0 20 0 15 0 45900000 14433329152 182281 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 2244.17 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 729124 KiB

[startup+2262.3 s]*
/proc/loadavg: 1.15 1.39 1.41 3/220 3449
/proc/meminfo: memFree=21713688/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14095048 memory=765512 CPUtime=2304.89 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 389228 0 0 0 230191 298 0 0 20 0 15 0 45899994 14433329152 191378 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3523762 191378 3619 1 0 3485833 0
[pid=3358/tid=3360] ppid=3355 vsize=14095048 memory=6935054825532540783 CPUtime=2248.42 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 167705 0 0 0 224764 78 0 0 20 0 15 0 45899995 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108928747616 140108568636114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14095048 memory=4872558044660077418 CPUtime=10.68 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 28417 0 0 0 1038 30 0 0 20 0 15 0 45899996 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14095048 memory=1444 CPUtime=10.71 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 28390 0 0 0 1042 29 0 0 20 0 15 0 45899996 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14095048 memory=1200 CPUtime=10.71 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 26658 0 0 0 1042 29 0 0 20 0 15 0 45899996 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14095048 memory=1008 CPUtime=10.68 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 28303 0 0 0 1040 28 0 0 20 0 15 0 45899996 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14095048 memory=775544 CPUtime=2.18 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 30829 0 0 0 174 44 0 0 20 0 15 0 45899997 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14095048 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108037829984 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14095048 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108036777600 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14095048 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14095048 memory=928 CPUtime=4.24 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) S 3355 3358 32634 0 -1 1077944384 22913 0 0 0 421 3 0 0 20 0 15 0 45900000 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108034672752 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14095048 memory=2244 CPUtime=4.17 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) S 3355 3358 32634 0 -1 1077944384 17710 0 0 0 415 2 0 0 20 0 15 0 45900000 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14095048 memory=4132 CPUtime=1.7 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) S 3355 3358 32634 0 -1 1077944384 35092 0 0 0 166 4 0 0 20 0 15 0 45900000 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108032567664 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14095048 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14095048 memory=7528 CPUtime=1.29 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1777 0 0 0 64 65 0 0 20 0 15 0 45900000 14433329152 191378 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 2304.89 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 765512 KiB

[startup+2322.3 s]*
/proc/loadavg: 1.46 1.45 1.42 3/220 3529
/proc/meminfo: memFree=22413508/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14095048 memory=760416 CPUtime=2365.62 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 395115 0 0 0 236257 305 0 0 20 0 15 0 45899994 14433329152 190104 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3523762 190104 3619 1 0 3485833 0
[pid=3358/tid=3360] ppid=3355 vsize=14095048 memory=6004536801789309542 CPUtime=2308.12 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 173196 0 0 0 230730 82 0 0 20 0 15 0 45899995 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108928747728 140108564904055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14095048 memory=6004536801789309542 CPUtime=10.92 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 28505 0 0 0 1062 30 0 0 20 0 15 0 45899996 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14095048 memory=6004536801789309542 CPUtime=10.95 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 28447 0 0 0 1065 30 0 0 20 0 15 0 45899996 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14095048 memory=4872558044660077418 CPUtime=10.94 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 26687 0 0 0 1065 29 0 0 20 0 15 0 45899996 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14095048 memory=1696 CPUtime=10.91 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 28316 0 0 0 1063 28 0 0 20 0 15 0 45899996 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14095048 memory=8372 CPUtime=2.23 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 31024 0 0 0 178 45 0 0 20 0 15 0 45899997 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14095048 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108037829984 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14095048 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108036777600 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14095048 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14095048 memory=10228 CPUtime=4.24 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) S 3355 3358 32634 0 -1 1077944384 22913 0 0 0 421 3 0 0 20 0 15 0 45900000 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108034672752 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14095048 memory=18488 CPUtime=4.17 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) S 3355 3358 32634 0 -1 1077944384 17710 0 0 0 415 2 0 0 20 0 15 0 45900000 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14095048 memory=1792 CPUtime=1.7 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) S 3355 3358 32634 0 -1 1077944384 35093 0 0 0 166 4 0 0 20 0 15 0 45900000 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108032567664 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14095048 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14095048 memory=644 CPUtime=1.32 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1790 0 0 0 65 67 0 0 20 0 15 0 45900000 14433329152 190104 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 2365.62 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 760416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2356.3 s]*
/proc/loadavg: 1.43 1.43 1.42 3/219 3531
/proc/meminfo: memFree=22417976/32770624 swapFree=67108860/67108860
[pid=3358] ppid=3355 vsize=14095048 memory=749796 CPUtime=2400.04 cores=0,2,4,6
/proc/3358/stat : 3358 (java) S 3355 3358 32634 0 -1 1077944320 398598 0 0 0 239696 308 0 0 20 0 15 0 45899994 14433329152 187449 33554432000 4194304 4196468 140737197925376 140737197907920 140108924509943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
/proc/3358/statm: 3523762 187449 3619 1 0 3485833 0
[pid=3358/tid=3360] ppid=3355 vsize=14095048 memory=6935054825532540783 CPUtime=2341.94 cores=0,2,4,6
/proc/3358/task/3360/stat : 3360 (java) R 3355 3358 32634 0 -1 4202560 175575 0 0 0 234111 83 0 0 20 0 15 0 45899995 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108928747232 140108565314075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3361] ppid=3355 vsize=14095048 memory=4872558044660077418 CPUtime=11.06 cores=0,2,4,6
/proc/3358/task/3361/stat : 3361 (java) S 3355 3358 32634 0 -1 1077944384 28650 0 0 0 1076 30 0 0 20 0 15 0 45899996 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108881062288 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3362] ppid=3355 vsize=14095048 memory=-7521736447810188379 CPUtime=11.09 cores=0,2,4,6
/proc/3358/task/3362/stat : 3362 (java) S 3355 3358 32634 0 -1 1077944384 28779 0 0 0 1079 30 0 0 20 0 15 0 45899996 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108519368976 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3363] ppid=3355 vsize=14095048 memory=33220 CPUtime=11.1 cores=0,2,4,6
/proc/3358/task/3363/stat : 3363 (java) S 3355 3358 32634 0 -1 1077944384 26891 0 0 0 1080 30 0 0 20 0 15 0 45899996 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108518316688 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3364] ppid=3355 vsize=14095048 memory=35428 CPUtime=11.06 cores=0,2,4,6
/proc/3358/task/3364/stat : 3364 (java) S 3355 3358 32634 0 -1 1077944384 28493 0 0 0 1077 29 0 0 20 0 15 0 45899996 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108517263888 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3365] ppid=3355 vsize=14095048 memory=4417 CPUtime=2.25 cores=0,2,4,6
/proc/3358/task/3365/stat : 3365 (java) S 3355 3358 32634 0 -1 1077944384 31055 0 0 0 180 45 0 0 20 0 15 0 45899997 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108038883952 140108924521090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3366] ppid=3355 vsize=14095048 memory=280990317257040 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3366/stat : 3366 (java) S 3355 3358 32634 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108037829984 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3367] ppid=3355 vsize=14095048 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3367/stat : 3367 (java) S 3355 3358 32634 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45899997 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108036777600 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3368] ppid=3355 vsize=14095048 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3368/stat : 3368 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108035725904 140108924528539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3369] ppid=3355 vsize=14095048 memory=6656426216303648864 CPUtime=4.24 cores=0,2,4,6
/proc/3358/task/3369/stat : 3369 (java) S 3355 3358 32634 0 -1 1077944384 23120 0 0 0 421 3 0 0 20 0 15 0 45900000 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108034672752 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3370] ppid=3355 vsize=14095048 memory=6944656575208382560 CPUtime=4.17 cores=0,2,4,6
/proc/3358/task/3370/stat : 3370 (java) S 3355 3358 32634 0 -1 1077944384 17712 0 0 0 415 2 0 0 20 0 15 0 45900000 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108033619952 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3371] ppid=3355 vsize=14095048 memory=6655300316396806240 CPUtime=1.7 cores=0,2,4,6
/proc/3358/task/3371/stat : 3371 (java) S 3355 3358 32634 0 -1 1077944384 35095 0 0 0 166 4 0 0 20 0 15 0 45900000 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108032567664 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3372] ppid=3355 vsize=14095048 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/3358/task/3372/stat : 3372 (java) S 3355 3358 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45900000 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108031515104 140108924520149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
[pid=3358/tid=3373] ppid=3355 vsize=14095048 memory=728100 CPUtime=1.34 cores=0,2,4,6
/proc/3358/task/3373/stat : 3373 (java) S 3355 3358 32634 0 -1 1077944384 1794 0 0 0 66 68 0 0 20 0 15 0 45900000 14433329152 187449 33554432000 4194304 4196468 140737197925376 140108030462896 140108924521090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140737197929556 140737197929737 140737197929737 140737197932495 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 749796 KiB

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

[startup+2356.34 s]
# the end of solver process 3358 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.99 s, system=3.0901 s

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

Child status: 143
Real time (s): 2356.34
CPU time (s): 2400.08
CPU user time (s): 2396.99
CPU system time (s): 3.0901
CPU usage (%): 101.856
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 3933860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.99
system time used= 3.0901
maximum resident set size= 3933860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96288
involuntary context switches= 5836


# summary of solver processes directly reported to runsolver:
#   pid: 3358
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2396.99
#   total CPU system time (s): 3.0901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9168 second user time and 23.0977 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 4291506

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