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)	2020	2520.0901	2513.71

0.26/0.35	
0.26/0.35	AbsCon 2 
0.26/0.35	
1.34/0.78	  Solving XCSP3-instance-4263980-1502293279 as a COP in -infty..+infty
1.34/0.78	  Loading variables...
2.09/0.92	  Loading constraints...
3.97/1.59	  Solver SolverBacktrack being built...
3.97/1.59	
4.46/1.72	  Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
4.46/1.72	
5.06/1.90	o 173880
5.67/2.10	o 161240
6.00/2.29	o 160932
6.58/2.45	o 149540
6.85/2.57	o 148932
7.08/2.69	o 148356
7.39/2.84	o 137848
7.58/2.95	o 137004
7.72/3.06	o 127648
7.86/3.16	o 126212
7.97/3.27	o 126072
8.07/3.38	o 124676
8.18/3.48	o 116328
8.32/3.60	o 114604
8.56/3.70	o 107248
8.67/3.81	o 102768
8.77/3.91	o 100000
8.89/4.02	o 99564
9.02/4.13	o 99248
9.12/4.23	o 98640
9.23/4.34	o 98512
9.33/4.44	o 96060
9.44/4.59	o 95292
9.54/4.69	o 94620
9.74/4.80	o 94092
9.85/4.95	o 92560
9.95/5.06	o 91436
10.05/5.17	o 84240
10.16/5.27	o 82772
10.38/5.42	o 80352
10.50/5.53	o 79892
10.61/5.68	o 77880
10.73/5.79	o 77604
10.94/5.94	o 76952
11.15/6.19	o 76628
11.45/6.49	o 72868
11.66/6.66	o 70968
12.26/7.22	o 67372
12.36/7.39	o 66896
12.56/7.50	o 64752
12.66/7.60	o 64336
12.77/7.71	o 64060
12.87/7.81	o 63372
12.97/7.92	o 62876
13.07/8.03	o 62656
13.17/8.18	o 62332
13.27/8.29	o 61964
13.47/8.45	o 61852
13.67/8.61	o 61088
13.77/8.77	o 60740
13.98/8.92	o 60660
14.07/9.03	o 59140
14.17/9.19	o 58960
14.98/9.97	o 57124
15.92/10.78	o 56288
16.22/11.05	o 54972
16.32/11.19	o 54684
17.12/11.92	o 52192
17.23/12.04	o 50816
17.33/12.18	o 44540
17.53/12.31	o 30820
17.63/12.43	o 27420
17.73/12.56	o 27068
17.83/12.69	o 24092
18.03/12.82	o 23584
18.15/12.95	o 20944
18.26/13.08	o 20736
18.46/13.21	o 20592
18.56/13.33	o 19952
18.96/13.72	o 12808
19.06/13.84	o 11620
19.16/13.97	o 9480
19.36/14.11	o 8932
19.46/14.24	o 8620
24.27/19.00	o 8532
25.47/20.27	o 7448
27.07/21.86	o 4184
27.17/21.99	o 3912
27.98/22.75	o 3748
28.18/22.90	o 3668
42.02/36.71	o 3476
42.12/36.86	o 3268
42.83/37.53	o 3236
42.92/37.66	o 3192
63.75/58.44	o 3036
67.95/62.66	o 3024
68.16/62.82	o 3008
69.95/64.61	o 2820
296.45/291.05	o 2680
542.27/536.74	o 2628
550.78/545.27	o 2584
555.78/550.26	o 2372
1265.10/1259.25	o 2164
1281.01/1275.16	o 2132
1550.90/1544.92	o 2020
2520.06/2513.70	
2520.06/2513.70	v <instantiation id='sol95' type='solution' cost='2020'>  <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 -3 -2 -1 -6 -7 4 -15 4 -1 10 -3 4 9 -6 -13 -4 3 -4 3 -8 3 8 9 4 -3 -2 1 4 -1 6 7 8 1 0 3 -2 -7 -4 -3 -12 9 4 -1 2 1 4 -7 2 -5 -6 1 0 7 -8 5 0 1 6 1 2 -3 2 -3 6 -1 4 -3 -4 -1 2 1 -4 1 0 -1 -2 3 0 -1 4 9 4 1 36 49 16 225 16 1 100 9 16 81 36 169 16 9 16 9 64 9 64 81 16 9 4 1 16 1 36 49 64 1 0 9 4 49 16 9 144 81 16 1 4 1 16 49 4 25 36 1 0 49 64 25 0 1 36 1 4 9 4 9 36 1 16 9 16 1 4 1 16 1 0 1 4 9 0 1 </values>  </instantiation>
2520.06/2513.70	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-4263980-1502293279/watcher-4263980-1502293279 -o /tmp/evaluation-result-4263980-1502293279/solver-4263980-1502293279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502258125-5061 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263980-1502293279.xml 

pid=11871
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 11874
/proc/meminfo: memFree=30918408/32770624 swapFree=0/526656
[pid=11874] ppid=11871 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11874/stat : 11874 (runsolver) D 11871 11874 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 76834061 24240128 107 18446744073709551615 4194304 4338465 140729573433856 140729573431496 139805198037719 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 10199040 140729573441696 140729573442121 140729573442121 140729573445578 0
/proc/11874/statm: 5918 107 54 36 0 2156 0

[startup+0.100159 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 11874
/proc/meminfo: memFree=30918408/32770624 swapFree=0/526656
[pid=11874] ppid=11871 vsize=10018544 CPUtime=0.01 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 3838 0 0 0 1 0 0 0 20 0 7 0 76834061 10258989056 4552 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2504636 4552 2053 1 0 2494133 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10018544

[startup+0.200319 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 11874
/proc/meminfo: memFree=30918408/32770624 swapFree=0/526656
[pid=11874] ppid=11871 vsize=10551180 CPUtime=0.08 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 5132 0 0 0 7 1 0 0 20 0 15 0 76834061 10804408320 6633 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2637795 6633 2678 1 0 2627261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551180

[startup+0.301582 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 11874
/proc/meminfo: memFree=30918408/32770624 swapFree=0/526656
[pid=11874] ppid=11871 vsize=10553264 CPUtime=0.26 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 8864 0 0 0 24 2 0 0 20 0 15 0 76834061 10806542336 9692 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2638316 9692 2921 1 0 2627261 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10553264

[startup+0.700927 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 11874
/proc/meminfo: memFree=30918408/32770624 swapFree=0/526656
[pid=11874] ppid=11871 vsize=10621952 CPUtime=1.34 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 14047 0 0 0 128 6 0 0 20 0 16 0 76834061 10876878848 24244 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2655488 24244 3074 1 0 2644414 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10621952

[startup+1.50092 s]
/proc/loadavg: 2.00 2.01 2.05 6/214 11890
/proc/meminfo: memFree=30784136/32770624 swapFree=0/526968
[pid=11874] ppid=11871 vsize=10624000 CPUtime=3.97 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 17014 0 0 0 388 9 0 0 20 0 16 0 76834061 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 51156 3123 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 76834070 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11882] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11882/stat : 11882 (java) S 11871 11874 31388 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703592055584 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11883] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11883/stat : 11883 (java) S 11871 11874 31388 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703591003248 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11884] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11884/stat : 11884 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834073 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703589951568 140704096425883 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11885] ppid=11871 vsize=10624000 CPUtime=0.96 cores=1,3,5,7
/proc/11874/task/11885/stat : 11885 (java) R 11871 11874 31388 0 -1 4202560 2073 0 0 0 95 1 0 0 20 0 16 0 76834073 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703588899440 140704074002065 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11886] ppid=11871 vsize=10624000 CPUtime=0.93 cores=1,3,5,7
/proc/11874/task/11886/stat : 11886 (java) R 11871 11874 31388 0 -1 4202560 1579 0 0 0 93 0 0 0 20 0 16 0 76834073 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703587833184 140704077928483 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11887] ppid=11871 vsize=10624000 CPUtime=0.64 cores=1,3,5,7
/proc/11874/task/11887/stat : 11887 (java) R 11871 11874 31388 0 -1 4202560 2508 0 0 0 64 0 0 0 20 0 16 0 76834073 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703586794352 140704074399139 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11888] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11888/stat : 11888 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834074 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703585741792 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11889] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11889/stat : 11889 (java) S 11871 11874 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 76834079 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703584688560 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11890] ppid=11871 vsize=10624000 CPUtime=1.12 cores=1,3,5,7
/proc/11874/task/11890/stat : 11890 (java) R 11871 11874 31388 0 -1 4202560 3106 0 0 0 109 3 0 0 20 0 16 0 76834096 10878976000 51156 18446744073709551615 4194304 4196468 140730725207424 140703581492640 140704080487774 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10624000

[startup+3.10072 s]
/proc/loadavg: 2.00 2.01 2.05 5/214 11890
/proc/meminfo: memFree=30700320/32770624 swapFree=0/526968
[pid=11874] ppid=11871 vsize=10624000 CPUtime=7.86 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 26730 0 0 0 774 12 0 0 20 0 16 0 76834061 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 58678 3132 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 76834070 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11882] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11882/stat : 11882 (java) S 11871 11874 31388 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703592055584 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11883] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11883/stat : 11883 (java) S 11871 11874 31388 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703591003248 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11884] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11884/stat : 11884 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834073 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703589951568 140704096425883 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11885] ppid=11871 vsize=10624000 CPUtime=2.08 cores=1,3,5,7
/proc/11874/task/11885/stat : 11885 (java) R 11871 11874 31388 0 -1 4202560 6180 0 0 0 207 1 0 0 20 0 16 0 76834073 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703588888000 140704077041675 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11886] ppid=11871 vsize=10624000 CPUtime=1.97 cores=1,3,5,7
/proc/11874/task/11886/stat : 11886 (java) S 11871 11874 31388 0 -1 1077944384 4508 0 0 0 196 1 0 0 20 0 16 0 76834073 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703587846640 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11887] ppid=11871 vsize=10624000 CPUtime=0.81 cores=1,3,5,7
/proc/11874/task/11887/stat : 11887 (java) S 11871 11874 31388 0 -1 1077944384 3159 0 0 0 81 0 0 0 20 0 16 0 76834073 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703586794352 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11888] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11888/stat : 11888 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834074 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703585741792 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11889] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11889/stat : 11889 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834079 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703584688560 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11890] ppid=11871 vsize=10624000 CPUtime=2.68 cores=1,3,5,7
/proc/11874/task/11890/stat : 11890 (java) R 11871 11874 31388 0 -1 4202560 5131 0 0 0 264 4 0 0 20 0 16 0 76834096 10878976000 58678 18446744073709551615 4194304 4196468 140730725207424 140703581496328 140703747380572 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 10624000

[startup+6.30072 s]
/proc/loadavg: 2.00 2.01 2.05 3/214 11890
/proc/meminfo: memFree=30699468/32770624 swapFree=0/526968
[pid=11874] ppid=11871 vsize=10624000 CPUtime=11.35 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 33644 0 0 0 1122 13 0 0 20 0 16 0 76834061 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 57598 3137 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 76834069 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 16 0 76834070 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11882] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11882/stat : 11882 (java) S 11871 11874 31388 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703592055584 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11883] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11883/stat : 11883 (java) S 11871 11874 31388 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703591003248 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11884] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11884/stat : 11884 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834073 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703589951568 140704096425883 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11885] ppid=11871 vsize=10624000 CPUtime=2.19 cores=1,3,5,7
/proc/11874/task/11885/stat : 11885 (java) S 11871 11874 31388 0 -1 1077944384 7406 0 0 0 218 1 0 0 20 0 16 0 76834073 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703588899440 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11886] ppid=11871 vsize=10624000 CPUtime=2.11 cores=1,3,5,7
/proc/11874/task/11886/stat : 11886 (java) S 11871 11874 31388 0 -1 1077944384 7091 0 0 0 209 2 0 0 20 0 16 0 76834073 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703587846640 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11887] ppid=11871 vsize=10624000 CPUtime=0.84 cores=1,3,5,7
/proc/11874/task/11887/stat : 11887 (java) S 11871 11874 31388 0 -1 1077944384 4124 0 0 0 84 0 0 0 20 0 16 0 76834073 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703586794352 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11888] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11888/stat : 11888 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834074 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703585741792 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11889] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11889/stat : 11889 (java) S 11871 11874 31388 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 16 0 76834079 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703584688560 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11890] ppid=11871 vsize=10624000 CPUtime=5.88 cores=1,3,5,7
/proc/11874/task/11890/stat : 11890 (java) R 11871 11874 31388 0 -1 4202560 6304 0 0 0 583 5 0 0 20 0 16 0 76834096 10878976000 57598 18446744073709551615 4194304 4196468 140730725207424 140703581495616 140703746893344 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
Current children cumulated CPU time (s) 11.35
Current children cumulated vsize (KiB) 10624000

[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 2.05 3/214 11890
/proc/meminfo: memFree=30631928/32770624 swapFree=0/526960
[pid=11874] ppid=11871 vsize=10624000 CPUtime=17.93 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 35340 0 0 0 1772 21 0 0 20 0 16 0 76834061 10878976000 74292 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 74292 3146 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 74292 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 129 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 74292 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 187 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 74292 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 158 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 74292 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 237 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 74292 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 472 0 0 0 0 0 0 0 20 0 16 0 76834070 10878976000 74292 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0

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

/proc/meminfo: memFree=30590176/32770624 swapFree=0/527300
[pid=11874] ppid=11871 vsize=10624000 CPUtime=2448.63 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 73814 0 0 0 244804 59 0 0 20 0 16 0 76834061 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 80012 3153 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 129 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 187 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 158 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 237 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0.03 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 938 0 0 0 1 2 0 0 20 0 16 0 76834070 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11882] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11882/stat : 11882 (java) S 11871 11874 31388 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703592055648 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11883] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11883/stat : 11883 (java) S 11871 11874 31388 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703591003264 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11884] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11884/stat : 11884 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703589951568 140704096425883 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11885] ppid=11871 vsize=10624000 CPUtime=2.28 cores=1,3,5,7
/proc/11874/task/11885/stat : 11885 (java) S 11871 11874 31388 0 -1 1077944384 9755 0 0 0 226 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703588899440 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11886] ppid=11871 vsize=10624000 CPUtime=2.22 cores=1,3,5,7
/proc/11874/task/11886/stat : 11886 (java) S 11871 11874 31388 0 -1 1077944384 10654 0 0 0 219 3 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703587846640 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11887] ppid=11871 vsize=10624000 CPUtime=0.98 cores=1,3,5,7
/proc/11874/task/11887/stat : 11887 (java) S 11871 11874 31388 0 -1 1077944384 12636 0 0 0 96 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703586794352 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11888] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11888/stat : 11888 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834074 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703585741792 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11889] ppid=11871 vsize=10624000 CPUtime=0.7 cores=1,3,5,7
/proc/11874/task/11889/stat : 11889 (java) S 11871 11874 31388 0 -1 1077944384 2043 0 0 0 32 38 0 0 20 0 16 0 76834079 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703584688560 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11890] ppid=11871 vsize=10624000 CPUtime=2441.92 cores=1,3,5,7
/proc/11874/task/11890/stat : 11890 (java) R 11871 11874 31388 0 -1 4202560 29456 0 0 0 244186 6 0 0 20 0 16 0 76834096 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703581496376 140703747381604 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
Current children cumulated CPU time (s) 2448.63
Current children cumulated vsize (KiB) 10624000

[startup+2502.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/215 12148
/proc/meminfo: memFree=30590500/32770624 swapFree=0/527292
[pid=11874] ppid=11871 vsize=10624000 CPUtime=2508.66 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 74101 0 0 0 250805 61 0 0 20 0 16 0 76834061 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 80012 3153 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 129 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 187 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 158 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 237 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0.03 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 938 0 0 0 1 2 0 0 20 0 16 0 76834070 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11882] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11882/stat : 11882 (java) S 11871 11874 31388 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703592055648 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11883] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11883/stat : 11883 (java) S 11871 11874 31388 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703591003264 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11884] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11884/stat : 11884 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703589951568 140704096425883 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11885] ppid=11871 vsize=10624000 CPUtime=2.28 cores=1,3,5,7
/proc/11874/task/11885/stat : 11885 (java) S 11871 11874 31388 0 -1 1077944384 9755 0 0 0 226 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703588899440 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11886] ppid=11871 vsize=10624000 CPUtime=2.22 cores=1,3,5,7
/proc/11874/task/11886/stat : 11886 (java) S 11871 11874 31388 0 -1 1077944384 10654 0 0 0 219 3 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703587846640 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11887] ppid=11871 vsize=10624000 CPUtime=0.98 cores=1,3,5,7
/proc/11874/task/11887/stat : 11887 (java) S 11871 11874 31388 0 -1 1077944384 12636 0 0 0 96 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703586794352 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11888] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11888/stat : 11888 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834074 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703585741792 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11889] ppid=11871 vsize=10624000 CPUtime=0.72 cores=1,3,5,7
/proc/11874/task/11889/stat : 11889 (java) S 11871 11874 31388 0 -1 1077944384 2047 0 0 0 33 39 0 0 20 0 16 0 76834079 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703584688560 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11890] ppid=11871 vsize=10624000 CPUtime=2501.93 cores=1,3,5,7
/proc/11874/task/11890/stat : 11890 (java) R 11871 11874 31388 0 -1 4202560 29739 0 0 0 250187 6 0 0 20 0 16 0 76834096 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703581496376 140703747380524 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
Current children cumulated CPU time (s) 2508.66
Current children cumulated vsize (KiB) 10624000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.7 s]
/proc/loadavg: 2.03 2.04 2.05 3/215 12148
/proc/meminfo: memFree=30590500/32770624 swapFree=0/527288
[pid=11874] ppid=11871 vsize=10624000 CPUtime=2520.06 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 74101 0 0 0 251945 61 0 0 20 0 16 0 76834061 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 80012 3153 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 129 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 187 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 158 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 237 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0.03 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 938 0 0 0 1 2 0 0 20 0 16 0 76834070 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11882] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11882/stat : 11882 (java) S 11871 11874 31388 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703592055648 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11883] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11883/stat : 11883 (java) S 11871 11874 31388 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703591003264 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11884] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11884/stat : 11884 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703589951568 140704096425883 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11885] ppid=11871 vsize=10624000 CPUtime=2.28 cores=1,3,5,7
/proc/11874/task/11885/stat : 11885 (java) S 11871 11874 31388 0 -1 1077944384 9755 0 0 0 226 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703588899440 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11886] ppid=11871 vsize=10624000 CPUtime=2.22 cores=1,3,5,7
/proc/11874/task/11886/stat : 11886 (java) S 11871 11874 31388 0 -1 1077944384 10654 0 0 0 219 3 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703587846640 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11887] ppid=11871 vsize=10624000 CPUtime=0.98 cores=1,3,5,7
/proc/11874/task/11887/stat : 11887 (java) S 11871 11874 31388 0 -1 1077944384 12636 0 0 0 96 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703586794352 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11888] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11888/stat : 11888 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834074 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703585741792 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11889] ppid=11871 vsize=10624000 CPUtime=0.73 cores=1,3,5,7
/proc/11874/task/11889/stat : 11889 (java) S 11871 11874 31388 0 -1 1077944384 2047 0 0 0 33 40 0 0 20 0 16 0 76834079 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703584688560 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11890] ppid=11871 vsize=10624000 CPUtime=2513.33 cores=1,3,5,7
/proc/11874/task/11890/stat : 11890 (java) R 11871 11874 31388 0 -1 4202560 29739 0 0 0 251327 6 0 0 20 0 16 0 76834096 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703581496376 140703746873341 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
Current children cumulated CPU time (s) 2520.06
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 11874 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2513.7 s]
/proc/loadavg: 2.03 2.04 2.05 3/215 12148
/proc/meminfo: memFree=30590500/32770624 swapFree=0/527288
[pid=11874] ppid=11871 vsize=10624000 CPUtime=2520.06 cores=1,3,5,7
/proc/11874/stat : 11874 (java) S 11871 11874 31388 0 -1 1077944320 74101 0 0 0 251945 61 0 0 20 0 16 0 76834061 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140730725189968 140704096407287 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
/proc/11874/statm: 2656000 80012 3153 1 0 2644926 0
[pid=11874/tid=11876] ppid=11871 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/11874/task/11876/stat : 11876 (java) S 11871 11874 31388 0 -1 1077944384 6235 0 0 0 19 2 0 0 20 0 16 0 76834068 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140704100650160 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11877] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11877/stat : 11877 (java) S 11871 11874 31388 0 -1 1077944384 129 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703707945872 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11878] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11878/stat : 11878 (java) S 11871 11874 31388 0 -1 1077944384 187 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703706893072 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11879] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11879/stat : 11879 (java) S 11871 11874 31388 0 -1 1077944384 158 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703705840784 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11880] ppid=11871 vsize=10624000 CPUtime=0.05 cores=1,3,5,7
/proc/11874/task/11880/stat : 11880 (java) S 11871 11874 31388 0 -1 1077944384 237 0 0 0 3 2 0 0 20 0 16 0 76834069 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703704787984 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11881] ppid=11871 vsize=10624000 CPUtime=0.03 cores=1,3,5,7
/proc/11874/task/11881/stat : 11881 (java) S 11871 11874 31388 0 -1 1077944384 938 0 0 0 1 2 0 0 20 0 16 0 76834070 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703593109616 140704096418434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11882] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11882/stat : 11882 (java) S 11871 11874 31388 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703592055648 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11883] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11883/stat : 11883 (java) S 11871 11874 31388 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 76834071 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703591003264 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11884] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11884/stat : 11884 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703589951568 140704096425883 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11885] ppid=11871 vsize=10624000 CPUtime=2.28 cores=1,3,5,7
/proc/11874/task/11885/stat : 11885 (java) S 11871 11874 31388 0 -1 1077944384 9755 0 0 0 226 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703588899440 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11886] ppid=11871 vsize=10624000 CPUtime=2.22 cores=1,3,5,7
/proc/11874/task/11886/stat : 11886 (java) S 11871 11874 31388 0 -1 1077944384 10654 0 0 0 219 3 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703587846640 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11887] ppid=11871 vsize=10624000 CPUtime=0.98 cores=1,3,5,7
/proc/11874/task/11887/stat : 11887 (java) S 11871 11874 31388 0 -1 1077944384 12636 0 0 0 96 2 0 0 20 0 16 0 76834073 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703586794352 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11888] ppid=11871 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/11874/task/11888/stat : 11888 (java) S 11871 11874 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76834074 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703585741792 140704096417493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11889] ppid=11871 vsize=10624000 CPUtime=0.73 cores=1,3,5,7
/proc/11874/task/11889/stat : 11889 (java) S 11871 11874 31388 0 -1 1077944384 2047 0 0 0 33 40 0 0 20 0 16 0 76834079 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703584688560 140704096418434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
[pid=11874/tid=11890] ppid=11871 vsize=10624000 CPUtime=2513.33 cores=1,3,5,7
/proc/11874/task/11890/stat : 11890 (java) R 11871 11874 31388 0 -1 4202560 29739 0 0 0 251327 6 0 0 20 0 16 0 76834096 10878976000 80012 18446744073709551615 4194304 4196468 140730725207424 140703581496376 140703746873341 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15290368 140730725212621 140730725212750 140730725212750 140730725216207 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 10624000

Child status: 143
Real time (s): 2513.71
CPU time (s): 2520.09
CPU user time (s): 2519.47
CPU system time (s): 0.616071
CPU usage (%): 100.254
Max. virtual memory (cumulated for all children) (KiB): 10626344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.47
system time used= 0.616071
maximum resident set size= 320876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57567
involuntary context switches= 781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2516 second user time and 14.5707 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	864
Best CPU time to get the best result obtained on this benchmark	2400.06
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 4263980

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