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
R1: AbsCon-basic 2017-06-11	SAT (TO)	2020	2400.06	2392.31

0.28/0.28	
0.28/0.28	AbsCon 2 
0.28/0.28	
1.68/0.79	  Solving XCSP3-instance-4247501-1500719598 as a COP in -infty..+infty
1.68/0.79	  Loading variables...
2.60/0.96	  Loading constraints...
5.39/1.61	  Solver SolverBacktrack being built...
5.39/1.61	
5.70/1.75	  Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
5.70/1.75	
6.38/1.93	o 173880
7.21/2.15	o 161240
7.66/2.30	o 160932
8.35/2.43	o 149540
8.56/2.54	o 148932
8.70/2.66	o 148356
8.90/2.78	o 137848
9.08/2.89	o 137004
9.18/3.00	o 127648
9.38/3.11	o 126212
9.48/3.22	o 126072
9.59/3.33	o 124676
9.70/3.44	o 116328
9.80/3.55	o 114604
9.95/3.67	o 107248
10.07/3.78	o 102768
10.17/3.89	o 100000
10.42/4.00	o 99564
10.52/4.11	o 99248
10.65/4.22	o 98640
10.75/4.32	o 98512
10.87/4.43	o 96060
11.00/4.58	o 95292
11.09/4.69	o 94620
11.29/4.80	o 94092
11.39/4.95	o 92560
11.49/5.06	o 91436
11.59/5.17	o 84240
11.70/5.27	o 82772
11.92/5.43	o 80352
12.05/5.53	o 79892
12.15/5.69	o 77880
12.27/5.80	o 77604
12.49/5.95	o 76952
12.79/6.20	o 76628
13.10/6.52	o 72868
13.21/6.69	o 70968
13.80/7.25	o 67372
14.00/7.43	o 66896
14.11/7.54	o 64752
14.21/7.64	o 64336
14.32/7.75	o 64060
14.42/7.86	o 63372
14.51/7.96	o 62876
14.61/8.07	o 62656
14.82/8.23	o 62332
14.92/8.34	o 61964
15.13/8.50	o 61852
15.23/8.66	o 61088
15.44/8.82	o 60740
15.54/8.98	o 60660
15.63/9.09	o 59140
15.83/9.25	o 58960
17.32/10.22	o 57124
18.02/10.95	o 56288
18.32/11.21	o 54972
18.42/11.33	o 54684
19.13/12.03	o 52192
19.24/12.15	o 50816
19.34/12.28	o 44540
19.43/12.40	o 30820
19.64/12.51	o 27420
19.74/12.63	o 27068
19.84/12.75	o 24092
19.94/12.87	o 23584
20.08/12.99	o 20944
20.29/13.11	o 20736
20.40/13.23	o 20592
20.50/13.35	o 19952
20.90/13.71	o 12808
21.00/13.83	o 11620
21.10/13.95	o 9480
21.20/14.08	o 8932
21.40/14.20	o 8620
25.91/18.77	o 8532
27.11/19.96	o 7448
28.61/21.49	o 4184
28.81/21.61	o 3912
29.51/22.34	o 3748
29.61/22.48	o 3668
42.85/35.68	o 3476
43.05/35.83	o 3268
43.65/36.47	o 3236
43.75/36.60	o 3192
63.68/56.48	o 3036
67.89/60.61	o 3024
67.98/60.76	o 3008
69.78/62.50	o 2820
287.13/279.88	o 2680
523.51/516.15	o 2628
531.91/524.60	o 2584
536.81/529.44	o 2372
1217.86/1210.31	o 2164
1233.36/1225.87	o 2132
1491.11/1483.51	o 2020
2400.04/2392.30	
2400.04/2392.30	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>
2400.04/2392.30	s SATISFIABLE

Verifier Data

Watcher Data

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-4247501-1500719598/watcher-4247501-1500719598 -o /tmp/evaluation-result-4247501-1500719598/solver-4247501-1500719598 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500717213-13540 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4247501-1500719598.xml 

pid=13771
running on 8 cores: 4-7,12-15

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


[startup+0 s]
/proc/loadavg: 2.13 2.05 1.98 2/263 13774
/proc/meminfo: memFree=30598876/32770624 swapFree=5832/243484
[pid=13774] ppid=13771 vsize=8349744 CPUtime=0 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 2216 0 0 0 0 0 0 0 20 0 2 0 7225143 8550137856 2461 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2087436 2461 1198 1 0 2076347 0
[pid=13774/tid=13775] ppid=13771 vsize=8351800 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) R 13771 13774 13508 0 -1 4202560 925 0 0 0 0 0 0 0 20 0 3 0 7225144 8552243200 2461 33554432000 4194304 4196468 140735159518656 139792055826128 139792044324609 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=8351800 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 7225144 8552243200 2461 33554432000 4194304 4196468 140735159518656 139791993588448 139792051594965 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=8352828 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 7225144 8553295872 2461 33554432000 4194304 4196468 140735159518656 139791656868448 139792051594965 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=8353856 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 7225145 8554348544 2461 33554432000 4194304 4196468 140735159518656 139791655816160 139792051594965 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=8353856 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 7225145 8554348544 2461 33554432000 4194304 4196468 140735159518656 139791654763360 139792051594965 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=8354884 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) R 13771 13774 13508 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 7 0 7225145 8555401216 2461 33554432000 4194304 4196468 140735159518656 139792055826128 139792044324609 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0

[startup+0.100066 s]
/proc/loadavg: 2.13 2.05 1.98 2/263 13774
/proc/meminfo: memFree=30598876/32770624 swapFree=5832/243484
[pid=13774] ppid=13771 vsize=10900580 CPUtime=0.1 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 4966 0 0 0 9 1 0 0 20 0 20 0 7225143 11162193920 6071 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2725145 6071 2628 1 0 2713552 0
[pid=13774/tid=13775] ppid=13771 vsize=10900580 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) R 13771 13774 13508 0 -1 4202560 3065 0 0 0 7 0 0 0 20 0 20 0 7225144 11162193920 6071 33554432000 4194304 4196468 140735159518656 139792055827040 139792043821886 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7225144 11162193920 6071 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7225144 11162193920 6071 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7225145 11162193920 6071 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7225145 11162193920 6071 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7225145 11162193920 6071 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580

[startup+0.200643 s]
/proc/loadavg: 2.13 2.05 1.98 2/263 13774
/proc/meminfo: memFree=30598876/32770624 swapFree=5832/243484
[pid=13774] ppid=13771 vsize=10900580 CPUtime=0.28 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 7508 0 0 0 26 2 0 0 20 0 20 0 7225143 11162193920 8827 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2725145 8827 2848 1 0 2713552 0
[pid=13774/tid=13775] ppid=13771 vsize=10900580 CPUtime=0.18 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) R 13771 13774 13508 0 -1 4202560 4816 0 0 0 17 1 0 0 20 0 20 0 7225144 11162193920 8827 33554432000 4194304 4196468 140735159518656 139792055798576 139792051606685 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7225144 11162193920 8827 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7225144 11162193920 8827 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7225145 11162193920 8827 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7225145 11162193920 8827 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7225145 11162193920 8827 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580

[startup+0.300499 s]
/proc/loadavg: 2.13 2.05 1.98 2/263 13774
/proc/meminfo: memFree=30598876/32770624 swapFree=5832/243484
[pid=13774] ppid=13771 vsize=10969228 CPUtime=0.47 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 8281 0 0 0 45 2 0 0 20 0 21 0 7225143 11232489472 13165 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2742307 13165 3010 1 0 2730193 0
[pid=13774/tid=13775] ppid=13771 vsize=10969228 CPUtime=0.25 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) S 13771 13774 13508 0 -1 1077944384 5163 0 0 0 24 1 0 0 20 0 21 0 7225144 11232489472 13165 33554432000 4194304 4196468 140735159518656 139792055827632 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7225144 11232489472 13165 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7225144 11232489472 13165 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225145 11232489472 13165 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225145 11232489472 13165 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225145 11232489472 13165 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10969228

[startup+0.70054 s]
/proc/loadavg: 2.13 2.05 1.98 2/263 13774
/proc/meminfo: memFree=30598876/32770624 swapFree=5832/243484
[pid=13774] ppid=13771 vsize=10971352 CPUtime=1.68 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 12524 0 0 0 163 5 0 0 20 0 21 0 7225143 11234664448 24413 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2742838 24479 3107 1 0 2730705 0
[pid=13774/tid=13775] ppid=13771 vsize=10971352 CPUtime=0.25 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) S 13771 13774 13508 0 -1 1077944384 5163 0 0 0 24 1 0 0 20 0 21 0 7225144 11234664448 24479 33554432000 4194304 4196468 140735159518656 139792055827632 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7225144 11234664448 24479 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7225144 11234664448 24479 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225145 11234664448 24479 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225145 11234664448 24479 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225145 11234664448 24479 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10971352

[startup+1.50072 s]
/proc/loadavg: 2.13 2.05 1.98 3/282 13831
/proc/meminfo: memFree=31740388/32770624 swapFree=5832/243484
[pid=13774] ppid=13771 vsize=10973400 CPUtime=5.02 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 21556 0 0 0 486 16 0 0 20 0 21 0 7225143 11236761600 51980 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2743350 51980 3156 1 0 2731217 0
[pid=13774/tid=13775] ppid=13771 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) S 13771 13774 13508 0 -1 1077944384 5163 0 0 0 24 1 0 0 20 0 21 0 7225144 11236761600 51980 33554432000 4194304 4196468 140735159518656 139792055827632 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 21 0 7225144 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 21 0 7225144 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 21 0 7225145 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 7225145 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10973400 CPUtime=0.02 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 7225145 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13781] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13781/stat : 13781 (java) S 13771 13774 13508 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 21 0 7225145 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791652657936 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13782] ppid=13771 vsize=10973400 CPUtime=0.02 cores=4-7,12-15
/proc/13774/task/13782/stat : 13782 (java) S 13771 13774 13508 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 21 0 7225145 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791651605648 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13784] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13784/stat : 13784 (java) S 13771 13774 13508 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 21 0 7225145 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791650552848 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13785] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13785/stat : 13785 (java) S 13771 13774 13508 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 21 0 7225147 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791594502256 139792051595906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13786] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13786/stat : 13786 (java) S 13771 13774 13508 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791593448224 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13787] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13787/stat : 13787 (java) S 13771 13774 13508 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791592395888 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13788] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13788/stat : 13788 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791591344208 139792051603355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13789] ppid=13771 vsize=10973400 CPUtime=0.9 cores=4-7,12-15
/proc/13774/task/13789/stat : 13789 (java) R 13771 13774 13508 0 -1 4202560 2956 0 0 0 89 1 0 0 20 0 21 0 7225152 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791590292176 139792032285371 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13790] ppid=13771 vsize=10973400 CPUtime=0.88 cores=4-7,12-15
/proc/13774/task/13790/stat : 13790 (java) R 13771 13774 13508 0 -1 4202560 2962 0 0 0 88 0 0 0 20 0 21 0 7225152 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791521788704 139792033102574 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13791] ppid=13771 vsize=10973400 CPUtime=0.83 cores=4-7,12-15
/proc/13774/task/13791/stat : 13791 (java) R 13771 13774 13508 0 -1 4202560 2617 0 0 0 82 1 0 0 20 0 21 0 7225152 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791520736472 139792030831160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13792] ppid=13771 vsize=10973400 CPUtime=0.78 cores=4-7,12-15
/proc/13774/task/13792/stat : 13792 (java) S 13771 13774 13508 0 -1 1077944384 3068 0 0 0 77 1 0 0 20 0 21 0 7225152 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791519697648 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13793] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13793/stat : 13793 (java) S 13771 13774 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791518644576 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13794] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13794/stat : 13794 (java) S 13771 13774 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7225153 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791517591856 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13795] ppid=13771 vsize=10973400 CPUtime=1.17 cores=4-7,12-15
/proc/13774/task/13795/stat : 13795 (java) R 13771 13774 13508 0 -1 4202560 2852 0 0 0 114 3 0 0 20 0 21 0 7225171 11236761600 51980 33554432000 4194304 4196468 140735159518656 139791514393632 139791680231687 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 10973400

[startup+3.10084 s]
/proc/loadavg: 2.13 2.05 1.98 9/284 13883
/proc/meminfo: memFree=31593424/32770624 swapFree=5832/243948
[pid=13774] ppid=13771 vsize=10973400 CPUtime=9.38 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 31541 0 0 0 920 18 0 0 20 0 21 0 7225143 11236761600 58503 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2743350 58503 3164 1 0 2731217 0
[pid=13774/tid=13775] ppid=13771 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) S 13771 13774 13508 0 -1 1077944384 5163 0 0 0 24 1 0 0 20 0 21 0 7225144 11236761600 58503 33554432000 4194304 4196468 140735159518656 139792055827632 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 21 0 7225144 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 21 0 7225144 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 21 0 7225145 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 7225145 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10973400 CPUtime=0.02 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 7225145 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13781] ppid=13771 vsize=10973400 CPUtime=0.01 cores=4-7,12-15
/proc/13774/task/13781/stat : 13781 (java) S 13771 13774 13508 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 21 0 7225145 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791652657936 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13782] ppid=13771 vsize=10973400 CPUtime=0.02 cores=4-7,12-15
/proc/13774/task/13782/stat : 13782 (java) S 13771 13774 13508 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 21 0 7225145 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791651605648 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13784] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13784/stat : 13784 (java) S 13771 13774 13508 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 21 0 7225145 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791650552848 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13785] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13785/stat : 13785 (java) S 13771 13774 13508 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 21 0 7225147 11236761600 58503 33554432000 4194304 4196468 140735159518656 139791594502256 139792051595906 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0

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

[pid=13774/tid=13794] ppid=13771 vsize=10973400 CPUtime=0.64 cores=4-7,12-15
/proc/13774/task/13794/stat : 13794 (java) S 13771 13774 13508 0 -1 1077944384 1347 0 0 0 30 34 0 0 20 0 21 0 7225153 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791517591856 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13795] ppid=13771 vsize=10973400 CPUtime=2321.5 cores=4-7,12-15
/proc/13774/task/13795/stat : 13795 (java) R 13771 13774 13508 0 -1 4202560 25531 0 0 0 232145 5 0 0 20 0 21 0 7225171 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791514398440 139791681770233 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 2330.02
Current children cumulated vsize (KiB) 10973400

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/283 14257
/proc/meminfo: memFree=31230296/32770624 swapFree=5832/247276
[pid=13774] ppid=13771 vsize=10973400 CPUtime=2390.04 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 72599 0 0 0 238921 83 0 0 20 0 21 0 7225143 11236761600 84278 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2743350 84278 3180 1 0 2731217 0
[pid=13774/tid=13775] ppid=13771 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) S 13771 13774 13508 0 -1 1077944384 5163 0 0 0 24 1 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139792055827632 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 332 0 0 0 2 5 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10973400 CPUtime=0.09 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 312 0 0 0 4 5 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 1160 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 92 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 84 0 0 0 3 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13781] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13781/stat : 13781 (java) S 13771 13774 13508 0 -1 1077944384 200 0 0 0 4 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791652657936 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13782] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13782/stat : 13782 (java) S 13771 13774 13508 0 -1 1077944384 99 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791651605648 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13784] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13784/stat : 13784 (java) S 13771 13774 13508 0 -1 1077944384 125 0 0 0 3 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791650552848 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13785] ppid=13771 vsize=10973400 CPUtime=0.04 cores=4-7,12-15
/proc/13774/task/13785/stat : 13785 (java) S 13771 13774 13508 0 -1 1077944384 794 0 0 0 2 2 0 0 20 0 21 0 7225147 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791594502256 139792051595906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13786] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13786/stat : 13786 (java) S 13771 13774 13508 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791593448288 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13787] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13787/stat : 13787 (java) S 13771 13774 13508 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791592395888 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13788] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13788/stat : 13788 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791591344208 139792051603355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13789] ppid=13771 vsize=10973400 CPUtime=1.81 cores=4-7,12-15
/proc/13774/task/13789/stat : 13789 (java) S 13771 13774 13508 0 -1 1077944384 5809 0 0 0 179 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791590292080 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13790] ppid=13771 vsize=10973400 CPUtime=1.97 cores=4-7,12-15
/proc/13774/task/13790/stat : 13790 (java) S 13771 13774 13508 0 -1 1077944384 9328 0 0 0 196 1 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791521802736 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13791] ppid=13771 vsize=10973400 CPUtime=1.89 cores=4-7,12-15
/proc/13774/task/13791/stat : 13791 (java) S 13771 13774 13508 0 -1 1077944384 6466 0 0 0 187 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791520750448 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13792] ppid=13771 vsize=10973400 CPUtime=1.16 cores=4-7,12-15
/proc/13774/task/13792/stat : 13792 (java) S 13771 13774 13508 0 -1 1077944384 14279 0 0 0 114 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791519697648 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13793] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13793/stat : 13793 (java) S 13771 13774 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791518644576 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13794] ppid=13771 vsize=10973400 CPUtime=0.66 cores=4-7,12-15
/proc/13774/task/13794/stat : 13794 (java) S 13771 13774 13508 0 -1 1077944384 1351 0 0 0 30 36 0 0 20 0 21 0 7225153 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791517591856 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13795] ppid=13771 vsize=10973400 CPUtime=2381.49 cores=4-7,12-15
/proc/13774/task/13795/stat : 13795 (java) R 13771 13774 13508 0 -1 4202560 25575 0 0 0 238144 5 0 0 20 0 21 0 7225171 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791514398440 139791682512003 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 2390.04
Current children cumulated vsize (KiB) 10973400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2392.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/283 14257
/proc/meminfo: memFree=31230420/32770624 swapFree=5832/247300
[pid=13774] ppid=13771 vsize=10973400 CPUtime=2400.04 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 72601 0 0 0 239921 83 0 0 20 0 21 0 7225143 11236761600 84278 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2743350 84278 3180 1 0 2731217 0
[pid=13774/tid=13775] ppid=13771 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) S 13771 13774 13508 0 -1 1077944384 5163 0 0 0 24 1 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139792055827632 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 332 0 0 0 2 5 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10973400 CPUtime=0.09 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 312 0 0 0 4 5 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 1160 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 92 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 84 0 0 0 3 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13781] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13781/stat : 13781 (java) S 13771 13774 13508 0 -1 1077944384 200 0 0 0 4 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791652657936 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13782] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13782/stat : 13782 (java) S 13771 13774 13508 0 -1 1077944384 99 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791651605648 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13784] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13784/stat : 13784 (java) S 13771 13774 13508 0 -1 1077944384 125 0 0 0 3 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791650552848 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13785] ppid=13771 vsize=10973400 CPUtime=0.04 cores=4-7,12-15
/proc/13774/task/13785/stat : 13785 (java) S 13771 13774 13508 0 -1 1077944384 794 0 0 0 2 2 0 0 20 0 21 0 7225147 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791594502256 139792051595906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13786] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13786/stat : 13786 (java) S 13771 13774 13508 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791593448288 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13787] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13787/stat : 13787 (java) S 13771 13774 13508 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791592395888 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13788] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13788/stat : 13788 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791591344208 139792051603355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13789] ppid=13771 vsize=10973400 CPUtime=1.81 cores=4-7,12-15
/proc/13774/task/13789/stat : 13789 (java) S 13771 13774 13508 0 -1 1077944384 5809 0 0 0 179 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791590292080 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13790] ppid=13771 vsize=10973400 CPUtime=1.97 cores=4-7,12-15
/proc/13774/task/13790/stat : 13790 (java) S 13771 13774 13508 0 -1 1077944384 9328 0 0 0 196 1 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791521802736 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13791] ppid=13771 vsize=10973400 CPUtime=1.89 cores=4-7,12-15
/proc/13774/task/13791/stat : 13791 (java) S 13771 13774 13508 0 -1 1077944384 6466 0 0 0 187 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791520750448 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13792] ppid=13771 vsize=10973400 CPUtime=1.16 cores=4-7,12-15
/proc/13774/task/13792/stat : 13792 (java) S 13771 13774 13508 0 -1 1077944384 14279 0 0 0 114 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791519697648 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13793] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13793/stat : 13793 (java) S 13771 13774 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791518644576 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13794] ppid=13771 vsize=10973400 CPUtime=0.66 cores=4-7,12-15
/proc/13774/task/13794/stat : 13794 (java) S 13771 13774 13508 0 -1 1077944384 1353 0 0 0 30 36 0 0 20 0 21 0 7225153 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791517591856 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13795] ppid=13771 vsize=10973400 CPUtime=2391.49 cores=4-7,12-15
/proc/13774/task/13795/stat : 13795 (java) R 13771 13774 13508 0 -1 4202560 25575 0 0 0 239144 5 0 0 20 0 21 0 7225171 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791514398440 139791682512889 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10973400

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 13774 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2392.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/283 14257
/proc/meminfo: memFree=31230420/32770624 swapFree=5832/247300
[pid=13774] ppid=13771 vsize=10973400 CPUtime=2400.04 cores=4-7,12-15
/proc/13774/stat : 13774 (java) S 13771 13774 13508 0 -1 1077944320 72601 0 0 0 239921 83 0 0 20 0 21 0 7225143 11236761600 84278 33554432000 4194304 4196468 140735159518656 140735159501200 139792051584759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
/proc/13774/statm: 2743350 84278 3180 1 0 2731217 0
[pid=13774/tid=13775] ppid=13771 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/13774/task/13775/stat : 13775 (java) S 13771 13774 13508 0 -1 1077944384 5163 0 0 0 24 1 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139792055827632 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13776] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13776/stat : 13776 (java) S 13771 13774 13508 0 -1 1077944384 332 0 0 0 2 5 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791993588112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13777] ppid=13771 vsize=10973400 CPUtime=0.09 cores=4-7,12-15
/proc/13774/task/13777/stat : 13777 (java) S 13771 13774 13508 0 -1 1077944384 312 0 0 0 4 5 0 0 20 0 21 0 7225144 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791656868112 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13778] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13778/stat : 13778 (java) S 13771 13774 13508 0 -1 1077944384 1160 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791655815824 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13779] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13779/stat : 13779 (java) S 13771 13774 13508 0 -1 1077944384 92 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791654763024 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13780] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13780/stat : 13780 (java) S 13771 13774 13508 0 -1 1077944384 84 0 0 0 3 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791653710736 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13781] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13781/stat : 13781 (java) S 13771 13774 13508 0 -1 1077944384 200 0 0 0 4 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791652657936 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13782] ppid=13771 vsize=10973400 CPUtime=0.08 cores=4-7,12-15
/proc/13774/task/13782/stat : 13782 (java) S 13771 13774 13508 0 -1 1077944384 99 0 0 0 3 5 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791651605648 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13784] ppid=13771 vsize=10973400 CPUtime=0.07 cores=4-7,12-15
/proc/13774/task/13784/stat : 13784 (java) S 13771 13774 13508 0 -1 1077944384 125 0 0 0 3 4 0 0 20 0 21 0 7225145 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791650552848 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13785] ppid=13771 vsize=10973400 CPUtime=0.04 cores=4-7,12-15
/proc/13774/task/13785/stat : 13785 (java) S 13771 13774 13508 0 -1 1077944384 794 0 0 0 2 2 0 0 20 0 21 0 7225147 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791594502256 139792051595906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13786] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13786/stat : 13786 (java) S 13771 13774 13508 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791593448288 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13787] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13787/stat : 13787 (java) S 13771 13774 13508 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 7225148 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791592395888 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13788] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13788/stat : 13788 (java) S 13771 13774 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791591344208 139792051603355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13789] ppid=13771 vsize=10973400 CPUtime=1.81 cores=4-7,12-15
/proc/13774/task/13789/stat : 13789 (java) S 13771 13774 13508 0 -1 1077944384 5809 0 0 0 179 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791590292080 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13790] ppid=13771 vsize=10973400 CPUtime=1.97 cores=4-7,12-15
/proc/13774/task/13790/stat : 13790 (java) S 13771 13774 13508 0 -1 1077944384 9328 0 0 0 196 1 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791521802736 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13791] ppid=13771 vsize=10973400 CPUtime=1.89 cores=4-7,12-15
/proc/13774/task/13791/stat : 13791 (java) S 13771 13774 13508 0 -1 1077944384 6466 0 0 0 187 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791520750448 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13792] ppid=13771 vsize=10973400 CPUtime=1.16 cores=4-7,12-15
/proc/13774/task/13792/stat : 13792 (java) S 13771 13774 13508 0 -1 1077944384 14279 0 0 0 114 2 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791519697648 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13793] ppid=13771 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/13774/task/13793/stat : 13793 (java) S 13771 13774 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7225152 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791518644576 139792051594965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13794] ppid=13771 vsize=10973400 CPUtime=0.66 cores=4-7,12-15
/proc/13774/task/13794/stat : 13794 (java) S 13771 13774 13508 0 -1 1077944384 1353 0 0 0 30 36 0 0 20 0 21 0 7225153 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791517591856 139792051595906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
[pid=13774/tid=13795] ppid=13771 vsize=10973400 CPUtime=2391.49 cores=4-7,12-15
/proc/13774/task/13795/stat : 13795 (java) R 13771 13774 13508 0 -1 4202560 25575 0 0 0 239144 5 0 0 20 0 21 0 7225171 11236761600 84278 33554432000 4194304 4196468 140735159518656 139791514398440 139791682512889 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25612288 140735159526595 140735159526724 140735159526724 140735159529423 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10973400

Child status: 143
Real time (s): 2392.31
CPU time (s): 2400.06
CPU user time (s): 2399.22
CPU system time (s): 0.838967
CPU usage (%): 100.324
Max. virtual memory (cumulated for all children) (KiB): 10975388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.22
system time used= 0.838967
maximum resident set size= 337904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73074
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56268
involuntary context switches= 121226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2926 second user time and 17.2905 second system time

The end

Launcher Data

Begin job on node144 at 2017-07-22 12:33:18
IDJOB=4247501
IDBENCH=127072
IDSOLVER=2624
FILE ID=node144/4247501-1500719598
RUNJOBID= node144-1500717213-13540
PBS_JOBID= 20623363
Free space on /tmp= 62008 MiB

SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247501-1500719598/watcher-4247501-1500719598 -o /tmp/evaluation-result-4247501-1500719598/solver-4247501-1500719598 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500717213-13540 --watchdog 2560  java -jar HOME/AbsCon-basic.jar HOME/instance-4247501-1500719598.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8
RANDOM SEED=1335153250

node144.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30599248 kB
MemAvailable:   30721700 kB
Buffers:          123772 kB
Cached:           282768 kB
SwapCached:            0 kB
Active:          1488184 kB
Inactive:         252196 kB
Active(anon):    1336388 kB
Inactive(anon):     8712 kB
Active(file):     151796 kB
Inactive(file):   243484 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7836 kB
Writeback:            12 kB
AnonPages:       1338992 kB
Mapped:            42564 kB
Shmem:              8844 kB
Slab:             118740 kB
SReclaimable:      86016 kB
SUnreclaim:        32724 kB
KernelStack:        4528 kB
PageTables:         8224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3232020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1191936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61996 MiB
End job on node144 at 2017-07-22 13:13:11

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 4247501

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