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)	2820	245.632	240.015

0.29/0.74	
0.29/0.74	AbsCon 2 
0.29/0.74	
1.39/1.16	  Solving XCSP3-instance-4257571-1501653464 as a COP in -infty..+infty
1.39/1.16	  Loading variables...
2.11/1.30	  Loading constraints...
4.02/1.94	  Solver SolverBacktrack being built...
4.02/1.94	
4.31/2.08	  Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
4.31/2.08	
4.84/2.26	o 173880
5.46/2.47	o 161240
6.07/2.66	o 160932
6.67/2.82	o 149540
6.97/2.95	o 148932
7.26/3.07	o 148356
7.50/3.19	o 137848
7.93/3.31	o 137004
8.09/3.42	o 127648
8.22/3.52	o 126212
8.33/3.63	o 126072
8.43/3.74	o 124676
8.53/3.85	o 116328
8.67/3.96	o 114604
8.82/4.07	o 107248
8.92/4.18	o 102768
9.02/4.28	o 100000
9.12/4.39	o 99564
9.28/4.50	o 99248
9.48/4.60	o 98640
9.58/4.71	o 98512
9.68/4.81	o 96060
9.78/4.96	o 95292
9.88/5.07	o 94620
9.99/5.18	o 94092
10.19/5.33	o 92560
10.29/5.44	o 91436
10.40/5.55	o 84240
10.51/5.65	o 82772
10.72/5.80	o 80352
10.84/5.91	o 79892
10.94/6.07	o 77880
11.07/6.17	o 77604
11.28/6.32	o 76952
11.48/6.58	o 76628
11.80/6.89	o 72868
12.01/7.06	o 70968
12.86/7.79	o 67372
13.16/8.00	o 66896
13.26/8.13	o 64752
13.36/8.26	o 64336
13.46/8.39	o 64060
13.66/8.52	o 63372
13.76/8.65	o 62876
13.86/8.78	o 62656
14.08/8.98	o 62332
14.27/9.11	o 61964
14.47/9.30	o 61852
14.57/9.50	o 61088
14.77/9.69	o 60740
14.97/9.88	o 60660
15.18/10.02	o 59140
15.37/10.21	o 58960
16.29/11.14	o 57124
17.08/11.92	o 56288
17.29/12.20	o 54972
17.48/12.33	o 54684
18.19/13.07	o 52192
18.29/13.20	o 50816
18.50/13.33	o 44540
18.60/13.46	o 30820
18.70/13.59	o 27420
18.90/13.71	o 27068
19.00/13.84	o 24092
19.10/13.97	o 23584
19.32/14.10	o 20944
19.43/14.23	o 20736
19.53/14.36	o 20592
19.63/14.49	o 19952
20.03/14.88	o 12808
20.23/15.01	o 11620
20.33/15.13	o 9480
20.43/15.27	o 8932
20.64/15.40	o 8620
25.45/20.24	o 8532
26.75/21.52	o 7448
28.36/23.14	o 4184
28.46/23.27	o 3912
29.26/24.05	o 3748
29.36/24.20	o 3668
43.50/38.26	o 3476
43.69/38.42	o 3268
44.30/39.09	o 3236
44.50/39.23	o 3192
65.77/60.46	o 3036
70.07/64.77	o 3024
70.28/64.93	o 3008
72.07/66.77	o 2820
245.60/240.00	
245.60/240.00	v <instantiation id='sol88' type='solution' cost='2820'>  <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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -2 1 -12 -7 6 -3 12 1 -6 7 -2 13 10 7 -4 -31 0 -1 10 5 0 -1 -8 1 2 -1 -2 -1 2 -3 2 3 0 3 -2 -7 0 5 4 1 4 1 4 1 0 -5 -6 9 -2 3 -8 7 2 -9 -2 -1 0 1 -10 1 -4 3 2 -11 0 -3 2 -5 0 3 -2 -1 -4 1 0 -1 0 1 0 -1 4 1 144 49 36 9 144 1 36 49 4 169 100 49 16 961 0 1 100 25 0 1 64 1 4 1 4 1 4 9 4 9 0 9 4 49 0 25 16 1 16 1 16 1 0 25 36 81 4 9 64 49 4 81 4 1 0 1 100 1 16 9 4 121 0 9 4 25 0 9 4 1 16 1 0 1 0 1 0 1 </values>  </instantiation>
245.60/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-4257571-1501653464/watcher-4257571-1501653464 -o /tmp/evaluation-result-4257571-1501653464/solver-4257571-1501653464 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27504 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257571-1501653464.xml 

pid=7064
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: 2.10 2.04 2.05 3/196 7067
/proc/meminfo: memFree=31710896/32770624 swapFree=0/228980
[pid=7067] ppid=7064 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7067/stat : 7067 (runsolver) D 7064 7067 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13966713 24240128 106 18446744073709551615 4194304 4338465 140733531454496 140733531452136 140534612824791 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 39329792 140733531455647 140733531456070 140733531456070 140733531459530 0
/proc/7067/statm: 5918 106 53 36 0 2156 0

[startup+0.100117 s]
/proc/loadavg: 2.10 2.04 2.05 3/196 7067
/proc/meminfo: memFree=31710896/32770624 swapFree=0/228980
[pid=7067] ppid=7064 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 1731 0 0 0 0 0 0 0 20 0 2 0 13966713 365518848 1379 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 89238 1379 1042 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952

[startup+0.200334 s]
/proc/loadavg: 2.10 2.04 2.05 3/196 7067
/proc/meminfo: memFree=31710896/32770624 swapFree=0/228980
[pid=7067] ppid=7064 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 4735 0 0 0 4 1 0 0 20 0 14 0 13966713 10736119808 5786 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2621123 5786 2574 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492

[startup+0.300353 s]
/proc/loadavg: 2.10 2.04 2.05 3/196 7067
/proc/meminfo: memFree=31710896/32770624 swapFree=0/228980
[pid=7067] ppid=7064 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 4742 0 0 0 4 1 0 0 20 0 14 0 13966713 10736119808 5786 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2621123 5786 2574 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492

[startup+0.700235 s]
/proc/loadavg: 2.10 2.04 2.05 3/196 7067
/proc/meminfo: memFree=31710896/32770624 swapFree=0/228980
[pid=7067] ppid=7064 vsize=10553264 CPUtime=0.29 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 8890 0 0 0 25 4 0 0 20 0 15 0 13966713 10806542336 9802 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2638316 9802 2930 1 0 2627269 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10553264

[startup+1.50542 s]
/proc/loadavg: 2.10 2.04 2.05 5/212 7083
/proc/meminfo: memFree=31623488/32770624 swapFree=0/228980
[pid=7067] ppid=7064 vsize=10621952 CPUtime=2.79 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 16524 0 0 0 272 7 0 0 20 0 16 0 13966713 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2655488 37481 3094 1 0 2644422 0
[pid=7067/tid=7069] ppid=7064 vsize=10621952 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13966724 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13966724 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13966724 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13966724 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 13966725 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7075] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7075/stat : 7075 (java) S 7064 7067 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13966726 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313156895648 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7076] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7076/stat : 7076 (java) S 7064 7067 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13966726 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313155843056 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7077] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7077/stat : 7077 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313154791632 140313661822875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7078] ppid=7064 vsize=10621952 CPUtime=0.6 cores=0,2,4,6
/proc/7067/task/7078/stat : 7078 (java) R 7064 7067 5131 0 -1 4202560 1823 0 0 0 60 0 0 0 20 0 16 0 13966728 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313153727808 140313643326503 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7079] ppid=7064 vsize=10621952 CPUtime=0.61 cores=0,2,4,6
/proc/7067/task/7079/stat : 7079 (java) S 7064 7067 5131 0 -1 1077944384 1855 0 0 0 61 0 0 0 20 0 16 0 13966728 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313152677680 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7080] ppid=7064 vsize=10621952 CPUtime=0.57 cores=0,2,4,6
/proc/7067/task/7080/stat : 7080 (java) R 7064 7067 5131 0 -1 4202560 2251 0 0 0 57 0 0 0 20 0 16 0 13966728 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313151628432 140313641520155 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7081] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7081/stat : 7081 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313150581856 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7082] ppid=7064 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7082/stat : 7082 (java) S 7064 7067 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13966764 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313149528368 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7083] ppid=7064 vsize=10621952 CPUtime=0.76 cores=0,2,4,6
/proc/7067/task/7083/stat : 7083 (java) S 7064 7067 5131 0 -1 1077944384 3011 0 0 0 74 2 0 0 20 0 16 0 13966787 10876878848 37481 18446744073709551615 4194304 4196468 140727050894096 140313146332624 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10621952

[startup+3.10061 s]
/proc/loadavg: 2.10 2.04 2.05 5/212 7083
/proc/meminfo: memFree=31516792/32770624 swapFree=0/228992
[pid=7067] ppid=7064 vsize=10624000 CPUtime=7.5 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 26241 0 0 0 738 12 0 0 20 0 16 0 13966713 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2656000 58152 3121 1 0 2644934 0
[pid=7067/tid=7069] ppid=7064 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13966725 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7075] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7075/stat : 7075 (java) S 7064 7067 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313156895648 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7076] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7076/stat : 7076 (java) S 7064 7067 5131 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313155843056 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7077] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7077/stat : 7077 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313154791632 140313661822875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7078] ppid=7064 vsize=10624000 CPUtime=1.95 cores=0,2,4,6
/proc/7067/task/7078/stat : 7078 (java) R 7064 7067 5131 0 -1 4202560 4076 0 0 0 194 1 0 0 20 0 16 0 13966728 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313153739248 140313646194413 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7079] ppid=7064 vsize=10624000 CPUtime=2.09 cores=0,2,4,6
/proc/7067/task/7079/stat : 7079 (java) R 7064 7067 5131 0 -1 4202560 6346 0 0 0 208 1 0 0 20 0 16 0 13966728 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313152675936 140313646726216 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7080] ppid=7064 vsize=10624000 CPUtime=0.81 cores=0,2,4,6
/proc/7067/task/7080/stat : 7080 (java) S 7064 7067 5131 0 -1 1077944384 2948 0 0 0 80 1 0 0 20 0 16 0 13966728 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313151634160 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7081] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7081/stat : 7081 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313150581856 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7082] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7082/stat : 7082 (java) S 7064 7067 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13966764 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313149528368 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7083] ppid=7064 vsize=10624000 CPUtime=2.32 cores=0,2,4,6
/proc/7067/task/7083/stat : 7083 (java) R 7064 7067 5131 0 -1 4202560 5141 0 0 0 229 3 0 0 20 0 16 0 13966787 10878976000 58152 18446744073709551615 4194304 4196468 140727050894096 140313146336432 140313310951943 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 10624000

[startup+6.30072 s]
/proc/loadavg: 2.10 2.04 2.05 3/212 7083
/proc/meminfo: memFree=31488892/32770624 swapFree=0/228992
[pid=7067] ppid=7064 vsize=10624000 CPUtime=11.28 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 31803 0 0 0 1115 13 0 0 20 0 16 0 13966713 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2656000 58429 3129 1 0 2644934 0
[pid=7067/tid=7069] ppid=7064 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 13966724 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 16 0 13966725 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7075] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7075/stat : 7075 (java) S 7064 7067 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313156895648 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7076] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7076/stat : 7076 (java) S 7064 7067 5131 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313155843056 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7077] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7077/stat : 7077 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313154791632 140313661822875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7078] ppid=7064 vsize=10624000 CPUtime=2.21 cores=0,2,4,6
/proc/7067/task/7078/stat : 7078 (java) S 7064 7067 5131 0 -1 1077944384 5240 0 0 0 220 1 0 0 20 0 16 0 13966728 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313153739248 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7079] ppid=7064 vsize=10624000 CPUtime=2.36 cores=0,2,4,6
/proc/7067/task/7079/stat : 7079 (java) S 7064 7067 5131 0 -1 1077944384 8293 0 0 0 234 2 0 0 20 0 16 0 13966728 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313152686704 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7080] ppid=7064 vsize=10624000 CPUtime=0.85 cores=0,2,4,6
/proc/7067/task/7080/stat : 7080 (java) S 7064 7067 5131 0 -1 1077944384 3263 0 0 0 84 1 0 0 20 0 16 0 13966728 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313151634160 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7081] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7081/stat : 7081 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313150581856 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7082] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7082/stat : 7082 (java) S 7064 7067 5131 0 -1 1077944384 748 0 0 0 0 0 0 0 20 0 16 0 13966764 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313149528368 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7083] ppid=7064 vsize=10624000 CPUtime=5.52 cores=0,2,4,6
/proc/7067/task/7083/stat : 7083 (java) R 7064 7067 5131 0 -1 4202560 6304 0 0 0 548 4 0 0 20 0 16 0 13966787 10878976000 58429 18446744073709551615 4194304 4196468 140727050894096 140313146325600 140313311758789 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
Current children cumulated CPU time (s) 11.28
Current children cumulated vsize (KiB) 10624000

[startup+12.7007 s]
/proc/loadavg: 2.08 2.04 2.05 3/212 7083
/proc/meminfo: memFree=31421352/32770624 swapFree=0/229004
[pid=7067] ppid=7064 vsize=10624000 CPUtime=17.89 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 35267 0 0 0 1768 21 0 0 20 0 16 0 13966713 10878976000 75160 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2656000 75160 3138 1 0 2644934 0
[pid=7067/tid=7069] ppid=7064 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10878976000 75160 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 152 0 0 0 4 2 0 0 20 0 16 0 13966724 10878976000 75160 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 594 0 0 0 4 1 0 0 20 0 16 0 13966724 10878976000 75160 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 156 0 0 0 3 2 0 0 20 0 16 0 13966724 10878976000 75160 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 16 0 13966724 10878976000 75160 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 16 0 13966725 10878976000 75160 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0

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

/proc/meminfo: memFree=31286264/32770624 swapFree=0/229064
[pid=7067] ppid=7064 vsize=10624000 CPUtime=107.72 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 49393 0 0 0 10744 28 0 0 20 0 16 0 13966713 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2656000 108570 3139 1 0 2644934 0
[pid=7067/tid=7069] ppid=7064 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 1339 0 0 0 5 2 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10624000 CPUtime=0.08 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 1039 0 0 0 6 2 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 1326 0 0 0 5 2 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10624000 CPUtime=0.08 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 833 0 0 0 6 2 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 16 0 13966725 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7075] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7075/stat : 7075 (java) S 7064 7067 5131 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313156895712 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7076] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7076/stat : 7076 (java) S 7064 7067 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313155843072 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7077] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7077/stat : 7077 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313154791632 140313661822875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7078] ppid=7064 vsize=10624000 CPUtime=2.28 cores=0,2,4,6
/proc/7067/task/7078/stat : 7078 (java) S 7064 7067 5131 0 -1 1077944384 6438 0 0 0 227 1 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313153739248 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7079] ppid=7064 vsize=10624000 CPUtime=2.42 cores=0,2,4,6
/proc/7067/task/7079/stat : 7079 (java) S 7064 7067 5131 0 -1 1077944384 9582 0 0 0 240 2 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313152686704 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7080] ppid=7064 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/7067/task/7080/stat : 7080 (java) S 7064 7067 5131 0 -1 1077944384 7595 0 0 0 92 1 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313151634160 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7081] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7081/stat : 7081 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313150581856 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7082] ppid=7064 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/7067/task/7082/stat : 7082 (java) S 7064 7067 5131 0 -1 1077944384 1014 0 0 0 1 2 0 0 20 0 16 0 13966764 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313149528368 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7083] ppid=7064 vsize=10624000 CPUtime=101.42 cores=0,2,4,6
/proc/7067/task/7083/stat : 7083 (java) R 7064 7067 5131 0 -1 4202560 11698 0 0 0 10136 6 0 0 20 0 16 0 13966787 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313146336056 140313311742163 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
Current children cumulated CPU time (s) 107.72
Current children cumulated vsize (KiB) 10624000

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/211 7088
/proc/meminfo: memFree=31270160/32770624 swapFree=0/229104
[pid=7067] ppid=7064 vsize=10624000 CPUtime=167.77 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 52526 0 0 0 16748 29 0 0 20 0 16 0 13966713 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2656000 108570 3139 1 0 2644934 0
[pid=7067/tid=7069] ppid=7064 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10624000 CPUtime=0.09 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 1469 0 0 0 6 3 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10624000 CPUtime=0.09 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 1485 0 0 0 7 2 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10624000 CPUtime=0.08 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 2444 0 0 0 6 2 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10624000 CPUtime=0.09 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 922 0 0 0 7 2 0 0 20 0 16 0 13966724 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 1210 0 0 0 1 0 0 0 20 0 16 0 13966725 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7075] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7075/stat : 7075 (java) S 7064 7067 5131 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313156895712 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7076] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7076/stat : 7076 (java) S 7064 7067 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313155843072 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7077] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7077/stat : 7077 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313154791632 140313661822875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7078] ppid=7064 vsize=10624000 CPUtime=2.28 cores=0,2,4,6
/proc/7067/task/7078/stat : 7078 (java) S 7064 7067 5131 0 -1 1077944384 6441 0 0 0 227 1 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313153739248 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7079] ppid=7064 vsize=10624000 CPUtime=2.43 cores=0,2,4,6
/proc/7067/task/7079/stat : 7079 (java) S 7064 7067 5131 0 -1 1077944384 9590 0 0 0 241 2 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313152686704 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7080] ppid=7064 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/7067/task/7080/stat : 7080 (java) S 7064 7067 5131 0 -1 1077944384 7673 0 0 0 92 1 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313151634160 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7081] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7081/stat : 7081 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313150581856 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7082] ppid=7064 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/7067/task/7082/stat : 7082 (java) S 7064 7067 5131 0 -1 1077944384 1047 0 0 0 3 3 0 0 20 0 16 0 13966764 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313149528368 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7083] ppid=7064 vsize=10624000 CPUtime=161.39 cores=0,2,4,6
/proc/7067/task/7083/stat : 7083 (java) R 7064 7067 5131 0 -1 4202560 12641 0 0 0 16133 6 0 0 20 0 16 0 13966787 10878976000 108570 18446744073709551615 4194304 4196468 140727050894096 140313146336280 140313312512005 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
Current children cumulated CPU time (s) 167.77
Current children cumulated vsize (KiB) 10624000

[startup+222.307 s]
/proc/loadavg: 1.96 2.00 2.03 3/211 7169
/proc/meminfo: memFree=31165440/32770624 swapFree=0/229160
[pid=7067] ppid=7064 vsize=10624000 CPUtime=227.9 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 55831 0 0 0 22754 36 0 0 20 0 16 0 13966713 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2656000 119354 3139 1 0 2644934 0
[pid=7067/tid=7069] ppid=7064 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10624000 CPUtime=0.12 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 1551 0 0 0 8 4 0 0 20 0 16 0 13966724 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10624000 CPUtime=0.12 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 1605 0 0 0 9 3 0 0 20 0 16 0 13966724 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10624000 CPUtime=0.12 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 2487 0 0 0 8 4 0 0 20 0 16 0 13966724 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10624000 CPUtime=0.12 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 2352 0 0 0 8 4 0 0 20 0 16 0 13966724 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 1439 0 0 0 2 0 0 0 20 0 16 0 13966725 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7075] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7075/stat : 7075 (java) S 7064 7067 5131 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313156895712 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7076] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7076/stat : 7076 (java) S 7064 7067 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313155843072 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7077] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7077/stat : 7077 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313154791632 140313661822875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7078] ppid=7064 vsize=10624000 CPUtime=2.28 cores=0,2,4,6
/proc/7067/task/7078/stat : 7078 (java) S 7064 7067 5131 0 -1 1077944384 6444 0 0 0 227 1 0 0 20 0 16 0 13966728 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313153739248 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7079] ppid=7064 vsize=10624000 CPUtime=2.43 cores=0,2,4,6
/proc/7067/task/7079/stat : 7079 (java) S 7064 7067 5131 0 -1 1077944384 10117 0 0 0 241 2 0 0 20 0 16 0 13966728 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313152686704 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7080] ppid=7064 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/7067/task/7080/stat : 7080 (java) S 7064 7067 5131 0 -1 1077944384 7676 0 0 0 92 1 0 0 20 0 16 0 13966728 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313151634160 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7081] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7081/stat : 7081 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313150581856 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7082] ppid=7064 vsize=10624000 CPUtime=0.08 cores=0,2,4,6
/proc/7067/task/7082/stat : 7082 (java) S 7064 7067 5131 0 -1 1077944384 1089 0 0 0 4 4 0 0 20 0 16 0 13966764 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313149528368 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7083] ppid=7064 vsize=10624000 CPUtime=221.35 cores=0,2,4,6
/proc/7067/task/7083/stat : 7083 (java) R 7064 7067 5131 0 -1 4202560 13467 0 0 0 22129 6 0 0 20 0 16 0 13966787 10878976000 119354 18446744073709551615 4194304 4196468 140727050894096 140313146338464 140313311758086 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
Current children cumulated CPU time (s) 227.9
Current children cumulated vsize (KiB) 10624000



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.97 2.00 2.03 3/211 7169
/proc/meminfo: memFree=31142108/32770624 swapFree=0/229176
[pid=7067] ppid=7064 vsize=10624000 CPUtime=245.6 cores=0,2,4,6
/proc/7067/stat : 7067 (java) S 7064 7067 5131 0 -1 1077944320 55849 0 0 0 24524 36 0 0 20 0 16 0 13966713 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140727050876640 140313661804279 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
/proc/7067/statm: 2656000 119351 3139 1 0 2644934 0
[pid=7067/tid=7069] ppid=7064 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/7067/task/7069/stat : 7069 (java) S 7064 7067 5131 0 -1 1077944384 6213 0 0 0 19 3 0 0 20 0 16 0 13966723 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313666047152 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7070] ppid=7064 vsize=10624000 CPUtime=0.13 cores=0,2,4,6
/proc/7067/task/7070/stat : 7070 (java) S 7064 7067 5131 0 -1 1077944384 1551 0 0 0 9 4 0 0 20 0 16 0 13966724 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313272859408 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7071] ppid=7064 vsize=10624000 CPUtime=0.12 cores=0,2,4,6
/proc/7067/task/7071/stat : 7071 (java) S 7064 7067 5131 0 -1 1077944384 1606 0 0 0 9 3 0 0 20 0 16 0 13966724 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313271806864 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7072] ppid=7064 vsize=10624000 CPUtime=0.12 cores=0,2,4,6
/proc/7067/task/7072/stat : 7072 (java) S 7064 7067 5131 0 -1 1077944384 2490 0 0 0 8 4 0 0 20 0 16 0 13966724 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313270754320 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7073] ppid=7064 vsize=10624000 CPUtime=0.13 cores=0,2,4,6
/proc/7067/task/7073/stat : 7073 (java) S 7064 7067 5131 0 -1 1077944384 2353 0 0 0 9 4 0 0 20 0 16 0 13966724 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313269701776 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7074] ppid=7064 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/7067/task/7074/stat : 7074 (java) S 7064 7067 5131 0 -1 1077944384 1441 0 0 0 2 0 0 0 20 0 16 0 13966725 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313157949424 140313661815426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7075] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7075/stat : 7075 (java) S 7064 7067 5131 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313156895712 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7076] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7076/stat : 7076 (java) S 7064 7067 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 13966726 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313155843072 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7077] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7077/stat : 7077 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313154791632 140313661822875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7078] ppid=7064 vsize=10624000 CPUtime=2.28 cores=0,2,4,6
/proc/7067/task/7078/stat : 7078 (java) S 7064 7067 5131 0 -1 1077944384 6444 0 0 0 227 1 0 0 20 0 16 0 13966728 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313153739248 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7079] ppid=7064 vsize=10624000 CPUtime=2.43 cores=0,2,4,6
/proc/7067/task/7079/stat : 7079 (java) S 7064 7067 5131 0 -1 1077944384 10117 0 0 0 241 2 0 0 20 0 16 0 13966728 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313152686704 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7080] ppid=7064 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/7067/task/7080/stat : 7080 (java) S 7064 7067 5131 0 -1 1077944384 7676 0 0 0 92 1 0 0 20 0 16 0 13966728 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313151634160 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7081] ppid=7064 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/7067/task/7081/stat : 7081 (java) S 7064 7067 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13966728 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313150581856 140313661814485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7082] ppid=7064 vsize=10624000 CPUtime=0.09 cores=0,2,4,6
/proc/7067/task/7082/stat : 7082 (java) S 7064 7067 5131 0 -1 1077944384 1089 0 0 0 4 5 0 0 20 0 16 0 13966764 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313149528368 140313661815426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
[pid=7067/tid=7083] ppid=7064 vsize=10624000 CPUtime=239.04 cores=0,2,4,6
/proc/7067/task/7083/stat : 7083 (java) R 7064 7067 5131 0 -1 4202560 13478 0 0 0 23898 6 0 0 20 0 16 0 13966787 10878976000 119351 18446744073709551615 4194304 4196468 140727050894096 140313146338464 140313311595971 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140727050899914 140727050900043 140727050900043 140727050903503 0
Current children cumulated CPU time (s) 245.6
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 7067 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.015
CPU time (s): 245.632
CPU user time (s): 245.256
CPU system time (s): 0.376109
CPU usage (%): 102.34
Max. virtual memory (cumulated for all children) (KiB): 10625844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.256
system time used= 0.376109
maximum resident set size= 477952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56395
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= 8156
involuntary context switches= 504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15188 second user time and 1.34156 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml
MD5SUM	30f67468f9f3ef5a617cbd1472c869c8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	1032
Best CPU time to get the best result obtained on this benchmark	251.895
Satisfiable
(Un)Satisfiability was proved
Number of variables	6641
Number of constraints	3400
Number of domains	161
Minimum domain size	2
Maximum domain size	161
Distribution of domain sizes	[{"size":2,"count":3322},{"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":113,"count":1}, {"size":115,"count":1}, {"size":117,"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}]
Minimum variable degree	0
Maximum variable degree	80
Distribution of variable degrees	[{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}]
Minimum constraint arity	2
Maximum constraint arity	81
Distribution of constraint arities	[{"arity":2,"count":81},{"arity":3,"count":3241},{"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":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"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}]
Number of extensional constraints	0
Number of intensional constraints	3320
Distribution of constraint types	[{"type":"intension","count":3320},{"type":"sum","count":80}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4257571

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