2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
AbsCon-basic 2017-06-11	SAT (TO)	2690	245.966	240.01401

0.27/0.34	
0.27/0.34	AbsCon 2 
0.27/0.34	
1.36/0.78	  Solving XCSP3-instance-4257572-1501653222 as a COP in -infty..+infty
1.36/0.78	  Loading variables...
2.11/0.91	  Loading constraints...
4.30/1.61	  Solver SolverBacktrack being built...
4.30/1.61	
4.53/1.76	  Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
4.53/1.76	
5.06/1.96	o 194054
5.69/2.19	o 180442
6.31/2.39	o 180122
6.91/2.55	o 167806
7.21/2.69	o 167174
7.68/2.84	o 166574
7.97/2.97	o 155178
8.34/3.10	o 154298
8.45/3.22	o 144102
8.60/3.35	o 143190
8.70/3.47	o 142918
8.80/3.60	o 141862
9.05/3.72	o 132714
9.15/3.84	o 129914
9.25/3.96	o 129498
9.35/4.08	o 126434
9.55/4.21	o 125786
9.68/4.33	o 125354
9.81/4.45	o 124938
9.92/4.58	o 124378
10.11/4.70	o 124122
10.21/4.82	o 123370
10.31/4.94	o 113774
10.41/5.06	o 112382
10.52/5.18	o 112046
10.72/5.30	o 109326
10.98/5.47	o 108294
11.09/5.60	o 106750
11.31/5.73	o 105982
11.41/5.85	o 105070
11.53/5.98	o 95594
11.74/6.11	o 94330
11.84/6.29	o 91490
12.05/6.42	o 91194
12.15/6.60	o 89266
12.35/6.73	o 89178
12.55/6.97	o 88962
12.86/7.22	o 88578
13.48/7.87	o 87862
13.67/8.00	o 87454
13.87/8.20	o 85102
13.99/8.39	o 84966
14.29/8.65	o 84018
14.39/8.78	o 82738
14.61/8.97	o 79810
14.71/9.10	o 78610
14.91/9.22	o 76874
15.01/9.35	o 76338
15.11/9.48	o 74930
15.31/9.61	o 73882
15.41/9.74	o 73298
15.51/9.87	o 72410
15.72/10.05	o 71874
16.02/10.38	o 70706
16.32/10.63	o 70522
16.42/10.76	o 70466
16.82/11.14	o 69566
16.92/11.27	o 69350
17.83/12.11	o 69118
17.93/12.23	o 68398
18.03/12.36	o 67630
18.13/12.49	o 67542
18.33/12.62	o 67430
18.54/12.81	o 66622
18.64/12.94	o 66446
18.74/13.07	o 66422
19.35/13.67	o 65550
19.55/13.81	o 65374
19.76/14.04	o 28734
21.67/15.94	o 19954
21.77/16.07	o 19226
21.97/16.21	o 16566
22.17/16.43	o 16438
22.57/16.86	o 2702
147.59/141.71	o 2690
245.94/240.00	
245.94/240.00	v <instantiation id='sol75' type='solution' cost='2690'>  <list> x[] y[][] c[] s[] </list>  <values> 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 * 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 * * -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 * * * -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 * * * * -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 * * * * * -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 * * * * * * -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 * * * * * * * 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 * * * * * * * * -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 * * * * * * * * * 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 * * * * * * * * * * * 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 * * * * * * * * * * * * * 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 1 -1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -5 -2 5 -14 -1 -8 -9 -18 11 -4 -5 10 -1 2 1 4 -3 0 -1 -6 -7 -4 -3 2 13 0 1 4 13 4 -3 2 -9 -6 5 -10 -5 -2 3 4 11 0 -3 4 -7 -10 1 -2 -5 2 1 -2 7 4 -1 8 7 0 -5 2 -5 -8 -1 -6 1 4 3 0 3 6 -7 6 -3 -4 1 2 -3 0 1 -2 3 -2 1 25 4 25 196 1 64 81 324 121 16 25 100 1 4 1 16 9 0 1 36 49 16 9 4 169 0 1 16 169 16 9 4 81 36 25 100 25 4 9 16 121 0 9 16 49 100 1 4 25 4 1 4 49 16 1 64 49 0 25 4 25 64 1 36 1 16 9 0 9 36 49 36 9 16 1 4 9 0 1 4 9 4 1 </values>  </instantiation>
245.94/240.00	s SATISFIABLE

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257572-1501653222/watcher-4257572-1501653222 -o /tmp/evaluation-result-4257572-1501653222/solver-4257572-1501653222 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27504 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257572-1501653222.xml 

pid=6807
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.91 1.97 2.02 2/195 6810
/proc/meminfo: memFree=31651508/32770624 swapFree=0/228420
[pid=6810] ppid=6807 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6810/stat : 6810 (runsolver) D 6807 6810 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13942513 24240128 108 18446744073709551615 4194304 4338465 140734999973392 140734999971032 140676322230999 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 33148928 140734999978143 140734999978566 140734999978566 140734999982026 0
/proc/6810/statm: 5918 108 54 36 0 2156 0

[startup+0.100163 s]
/proc/loadavg: 1.91 1.97 2.02 2/195 6810
/proc/meminfo: memFree=31651508/32770624 swapFree=0/228420
[pid=6810] ppid=6807 vsize=10151672 CPUtime=0.03 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 4081 0 0 0 2 1 0 0 20 0 9 0 13942513 10395312128 5190 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2537918 5190 2091 1 0 2527423 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10151672

[startup+0.200283 s]
/proc/loadavg: 1.91 1.97 2.02 2/195 6810
/proc/meminfo: memFree=31651508/32770624 swapFree=0/228420
[pid=6810] ppid=6807 vsize=10551180 CPUtime=0.09 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 5212 0 0 0 8 1 0 0 20 0 15 0 13942513 10804408320 6699 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2637795 6699 2670 1 0 2627269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10551180

[startup+0.301062 s]
/proc/loadavg: 1.91 1.97 2.02 2/195 6810
/proc/meminfo: memFree=31651508/32770624 swapFree=0/228420
[pid=6810] ppid=6807 vsize=10553264 CPUtime=0.27 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 8837 0 0 0 25 2 0 0 20 0 15 0 13942513 10806542336 9625 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2638316 9625 2914 1 0 2627269 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10553264

[startup+0.700171 s]
/proc/loadavg: 1.91 1.97 2.02 2/195 6810
/proc/meminfo: memFree=31651508/32770624 swapFree=0/228420
[pid=6810] ppid=6807 vsize=10621952 CPUtime=1.36 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 13891 0 0 0 131 5 0 0 20 0 16 0 13942513 10876878848 24603 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2655488 24603 3065 1 0 2644422 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10621952

[startup+1.50059 s]
/proc/loadavg: 1.91 1.97 2.02 5/211 6826
/proc/meminfo: memFree=31515716/32770624 swapFree=0/228692
[pid=6810] ppid=6807 vsize=10624000 CPUtime=3.99 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 16724 0 0 0 391 8 0 0 20 0 16 0 13942513 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 50868 3114 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 6 0 0 0 2 0 0 0 20 0 16 0 13942520 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 16 0 13942520 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 16 0 13942520 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 30 0 0 0 2 0 0 0 20 0 16 0 13942520 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13942521 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6818] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6818/stat : 6818 (java) S 6807 6810 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146291524384 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6819] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6819/stat : 6819 (java) S 6807 6810 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146290472048 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6820] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6820/stat : 6820 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942524 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146289420368 140146797381531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6821] ppid=6807 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/6810/task/6821/stat : 6821 (java) S 6807 6810 5131 0 -1 1077944384 1803 0 0 0 93 0 0 0 20 0 16 0 13942524 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146288368240 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6822] ppid=6807 vsize=10624000 CPUtime=0.97 cores=0,2,4,6
/proc/6810/task/6822/stat : 6822 (java) S 6807 6810 5131 0 -1 1077944384 1744 0 0 0 97 0 0 0 20 0 16 0 13942524 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146287315440 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6823] ppid=6807 vsize=10624000 CPUtime=0.62 cores=0,2,4,6
/proc/6810/task/6823/stat : 6823 (java) S 6807 6810 5131 0 -1 1077944384 2459 0 0 0 62 0 0 0 20 0 16 0 13942525 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146286263152 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6824] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6824/stat : 6824 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942525 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146285210592 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6825] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6825/stat : 6825 (java) S 6807 6810 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13942530 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146284157360 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6826] ppid=6807 vsize=10624000 CPUtime=1.12 cores=0,2,4,6
/proc/6810/task/6826/stat : 6826 (java) R 6807 6810 5131 0 -1 4202560 3035 0 0 0 109 3 0 0 20 0 16 0 13942547 10878976000 50868 18446744073709551615 4194304 4196468 140736651558416 140146280963936 140146417118279 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10624000

[startup+3.10075 s]
/proc/loadavg: 1.91 1.97 2.02 5/211 6826
/proc/meminfo: memFree=31436428/32770624 swapFree=0/228700
[pid=6810] ppid=6807 vsize=10624000 CPUtime=8.34 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 26855 0 0 0 822 12 0 0 20 0 16 0 13942513 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 57576 3120 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 6 0 0 0 2 0 0 0 20 0 16 0 13942520 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 16 0 13942520 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 16 0 13942520 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 30 0 0 0 2 0 0 0 20 0 16 0 13942520 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13942521 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6818] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6818/stat : 6818 (java) S 6807 6810 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146291524384 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6819] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6819/stat : 6819 (java) S 6807 6810 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146290472048 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6820] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6820/stat : 6820 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942524 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146289420368 140146797381531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6821] ppid=6807 vsize=10624000 CPUtime=2.28 cores=0,2,4,6
/proc/6810/task/6821/stat : 6821 (java) S 6807 6810 5131 0 -1 1077944384 4752 0 0 0 226 2 0 0 20 0 16 0 13942524 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146288368240 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6822] ppid=6807 vsize=10624000 CPUtime=2.19 cores=0,2,4,6
/proc/6810/task/6822/stat : 6822 (java) S 6807 6810 5131 0 -1 1077944384 6219 0 0 0 218 1 0 0 20 0 16 0 13942524 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146287315440 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6823] ppid=6807 vsize=10624000 CPUtime=0.82 cores=0,2,4,6
/proc/6810/task/6823/stat : 6823 (java) S 6807 6810 5131 0 -1 1077944384 3092 0 0 0 81 1 0 0 20 0 16 0 13942525 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146286263152 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6824] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6824/stat : 6824 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942525 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146285210592 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6825] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6825/stat : 6825 (java) S 6807 6810 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13942530 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146284157360 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6826] ppid=6807 vsize=10624000 CPUtime=2.71 cores=0,2,4,6
/proc/6810/task/6826/stat : 6826 (java) R 6807 6810 5131 0 -1 4202560 5109 0 0 0 267 4 0 0 20 0 16 0 13942547 10878976000 57576 18446744073709551615 4194304 4196468 140736651558416 140146280965496 140146419311049 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 10624000

[startup+6.30076 s]
/proc/loadavg: 2.00 1.99 2.03 3/211 6826
/proc/meminfo: memFree=31355016/32770624 swapFree=0/228704
[pid=6810] ppid=6807 vsize=10624000 CPUtime=11.95 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 34169 0 0 0 1173 22 0 0 20 0 16 0 13942513 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 77047 3138 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 260 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 140 0 0 0 3 2 0 0 20 0 16 0 13942520 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 1162 0 0 0 5 2 0 0 20 0 16 0 13942520 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 165 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 16 0 13942521 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6818] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6818/stat : 6818 (java) S 6807 6810 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146291524448 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6819] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6819/stat : 6819 (java) S 6807 6810 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146290472064 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6820] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6820/stat : 6820 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942524 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146289420368 140146797381531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6821] ppid=6807 vsize=10624000 CPUtime=2.36 cores=0,2,4,6
/proc/6810/task/6821/stat : 6821 (java) S 6807 6810 5131 0 -1 1077944384 5812 0 0 0 234 2 0 0 20 0 16 0 13942524 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146288368240 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6822] ppid=6807 vsize=10624000 CPUtime=2.34 cores=0,2,4,6
/proc/6810/task/6822/stat : 6822 (java) S 6807 6810 5131 0 -1 1077944384 7916 0 0 0 233 1 0 0 20 0 16 0 13942524 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146287315440 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6823] ppid=6807 vsize=10624000 CPUtime=0.85 cores=0,2,4,6
/proc/6810/task/6823/stat : 6823 (java) S 6807 6810 5131 0 -1 1077944384 3927 0 0 0 84 1 0 0 20 0 16 0 13942525 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146286263152 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6824] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6824/stat : 6824 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942525 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146285210592 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6825] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6825/stat : 6825 (java) S 6807 6810 5131 0 -1 1077944384 726 0 0 0 0 0 0 0 20 0 16 0 13942530 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146284157360 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6826] ppid=6807 vsize=10624000 CPUtime=5.86 cores=0,2,4,6
/proc/6810/task/6826/stat : 6826 (java) R 6807 6810 5131 0 -1 4202560 6025 0 0 0 582 4 0 0 20 0 16 0 13942547 10878976000 77047 18446744073709551615 4194304 4196468 140736651558416 140146280964752 140146418916790 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 10624000

[startup+12.7007 s]
/proc/loadavg: 2.00 1.99 2.03 3/211 6826
/proc/meminfo: memFree=31362580/32770624 swapFree=0/228712
[pid=6810] ppid=6807 vsize=10624000 CPUtime=18.44 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 37346 0 0 0 1821 23 0 0 20 0 16 0 13942513 10878976000 74860 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 74860 3139 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 74860 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 260 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74860 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 140 0 0 0 3 2 0 0 20 0 16 0 13942520 10878976000 74860 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 1162 0 0 0 5 2 0 0 20 0 16 0 13942520 10878976000 74860 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 165 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74860 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 16 0 13942521 10878976000 74860 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0

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

/proc/meminfo: memFree=31424380/32770624 swapFree=0/228832
[pid=6810] ppid=6807 vsize=10624000 CPUtime=108.17 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 43904 0 0 0 10793 24 0 0 20 0 16 0 13942513 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 74900 3139 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 260 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 140 0 0 0 3 2 0 0 20 0 16 0 13942520 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 1162 0 0 0 5 2 0 0 20 0 16 0 13942520 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 165 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 568 0 0 0 1 0 0 0 20 0 16 0 13942521 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6818] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6818/stat : 6818 (java) S 6807 6810 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146291524448 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6819] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6819/stat : 6819 (java) S 6807 6810 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146290472064 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6820] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6820/stat : 6820 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942524 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146289420368 140146797381531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6821] ppid=6807 vsize=10624000 CPUtime=2.43 cores=0,2,4,6
/proc/6810/task/6821/stat : 6821 (java) S 6807 6810 5131 0 -1 1077944384 7810 0 0 0 241 2 0 0 20 0 16 0 13942524 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146288368240 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6822] ppid=6807 vsize=10624000 CPUtime=2.38 cores=0,2,4,6
/proc/6810/task/6822/stat : 6822 (java) S 6807 6810 5131 0 -1 1077944384 9410 0 0 0 237 1 0 0 20 0 16 0 13942524 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146287315440 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6823] ppid=6807 vsize=10624000 CPUtime=0.9 cores=0,2,4,6
/proc/6810/task/6823/stat : 6823 (java) S 6807 6810 5131 0 -1 1077944384 5595 0 0 0 89 1 0 0 20 0 16 0 13942525 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146286263152 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6824] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6824/stat : 6824 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942525 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146285210592 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6825] ppid=6807 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/6810/task/6825/stat : 6825 (java) S 6807 6810 5131 0 -1 1077944384 906 0 0 0 3 1 0 0 20 0 16 0 13942530 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146284157360 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6826] ppid=6807 vsize=10624000 CPUtime=101.85 cores=0,2,4,6
/proc/6810/task/6826/stat : 6826 (java) R 6807 6810 5131 0 -1 4202560 10325 0 0 0 10181 4 0 0 20 0 16 0 13942547 10878976000 74900 18446744073709551615 4194304 4196468 140736651558416 140146280966520 140146417172288 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
Current children cumulated CPU time (s) 108.17
Current children cumulated vsize (KiB) 10624000

[startup+162.301 s]
/proc/loadavg: 2.04 2.01 2.04 3/212 6924
/proc/meminfo: memFree=31421868/32770624 swapFree=0/228868
[pid=6810] ppid=6807 vsize=10624000 CPUtime=168.2 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 46793 0 0 0 16794 26 0 0 20 0 16 0 13942513 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 74927 3139 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 260 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 140 0 0 0 3 2 0 0 20 0 16 0 13942520 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 1162 0 0 0 5 2 0 0 20 0 16 0 13942520 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 165 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 16 0 13942521 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6818] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6818/stat : 6818 (java) S 6807 6810 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146291524448 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6819] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6819/stat : 6819 (java) S 6807 6810 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146290472064 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6820] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6820/stat : 6820 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942524 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146289420368 140146797381531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6821] ppid=6807 vsize=10624000 CPUtime=2.44 cores=0,2,4,6
/proc/6810/task/6821/stat : 6821 (java) S 6807 6810 5131 0 -1 1077944384 8193 0 0 0 242 2 0 0 20 0 16 0 13942524 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146288368240 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6822] ppid=6807 vsize=10624000 CPUtime=2.38 cores=0,2,4,6
/proc/6810/task/6822/stat : 6822 (java) S 6807 6810 5131 0 -1 1077944384 9416 0 0 0 237 1 0 0 20 0 16 0 13942524 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146287315440 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6823] ppid=6807 vsize=10624000 CPUtime=0.92 cores=0,2,4,6
/proc/6810/task/6823/stat : 6823 (java) S 6807 6810 5131 0 -1 1077944384 7000 0 0 0 91 1 0 0 20 0 16 0 13942525 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146286263152 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6824] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6824/stat : 6824 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942525 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146285210592 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6825] ppid=6807 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/6810/task/6825/stat : 6825 (java) S 6807 6810 5131 0 -1 1077944384 954 0 0 0 4 3 0 0 20 0 16 0 13942530 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146284157360 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6826] ppid=6807 vsize=10624000 CPUtime=161.83 cores=0,2,4,6
/proc/6810/task/6826/stat : 6826 (java) R 6807 6810 5131 0 -1 4202560 11363 0 0 0 16179 4 0 0 20 0 16 0 13942547 10878976000 74927 18446744073709551615 4194304 4196468 140736651558416 140146280967192 140146419451563 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
Current children cumulated CPU time (s) 168.2
Current children cumulated vsize (KiB) 10624000

[startup+222.306 s]
/proc/loadavg: 2.15 2.05 2.05 3/212 7004
/proc/meminfo: memFree=31419920/32770624 swapFree=0/228940
[pid=6810] ppid=6807 vsize=10624000 CPUtime=228.23 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 47970 0 0 0 22795 28 0 0 20 0 16 0 13942513 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 74933 3139 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 260 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 140 0 0 0 3 2 0 0 20 0 16 0 13942520 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 1162 0 0 0 5 2 0 0 20 0 16 0 13942520 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 165 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 627 0 0 0 1 0 0 0 20 0 16 0 13942521 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6818] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6818/stat : 6818 (java) S 6807 6810 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146291524448 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6819] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6819/stat : 6819 (java) S 6807 6810 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146290472064 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6820] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6820/stat : 6820 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942524 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146289420368 140146797381531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6821] ppid=6807 vsize=10624000 CPUtime=2.44 cores=0,2,4,6
/proc/6810/task/6821/stat : 6821 (java) S 6807 6810 5131 0 -1 1077944384 8202 0 0 0 242 2 0 0 20 0 16 0 13942524 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146288368240 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6822] ppid=6807 vsize=10624000 CPUtime=2.38 cores=0,2,4,6
/proc/6810/task/6822/stat : 6822 (java) S 6807 6810 5131 0 -1 1077944384 9419 0 0 0 237 1 0 0 20 0 16 0 13942524 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146287315440 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6823] ppid=6807 vsize=10624000 CPUtime=0.92 cores=0,2,4,6
/proc/6810/task/6823/stat : 6823 (java) S 6807 6810 5131 0 -1 1077944384 7334 0 0 0 91 1 0 0 20 0 16 0 13942525 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146286263152 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6824] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6824/stat : 6824 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942525 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146285210592 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6825] ppid=6807 vsize=10624000 CPUtime=0.09 cores=0,2,4,6
/proc/6810/task/6825/stat : 6825 (java) S 6807 6810 5131 0 -1 1077944384 1018 0 0 0 4 5 0 0 20 0 16 0 13942530 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146284157360 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6826] ppid=6807 vsize=10624000 CPUtime=221.83 cores=0,2,4,6
/proc/6810/task/6826/stat : 6826 (java) R 6807 6810 5131 0 -1 4202560 12080 0 0 0 22178 5 0 0 20 0 16 0 13942547 10878976000 74933 18446744073709551615 4194304 4196468 140736651558416 140146280966984 140146419451761 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
Current children cumulated CPU time (s) 228.23
Current children cumulated vsize (KiB) 10624000



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.10 2.04 2.05 3/212 7004
/proc/meminfo: memFree=31420156/32770624 swapFree=0/228956
[pid=6810] ppid=6807 vsize=10624000 CPUtime=245.94 cores=0,2,4,6
/proc/6810/stat : 6810 (java) S 6807 6810 5131 0 -1 1077944320 48589 0 0 0 24565 29 0 0 20 0 16 0 13942513 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140736651540960 140146797362935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 6 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
/proc/6810/statm: 2656000 74940 3139 1 0 2644934 0
[pid=6810/tid=6812] ppid=6807 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/6810/task/6812/stat : 6812 (java) S 6807 6810 5131 0 -1 1077944384 6170 0 0 0 19 2 0 0 20 0 16 0 13942519 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146801605808 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6813] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6813/stat : 6813 (java) S 6807 6810 5131 0 -1 1077944384 260 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146738400144 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6814] ppid=6807 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/6810/task/6814/stat : 6814 (java) S 6807 6810 5131 0 -1 1077944384 140 0 0 0 3 2 0 0 20 0 16 0 13942520 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146737347344 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6815] ppid=6807 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/6810/task/6815/stat : 6815 (java) S 6807 6810 5131 0 -1 1077944384 1162 0 0 0 5 2 0 0 20 0 16 0 13942520 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146736295056 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6816] ppid=6807 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/6810/task/6816/stat : 6816 (java) S 6807 6810 5131 0 -1 1077944384 165 0 0 0 4 2 0 0 20 0 16 0 13942520 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146735242256 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6817] ppid=6807 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/6810/task/6817/stat : 6817 (java) S 6807 6810 5131 0 -1 1077944384 627 0 0 0 1 0 0 0 20 0 16 0 13942521 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146292578416 140146797374082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6818] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6818/stat : 6818 (java) S 6807 6810 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146291524448 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6819] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6819/stat : 6819 (java) S 6807 6810 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13942522 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146290472064 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6820] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6820/stat : 6820 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942524 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146289420368 140146797381531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6821] ppid=6807 vsize=10624000 CPUtime=2.44 cores=0,2,4,6
/proc/6810/task/6821/stat : 6821 (java) S 6807 6810 5131 0 -1 1077944384 8635 0 0 0 242 2 0 0 20 0 16 0 13942524 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146288368240 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6822] ppid=6807 vsize=10624000 CPUtime=2.38 cores=0,2,4,6
/proc/6810/task/6822/stat : 6822 (java) S 6807 6810 5131 0 -1 1077944384 9419 0 0 0 237 1 0 0 20 0 16 0 13942524 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146287315440 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6823] ppid=6807 vsize=10624000 CPUtime=0.92 cores=0,2,4,6
/proc/6810/task/6823/stat : 6823 (java) S 6807 6810 5131 0 -1 1077944384 7449 0 0 0 91 1 0 0 20 0 16 0 13942525 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146286263152 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6824] ppid=6807 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/6810/task/6824/stat : 6824 (java) S 6807 6810 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13942525 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146285210592 140146797373141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6825] ppid=6807 vsize=10624000 CPUtime=0.1 cores=0,2,4,6
/proc/6810/task/6825/stat : 6825 (java) S 6807 6810 5131 0 -1 1077944384 1018 0 0 0 5 5 0 0 20 0 16 0 13942530 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146284157360 140146797374082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
[pid=6810/tid=6826] ppid=6807 vsize=10624000 CPUtime=239.52 cores=0,2,4,6
/proc/6810/task/6826/stat : 6826 (java) R 6807 6810 5131 0 -1 4202560 12151 0 0 0 23947 5 0 0 20 0 16 0 13942547 10878976000 74940 18446744073709551615 4194304 4196468 140736651558416 140146280967544 140146419451525 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140736651563466 140736651563595 140736651563595 140736651567055 0
Current children cumulated CPU time (s) 245.94
Current children cumulated vsize (KiB) 10624000

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6810 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.014
CPU time (s): 245.966
CPU user time (s): 245.668
CPU system time (s): 0.298071
CPU usage (%): 102.48
Max. virtual memory (cumulated for all children) (KiB): 10625840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.668
system time used= 0.298071
maximum resident set size= 308380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8056
involuntary context switches= 596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08757 second user time and 1.42127 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml
MD5SUM	0731e2512da3574fe37fc3f03b16a729
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	970
Best CPU time to get the best result obtained on this benchmark	252.895
Satisfiable
(Un)Satisfiability was proved
Number of variables	7139
Number of constraints	3652
Number of domains	167
Minimum domain size	2
Maximum domain size	167
Distribution of domain sizes	[{"size":2,"count":3571},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}]
Minimum variable degree	0
Maximum variable degree	83
Distribution of variable degrees	[{"degree":0,"count":3403},{"degree":2,"count":3652},{"degree":83,"count":84}]
Minimum constraint arity	2
Maximum constraint arity	84
Distribution of constraint arities	[{"arity":2,"count":84},{"arity":3,"count":3487},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3569
Distribution of constraint types	[{"type":"intension","count":3569},{"type":"sum","count":83}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4257572

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