2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
AbsCon-basic 2017-06-11	SAT (TO)	1690	2520.0701	2513.1101

0.32/0.33	
0.32/0.33	AbsCon 2 
0.32/0.33	
1.40/0.76	  Solving XCSP3-instance-4263981-1502292442 as a COP in -infty..+infty
1.40/0.76	  Loading variables...
2.14/0.90	  Loading constraints...
4.02/1.58	  Solver SolverBacktrack being built...
4.02/1.58	
4.53/1.72	  Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
4.53/1.72	
5.13/1.91	o 194054
5.76/2.14	o 180442
6.38/2.36	o 180122
6.97/2.53	o 167806
7.27/2.67	o 167174
7.86/2.81	o 166574
8.14/2.94	o 155178
8.29/3.07	o 154298
8.53/3.20	o 144102
8.69/3.32	o 143190
8.84/3.45	o 142918
8.98/3.58	o 141862
9.19/3.70	o 132714
9.29/3.82	o 129914
9.39/3.94	o 129498
9.49/4.06	o 126434
9.59/4.19	o 125786
9.85/4.31	o 125354
9.98/4.43	o 124938
10.09/4.55	o 124378
10.18/4.67	o 124122
10.29/4.79	o 123370
10.49/4.91	o 113774
10.59/5.03	o 112382
10.94/5.20	o 112046
11.05/5.33	o 109326
11.15/5.45	o 108294
11.27/5.58	o 106750
11.49/5.71	o 105982
11.59/5.83	o 105070
11.71/5.96	o 95594
11.82/6.08	o 94330
12.02/6.26	o 91490
12.12/6.39	o 91194
12.33/6.57	o 89266
12.44/6.70	o 89178
12.74/6.93	o 88962
12.94/7.17	o 88578
13.56/7.80	o 87862
13.76/7.93	o 87454
13.96/8.13	o 85102
14.16/8.31	o 84966
14.36/8.56	o 84018
14.46/8.69	o 82738
14.69/8.88	o 79810
14.89/9.01	o 78610
14.99/9.13	o 76874
15.09/9.26	o 76338
15.19/9.38	o 74930
15.39/9.51	o 73882
15.49/9.64	o 73298
15.59/9.76	o 72410
15.80/9.95	o 71874
16.09/10.26	o 70706
16.40/10.51	o 70522
16.50/10.64	o 70466
16.92/11.01	o 69566
17.02/11.14	o 69350
17.82/11.95	o 69118
17.92/12.08	o 68398
18.13/12.21	o 67630
18.22/12.33	o 67542
18.32/12.46	o 67430
18.52/12.65	o 66622
18.62/12.78	o 66446
18.82/12.90	o 66422
19.33/13.49	o 65550
19.53/13.62	o 65374
19.73/13.85	o 28734
21.54/15.69	o 19954
21.74/15.82	o 19226
21.84/15.96	o 16566
22.04/16.18	o 16438
22.55/16.61	o 2702
146.66/140.67	o 2690
396.05/389.97	o 2598
459.70/453.52	o 2530
476.10/469.92	o 2434
529.75/523.57	o 2274
540.46/534.23	o 2150
559.76/553.55	o 2078
582.74/576.45	o 1690
2520.05/2513.10	
2520.05/2513.10	v <instantiation id='sol82' type='solution' cost='1690'>  <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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 -6 -3 6 5 8 9 0 1 -6 3 -4 -5 8 5 0 1 -2 -5 0 3 -4 -1 -6 7 2 9 6 -7 0 7 16 3 -4 1 -2 1 0 1 4 1 8 3 4 -9 8 7 -2 3 0 -7 -4 9 -4 -1 -6 -1 2 1 -2 1 0 -3 0 -3 -2 -1 0 3 0 -3 0 1 2 -1 -4 3 0 -1 -2 -1 2 1 9 36 9 36 25 64 81 0 1 36 9 16 25 64 25 0 1 4 25 0 9 16 1 36 49 4 81 36 49 0 49 256 9 16 1 4 1 0 1 16 1 64 9 16 81 64 49 4 9 0 49 16 81 16 1 36 1 4 1 4 1 0 9 0 9 4 1 0 9 0 9 0 1 4 1 16 9 0 1 4 1 4 1 </values>  </instantiation>
2520.05/2513.10	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-4263981-1502292442/watcher-4263981-1502292442 -o /tmp/evaluation-result-4263981-1502292442/solver-4263981-1502292442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502258241-21715 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263981-1502292442.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.76 1.72 1.75 2/195 27542
/proc/meminfo: memFree=31460088/32770624 swapFree=0/188124
[pid=27542] ppid=27539 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27542/stat : 27542 (runsolver) D 27539 27542 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 31439843 24240128 106 18446744073709551615 4194304 4338465 140732859463808 140732859461448 140050716816087 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 13537280 140732859469984 140732859470410 140732859470410 140732859473866 0
/proc/27542/statm: 5918 106 53 36 0 2156 0

[startup+0.100123 s]
/proc/loadavg: 1.76 1.72 1.75 2/195 27542
/proc/meminfo: memFree=31460088/32770624 swapFree=0/188124
[pid=27542] ppid=27539 vsize=10151672 CPUtime=0.04 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 3908 0 0 0 3 1 0 0 20 0 9 0 31439843 10395312128 4986 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2537918 4986 2122 1 0 2527415 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10151672

[startup+0.200276 s]
/proc/loadavg: 1.76 1.72 1.75 2/195 27542
/proc/meminfo: memFree=31460088/32770624 swapFree=0/188124
[pid=27542] ppid=27539 vsize=10551180 CPUtime=0.11 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 5040 0 0 0 10 1 0 0 20 0 15 0 31439843 10804408320 7085 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2637795 7085 2770 1 0 2627261 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10551180

[startup+0.303776 s]
/proc/loadavg: 1.76 1.72 1.75 2/195 27542
/proc/meminfo: memFree=31460088/32770624 swapFree=0/188124
[pid=27542] ppid=27539 vsize=10553264 CPUtime=0.32 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 8565 0 0 0 29 3 0 0 20 0 15 0 31439843 10806542336 10385 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2638316 10385 2910 1 0 2627261 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10553264

[startup+0.700282 s]
/proc/loadavg: 1.76 1.72 1.75 2/195 27542
/proc/meminfo: memFree=31460088/32770624 swapFree=0/188124
[pid=27542] ppid=27539 vsize=10621952 CPUtime=1.4 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 13597 0 0 0 134 6 0 0 20 0 16 0 31439843 10876878848 25841 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2655488 25841 3077 1 0 2644414 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10621952

[startup+1.5006 s]
/proc/loadavg: 1.76 1.72 1.75 6/211 27558
/proc/meminfo: memFree=31317256/32770624 swapFree=0/188148
[pid=27542] ppid=27539 vsize=10624000 CPUtime=4.02 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 16422 0 0 0 392 10 0 0 20 0 16 0 31439843 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 51045 3124 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 31439850 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 16 0 31439850 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439850 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 31439850 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27550] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27550/stat : 27550 (java) S 27539 27542 15981 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480442619168 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27551] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27551/stat : 27551 (java) S 27539 27542 15981 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31439852 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480441566832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27552] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27552/stat : 27552 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480440515152 140480948414363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27553] ppid=27539 vsize=10624000 CPUtime=0.94 cores=0,2,4,6
/proc/27542/task/27553/stat : 27553 (java) R 27539 27542 15981 0 -1 4202560 2016 0 0 0 94 0 0 0 20 0 16 0 31439854 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480439462000 140480926222951 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27554] ppid=27539 vsize=10624000 CPUtime=0.97 cores=0,2,4,6
/proc/27542/task/27554/stat : 27554 (java) R 27539 27542 15981 0 -1 4202560 1544 0 0 0 97 0 0 0 20 0 16 0 31439854 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480438400528 140480929939907 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27555] ppid=27539 vsize=10624000 CPUtime=0.65 cores=0,2,4,6
/proc/27542/task/27555/stat : 27555 (java) S 27539 27542 15981 0 -1 1077944384 2502 0 0 0 64 1 0 0 20 0 16 0 31439854 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480437356912 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27556] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27556/stat : 27556 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480436304352 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27557] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27557/stat : 27557 (java) S 27539 27542 15981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 31439859 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480435252144 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27558] ppid=27539 vsize=10624000 CPUtime=1.14 cores=0,2,4,6
/proc/27542/task/27558/stat : 27558 (java) R 27539 27542 15981 0 -1 4202560 3118 0 0 0 111 3 0 0 20 0 16 0 31439876 10878976000 51045 18446744073709551615 4194304 4196468 140724537684080 140480432059952 140480552493888 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 10624000

[startup+3.10073 s]
/proc/loadavg: 1.76 1.72 1.75 5/211 27558
/proc/meminfo: memFree=31239896/32770624 swapFree=0/188148
[pid=27542] ppid=27539 vsize=10624000 CPUtime=8.42 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 26208 0 0 0 829 13 0 0 20 0 16 0 31439843 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 57517 3130 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 31439850 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 16 0 31439850 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439850 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 31439850 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27550] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27550/stat : 27550 (java) S 27539 27542 15981 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480442619168 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27551] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27551/stat : 27551 (java) S 27539 27542 15981 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31439852 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480441566832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27552] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27552/stat : 27552 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480440515152 140480948414363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27553] ppid=27539 vsize=10624000 CPUtime=2.25 cores=0,2,4,6
/proc/27542/task/27553/stat : 27553 (java) S 27539 27542 15981 0 -1 1077944384 3749 0 0 0 225 0 0 0 20 0 16 0 31439854 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480439462000 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27554] ppid=27539 vsize=10624000 CPUtime=2.31 cores=0,2,4,6
/proc/27542/task/27554/stat : 27554 (java) S 27539 27542 15981 0 -1 1077944384 6736 0 0 0 230 1 0 0 20 0 16 0 31439854 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480438409200 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27555] ppid=27539 vsize=10624000 CPUtime=0.81 cores=0,2,4,6
/proc/27542/task/27555/stat : 27555 (java) S 27539 27542 15981 0 -1 1077944384 3355 0 0 0 80 1 0 0 20 0 16 0 31439854 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480437356912 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27556] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27556/stat : 27556 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480436304352 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27557] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27557/stat : 27557 (java) S 27539 27542 15981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 31439859 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480435252144 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27558] ppid=27539 vsize=10624000 CPUtime=2.74 cores=0,2,4,6
/proc/27542/task/27558/stat : 27558 (java) R 27539 27542 15981 0 -1 4202560 5125 0 0 0 269 5 0 0 20 0 16 0 31439876 10878976000 57517 18446744073709551615 4194304 4196468 140724537684080 140480432061456 140480554014787 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 10624000

[startup+6.30061 s]
/proc/loadavg: 1.70 1.71 1.75 3/211 27558
/proc/meminfo: memFree=31164516/32770624 swapFree=0/188156
[pid=27542] ppid=27539 vsize=10624000 CPUtime=12.12 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 33555 0 0 0 1189 23 0 0 20 0 16 0 31439843 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 76940 3147 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 274 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 129 0 0 0 2 2 0 0 20 0 16 0 31439850 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 212 0 0 0 4 2 0 0 20 0 16 0 31439850 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27550] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27550/stat : 27550 (java) S 27539 27542 15981 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480442619232 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27551] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27551/stat : 27551 (java) S 27539 27542 15981 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 31439852 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480441566848 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27552] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27552/stat : 27552 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480440515152 140480948414363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27553] ppid=27539 vsize=10624000 CPUtime=2.4 cores=0,2,4,6
/proc/27542/task/27553/stat : 27553 (java) S 27539 27542 15981 0 -1 1077944384 5189 0 0 0 240 0 0 0 20 0 16 0 31439854 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480439462000 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27554] ppid=27539 vsize=10624000 CPUtime=2.48 cores=0,2,4,6
/proc/27542/task/27554/stat : 27554 (java) S 27539 27542 15981 0 -1 1077944384 8933 0 0 0 246 2 0 0 20 0 16 0 31439854 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480438409200 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27555] ppid=27539 vsize=10624000 CPUtime=0.84 cores=0,2,4,6
/proc/27542/task/27555/stat : 27555 (java) S 27539 27542 15981 0 -1 1077944384 4584 0 0 0 83 1 0 0 20 0 16 0 31439854 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480437356912 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27556] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27556/stat : 27556 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480436304352 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27557] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27557/stat : 27557 (java) S 27539 27542 15981 0 -1 1077944384 664 0 0 0 0 0 0 0 20 0 16 0 31439859 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480435252144 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27558] ppid=27539 vsize=10624000 CPUtime=5.88 cores=0,2,4,6
/proc/27542/task/27558/stat : 27558 (java) R 27539 27542 15981 0 -1 4202560 5837 0 0 0 583 5 0 0 20 0 16 0 31439876 10878976000 76940 18446744073709551615 4194304 4196468 140724537684080 140480432054176 140480554657885 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 10624000

[startup+12.7007 s]
/proc/loadavg: 1.72 1.71 1.75 3/211 27558
/proc/meminfo: memFree=31168816/32770624 swapFree=0/188164
[pid=27542] ppid=27539 vsize=10624000 CPUtime=18.62 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 35984 0 0 0 1838 24 0 0 20 0 16 0 31439843 10878976000 75475 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 75475 3148 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 75475 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 75475 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 274 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 75475 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 129 0 0 0 2 2 0 0 20 0 16 0 31439850 10878976000 75475 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 212 0 0 0 4 2 0 0 20 0 16 0 31439850 10878976000 75475 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 75475 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0

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

/proc/meminfo: memFree=31168320/32770624 swapFree=0/189192
[pid=27542] ppid=27539 vsize=10624000 CPUtime=2449.23 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 70893 0 0 0 244849 74 0 0 20 0 16 0 31439843 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 80750 3154 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 274 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 129 0 0 0 2 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 212 0 0 0 4 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 955 0 0 0 2 2 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27550] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27550/stat : 27550 (java) S 27539 27542 15981 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480442619232 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27551] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27551/stat : 27551 (java) S 27539 27542 15981 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 31439852 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480441566848 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27552] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27552/stat : 27552 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480440515152 140480948414363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27553] ppid=27539 vsize=10624000 CPUtime=2.52 cores=0,2,4,6
/proc/27542/task/27553/stat : 27553 (java) S 27539 27542 15981 0 -1 1077944384 8057 0 0 0 251 1 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480439462000 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27554] ppid=27539 vsize=10624000 CPUtime=2.59 cores=0,2,4,6
/proc/27542/task/27554/stat : 27554 (java) S 27539 27542 15981 0 -1 1077944384 12755 0 0 0 257 2 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480438409200 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27555] ppid=27539 vsize=10624000 CPUtime=1 cores=0,2,4,6
/proc/27542/task/27555/stat : 27555 (java) S 27539 27542 15981 0 -1 1077944384 13389 0 0 0 97 3 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480437356912 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27556] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27556/stat : 27556 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480436304352 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27557] ppid=27539 vsize=10624000 CPUtime=0.91 cores=0,2,4,6
/proc/27542/task/27557/stat : 27557 (java) S 27539 27542 15981 0 -1 1077944384 1843 0 0 0 39 52 0 0 20 0 16 0 31439859 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480435252144 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27558] ppid=27539 vsize=10624000 CPUtime=2441.64 cores=0,2,4,6
/proc/27542/task/27558/stat : 27558 (java) R 27539 27542 15981 0 -1 4202560 25991 0 0 0 244158 6 0 0 20 0 16 0 31439876 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480432059528 140480554471858 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
Current children cumulated CPU time (s) 2449.23
Current children cumulated vsize (KiB) 10624000

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/211 27782
/proc/meminfo: memFree=31168516/32770624 swapFree=0/189244
[pid=27542] ppid=27539 vsize=10624000 CPUtime=2509.24 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 70975 0 0 0 250849 75 0 0 20 0 16 0 31439843 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 80750 3154 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 274 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 129 0 0 0 2 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 212 0 0 0 4 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 955 0 0 0 2 2 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27550] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27550/stat : 27550 (java) S 27539 27542 15981 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480442619232 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27551] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27551/stat : 27551 (java) S 27539 27542 15981 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 31439852 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480441566848 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27552] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27552/stat : 27552 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480440515152 140480948414363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27553] ppid=27539 vsize=10624000 CPUtime=2.52 cores=0,2,4,6
/proc/27542/task/27553/stat : 27553 (java) S 27539 27542 15981 0 -1 1077944384 8057 0 0 0 251 1 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480439462000 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27554] ppid=27539 vsize=10624000 CPUtime=2.59 cores=0,2,4,6
/proc/27542/task/27554/stat : 27554 (java) S 27539 27542 15981 0 -1 1077944384 12755 0 0 0 257 2 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480438409200 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27555] ppid=27539 vsize=10624000 CPUtime=1 cores=0,2,4,6
/proc/27542/task/27555/stat : 27555 (java) S 27539 27542 15981 0 -1 1077944384 13389 0 0 0 97 3 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480437356912 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27556] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27556/stat : 27556 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480436304352 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27557] ppid=27539 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/27542/task/27557/stat : 27557 (java) S 27539 27542 15981 0 -1 1077944384 1847 0 0 0 40 53 0 0 20 0 16 0 31439859 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480435252144 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27558] ppid=27539 vsize=10624000 CPUtime=2501.64 cores=0,2,4,6
/proc/27542/task/27558/stat : 27558 (java) R 27539 27542 15981 0 -1 4202560 26069 0 0 0 250158 6 0 0 20 0 16 0 31439876 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480432059528 140480554657880 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
Current children cumulated CPU time (s) 2509.24
Current children cumulated vsize (KiB) 10624000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.1 s]
/proc/loadavg: 1.99 1.97 1.95 3/211 27782
/proc/meminfo: memFree=31168780/32770624 swapFree=0/189240
[pid=27542] ppid=27539 vsize=10624000 CPUtime=2520.05 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 70977 0 0 0 251929 76 0 0 20 0 16 0 31439843 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 80750 3154 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 274 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 129 0 0 0 2 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 212 0 0 0 4 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 955 0 0 0 2 2 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27550] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27550/stat : 27550 (java) S 27539 27542 15981 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480442619232 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27551] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27551/stat : 27551 (java) S 27539 27542 15981 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 31439852 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480441566848 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27552] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27552/stat : 27552 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480440515152 140480948414363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27553] ppid=27539 vsize=10624000 CPUtime=2.52 cores=0,2,4,6
/proc/27542/task/27553/stat : 27553 (java) S 27539 27542 15981 0 -1 1077944384 8057 0 0 0 251 1 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480439462000 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27554] ppid=27539 vsize=10624000 CPUtime=2.59 cores=0,2,4,6
/proc/27542/task/27554/stat : 27554 (java) S 27539 27542 15981 0 -1 1077944384 12755 0 0 0 257 2 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480438409200 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27555] ppid=27539 vsize=10624000 CPUtime=1 cores=0,2,4,6
/proc/27542/task/27555/stat : 27555 (java) S 27539 27542 15981 0 -1 1077944384 13389 0 0 0 97 3 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480437356912 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27556] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27556/stat : 27556 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480436304352 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27557] ppid=27539 vsize=10624000 CPUtime=0.94 cores=0,2,4,6
/proc/27542/task/27557/stat : 27557 (java) S 27539 27542 15981 0 -1 1077944384 1849 0 0 0 41 53 0 0 20 0 16 0 31439859 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480435252144 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27558] ppid=27539 vsize=10624000 CPUtime=2512.44 cores=0,2,4,6
/proc/27542/task/27558/stat : 27558 (java) R 27539 27542 15981 0 -1 4202560 26069 0 0 0 251238 6 0 0 20 0 16 0 31439876 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480432059528 140480554657880 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
Current children cumulated CPU time (s) 2520.05
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 27542 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2513.1 s]
/proc/loadavg: 1.99 1.97 1.95 3/211 27782
/proc/meminfo: memFree=31168780/32770624 swapFree=0/189240
[pid=27542] ppid=27539 vsize=10624000 CPUtime=2520.05 cores=0,2,4,6
/proc/27542/stat : 27542 (java) S 27539 27542 15981 0 -1 1077944320 70977 0 0 0 251929 76 0 0 20 0 16 0 31439843 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140724537666624 140480948395767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
/proc/27542/statm: 2656000 80750 3154 1 0 2644926 0
[pid=27542/tid=27544] ppid=27539 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27542/task/27544/stat : 27544 (java) S 27539 27542 15981 0 -1 1077944384 5734 0 0 0 19 2 0 0 20 0 16 0 31439849 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480952638640 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27545] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27545/stat : 27545 (java) S 27539 27542 15981 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480878815632 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27546] ppid=27539 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/27542/task/27546/stat : 27546 (java) S 27539 27542 15981 0 -1 1077944384 274 0 0 0 3 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480877762832 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27547] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27547/stat : 27547 (java) S 27539 27542 15981 0 -1 1077944384 129 0 0 0 2 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480876710544 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27548] ppid=27539 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/27542/task/27548/stat : 27548 (java) S 27539 27542 15981 0 -1 1077944384 212 0 0 0 4 2 0 0 20 0 16 0 31439850 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480875657744 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27549] ppid=27539 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/27542/task/27549/stat : 27549 (java) S 27539 27542 15981 0 -1 1077944384 955 0 0 0 2 2 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480443673200 140480948406914 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27550] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27550/stat : 27550 (java) S 27539 27542 15981 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 31439851 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480442619232 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27551] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27551/stat : 27551 (java) S 27539 27542 15981 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 31439852 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480441566848 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27552] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27552/stat : 27552 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480440515152 140480948414363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27553] ppid=27539 vsize=10624000 CPUtime=2.52 cores=0,2,4,6
/proc/27542/task/27553/stat : 27553 (java) S 27539 27542 15981 0 -1 1077944384 8057 0 0 0 251 1 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480439462000 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27554] ppid=27539 vsize=10624000 CPUtime=2.59 cores=0,2,4,6
/proc/27542/task/27554/stat : 27554 (java) S 27539 27542 15981 0 -1 1077944384 12755 0 0 0 257 2 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480438409200 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27555] ppid=27539 vsize=10624000 CPUtime=1 cores=0,2,4,6
/proc/27542/task/27555/stat : 27555 (java) S 27539 27542 15981 0 -1 1077944384 13389 0 0 0 97 3 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480437356912 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27556] ppid=27539 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27542/task/27556/stat : 27556 (java) S 27539 27542 15981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31439854 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480436304352 140480948405973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27557] ppid=27539 vsize=10624000 CPUtime=0.94 cores=0,2,4,6
/proc/27542/task/27557/stat : 27557 (java) S 27539 27542 15981 0 -1 1077944384 1849 0 0 0 41 53 0 0 20 0 16 0 31439859 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480435252144 140480948406914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
[pid=27542/tid=27558] ppid=27539 vsize=10624000 CPUtime=2512.44 cores=0,2,4,6
/proc/27542/task/27558/stat : 27558 (java) R 27539 27542 15981 0 -1 4202560 26069 0 0 0 251238 6 0 0 20 0 16 0 31439876 10878976000 80750 18446744073709551615 4194304 4196468 140724537684080 140480432059528 140480554657880 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140724537688526 140724537688655 140724537688655 140724537692111 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 10624000

Child status: 143
Real time (s): 2513.11
CPU time (s): 2520.07
CPU user time (s): 2519.31
CPU system time (s): 0.763004
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 10626176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.31
system time used= 0.763004
maximum resident set size= 323700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57587
involuntary context switches= 3170

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8575 second user time and 14.6436 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	782
Best CPU time to get the best result obtained on this benchmark	2520.1499
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 4263981

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